Universality for tropical and logarithmic maps

Basic Information

• Paper ID: 2211.15719
• Title: Universality for tropical and logarithmic maps
• Authors: Gabriel Corrigan, Navid Nabijou, Dan Simms
• Classification: math.AG (Algebraic Geometry), math.CO (Combinatorics)
• Publication Date: July 2, 2025 (arXiv v5)
• Paper Link: https://arxiv.org/abs/2211.15719

Abstract

This paper proves that every toric monoid appears in the space of maps from tropical curves to quadrants. Consequently, the space of logarithmic maps to Artin fans exhibits arbitrary toric singularities: this is a virtual universality theorem for logarithmic map pairs. The rank of the target depends on the chosen singularity: we prove that cones over k-gons for k ≥ 7 never appear in the space of maps to rank 1 targets. We obtain analogous results for tropical maps to affine space.

Research Background and Motivation

Problem Background

1. Mnëv's Universality Theorem: This theorem (also known as Murphy's Law or Vakil's Law) asserts that moduli spaces of a given category exhibit arbitrary singularities. This phenomenon holds in many important cases, including moduli of configurations, Hilbert schemes, Chow varieties, and moduli of toric vector bundles.
2. Universality of Stable Maps: Spaces of stable maps satisfy universality, but they are always "virtually" smooth—stable map spaces admit a perfect obstruction theory that controls deformations and provides many structures analogous to those on smooth varieties.
3. Rise of Logarithmic Gromov-Witten Theory: Recent years have witnessed the rise of logarithmic Gromov-Witten theory and related moduli spaces of stable logarithmic maps. However, the obstruction theory for logarithmic maps is defined relative to the space of prestable logarithmic maps to Artin fans, and Log(A_{X|D}) is generally not smooth, nor even virtually smooth.

Research Motivation

The core question of this paper is: Which singularities does Log(A_{X|D}) exhibit? Equivalently: Which "virtual singularities" does Log(X|D) exhibit?

Although Log(A_{X|D}) is singular, it carries a logarithmic structure relative to which it is logarithmically smooth, so it has at most toric singularities. The main objective of this paper is to prove that it exhibits arbitrary toric singularities.

Core Contributions

1. Main Universality Theorem (Theorem A): Every toric singularity appears in the moduli space Log(A^n) of prestable logarithmic maps, where A = A^1/G_m and n ∈ ℕ (depending on the singularity). This phenomenon occurs even for genus zero source curves.
2. Tropical Universality Theorem (Theorem B): Given a toric monoid P, there exist n ∈ ℕ and a representable tropical type to ℝ^n_+ whose associated tropical monoid is P. Moreover, one can choose tropical types with genus zero source curves.
3. Boundedness Result (Theorem D): For k ≥ 7, cones over k-gons do not appear as tropical monoids associated with tropical types of any maps to ℝ_+.
4. Complete Characterization of Rank 2 Monoids (Theorem 3.12): Every rank 2 monoid appears as the monoid associated with a tropical type of maps to ℝ_+.

Methodology Details

Task Definition

The core task studied in this paper is to establish connections between tropical maps and singularities of logarithmic map moduli spaces, and to prove that these singularities are universal.

Input: Arbitrary toric monoid P Output: Construct a representable tropical type τ such that its associated tropical monoid P_τ = P

Model Architecture

1. Surgery on Monoid Presentations (Section 2.1)

Definition 2.1 (Bipartite Presentation): A presentation (G|R) is bipartite if there exists a partition of generators G = G_1 ⊔ G_2 such that every relation in R has the form (w_1 = w_2), where w_1 is a word in elements of G_1 and w_2 is a word in elements of G_2.

Definition 2.2 (Positive Presentation): A presentation (G|R) is positive if under the quotient homomorphism π: ℕG → ℕG/R, we have π(g) ≠ 0 for all g ∈ G.

Proposition 2.3: Every presentation (G|R) can be replaced by a presentation (G'|R') that is both bipartite and positive, inducing the same monoid.

2. Main Construction (Section 2.2)

Given a toric monoid P, the construction proceeds as follows:

1. Choose a bipartite and positive presentation (G|R) of P, where G = G_1 ⊔ G_2
2. Construct a graph Γ containing two paths with edges labeled by generators
3. Set n := |R| and define a tropical type to ℝ^n_+
4. For each generator g ∈ G, define the corresponding slope vector m_g⃗ ∈ ℤ^n
5. Recursively define cones associated with vertices

Technical Innovations

1. Introduction of Bipartite Presentations: By converting arbitrary monoid presentations to bipartite and positive form, the construction of tropical types is simplified.
2. Tropical-Algebraic Correspondence: Establishes precise correspondence between tropical map types and singularities of logarithmic maps.
3. Crucial Role of Saturation: In the rank 2 case, saturation steps may increase the number of generators, which is essential for understanding which monoids can be realized.

Experimental Setup

Theoretical Verification

This is primarily theoretical work, with results verified through rigorous mathematical proofs:

1. Constructive Proofs: For Theorem B, explicit construction algorithms are provided
2. Counterexample Construction: For Theorem D, combinatorial arguments prove that certain monoids cannot be realized
3. Concrete Examples: Multiple specific tropical type constructions are provided

Key Lemmas and Propositions

• Lemma 1.11: A tropical type is representable if and only if there exists a nonzero monoid homomorphism
• Proposition 1.12: Establishes correspondence between tropical types and singularities of logarithmic maps
• Theorem 3.11: For representable, singly-generated, extended tropical types, rkP^{gp}_τ = |V(Γ)| - 1

Experimental Results

Main Results

1. Universality Results

• Theorem A: Every toric singularity appears in some Log(A^n)
• Theorem B: Every toric monoid can be realized as the monoid of some tropical type

2. Boundedness Results

• Theorem D: Cones over k-gons for k ≥ 7 cannot be realized through maps to ℝ_+
• Theorem 3.12: All rank 2 monoids can be realized through maps to ℝ_+

Concrete Example Analysis

Example 2.6: Consider a convex cone σ^∨ ⊆ ℝ^2 consisting of lattice points. Through specific relations, construct the corresponding tropical type, demonstrating the complete process from abstract monoids to concrete tropical maps.

Example 3.13: Demonstrates the crucial role of saturation in the construction, explaining why certain monoids that seemingly require high-dimensional targets can actually be realized through ℝ_+.

Related Work

Universality Theory

1. Mnëv Universality: Originally discovered in projective geometry, later extended to various moduli spaces
2. Vakil's Work: Generalized universality to stable map spaces
3. Toric Vector Bundles: Work by Payne and others established universality in the toric case

Tropical Geometry

1. Gross-Siebert Theory: Established foundational correspondence between tropical maps and logarithmic maps
2. Tropical Moduli Spaces: Work by Speyer, Ranganathan and others developed moduli theory for tropical curves

Logarithmic Geometry

1. Abramovich-Chen: Foundational work on stable logarithmic map theory
2. Artin Fan Theory: Provides geometric framework for logarithmic maps

Conclusions and Discussion

Main Conclusions

1. Complete Universality: When allowing target dimension to vary, tropical and logarithmic map spaces exhibit complete toric singularity universality.
2. Dimension Dependence: Target complexity is more fundamental than source complexity—all toric monoids can be obtained using trivial source genus and arbitrary target rank, but not vice versa with arbitrary source genus and trivial target rank.
3. Technical Obstacles: Essential restrictions exist in the rank 1 case; cones over k-gons for k ≥ 7 cannot be realized.

Limitations

1. Dimension Dependence: The target dimension n of the construction depends on the chosen monoid P; it is unclear whether this dependence is essential.
2. Open Problems: Problem C (whether there exists a single n such that all toric monoids can be realized) remains unsolved.
3. Computational Complexity: Although construction algorithms are provided, the required target dimension may be high for complex monoids.

Future Directions

1. Boundedness Questions: Investigate whether there exists a fixed n such that all toric monoids can be realized through maps to ℝ^n_+.
2. Desingularization of Moduli: Seek general desingularization methods for logarithmic map spaces.
3. Computational Aspects: Develop effective algorithms to compute the minimal target dimension required for given monoids.

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes profound connections between tropical geometry and logarithmic geometry, resolving a fundamental structural question.
2. Methodological Innovation: The technique of bipartite presentations and clever use of saturation demonstrate sophisticated technical skill.
3. Completeness: Not only proves universality but also provides precise boundedness results, forming a complete theoretical picture.
4. Constructiveness: All existence results are accompanied by explicit construction algorithms.

Weaknesses

1. Technical Threshold: Requires deep background in algebraic geometry and tropical geometry for complete understanding.
2. Practical Limitations: Although theoretically complete, the required target dimension may be prohibitively high for concrete applications.
3. Open Problems: The central boundedness question (Problem C) remains unsolved.

Impact

1. Theoretical Contribution: Provides important structural understanding for logarithmic Gromov-Witten theory.
2. Methodological Value: The methods of bipartite presentations and tropical constructions may apply to other related problems.
3. Future Research: Opens new directions for studying singularity structures of moduli spaces.

Applicable Scenarios

1. Theoretical Research: Development of logarithmic and tropical geometry theory
2. Computational Algebraic Geometry: Understanding computational complexity of moduli spaces
3. Enumerative Geometry: Providing theoretical foundations for techniques such as virtual localization

References

The paper cites important literature in the field, including:

• Mnëv (1985, 1988): Foundational work on universality theory
• Vakil (2006): Universality of stable maps
• Gross-Siebert (2013): Logarithmic Gromov-Witten theory
• Abramovich-Chen (2014): Stable logarithmic maps
• Numerous works in tropical geometry and logarithmic geometry

This paper makes important contributions at the intersection of tropical geometry and logarithmic geometry, deepening our understanding of the geometric structure of these moduli spaces through universality theorems. Despite some technical limitations and open problems, its theoretical value and methodological contributions are significant.