首页/论文/1209.3732

arXiv 1209.37322012-09math.GRmath.GT

IWIP自同构的数学可检测性

Algorithmic detectability of iwip automorphisms

Ilya Kapovich

备注：: final version, to appear in the Bulletin of London Math. Soc
发表信息：: Bulletin of the London Math. Soc., Bull. London Math. Soc. 46 (2014), no. 2, pp. 279-290
DOI：: 10.1112/blms/bdt093

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们提出了一个算法，给定$ϕ\in Out(F_N)$，其中$N\ge 2$，决定是否$ϕ$是一个iwip（“完全不可约”）的自同构。

英文摘要：

We produce an algorithm that, given $ϕ\in Out(F_N)$, where $N\ge 2$, decides wether or not $ϕ$ is an iwip ("fully irreducible") automorphism.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

自由积和中心化子的IWIP自同构的不可约层

Irreducible laminations for IWIP Automorphisms of free products and Centralisers

对于有限Kurosh秩的群$G$的每个自由积分解$G = G_{1} \ast ...\ast G_{q} \ast F_{r}$，其中$F_r$是一个自由生成的自由群，我们可以关联一些（相对）外层空间$\mathcal{O}$。本文发展了（相对）不可约幂（IJ）自同构的（稳定）层理论。特别是，我们研究的行动$Out(G, \mathcal{O}) \leq Out(G)$（即自同构保持的共轭类的$G_i$的集合）的层积。我们推广的理论的吸引力的叠层相关的自同构的非线性生成的自由群。该策略与经典情况相同（参见\cite{BFM}），但由于$G_i$的存在，某些陈述略有不同。更准确地说，我们证明了相对Istanbul的层的稳定是一个$\mathbb{Z}$ -扩展的子群，是由虚拟椭圆自同构。注意，在自由情况下，虚椭圆自同构恰好是$Out(F_n)$的有限阶自同构。作为前面定理的推论，我们推广了一个事实，即一个自由群的一个自同构的中心化子，实际上是循环的。作为一个直接推论，如果$Out(G)$是几乎无挠的，每个$Aut(G_i)$是有限的，我们证明了中心的一个Idealist是几乎循环的。最后，我们给出了一个例子，表明我们不能期望，在一般情况下，相对Istanbul的中心化（因此，其稳定层压的稳定剂）几乎是循环的。

2016-11-12math.GR

自由积的 iwip 自同构的动力学

Dynamics of iwip automorphisms of free products

本文利用 lamination 理论给出了自由积外自同构群子群包含非阿贝尔自由子群的判别准则，并研究了 iwip 元素的中心化子及其相关 lamination 的稳定子群。

2023-09-08math.GR

$F_N$的iWIP自同构的Cannon-Thurston纤维

Cannon-Thurston fibers for iwip automorphisms of $F_N$

对于任意的超环面Iwip $ϕ\in Out(F_N)$，映射环面群$G_ϕ=F_N\rtimes_ϕ<t>e$是双曲的，嵌入$ι: F_N \overset{\lhd}{\longrightarrow} G_ϕ$诱导出一个连续的、$F_N$ -等变的满射{ \em Cannon-Thurston映射} $\hat ι: \partial F_N \to \partial G_ϕ$ .我们证明了对任何上述的$ϕ$，映射$\hat ι$是有限对一的，并且$\partial G_ϕ$的每一点的原像都有基数$\le 2N$。我们还证明了，每一个点$S\in \partial G_ϕ$与$\ge 3$原像在$\partial F_N$有$(wt^m)^\infty$的形式，其中$w\in F_N, m\ne 0$，并有最多$4N-5$不同的$F_N$ -轨道的这种{ \em奇异}点在$\partial G_ϕ$（为平移作用的$F_N$对$\partial G_ϕ$）。相比之下，我们表明，对于$k=1,2$有不可数的许多点$S\in \partial G_ϕ$（因此，不可数的许多$F_N$ -轨道等$S$），正好$k$原像在$\partial F_N$。

2014-10-14math.GRmath.GT

自由积的IWIP自同构的吸引不动点的稳定子

Stabiliser of an Attractive Fixed Point of an IWIP Automorphism of a free product

对于有限Kurosh秩的群$G$和$G$的任意自由积分解$G = H_1 \ast H_2 \ast ... \ast H_r \ast F_q$，其中$F_q$是一个有限生成的自由群，我们可以把某个（相对）外层空间的$\mathcal{O}(G, \{H_1,..., H_r \})$联系起来.我们定义了相应于自由积分解的相对边界$\partial (G, \{ H_1, ..., H_r \}) = \partial(G, \mathcal{O}) $，作为无限约简字的集合（关于自由积长度）。通过将$Out(G, \{ H_1, ..., H_r \})$表示为$Out(G)$的子群，该子群由保持$H_i$的共轭类集合的外自同构组成，我们证明了对于相对于$\mathcal{O}$的具有不可约幂的不可约自同构的$X \in \partial (G, \{ H_1, ..., H_r \})$中吸引不动点的稳定子$Stab(X)$，它有一个（正规）子群$B$同构于$\bigoplus \limits_{i=1} ^{r} Out(H_i)$的子群，使得$Stab(X) / B$同构于$\mathbb{Z}$ .证明在很大程度上依赖于机械的吸引力层压的一个Icons自同构相对于$\mathcal{O}$。

2016-03-09math.GR

自由群的树不可约自同构

Tree-irreducible automorphisms of free groups

我们引入一类新的自同构$φ$的非阿贝尔自由群$F_N$有限秩$N \geq 2$，其中包含所有iwips（=完全不可约自同构），但也任何自同构诱导的伪Anosov同胚的表面与任意多个边界组件。更一般地，可以存在秩为$\geq 2$的$F_N$的子组，其中$φ$限制于身份。我们证明了一些基本的事实，这样的{ \em树不可约}自同构，并表明，连同Dehn扭曲自同构，他们是自然的基本积木，任何自同构的$\FN$可以构建在一个训练轨道设置。然后，我们显示：{ \bf定理：} { \it $F_N$的每一个树不可约自同构都在外层空间的Thurston紧化$\bar{\rm CV}_N$上诱导了南北动力学。}最后，我们定义了一个“爆破”结构的顶点上的训练轨道地图，其中，从iwip开始，产生树不可约的自同构，在一般情况下不是iwip。

2013-06-24math.GR

自由群的不可约自同构的植物性

Botany of irreducible automorphisms of free groups

通过讨论自由群的Iwip外自同构的吸引树和排斥树的性质，给出了Iwip外自同构的一个分类。

2012-08-10math.GR

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

检测完全不可约自同构：一个多项式时间算法。附Mark C.的附录。贝尔

Detecting fully irreducible automorphisms: a polynomial time algorithm. With an appendix by Mark C. Bell

在\cite{Ka14}中，我们提出了一个算法，用于判定元素$ϕ\in Out(F_N)$是否是iwip（“完全不可约”）自同构。在某些方面，该算法效率相当低，因为它涉及一些一般的枚举过程以及并行运行几个抽象进程。在本文中，我们从\cite{Ka14}改进算法，消除这些低效的功能，也消除了任何使用的映射类群算法。我们的主要结果是产生，对于任何固定的$N\ge 3$，一个算法，给定一个拓扑代表$f$的元素$ϕ$的$Out(F_N)$，决定在多项式时间的“大小”的$f$，是否$ϕ$是完全不可约的。此外，我们还提出了一个训练轨道完全不可约的判据，它涵盖了$Out(F_N)$的所有完全不可约元，包括超环面和非超环面元素。本文还给出了一个求扩展训练轨道图中所有不可分Nielsen路的算法，并估计了该算法的复杂度。马克·贝尔的附录提供了一个多项式上限，在拓扑代表的大小方面，在寻找一个不可约的训练轨道代表或拓扑减少的Bestvina-Handel算法\cite{BH92}的复杂性。

2017-05-02math.GRmath.GT