[Paper Review] 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 Systems5 references3 citations

TL;DR

This paper establishes that the tame automorphism group $a_3(\mathbb{C})$ in three dimensions admits an amalgamated product structure over three subgroups—$\mathfrak{H}_1$, $H_2$, and $H_3$—with pairwise intersections forming a triangle of groups, generalizing the known amalgamated free product structure of $\mathrm{TA}_2(\mathbb{C})$. The result follows from Umirbaev's defining relations and confirms that $\mathrm{TA}_3(\mathbb{C})$ acts on a simply connected simplicial complex with a single simplex as a fundamental domain.

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.

Motivation & Objective

• To extend the known amalgamated free product structure of $\mathrm{TA}_2(\mathbb{C})$ to dimension three.
• To determine whether $\mathrm{TA}_3(\mathbb{C})$ admits a similar amalgamated product decomposition over three subgroups.
• To establish that $\mathrm{TA}_3(\mathbb{C})$ acts on a simply connected simplicial complex with a fundamental domain consisting of a single simplex.
• To analyze the group-theoretic and geometric structure of $\mathrm{TA}_3(\mathbb{C})$ using Umirbaev’s defining relations.

Proposed method

• The paper uses Umirbaev’s defining relations for $\mathrm{TA}_3(\mathbb{C})$ to construct a triangle-of-groups structure with subgroups $\mathfrak{H}_1$, $H_2$, and $H_3$ as vertex groups.
• It defines injective homomorphisms between the subgroups and their pairwise intersections, forming compatible gluing data for an amalgamated product.
• The group $\mathrm{TA}_3(\mathbb{C})$ is shown to be isomorphic to the amalgamated product of $\mathfrak{H}_1$, $H_2$, and $H_3$ along their pairwise intersections.
• The construction relies on the universal property of amalgamated products and verifies that the relations in $\mathrm{TA}_3(\mathbb{C})$ match those of the amalgamated structure.
• The action of $\mathrm{TA}_3(\mathbb{C})$ on a simply connected simplicial complex $\mathcal{D}$ is established, with the simplex $\mathfrak{f}$ as a fundamental domain.
• The proof uses explicit computation of the image of automorphisms under a homomorphism $\widehat{\Psi}$, verifying that relations in $\mathrm{TA}_3(\mathbb{C})$ are preserved in the target group.

Experimental results

Research questions

• RQ1 Can the tame automorphism group $\mathrm{TA}_3(\mathbb{C})$ be decomposed as an amalgamated product of three subgroups along their pairwise intersections, generalizing the $\mathrm{TA}_2$ case?
• RQ2 Does the action of $\mathrm{TA}_3(\mathbb{C})$ on a simplicial complex with a single simplex as a fundamental domain imply a developable triangle-of-groups structure?
• RQ3 Is the simplicial complex $\mathcal{D}$ on which $\mathrm{TA}_3(\mathbb{C})$ acts simply connected and of infinite diameter?
• RQ4 Are the stabilizers of the vertices, edges, and face in $\mathcal{D}$ isomorphic to $\mathfrak{H}_1$, $H_2$, $H_3$, and their intersections, respectively?
• RQ5 Does the complex $\mathcal{D}$ satisfy 2-connectivity, i.e., does every 2-sphere in $\mathcal{D}$ contract to a point?

Key findings

• The tame automorphism group $\mathrm{TA}_3(\mathbb{C})$ is isomorphic to the amalgamated product of three subgroups $\mathfrak{H}_1$, $H_2$, and $H_3$ along their pairwise intersections.
• The group $\mathrm{TA}_3(\mathbb{C})$ acts on a simply connected simplicial complex $\mathcal{D}$ with a single simplex $\mathfrak{f}$ as a fundamental domain.
• The stabilizers of the vertices in $\mathcal{D}$ are isomorphic to $\mathfrak{H}_1$, $H_2$, and $H_3$, while the edge and face stabilizers correspond to the pairwise and triple intersections.
• The construction confirms that $\mathrm{TA}_3(\mathbb{C})$ arises as the colimit of a triangle-of-groups in Stallings' sense.
• The action of $\mathrm{TA}_3(\mathbb{C})$ on $\mathcal{D}$ is faithful and the amalgamated union maps injectively into the group.
• The paper leaves open whether $\mathcal{D}$ is 2-connected or has infinite diameter, though these are central geometric questions about the complex.