Affine Kapranov's Theorem in Phase Tropicalization

• Affine Kapranov’s theorem is a framework that extends tropical geometry by incorporating both modulus and phase data in affine and noncommutative contexts.
• It employs a matrix valuation map and polar decomposition to capture asymptotic behaviors, resulting in explicit descriptions of phase tropical varieties.
• The construction unifies degeneration phenomena across commutative tori and non-abelian groups, with significant implications for enumerative geometry, mirror symmetry, and moduli theory.

The affine version of Kapranov’s theorem, often termed the "affine phase tropicalization theorem," provides a foundational framework for extending tropical geometry from the commutative algebraic torus to more general and notably non-abelian settings, such as the group $PSL_2(\mathbb{C})$. This development refines the classical tropicalization paradigm—where one studies the asymptotic behavior (degeneration) of algebraic varieties via logarithmic or valuation maps—by systematically retaining phase information (coamoeba) and extending it to affine or linear spaces associated to noncommutative groups. The theorem yields a concrete description of the set-theoretic and topological structure of phase tropical varieties as explicit cones or fibered spaces, unifying the degeneration phenomena in both commutative and non-commutative contexts (Shkolnikov et al., 12 Mar 2025, Shkolnikov et al., 13 Mar 2025).

1. Classical Amoeba, Coamoeba, and Phase Tropicalization

Let $V \subset (\mathbb{C}^*)^n$ be an affine algebraic variety. Classical tropicalization examines the image of $V$ under the 'amoeba' map:

$$\operatorname{Log}:(z_1,\dots,z_n)\mapsto (\log|z_1|,\dots,\log|z_n|)\in\mathbb{R}^n$$

The amoeba $\mathcal{A}(V)$ encodes the asymptotic structure of $V$ near the coordinate hyperplanes.

To retain angular (phase) data, one introduces the 'coamoeba':

$$\operatorname{Arg}:(z_1,\dots,z_n)\mapsto (e^{i\arg(z_1)},\dots,e^{i\arg(z_n)})\in (S^1)^n$$

Combining these, phase tropicalization considers families $z(t)\in V$ with asymptotic expansion $z_i(t) = c_i t^{\alpha_i} + o(t^{\alpha_i})$ as $t\to\infty$, yielding the limiting point

$$(\alpha_1,\dots,\alpha_n; e^{i\arg(c_1)},\dots,e^{i\arg(c_n)}) \in \mathbb{R}^n\times (S^1)^n$$

The closure of these points defines the phase tropicalization of $V$. This construction is fully affine in the sense that tropicalizations commute with linear changes of coordinates, and the phase data is explicit at each face of the tropical complex (Shkolnikov et al., 13 Mar 2025).

2. Non-Abelian Extension: Phase Tropicalization in $PSL_2(\mathbb{C})$

The affine version of Kapranov’s theorem generalizes this machinery to $PSL_2(\mathbb{C})$, which carries richer geometric structures due to non-commutativity. Here, the group itself replaces $(\mathbb{C}^*)^n$ and the tropicalization is not purely a coordinatewise operation.

Every $A\in PSL_2(\mathbb{C})$ admits a unique polar decomposition $A=PU$ with $P>0$ (positive-definite Hermitian $2\times2$ with $\det=1$) and $U\in PSU(2)$. The 'hyperbolic amoeba' is then the image under

$$\kappa(A)=A A^* \in \operatorname{Herm}^+_1 \cong \mathbb{H}^3$$

and the 'spherical coamoeba' is

$\kappa^\circ(A)=U\in PSU(2)$

Taking suitable degenerations using the real-powered Hahn field $K$, matrices $A(t)$ with leading expansion $A(t)=Bt^\alpha+\ldots$, the affine phase tropicalization is realized via a 'matrix valuation' map:

$$\mathrm{VAL}: PSL_2(K) \to \overline{PSL_2(\mathbb{C})} \cong \mathbb{C}P^3$$

The limiting object is described by the parameter $\alpha \in [0,\infty]$ (the tropical coordinate) and an associated $U$ or projective class $[B]$, which captures the phase data and directionality (Shkolnikov et al., 12 Mar 2025).

3. Main Structural Theorem: The Phase Tropical Cone

The affine version of Kapranov’s theorem, in this setting, asserts:

Let $V\subset \mathbb{C}P^3$ be an algebraic subvariety with no component contained in the quadric $Q = \{\det=0\}$. The phase tropicalization is

$$\operatorname{Trop}^0_{PSL_2}(V) = \underbrace{\{0\}\times\kappa^0(V\cap PSL_2(\mathbb{C}))}_{\text{unitary (phase) part}} \;\cup\; \underbrace{(0,\infty)\times S|_{V\cap Q}}_{\text{cone over phase bundle}} \;\cup\; \underbrace{\{\infty\}\times (V\cap Q)}_{\text{non-Archimedean boundary}}$$

Here $S$ is a circle bundle over $Q$, encoding the extra phase data. In the commutative setting, this circle bundle becomes the trivial $(S^1)^n$-bundle over the coordinate hyperplane arrangement, recovering the abelian theorem (Shkolnikov et al., 12 Mar 2025, Shkolnikov et al., 13 Mar 2025).

4. Detailed Examples: Lines and Surfaces

The affine structure of phase tropicalization is concretely seen in the behavior of projective lines and hypersurfaces:

• For lines tangent to $Q$, phase tropicalization yields a union comprising a circle fiber at infinity, a section at a given height in the cone, and isolated unitary phase points below.
• For quadric surfaces defined by $t^2\det(A)=(\operatorname{tr}A)^2$, the phase tropicalization is a section at $\alpha=1$ missing a conic $C$, the circle bundle over $C$ for $\alpha>1$, and $C$ as the limit at infinity.

These illustrate how the tropicalization map manifests affine linearity on the base and a non-trivial phase-bundle structure in the fiber (Shkolnikov et al., 12 Mar 2025, Shkolnikov et al., 13 Mar 2025). This construction identifies and preserves discrete invariants, such as the lines on a degree $d$ surface: for $d\geq4$, the phase tropicalization detects the absence of lines via the non-existence of a suitable inclusion $VAL(L)\subset VAL(S_d)$.

5. Connections with Commutative Affine Tropicalization and Cluster Algebras

The phase tropicalization in the non-abelian setting specializes to the affine (commutative) version of Kapranov’s theorem when $G=(\mathbb{C}^*)^n$. There, the tropicalization yields a union of polyhedral cones over tori, and all phase factors are explicit (Shkolnikov et al., 12 Mar 2025).

Cluster algebras provide another class of affine tropicalizations. Here, the phase tropicalization corresponds to tracking tropical Laurent monomials and their exponents, with mutation formulas affinely linear in the g-vectors and tropical coefficients. The commutative affine structure is essential to the Laurent phenomenon and combinatorial periodicity (Nakanishi, 2011).

6. Applications and Perspectives

The affine version of Kapranov’s theorem in the phase tropical setting has implications in several areas:

• Enumerative geometry: Phase tropicalization preserves enough data to recover classical counts of lines, curves, and higher structures on varieties, extending the enumerative technique from toric to non-abelian geometries (Shkolnikov et al., 13 Mar 2025).
• Degeneration theory and moduli: The explicit affine structure allows for clear descriptions of limiting behavior in families of varieties, including degeneration of moduli of curves and surfaces.
• Mirror symmetry and quantum geometry: The phase refinement is essential for applications to mirror symmetry, especially where combinatorics of floor diagrams and phase spaces play a role (Shkolnikov et al., 12 Mar 2025).
• Extension to higher-rank groups: A plausible implication is that the affine version of Kapranov’s theorem generalizes to other reductive groups, where the fiber (phase) is a suitable stabilizer bundle over a determinantal locus.

7. Concluding Synthesis

The affine version of Kapranov’s theorem, as realized in phase tropicalization, unifies and extends tropical degeneration techniques to a broad class of algebraic structures, incorporating both modulus and phase asymptotics. In the non-commutative context, the theorem describes phase tropicalizations as affine cones over base loci with explicit phase bundles, recovering both the commutative and classical limits as special cases. This framework underpins current developments in tropical geometry, non-Archimedean geometry, and their applications to combinatorics, enumerative geometry, and moduli theory (Shkolnikov et al., 12 Mar 2025, Shkolnikov et al., 13 Mar 2025, Nakanishi, 2011).