首页/论文/1301.6645

arXiv 1301.66452013-01math.GRmath.GT

Out（F_r）II中的理想Whitehead图：每秩的完全图

Ideal Whitehead Graphs in Out(F_r) II: The Complete Graph in Each Rank

Catherine Pfaff

备注：: The main revisions are to fill in missing conditions on rotationlessness. In particular, a power should have been taken of the map giving the main theorem. However, Remark 4.3 also needed to be adjusted. There was also a confusing typo in the ideal decomposition proposition that needed to be fixed

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们将展示如何构建，为每个$r \geq 3$，年龄，完全不可约的$ϕ\in Out(F_r)$的理想Whitehead图是完全图的$2r-1$顶点。本文是第二次在一系列的三个，我们表明，正是18的21个连接，单纯，五顶点图是理想的Whitehead图完全不可约$ϕ\in Out(F_3)$。其结果是第一步的$Out(F_r)$版本的Masur-Smillie定理证明，正是这些指标清单产生的奇异测量叶状伪Anosov映射类。本文还给出了求周期Nielsen路的一种方法，并证明了一个判别几何上完全不可约的$ϕ\in Out(F_r)$的准则

英文摘要：

We show how to construct, for each $r \geq 3$, an ageometric, fully irreducible $ϕ\in Out(F_r)$ whose ideal Whitehead graph is the complete graph on $2r-1$ vertices. This paper is the second in a series of three where we show that precisely eighteen of the twenty-one connected, simplicial, five-vertex graphs are ideal Whitehead graphs of fully irreducible $ϕ\in Out(F_3)$. The result is a first step to an $Out(F_r)$ version of the Masur-Smillie theorem proving precisely which index lists arise from singular measured foliations for pseudo-Anosov mapping classes. In this paper we additionally give a method for finding periodic Nielsen paths and prove a criterion for identifying representatives of ageometric, fully irreducible $ϕ\in Out(F_r)$

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

$Out(F_r)$ IV中的理想Whitehead图：高秩理想Whitehead图和割点理想Whitehead图的构造

Ideal Whitehead Graphs in $Out(F_r)$ IV: Building ideal Whitehead graphs in higher ranks and ideal Whitehead graphs with cut vertices

我们提供了一个例子，在每一个等级的年龄完全不可约外自同构的理想怀特黑德图有一个割顶点。因此，我们表明，存在的例子，在每个等级的Handel-Mosher轴束，不只是一个单一的轴，以及“非通用”的行为的意义上的“训练轨道导向”随机游动的Kapovich-Pfaff。这里开发的工具还允许人们构建一个全新的理想Whitehead图阵列，该阵列通过所有秩中的年龄完全不可约外自同构来实现。

2015-11-28math.GRmath.GT

Out（F_r）III中的理想Whitehead图：秩为3的可达图

Ideal Whitehead Graphs in Out(F_r) III: Achieved Graphs in Rank 3

通过精确证明哪些奇异性指数列表来自伪Anosov曲面同胚的不变叶理对，Masur和Smillie确定了二次微分空间的Teichmüller流不变分层。在这三篇论文系列的最后一篇论文中，我们给出了Masur-Smillie定理的$Out(F_r)$模拟的第一步。由于由Handel和Mosher定义的理想Whitehead图在类似的$Out(F_r)$设置中给出了一个严格更精细的不变量，我们确定了21个连通的，单纯的，五顶点图中的哪一个是$Out(F_3)$中完全不可约外自同构的理想Whitehead图。

2014-09-07math.GRmath.GT

Out（F_r）I中的理想Whitehead图：一些未实现的图

Ideal Whitehead Graphs in Out(F_r) I: Some Unachieved Graphs

H. Masur和J. Smillie精确地证明了哪些奇异性指数列表来自伪Anosov映射类。在寻找自由群的外自同构的类似定理时，Handel和Mosher提出了一个问题：在Out（F_r）中，每个连通的单纯的（2 r-1）-顶点图是完全不可约外自同构的理想Whitehead图吗？我们回答这个问题的负面展示，对于每个r，连接（2 r-1）-顶点图的例子，是不是理想的Whitehead图的任何完全不可约的外自同构出（F_r）？在我们的证明过程中，我们还开发了用于“构造和分类自由群的完全不可约外自同构“的机器，以充分回答秩三情况下的问题。

2012-10-21math.GRmath.GT

关于Whitehead极小化问题的复杂性

On the complexity of the Whitehead minimization problem

Whitehead极小化问题是在有限秩自由群中的一个字、一个循环字或一个循环生成子群的自守轨道中寻找一个最小元。我们给出了解决这个问题的第一个完全多项式算法，即在输入字长和自由群秩上都是多项式的算法。早期的算法在自由群的秩中具有指数依赖性。由此可见，判断一个词是否是自由群的某个基的元素的非线性问题和自由因子问题也可以在多项式时间内解决。

2006-11-03math.GR

轨道阻塞字与秩2自由群中Whitehead问题的平均情况复杂度

Orbit-blocking words and the average-case complexity of Whitehead's problem in the free group of rank 2

该研究针对秩2自由群的Whitehead自同构问题，先证明轨道阻塞字的存在性，进而提出常数平均情况复杂度的判定算法。

2024-09-14cs.CCmath.GR

自由群的全不可约外自同构的构造与分类

Constructing and Classifying Fully Irreducible Outer Automorphisms of Free Groups

本文的主要定理在Out（F_r）理论的背景下模拟了一个映射类群定理（H. Masur和J. Smillie），它精确地确定了哪些索引列表来自伪Anosov映射类。由于理想的怀特海图给出了一个更好的不变量在类似的设置一个完全不可约的外自同构，我们而是专注于确定哪些21个连接，无环，5顶点图是理想的怀特海图的年龄，完全不可约的外自同构的自由群的秩3。我们的主要定理通过证明恰好有18个图像这样产生来实现这一点。我们还给出了一种方法，用于确定某些并发症称为周期尼尔森路径，证明了存在方便分解的代表年龄，完全不可约外自同构具有连接，无环，（2 r-1）-顶点理想Whitehead图，并证明了一个标准，用于确定代表年龄，完全不可约外自同构。我们用来构造自由群的完全不可约外自同构的方法，以及我们的识别和分解技巧，可以用来扩展我们的主要定理，因为它们在任何秩中都是有效的。我们的证明方法主要依赖于Bestvina-Feigh-Handel训练轨道理论和吸引叠层理论。

2012-05-24math.GR

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

关于将子群夹在自由积因子之间的自由群算法

On free-group algorithms that sandwich a subgroup between free-product factors

设$F$是有限秩自由群，$H$是$F$的有限秩子群.我们讨论的两个算法，夹$H$之间的上层自由积因子的$F$，包含$H$和下层自由积因子的$F$，包含在$H$的证明。Richard Stong指出，唯一的最小可能的上层，记为$\operatorname{Cl}(H)$，在J. H. C.怀特黑德Stong的证明使用了Cayley树中的双无限路径和三流形的子曲面。我们给他的证明的一个变体，使用边削减的凯莱树引起的边削减的巴斯-塞尔树。A. Clifford和R. Z.戈尔茨坦给出了一个指数时间算法，确定是否平凡子群是唯一可能的下层。他们的证明使用怀特黑德的三流形技术。我们给出了一个变种，他们的证明，使用怀特黑德的割顶点的结果，从而获得一个稍微简单的算法，产生一个较低的层的最大可能的排名。

2013-06-17math.GR

有限秩无挠的阿贝尔群的群代数中素理想的控制器

On controllers of prime ideals in group algebras of torsion-free abelian groups of finite rank

本文考虑了有限秩阿贝尔群的群代数中素理想的一些研究方法

2004-08-22math.GR

双函数二元关系逆半群中理想的秩

Ranks of ideals in inverse semigroups of difunctional binary relations

n元集上的双函数关系集D_n在通常的复合运算的一种变形下是一个逆半群。我们解决了Kudryavtseva和Maltcev（2011）提出的一个公开问题：D_n的秩（生成集的最小尺寸）是多少？具体地说，我们证明了D_n的秩为B（n）+n，其中B（n）是第n个Bell数.我们还给出了D_n的任意理想的秩.虽然D_n与全变换半群和对称逆半群（它们都包含对称群并具有J-类链）等族有许多相似之处，但我们注意到秩（D_n）作为n的函数的快速增长是这些族所不具有的性质。

2016-12-15math.COmath.GRmath.RA

图幺半群与Graham-Houghton图：幂等元与理想生成集

Diagram monoids and Graham-Houghton graphs: idempotents and generating sets of ideals

我们研究理想的分区，布劳尔，琼斯幺半群，建立各种组合的结果，通过分析其格雷厄姆-霍顿图的生成集和幂等生成集。证明了划分幺半群P_n的每一个真理想都是幂等生成半群，并得到了生成这些半群所需的最少元素数（以及最少幂等元数）的公式.特别地，我们证明了这两个数字，这是所谓的秩和幂等秩（分别）的半群，是彼此相等的，我们的特征，这种最小基数的生成集。刻画并列举了P_n的最大真理想的极小幂等元生成集，它与P_n的奇异部分一致。类似的结果证明了理想的布劳尔和琼斯幺半群，在每种情况下，秩和幂等秩原来是相等的，所有的最小生成集的描述。我们还展示了如何秩和幂等秩的结果，当应用到相应的扭曲半群代数（分区，布劳尔，和Temperley-Lieb代数），允许一个恢复公式的尺寸，他们的细胞模块（视为细胞代数），在半单的情况下，是公式的尺寸的不可约表示的代数。以及被代数的兴趣，我们的结果涉及到几个充分研究的图论的主题，包括问题的计数完美匹配（涉及到问题的计算永久的{0，1}-矩阵和理论的Pfavian方向），和问题的发现因子分解的约翰逊图。我们的结果还汇集了几个著名的数字序列，如斯特林，贝尔，加泰罗尼亚和斐波那契数。

2016-08-15math.GR

plactic幺半群中的主理想总是相交

Principal ideals in a plactic monoid always intersect

本文证明plactic幺半群中任意两个主理想必相交，从而其同时具有左、右可逆性，且结论适用于有限秩与无限秩情形。

2025-01-09math.GR

本质理想是Cohen-Macaulay模

The essential ideal is a Cohen-Macaulay module

设G是一个有限p-群，G中不含二阶初等交换p-群作为直因子.则G的mod-p上同调环中的本质类的理想是一个Cohen-Macaulay模，其克鲁尔维数是G的中心的p-秩.这基本上肯定地回答了J.F.卡尔森

2004-02-26math.ACmath.GR

扭Brauer幺半群

Twisted Brauer monoids

我们研究了扭曲的Brauer幺半群$\mathcal B_n^τ$的结构，并将其与（无扭曲的）Brauer幺半群$\mathcal B_n$的结构进行了比较和对比。本文讨论了$\mathcal B_n^τ$上的Green关系和预序，刻画了理想格，给出了理想是幂等生成的充要条件.我们得到公式的秩（最小大小的生成集）和（在适用的情况下）的幂等秩（最小大小的幂等生成集）的每个主理想;特别是，当一个理想是幂等生成的，它的秩和幂等秩是相等的。作为结果的应用，我们还刻画了$\mathcal B_n^τ$的幂等元生成子半群（它不是理想）以及$\mathcal B_n^τ$的奇异理想（它既不是主理想也不是幂等元生成的理想），并推导出Maltcev和Mazorchuk的一个结果：Brauer么半群$\mathcal B_n$的奇异部分是幂等元生成的.

2016-09-18math.COmath.GR

子半群、理想与自由半群的同余增长

Subsemigroup, ideal and congruence growth of free semigroups

利用Rees指标研究了自由半群的子半群增长性.序列的下限和上界给出，它是严格型$n^n$有限自由秩大于1的超指数增长。证明了自由半群的子半群增长是所有生成半群中最快的。理想的增长被证明是指数与严格类型$2^n$和同余增长被证明是至少是指数。此外，我们考虑的情况下，当指数是固定的，秩增加，证明了子半群和理想，这个序列符合多项式的程度指数，而同余这符合指数方程的基础。我们用这些结果来描述这些序列的值的计算算法，并给出了一个表的结果为低秩和指数。

2014-09-27math.COmath.GR

群环上模的某些秩

Some ranks of modules over group rings

一个交换环R有有限秩r，如果R的每个理想至多由r个元生成.一个交换环R具有r-生成元性质，如果R的每个r-生成理想可以由r个元生成.这种环与Prüfer域密切相关。本文研究群环上模的类似概念。

2021-03-27math.ACmath.GRmath.RA

Motzkin幺半群与部分Brauer幺半群

Motzkin monoids and partial Brauer monoids

研究了部分Brauer么半群及其平面子么半群Motzkin么半群。我们对这两个幺半群的结构进行了深入的研究，提供了关于正规形、格林关系、正则性、理想、幂等生成、最小（幂等）生成集等方面的信息，得到了这两个幺半群的理想是幂等生成的充要条件.我们发现公式的秩（最小大小的生成集）的每个理想，和幂等秩（最小大小的幂等生成集）的幂等生成的子半群的每个理想;特别是，当一个理想是幂等生成的，秩和幂等秩是相等的。一路上，我们得到了一些结果的独立利益，我们证明了效用的半群理论的方法，通过应用我们的结果，以获得新的证明的重要表示理论的结果有关相应的图代数，部分（或车）布劳尔代数和Motzkin代数。

2016-09-12math.COmath.GRmath.RT

W-图理想与双理想

W-graph ideals and biideals

本文进一步发展了作者在文献[6]中首次提出的$W\!$ -图理想理论。讨论了抛物子群的$W\!$ -图子理想，以及$W\!$ -图理想的诱导和限制.我们引入$W\!$ -图双理想：那些产生$(W\times W^{\mathrm o})$ -图的$W\!$ -图理想，其中$W^{\mathrm o}$是与$W$相对的群.我们确定了秩为2的有限Coxeter群中的所有$W\!$ -图理想和双理想。

2015-03-04math.GRmath.RT