arXiv 1705.080812017-05math.LOmath.GR

The complexity of topological group isomorphism

Alexander S. Kechris, Andree Nies, Katrin Tent

备注：: arXiv admin note: text overlap with arXiv:1604.00609
发表信息：: J. Symbolic Logic, 2018

英文摘要：

We study the complexity of the isomorphism relation for various classes of closed subgroups of the group of permutations of the natural numbers. We use the setting of Borel reducibility between equivalence relations on Polish spaces. For profinite, locally compact, and Roelcke precompact groups, we show that the complexity is the same as the one of countable graph isomorphism. For oligomorphic groups, we merely establish this as an upper bound, which is not sharp because the relation is Borel.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

有限生成群中阿基米德序的同构关系的Borel复杂度

Borel Complexity of the Isomorphism Relation of Archimedean Orders in Finitely Generated Groups

本文证明了有限生成群中阿基米德序的同构关系的Borel复杂度，具体回答了Calderoni等人提出的问题，表明在$n\geq3$时非超有限，在$n\geq4$时非可树化。

2024-03-17math.DSmath.GRmath.LO

秩1系统的拓扑同构

Topological isomorphism for rank-1 systems

我们定义了非退化秩1系统的波兰空间$\mathcal{R}$。每个非退化秩1系统可以看作是无原子的、$σ$ -有限测度空间的保保测变换和康托空间的同胚。我们完全刻画了两个非退化秩1系统拓扑同构的情形。我们还分析了$\mathcal{R}$上拓扑同构关系的复杂性，证明了它是$F_σ$作为$\mathcal{R} \times \mathcal{R}$的一个子集，并且是双可约为$E_0$的.我们还明确地描述了当一个非退化的秩-1系统是拓扑同构到它的逆。

2013-03-13math.DSmath.LO

对连续t-范数在同构意义下的分类复杂性

The complexity of classifying continuous t-norms up to isomorphism

研究了连续t-范在同构意义下的分类复杂性，证明其与自然数集上线性序的序同构关系在Borel意义上等价。

2025-12-02math.GNmath.LO

O-极小理论同构的Borel复杂性

The Borel Complexity of Isomorphism for O-Minimal Theories

给定一个可数的O-极小理论T，我们刻画了T的可数模型的同构的Borel复杂性，直到两个模型论不变量。如果T允许一个非单型，则通过将线性序的同构问题嵌入到T的模型的同构问题中，证明了T是Borel完备的。这是通过在合适的非简单类型的阿基米德阶梯的尾部构造具有特定线性阶数的模型来完成的。如果理论承认没有非简单的类型，那么我们使用迈耶的同构表征，这样的理论计算不变量可数模型。如果理论是小的，则不变量是实值的，因此它的同构关系是光滑的。如果不是，不变量对应于一个可数实数集，因此同构关系是波莱尔等价于$F_2$。结合这两个结果，我们得出结论，（Mod（T），$\cong$）要么是最复杂的或最不复杂的（根据类型的数量和可数模型的数量，服从完全一般的模型理论下界）。

2015-10-16math.LO

可分巴拿赫空间同构分类的复杂性

The complexity of classifying separable Banach spaces up to isomorphism

证明了可分巴拿赫空间之间的同构关系是完全解析的等价关系，因此，直到同构的可分巴拿赫空间为大量直到它们相应的同构概念的数学结构提供了完全不变量。这同样适用于（1）直到一致同胚的完全可分度量空间，（2）直到Lipschitz同构的可分巴拿赫空间，（3）直到（可补）双嵌入性，（4）直到拓扑同构的波兰群，（5）直到置换等价的Schauder基.一些构造依赖于最近由S. Argyros和P. Dodos。

2006-10-09math.FAmath.LO

一类可表示群的同构与可表示性

Isomorphism versus commensurability for a class of finitely presented groups

构造了一类同构问题可解但可解性问题不可解的群。相反，我们构造了一类可解性问题可解但同构问题不可解的群。这些是关于同构问题的这种对比复杂性行为的第一个例子。

2012-07-10math.GRmath.LO

更多相关论文收起更多论文

同构与双可嵌入关系的复杂性

On the complexity of the relations of isomorphism and bi-embeddability

给定一个L_{ω_1 ω} -初等类C，即若干L_{ω_1 ω} -语句的可数模型的集合，用\cong_C和\equiv_C分别表示C上同构和双嵌入的解析等价关系.推广了Louveau和Rosendal [LR 05]的一些问题，在[FMR 09]中提出了确定哪些解析等价关系对（E，F）可以实现（直到Borel双约化）为形式为（\cong_C，\equiv_C）的对的问题，C一些L_{ω_1 ω} -初等类（以及一些特定情况的部分答案）。在这里我们将给出这个问题的一个几乎完全的解决方案：在E和F上非常温和的条件下，总是可能找到这样一个L_{ω_1 ω} -初等类C。

2011-12-01math.LO

具有弱虚数消去的寡态群的同构问题

The Isomorphism Problem for Oligomorphic Groups with Weak Elimination of Imaginaries

University of Torino（都灵大学）

本文证明在弱虚数消去条件下，实数相等关系是寡态群拓扑同构复杂性的严格下界，并将模型论方法用于置换群同构重构及无限维一般线性群自同构描述。

2024-04-06math.LO

可计算枚举代数类上的同构关系

Isomorphism relations on classes of c.e. algebras

New College of Florida（佛罗里达新学院）；Vienna University of Technology（维也纳工业大学）；University of Bari（巴里大学）

研究可计算枚举代数类的同构关系复杂性，通过可计算约简分析其算法复杂性与代数结构的相互作用。

2026-01-19math.LO

寡态群、其自同构群及其同构的复杂性

Oligomorphic groups, their automorphism groups, and the complexity of their isomorphism

The University of Auckland（奥克兰大学）；University of Torino（都灵大学）

本文研究Roelcke预紧的置换群子群，证明其内自同构群在自同构群中闭，且在外自同构群完全不连通局部紧；并给出方法证明两类寡态群的同构关系光滑，且其自同构群拓扑同构于寡态群，外自同构群为profinite。

2026-06-19math.GRmath.LO

Coarse groups, and the isomorphism problem for oligomorphic groups

Let $S_\infty$ denote the topological group of permutations of the natural numbers. We study the complexity of the isomorphism relation on classes of closed subgroups $S_\infty$ in the setting of Borel reducibility between equivalence relations on Polish spaces. Given a closed subgroup $G$ of $S_\infty$, the coarse group $\mathcal M(G)$ is the structure with domain the cosets of open subgroups of $G$, and a ternary relation $AB \sqsubseteq C$. If $G$ has only countably many open subgroups, then $\mathcal M(G)$ is a countable structure. Coarse groups form our main tool in studying such closed s…

2022-09-27math.GRmath.LO

单单位有限秩维数群的分类问题

The Classification Problem for Simple Unital Finite Rank Dimension Groups

有限秩单位单维群同构问题的Borel复杂性随着秩的增加而增加。这意味着Bratteli图和LDA-群的相应类的同构问题也随着秩的增加而增加。

2017-09-20math.GRmath.LO

带点极小系统的同构关系不可由可数结构分类

Isomorphism of pointed minimal systems is not classifiable by countable structures

本文证明极小系统及带点极小系统的拓扑共轭关系无法通过可数结构进行 Borel 归约分类，揭示了其分类复杂性的本质。

2024-12-29math.DSmath.LO

拓扑群的一般性质

Generic properties of topological groups

本文利用Baire范畴方法研究拓扑群的一般性质，证明可数无限离散阿贝尔群和紧可度量化阿贝尔群均存在剩余同构类，并刻画了泛型紧可度量化群的连通性与挠性质。

2025-07-02math.GNmath.GRmath.LO

刻画某些弱极小平凡理论间的 Borel 同构

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories

本文刻画了某些弱极小平凡理论间的 Borel 同构关系，涵盖有限等价关系族及交叉等价关系的驯良扩张，并证明了后者的 Borel 复杂性二分法。

2024-09-20math.LO

一元谓词Linear Orders完备理论同构的Borel复杂性

The Borel Complexity of Isomorphism for Complete Theories of Linear Orders With Unary Predicates

证明了如果A是线性序，则Th（A）是$\aleph_0$ -范畴的或Borel完全的（在Friedman和Stanley的意义下）.我们对此进行概括;如果A有可数个一元谓词，则Th（A）是$\aleph_0$ -范畴的，有可数个模型（至少三个），是Borel等价于实数上的相等，是Borel等价于“实数的可数集”，或者是Borel完全的。此外，这些情况中的每一个都以自然的方式对应于所有大小的模型的计数，直到来回等价。所有这些情况下都是可能的，我们计算精确的模型理论条件表明，这种情况下发生。这补充了O-极小理论的工作，其中类似的结果被证明。大部分的机器下的证明是基于工作的Matatyahu鲁宾在“理论的线性秩序”，其中表明，这样的理论满足沃特的猜想，不能有精确的$\aleph_0$可数模型。

2016-03-30math.LO

On the complexity of classifying Lebesgue spaces

Computability theory is used to evaluate the complexity of classifying various kinds of Lebesgue spaces and associated isometric isomorphism problems.

2019-06-28math.LO

可分巴拿赫空间之间可Borel约化为同构的若干等价关系

Some equivalence relations which are Borel reducible to isomorphism between separable Banach spaces

我们将有关可分巴拿赫空间之间同构关系复杂性的已知结果改进为Borel可约性，并且我们使用经典空间$c_0$、$\ell_p$和$L_p$、$1 \leq p <2$实现了这一点。更准确地说，我们表明，关系$E_{K_σ}$是Borel可约同构和补充双嵌入之间的$c_0$或$\ell_p, 1 \leq p <2$的子空间。我们证明了关系$E_{K_σ} \otimes =^+$是Borel可约的同构，补双嵌入，和Lipschitz等价的子空间之间的$L_p, 1 \leq p <2$。

2004-12-07math.FAmath.LO

Banach空间的Polish空间。等距和同构类的复杂性

Polish spaces of Banach spaces. Complexity of isometry and isomorphism classes

Charles University（查理大学）；Institute of Mathematics of the Czech Academy of Sciences（捷克科学院数学研究所）

本文研究了可分Banach空间的等距和同构类在Banach空间Polish空间中的复杂性，证明了无限维可分Hilbert空间的等距类和同构类的特性，并探讨了其他自然Banach空间类的复杂性。

2022-04-14math.FAmath.LO

The complexity of homeomorphism relations on some classes of compacta with bounded topological dimension

We are dealing with the complexity of the homeomorphism equivalence relation on some classes of metrizable compacta from the viewpoint of invariant descriptive set theory. We prove that the homeomorphism equivalence relation of absolute retracts in the plane is Borel bireducible with the isomorphism equivalence relation of countable graphs. In order to stress the sharpness of this result, we prove that neither the homeomorphism relation of locally connected continua in the plane nor the homeomorphism relation of absolute retracts in $\mathbb R^3$ is Borel reducible to the isomorphism relation …

2020-12-14math.GNmath.LO

The Complexity of the Classification Problems of Finite-Dimensional Continua

We consider the homeomorphic classification of finite-dimensional continua as well as several related equivalence relations. We show that, when $n \geq 2$, the classification problem of $n$-dimensional continua is strictly more complex than the isomorphism problem of countable graphs. We also obtain results that compare the relative complexity of various equivalence relations.

2019-04-21math.GNmath.LO

紧度量空间之间同胚关系的复杂性

The complexity of the homeomorphism relation between compact metric spaces

我们确定了紧度量空间到同胚的分类的精确复杂性。更确切地说，紧度量空间上的同胚关系是Borel双可约的，具有波兰群作用的完备轨道等价关系。因此，可分交换C*-代数之间的同构关系和C（K）-空间之间的等距关系也是如此。

2014-09-19math.FAmath.LO