Open surfaces with a triangle at infinity

Technical Summary: Open Surfaces with a Triangle at Infinity

Problem Statement
The paper investigates the geometry and automorphism groups of normal affine surfaces $Y$ that admit a specific type of compactification. Specifically, the authors study surfaces that can be completed by a boundary divisor $D$ consisting of a "triangle" of three smooth rational curves with self-intersection $-1$ (contractible $(-1)$-curves) intersecting transversally. These are termed triangle surfaces. The central problem is to provide a combinatorial description of the completions of such surfaces, characterize the surfaces themselves algebraically, and explicitly determine their automorphism groups $\text{Aut}(Y)$. The work connects these geometric objects to the classical Markov equation $x^2 + y^2 + z^2 = 3xyz$ and its generalizations.

Methodology
The authors employ a synthesis of birational geometry, combinatorial group theory, and the theory of cluster algebras.

1. NC-Pairs and Birational Maps: The study is framed within the context of Normal Crossing (NC) pairs $(X, D)$, where $X$ is a projective surface and $D$ is a reduced normal crossing divisor. The authors utilize criteria from prior work (specifically [26]) to analyze birational transformations between different completions of $Y$.
2. The Triangle Complex $T(Y)$: A primary methodological innovation is the construction of a simplicial complex $T(Y)$, called the triangle complex. The vertices of $T(Y)$ correspond to "inner components" (exceptional curves arising from iterative blowups at the nodes of the boundary) of the surface. The edges and triangles of $T(Y)$ correspond to $(0,0)$-completions (two $0$-curves) and triangle completions, respectively.
3. Action of Automorphisms: The group $\text{Aut}(Y)$ acts on the set of inner components, inducing an action on $T(Y)$. The authors establish that $T(Y)$ is isomorphic to the Farey tessellation of the hyperbolic plane, and the induced action of $\text{Aut}(Y)$ on $T(Y)$ corresponds to the natural action of $\text{PGL}_2(\mathbb{Z})$ on the set of primitive vectors in $\mathbb{Z}^2$.
4. Algebraic Normalization: The authors translate the geometric conditions into algebraic equations. By analyzing the anticanonical map of the completion $X$, they demonstrate that any triangle surface embeds into $\mathbb{A}^3$ as a cubic surface defined by an equation of the form $xyz = f(x,y,z)$ with $\deg f \le 2$. They further reduce this to a normal form involving specific coefficients.

Key Contributions and Results

• Combinatorial Description of Completions: The paper establishes that the set of all triangle and $(0,0)$-completions of a surface $Y$ is encoded in the triangle complex $T(Y)$. This complex is an infinite 3-regular tree (the adjacency graph of triangles). The authors prove that the vertices of $T(Y)$ are in natural bijection with fibrations of $Y$ over $\mathbb{A}^1$ with general fiber $\mathbb{A}^1 \setminus \{0\}$.
• Characterization of Triangle Surfaces: The authors prove that a normal affine surface is a triangle surface if and only if it is isomorphic to a cubic surface of Markov type. Specifically, $Y$ is defined by an equation:
  $$xyz = x^2 + y^2 + z^2 + ax + by + cz + d$$
  This result confirms that the purely geometric definition (completion by a triangle of $(-1)$-curves) is equivalent to the algebraic definition of these specific cubic surfaces.
• Structure of Automorphism Groups: The paper provides a complete and explicit description of $\text{Aut}(Y)$.
  • There is an exact sequence:
    $$1 \to \text{Aut}^\natural(X, D) \to \text{Aut}(Y) \to \text{PGL}_2(\mathbb{Z}) \to 1$$
    where $\text{Aut}^\natural(X, D)$ is the subgroup of automorphisms preserving every component and node of the boundary divisor.
  • The group $\text{Aut}(Y)$ is the semidirect product of a free product of three involutions $G_\sigma = \langle \sigma_x \rangle * \langle \sigma_y \rangle * \langle \sigma_z \rangle$ (generated by Vieta involutions) and a finite group of linear automorphisms $\Gamma \subset S_4$.
  • The specific structure of $\Gamma$ depends on the coefficients $a, b, c$ in the normal form equation. The paper classifies these cases in Table 1, ranging from the trivial group to $S_3$ and the full Klein four-group extension $K_4 \rtimes S_3$.
• Explicit Generators: The generators of the automorphism group are identified as the Vieta involutions (generalized Markov transformations) and linear coordinate permutations/sign changes. The kernel of the map to $\text{PGL}_2(\mathbb{Z})$ is shown to be finite (order at most 4).

Significance and Claims
The paper claims to unify the geometric theory of surfaces with boundary triangles and the algebraic theory of Markov-type equations.

• Unification: It demonstrates that the "triangle surface" definition is not merely a geometric curiosity but precisely characterizes the class of cubic surfaces of Markov type.
• Explicitness: Unlike previous studies that might have described these groups implicitly or for specific cases (like the classical Markov surface), this work provides a uniform, explicit description of $\text{Aut}(Y)$ for all such surfaces, parameterized by the coefficients of their defining equations.
• Generalization: The results generalize known descriptions of the automorphism groups of the classical Markov surface and the double Fricke surface. For instance, it recovers the result that the automorphism group of the classical Markov surface is $K_4 \rtimes \text{PGL}_2(\mathbb{Z})$.
• Combinatorial Insight: By linking the automorphism group to the action on the triangle complex (Farey tessellation), the paper clarifies the structural relationship between the surface's symmetries and the modular group $\text{PGL}_2(\mathbb{Z})$, showing that the "tree" of solutions (Diophantine triples) is a direct consequence of the surface's geometry.

The authors do not propose new experimental applications or future directions beyond the scope of the algebraic and geometric classification presented. The work is presented as a definitive structural analysis of this specific class of algebraic surfaces.