[論文レビュー] 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

ひとこと要約

本稿は、3次元におけるタム自動同型群 $\mathrm{TA}_3(\mathbb{C})$ が、3つの部分群 $\mathfrak{H}_1$, $H_2$, $H_3$ におけるアーマメルゲートド・プロダクト構造を有することを確立している。これらの部分群の対ごとの共通部分は三角形の群構造を形成し、既知の $\mathrm{TA}_2(\mathbb{C})$ のアーマメルゲートド自由積構造を一般化する。この結果は、ウミルバエフの定義関係に基づき導かれるものであり、$\mathrm{TA}_3(\mathbb{C})$ が単連結な単体複体に、1つの単体を基本領域とする作用を持つことを確認する。

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.

研究の動機と目的

• 3次元への既知のアーマメルゲートド自由積構造 $\mathrm{TA}_2(\mathbb{C})$ の拡張。
• $\mathrm{TA}_3(\mathbb{C})$ が3つの部分群に沿った同様のアーマメルゲートド・プロダクト分解を有するかどうかを特定すること。
• $\mathrm{TA}_3(\mathbb{C})$ が1つの単体を基本領域とする単連結な単体複体に作用することを確立すること。
• ウミルバエフの定義関係を用いて、$\mathrm{TA}_3(\mathbb{C})$ の群論的および幾何学的構造を分析すること。

提案手法

• 本稿は、$\mathrm{TA}_3(\mathbb{C})$ のウミルバエフの定義関係を用い、頂点群として $\mathfrak{H}_1$, $H_2$, $H_3$ を持つ三角形の群構造を構成する。
• 部分群およびそれらの対ごとの共通部分の間の単射準同型を定義し、アーマメルゲートド・プロダクトの適合する貼り合わせデータを形成する。
• $\mathrm{TA}_3(\mathbb{C})$ が $\mathfrak{H}_1$, $H_2$, $H_3$ の対ごとの共通部分に沿ったアーマメルゲートド・プロダクトに同型であることを示す。
• 構成はアーマメルゲートド・プロダクトの普遍性に依拠し、$\mathrm{TA}_3(\mathbb{C})$ の関係がアーマメルゲートド構造のそれと一致することを検証する。
• $\mathrm{TA}_3(\mathbb{C})$ が単連結な単体複体 $\mathcal{D}$ に作用することを確立し、単体 $\mathfrak{f}$ を基本領域とする。
• 証明は、自己同型の像を準同型 $\widehat{\Psi}$ で明示的に計算し、$\mathrm{TA}_3(\mathbb{C})$ の関係が像の群に保存されることを検証する。

実験結果

リサーチクエスチョン

• RQ1 タム自動同型群 $\mathrm{TA}_3(\mathbb{C})$ は、$\mathrm{TA}_2$ の場合を一般化して、3つの部分群の対ごとの共通部分に沿ったアーマメルゲートド・プロダクトに分解可能か？
• RQ2 $\mathrm{TA}_3(\mathbb{C})$ が1つの単体を基本領域とする単体複体上に作用することは、発展可能な三角形の群構造を示唆するか？
• 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})$ は、3つの部分群 $\mathfrak{H}_1$, $H_2$, $H_3$ の対ごとの共通部分に沿ったアーマメルゲートド・プロダクトに同型である。
• $\mathrm{TA}_3(\mathbb{C})$ は、1つの単体 $\mathfrak{f}$ を基本領域とする単連結な単体複体 $\mathcal{D}$ に作用する。
• $\mathcal{D}$ の頂点の安定化部分群は $\mathfrak{H}_1$, $H_2$, $H_3$ に同型であり、辺および面の安定化部分群はそれぞれ対ごとの共通部分および三重共通部分に対応する。
• この構成により、$\mathrm{TA}_3(\mathbb{C})$ がスタリングスの意味で三角形の群の列挙のコロイミットとして生じることが確認される。
• $\mathrm{TA}_3(\mathbb{C})$ の $\mathcal{D}$ への作用は忠実であり、アーマメルゲートド和集合の写像は群に単射である。
• 本稿は、$\mathcal{D}$ が2連結性を有するか、あるいは無限大径を有するかについては未解決のままとしているが、これらは複体に関する中心的な幾何的問題である。