arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2301.12014math.LO
收藏

容许相容完备左不变度量的非阿基米德 Polish 群上的一个层级

A hierarchy on non-archimedean Polish groups admitting a compatible complete left-invariant metric

Longyun Ding, Xu Wang

AI总结:

本文针对容许完备左不变度量的非阿基米德 Polish 群定义 $α$-CLI 与 L-$α$-CLI 层级,刻画其低阶及局部性质,并构造群族证明该层级严格。

摘要:

本文在容许相容完备左不变度量的非阿基米德 Polish 群这一类上引入一个层级。我们将该层级记为 $α$-CLI 与 L-$α$-CLI,其中 $α$ 是可数序数。我们建立了三个结果:(1)$G$ 为 $0$-CLI 当且仅当 $G=\{1_G\}$;(2)$G$ 为 $1$-CLI 当且仅当 $G$ 容许一个相容的完备双边不变度量;(3)$G$ 为 L-$α$-CLI 当且仅当 $G$ 局部为 $α$-CLI,即 $G$ 含有一个为 $α$-CLI 的开子群。随后,我们通过对每个 $α<ω_1$ 构造非阿基米德 CLI Polish 群 $G_α$ 与 $H_α$,证明该层级是真层级:其一,$H_α$ 为 $α$-CLI,但对任何 $β<α$ 都不是 L-$β$-CLI;其二,$G_α$ 为 $(α+1)$-CLI,但不是 L-$α$-CLI。

英文摘要:

In this article, we introduce a hierarchy on the class of non-archimedean Polish groups that admit a compatible complete left-invariant metric. We denote this hierarchy by $α$-CLI and L-$α$-CLI where $α$ is a countable ordinal. We establish three results: \begin{enumerate} \item $G$ is $0$-CLI iff $G=\{1_G\}$; \item $G$ is $1$-CLI iff $G$ admits a compatible complete two-sided invariant metric; and \item $G$ is L-$α$-CLI iff $G$ is locally $α$-CLI, i.e., $G$ contains an open subgroup that is $α$-CLI. \end{enumerate} Subsequently, we show this hierarchy is proper by constructing non-archimedean CLI Polish groups $G_α$ and $H_α$ for $α<ω_1$, such that \begin{enumerate} \item $H_α$ is $α$-CLI but not L-$β$-CLI for $β<α$; and \item $G_α$ is $(α+1)$-CLI but not L-$α$-CLI. \end{enumerate}

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑