A short proof of the multiple cover formula for point insertions

Basic Information

• Paper ID: 2501.01274
• Title: A short proof of the multiple cover formula for point insertions
• Author: Thomas Blomme (Université de Neuchâtel)
• Classification: math.AG (Algebraic Geometry)
• Publication Date: January 2, 2025
• Paper Link: https://arxiv.org/abs/2501.01274

Abstract

Several years ago, G. Oberdieck conjectured a multiple cover formula that determines the number of curves of fixed genus and degree passing through point configurations on abelian surfaces. The author previously proved this formula using tropical techniques and Nishinou's correspondence theorem. This paper provides a shorter proof of the multiple cover formula for point insertions using the same techniques, relying on identical geometric ideas while avoiding any form of tropical enumeration.

Research Background and Motivation

1. Problem to be Solved: This paper investigates enumerative geometry problems on abelian surfaces, specifically computing the number of curves of fixed genus g and degree d passing through given point configurations, particularly for divisible classes.
2. Significance of the Problem:
   • Abelian surfaces are compact complex surfaces with trivial canonical bundle, holding important status in algebraic geometry
   • Compared to K3 surfaces, abelian surfaces have received relatively less attention in enumerative geometry
   • The multiple cover formula reduces computations for non-primitive classes to primitive classes, possessing significant theoretical and computational value
3. Limitations of Existing Methods:
   • The primitive class case was resolved by Bryan-Leung in 1999
   • Computation for divisible classes is extremely difficult, with only a few known results
   • The author's previous proof (Blo22c) is highly technical, relying on painful tropical enumeration calculations
4. Research Motivation: Seeking more elegant proof methods that avoid complex tropical enumeration while maintaining the same geometric intuition.

Core Contributions

1. Provides a shorter proof of the multiple cover formula: Avoids any form of tropical enumeration, greatly simplifying the proof process
2. Innovative technical methodology: Uses "complex twist" rather than "tropical twist," keeping the tropical abelian surface invariant
3. Deepened geometric insight: Demonstrates that the multiple cover formula holds at the tropical curve level, requiring no explicit tropical solving
4. Potential generalizability of the method: This approach may apply to proofs of multiple cover formulas for other reduced Gromov-Witten invariants

Detailed Methodology

Problem Definition

Computing the number $N_{g,d,n}$ of genus g, degree d curves passing through g points on an abelian surface, where the curve class β satisfies $β^2 = 2d^2n$.

Core Theorem

Multiple Cover Formula (Theorem 5.2): $N_{g,d,n} = \sum_{k|d} k^{4g-3} N_{g,1,(\frac{d}{k})^2 n}$

Technical Architecture

1. Abelian Surface Setup

• Complex abelian surface: $C_A = \mathbb{C}^2/L$, where L is a rank-4 lattice in $\mathbb{C}^2$
• Polarization: Antisymmetric form $Q \in \wedge^2 L^*$ satisfying Riemann bilinear relations
• Tropical abelian surface: $T_A = \mathbb{R}^2/\Lambda$, where Λ is a rank-2 lattice in $\mathbb{R}^2$

2. Mumford Family Construction

For lattice Λ and maps $S: \Λ \to \mathbb{R}^2$, $Z: \Λ \to \mathbb{C}^2$, the Mumford family is defined by period matrix $(I, Z_t)$, where: $Z_t = Z + S\frac{\log t}{2i\pi}$

3. Key Innovation: Complex Twist Method

Constructing two distinct Mumford families $\mathcal{A}^{(Z_0, S)}$ and $\mathcal{A}^{(Z_1, S)}$:

• Using the same tropicalization $S$ (same tropical abelian surface)
• Using different complex structures $Z_0, Z_1$ (different polarizations)
• Key distinction lies in parameter choice for τ (τ = 0 and τ = 1)

Technical Innovation Points

1. Avoiding tropical enumeration: By choosing complex twist rather than tropical twist, both families share the same tropical curves, thus avoiding complex tropical counting
2. Clever exploitation of realizability conditions:
   • For τ = 0: All tropical curves are realizable
   • For τ = 1: Only curves with gcd = 1 are realizable
3. Critical role of homogeneity: The multiplicity of tropical curves exhibits $(4g-3)$ homogeneity under edge weight scaling: $m_{k\Gamma} = k^{4g-3} m_\Gamma$

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments. The proof is based on:

Theoretical Tools

1. Nishinou Correspondence Theorem: Establishes correspondence between complex and tropical curves
2. Tropical Geometry Theory: Particularly tropical curve multiplicity calculations
3. Deformation Theory: Deformation invariance of Mumford families

Verification Methods

Verification through construction of concrete examples, particularly when primitive class results are known.

Experimental Results

Main Results

Successfully proved the multiple cover formula: $N_{g,d,n} = \sum_{k|d} k^{4g-3} N_{g,1,(\frac{d}{k})^2 n}$

Key Proof Steps

1. Uniformity of tropical curves: Both Mumford families produce the same set of tropical curves
2. Realizability differences: Controlling which curves can be realized through the τ parameter
3. Multiplicity homogeneity: Utilizing $(4g-3)$ homogeneity to obtain the final formula

Comparison with Previous Results

• Conciseness: Avoids complex diagram decompositions and painful combinatorial calculations in Blo22c
• Geometric intuition: Maintains identical geometric ideas with more elegant implementation
• Computational efficiency: Substantially reduces technical complexity of the proof

Related Work

Historical Development

1. Bryan-Leung (1999): Resolved the primitive class case
2. Oberdieck (2022): Proposed the general multiple cover formula conjecture
3. Author's Previous Work:
   • Blo22a: Curve enumeration in tropical abelian surfaces
   • Blo22b: Curve enumeration in linear systems
   • Blo22c: Pearl diagrams and first proof of multiple cover formula

Technical Foundation

1. Mikhalkin (2005): Tropical correspondence theorem for toric surfaces
2. Nishinou-Siebert (2006): Independent proof of tropical correspondence theorem
3. Nishinou (2020): Tropical correspondence theorem for abelian surfaces

Conclusions and Discussion

Main Conclusions

1. Multiple cover formula holds: For point insertion cases, the formula receives a more elegant proof
2. Method effectiveness: Complex twist method is more elegant than tropical twist method
3. Importance of geometric intuition: Identical geometric ideas can be realized through different technical pathways

Limitations

1. Scope of applicability: Currently applies only to point insertion cases
2. Generalization difficulties: Other reduced Gromov-Witten invariants require suitable decomposition formulas
3. Refined invariants: Method does not yet apply to refined invariants in Blo22c

Future Directions

1. Generalization to other invariants: Finding appropriate decomposition formulas for other cases
2. Refined invariant treatment: Establishing connections between refined invariants and complex geometry
3. Computational applications: Translating theoretical results into practical computational tools

In-Depth Evaluation

Strengths

1. Methodological innovation: The complex twist idea is clever and natural, avoiding technical complexity
2. Proof conciseness: Substantially simplified compared to previous proof, more accessible and verifiable
3. Clear geometric intuition: Maintains original geometric ideas with more elegant implementation
4. Clear exposition: Well-structured paper with accurate mathematical presentation

Weaknesses

1. Limited applicability: Currently addresses only the special case of point insertions
2. Strong dependencies: Heavily relies on Nishinou's correspondence theorem
3. Unclear generalizability: Whether generalization to more general cases is possible remains unclear

Impact

1. Theoretical contribution: Provides new technical tools for enumerative geometry of abelian surfaces
2. Methodological significance: Demonstrates how clever constructions can simplify complex proofs
3. Inspirational value: May inspire solutions to similar problems

Applicable Scenarios

1. Theoretical research: Enumerative problems in algebraic geometry
2. Computational applications: Problems requiring calculation of high-degree curve counts
3. Educational purposes: Elegant example of tropical geometry methods

References

Key references in the paper include:

• BL99 Bryan & Leung: Generating functions for curve counts on abelian surfaces
• Nis20 Nishinou: Realization of tropical curves in abelian surfaces
• Blo22a-c Author's series of works: Tropical curve theory in abelian surfaces
• Obe22 Oberdieck: Gromov-Witten theory of holomorphic symplectic manifolds

This paper demonstrates how clever technical innovations can substantially simplify complex mathematical proofs, representing an important contribution to the intersection of tropical geometry and algebraic geometry. While its scope is limited, its methodological value and theoretical significance are considerable.