Geometry of tropical mutation surfaces with a single mutation

Basic Information

• Paper ID: 2510.11991
• Title: Geometry of tropical mutation surfaces with a single mutation
• Author: Tomoki Oda (UCLA Mathematics Department)
• Classification: math.AG (Algebraic Geometry)
• Submission Date: Submitted to arXiv on October 13, 2025
• Paper Link: https://arxiv.org/abs/2510.11991

Abstract

This paper investigates the geometric properties of rank-two polyptych lattices with a single mutation. The author proves that the associated projective surface $X$ is a $\mathbb{G}_m$-surface that admits an equivariant 1-complement $B \in |-K_X|$ such that $B$ supports an effective ample divisor. Conversely, the author also proves that $\mathbb{G}_m$-surfaces satisfying these conditions arise from polyptych lattices. The paper further computes the complexity of the pair $(X,B)$, describes the Cox ring of $X$, and investigates its toric degenerations.

Research Background and Motivation

1. Problem to be addressed: This paper studies the geometric properties of tropical mutation surfaces, particularly the classification and properties of projective surfaces constructed from rank-two polyptych lattices with a single mutation.
2. Significance of the problem:
   • Polyptych lattice theory provides a general framework for constructing projective varieties from polytopes
   • When all mutations are linear isomorphisms, this framework recovers classical toric variety theory
   • Tropical mutation surfaces extend classical toric phenomena to the log Calabi-Yau setting
3. Limitations of existing approaches:
   • Classical toric geometry cannot handle non-trivial mutations
   • Lack of systematic study of cases with a single mutation
4. Research motivation: The shear polyptych lattice $M_s$ provides a natural testing ground for studying tropical mutation varieties with non-trivial mutations, laying the foundation for investigating higher ranks or more linear regions.

Core Contributions

1. Classification result: Provides a complete classification of all degeneration classes of the shear polyptych lattice $M_s$ up to isomorphism, with moduli space $\mathbb{A}^{s-1}/D_{2s}$
2. Geometric characterization: Proves that tropical mutation surface pairs $(X_f(P), B(P))$ are cluster type pairs with complexity equal to the number of distinct roots of the polynomial $f$
3. Reverse characterization: Proves that $\mathbb{G}_m$-surfaces satisfying specific conditions are precisely tropical mutation surfaces
4. Toric degenerations: Constructs projective flat families connecting different toric varieties and describes them via divisor fans
5. Cox ring computation: Provides a complete description of the Cox ring of tropical mutation surfaces and combinatorial criteria for determining when a surface is toric

Detailed Methodology

Task Definition

Study rank-two shear polyptych lattices $M_s$ and their associated tropical mutation surfaces $X_f(P)$, where:

• $M_s = (M_1, M_2, \mu_{1,2})$, with mutation $\mu_{1,2}(x,y) = \begin{cases} (-x,y), & y \geq 0 \\ (sy-x,y), & y \leq 0 \end{cases}$
• $f(y) = \prod_{i=1}^\gamma (y-\alpha_i)^{\beta_i}$ is a polynomial of degree $s$
• $P \subset M_s$ is a polytope

Model Architecture

1. Degeneration algebra: $A_f \cong K[x_1, x_2, y^{\pm 1}]/\langle x_1x_2 - f(y) \rangle$

2. Tropical mutation surface construction:

• Affine tropical mutation variety: $U_f = \text{Spec}(A_f)$
• Projective compactification: $X_f(P) = \text{Proj}(A_f^P)$
• Tropical mutation boundary: $B(P) = X_f(P) \setminus U_f$

3. Complexity formula: $c(X_f(P), B(P)) = \dim X_f(P) + \rho(X_f(P)) - |B(P)| = \gamma$

where $\gamma$ is the number of distinct roots of $f$.

Technical Innovations

1. Mutation equivalence: Establishes correspondence between polyptych lattice mutations and combinatorial mutations
2. Cluster type structure: Proves tropical mutation pairs are obtained via $s$-collinear blowups of toric pairs
3. Divisor fan description: Uses Ilten pencil theory to construct divisor fan representations of global tropical mutation varieties
4. Complete intersection Cox rings: Proves the Cox ring is a complete intersection ring with explicit generators and relations

Experimental Setup

Theoretical Verification Methods

This paper is primarily theoretical research, with results verified through:

1. Classification verification: Verifies correctness of moduli space via the action of the dihedral group $D_{2s}$
2. Degeneration verification: Verifies tropical mutation surfaces degenerate to correct toric varieties
3. Complexity computation: Verifies complexity formula through birational geometry
4. Cox ring verification: Verifies complete intersection property through dimension calculations

Key Examples

Shear polyptych lattice $M_s$:

• When $s=1$, recovers the standard lattice
• When $s>1$, produces non-trivial tropical mutation surfaces

Special case analysis:

• $f(y) = (y+1)^s$ corresponds to the simplest case
• Different root distributions correspond to different singularity types

Experimental Results

Main Theoretical Results

Theorem 1.1 (Classification Theorem): $\text{Det}(M_s) \cong \mathbb{A}^{s-1}/D_{2s}$

Theorem 1.2 (Complexity Theorem): For the pair $(X_f(P), B(P))$:

• $B(P)$ supports an effective ample divisor
• $\mathbb{G}_m \leq \text{Aut}(X_f(P), B(P))$
• $(X_f(P), B(P))$ is a cluster type pair
• Complexity equals the number of distinct roots of $f$

Theorem 1.3 (Geometric Characterization): Log Calabi-Yau surface pairs satisfying the conditions are precisely tropical mutation surface pairs

Specific Computational Results

Cox ring formula: $\text{Cox}(X_f(P)) \cong K[w_1,\ldots,w_{n+2\gamma}]/\langle w_{n+2i-1}w_{n+2i} + \alpha_i w_1^{c_1}\cdots w_j^{c_j} - w_{j+1}^{-c_{j+1}}\cdots w_n^{-c_n} \rangle$

Toric criterion: $X_f(P)$ is toric if and only if $f$ is equivalent to $(y+1)^s$ and the coefficients $c_i$ satisfy specific conditions.

Related Work

1. Polyptych lattice theory: Foundational work by Escobar-Harada-Manon establishes the basic framework
2. Toric geometry: Classical theory by Cox-Little-Schenck provides the foundation
3. Cluster algebras: Closely related to cluster variety theory
4. Log Calabi-Yau geometry: Related to work by Gross-Hacking-Keel
5. Cox ring theory: Built on work by Hausen-Süß and Altmann-Petersen

Conclusions and Discussion

Main Conclusions

1. Tropical mutation surfaces provide a natural generalization of toric geometry
2. Complexity provides an effective invariant for measuring "non-toricity"
3. The cluster type structure reveals the birational nature of these surfaces
4. The complete intersection property of Cox rings enables concrete computations

Limitations

1. Only considers rank-two and single mutation cases
2. Certain technical assumptions (such as Q-factoriality) limit applicability
3. Higher-dimensional generalizations require further study

Future Directions

1. Generalize to higher-rank polyptych lattices
2. Study cases with multiple mutations
3. Explore connections with mirror symmetry
4. Develop computational tools and algorithms

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides complete classification and characterization of tropical mutation surfaces
2. Technical innovation: Skillfully combines techniques from multiple mathematical branches
3. Computational feasibility: Provides concrete computable formulas and criteria
4. Geometric insight: Reveals deep geometric meaning of cluster type structures

Weaknesses

1. Limited scope: Restricted to rank-two single mutation cases
2. Technical assumptions: Certain assumptions may be overly restrictive
3. Concrete examples: Lacks more specific computational examples

Impact

1. Theoretical contribution: Establishes important foundation for tropical mutation variety theory
2. Methodology: Provides paradigm for studying similar problems
3. Application prospects: Has broad applications in algebraic and combinatorial geometry

Applicable Scenarios

• Study of non-toric log Calabi-Yau surfaces
• Geometric realization of cluster algebras
• Degeneration theory of toric varieties
• Concrete Cox ring computations

References

Main references include:

• Foundational work by Escobar, Harada, Manon on polyptych lattices
• Toric variety theory by Cox, Little, Schenck
• Work on cluster type varieties by Enwright, Figueroa-Moraga
• Research on polytope mutations by Ilten

This paper makes important contributions at the intersection of tropical geometry and algebraic geometry, providing new perspectives and tools for understanding non-toric log Calabi-Yau surfaces. Its theoretical framework and computational methods provide important guidance for subsequent research.