[论文解读] The Amalgamated Product Structure of the Tame Automorphism Group in Dimension Three

David L. Wright|arXiv (Cornell University)|Oct 30, 2013

Advanced Differential Equations and Dynamical Systems参考文献 5被引用 3

一句话总结

该论文证明了三维情形下的驯化自同构群 $\mathrm{TA}_3(\mathbb{C})$ 允许一个三子群——$\mathfrak{H}_1$、$H_2$ 和 $H_3$——上的 amalgamated product 结构，其两两交集构成一个群的三角形，从而推广了已知的 $\mathrm{TA}_2(\mathbb{C})$ 的自由 amalgamated product 结构。该结果基于 Umirbaev 的定义关系得出，并证实 $\mathrm{TA}_3(\mathbb{C})$ 在一个单形为基本域的单连通单纯复形上作用。

ABSTRACT

It is shown the the tame subgroup $ ext{TA}_3(\mathbb C)$ of the group $ ext{GA}_3(\mathbb C)$ of polynomials automorphisms of ${\mathbb C}^3$ can be realized as the product of three subgroups, amalgamated along pairwise intersections, in a manner that generalizes the well-known amalgamated free product structure of $ ext{TA}_2(\mathbb C)$ (which coincides with $ ext{GA}_2(\mathbb C)$ by Jung's Theorem). The result follows from defining relations for $ ext{TA}_3(\mathbb C)$ given by U. U. Umirbaev.

研究动机与目标

• 将已知的 $\mathrm{TA}_2(\mathbb{C})$ 的 amalgamated free product 结构推广至三维情形。
• 确定 $\mathrm{TA}_3(\mathbb{C})$ 是否能通过三个子群及其两两交集实现类似的 amalgamated product 分解。
• 建立 $\mathrm{TA}_3(\mathbb{C})$ 在一个单连通单纯复形上作用，且基本域为单个单形。
• 利用 Umirbaev 的定义关系分析 $\mathrm{TA}_3(\mathbb{C})$ 的群论与几何结构。

提出的方法

• 论文利用 Umirbaev 对 $\mathrm{TA}_3(\mathbb{C})$ 的定义关系，构造了一个以子群 $\mathfrak{H}_1$、$H_2$ 和 $H_3$ 为顶点群的三角群结构。
• 定义了子群及其两两交集之间的单同态，形成兼容的粘合数据以构成 amalgamated product。
• 证明了群 $\mathrm{TA}_3(\mathbb{C})$ 同构于 $\mathfrak{H}_1$、$H_2$ 和 $H_3$ 沿其两两交集的 amalgamated product。
• 该构造依赖于 amalgamated product 的普遍性质，并验证了 $\mathrm{TA}_3(\mathbb{C})$ 中的关系与 amalgamated 结构中的关系一致。
• 建立了 $\mathrm{TA}_3(\mathbb{C})$ 在一个单连通单纯复形 $\mathcal{D}$ 上的作用，其中单形 $\mathfrak{f}$ 作为基本域。
• 证明使用了对自同构在同态 $\widehat{\Psi}$ 下的像的显式计算，验证了 $\mathrm{TA}_3(\mathbb{C})$ 中的关系在目标群中得以保持。

实验结果

研究问题

• RQ1 能否将驯化自同构群 $\mathrm{TA}_3(\mathbb{C})$ 分解为三个子群沿其两两交集的 amalgamated product，从而推广 $\mathrm{TA}_2$ 的情形？
• RQ2 $\mathrm{TA}_3(\mathbb{C})$ 在一个以单个单形为基本域的单纯复形上的作用是否意味着存在一个可展开的三角群结构？
• RQ3 $\mathrm{TA}_3(\mathbb{C})$ 所作用的单纯复形 $\mathcal{D}$ 是否为单连通且具有无限直径？
• RQ4 $\mathcal{D}$ 中顶点、边和面的稳定化子是否分别同构于 $\mathfrak{H}_1$、$H_2$、$H_3$ 及其交集？
• RQ5 复形 $\mathcal{D}$ 是否满足 2-连通性，即 $\mathcal{D}$ 中的每个 2-球面是否都能收缩为一点？

主要发现

• 驯化自同构群 $\mathrm{TA}_3(\mathbb{C})$ 同构于三个子群 $\mathfrak{H}_1$、$H_2$ 和 $H_3$ 沿其两两交集的 amalgamated product。
• $\mathrm{TA}_3(\mathbb{C})$ 在一个单连通单纯复形 $\mathcal{D}$ 上作用，且基本域为单个单形 $\mathfrak{f}$。
• $\mathcal{D}$ 中顶点的稳定化子分别同构于 $\mathfrak{H}_1$、$H_2$ 和 $H_3$，而边与面的稳定化子则对应于两两交集与三重交集。
• 该构造证实了 $\mathrm{TA}_3(\mathbb{C})$ 作为 Stallings 意义下的三角群的列极限而出现。
• $\mathrm{TA}_3(\mathbb{C})$ 在 $\mathcal{D}$ 上的作用是忠实的，且 amalgamated union 的映射单射地嵌入到群中。
• 论文未解决 $\mathcal{D}$ 是否为 2-连通或具有无限直径的问题，尽管这些问题对复形的几何性质至关重要。