Semi-homogeneous vector bundles on abelian varieties: moduli spaces and their tropicalization

This paper describes the moduli space of semi-homogeneous vector bundles on an abelian variety with totally degenerate reduction via non-Archimedean uniformization, identifying its essential skeleton with a tropical analogue and constructing a surjective analytic morphism from the character variety of the analytic fundamental group to the moduli space of semistable vector bundles with vanishing Chern classes.

The Gist

Imagine you are trying to understand a complex, multi-dimensional shape (like a crystal or a strange fruit) that exists in a world governed by very different rules than our own. This paper is about mapping that strange world into a simpler, more familiar one, and then seeing how the "skeleton" of the complex shape looks when you strip away all the fancy details.

Here is the story of the paper, broken down into simple concepts and analogies.

1. The Setting: A Shifting Landscape

The authors are studying Abelian Varieties. Think of these as high-dimensional donuts (or toruses) that are very special mathematical objects. They exist over a Non-Archimedean field.

• The Analogy: Imagine a world where the rules of distance are weird. In our world, if you walk 1 mile north and 1 mile east, you are $\sqrt{2}$ miles away. In this "Non-Archimedean" world, distances behave like a hierarchy of nested Russian dolls. If you are inside a big circle, everything inside it is "close," regardless of how far apart they seem on the surface.
• The "Totally Degenerate" Case: The authors focus on a specific type of these donuts that have "collapsed" or "degenerated" in a way that makes them look like a grid of lines and points when viewed through a special lens. This is the "totally degenerate reduction."

2. The Objects: Vector Bundles as "Fabric Patterns"

The paper studies Vector Bundles on these donuts.

• The Analogy: Imagine the donut is a piece of fabric. A "Vector Bundle" is a pattern of threads woven into that fabric.
  • Homogeneous Bundles: These are patterns that look exactly the same no matter where you slide them on the fabric. If you move the pattern, it fits perfectly back onto itself.
  • Semi-Homogeneous Bundles: These are slightly more flexible. If you slide the pattern, it might change color or twist slightly, but it still fits the fabric perfectly. It's like a pattern that changes its "mood" depending on where it is, but never breaks the fabric.

3. The Goal: The Moduli Space (The "Catalog")

Mathematicians love to organize things. They want to build a Moduli Space.

• The Analogy: Imagine a giant library catalog. Every book in the library is a different "semi-homogeneous bundle." The Moduli Space is the building that holds all these books. The authors want to know: "What does this building look like? Is it a castle? A maze? A simple room?"
• The Discovery: They found that this complex building can be described very simply. It turns out to be related to a "symmetric power" of a simpler building.
  • Simple Metaphor: If you have a single unique flower ($k=1$), the catalog is just a garden of those flowers. If you want to catalog bouquets of 3 flowers ($k=3$), the catalog is just the garden of single flowers, but arranged in groups of 3 where the order doesn't matter. The complex structure is just a "grouped version" of the simple one.

4. The Magic Trick: Tropicalization (The "Shadow")

This is the core of the paper. The authors use a technique called Tropicalization.

• The Analogy: Imagine shining a bright light on a complex 3D sculpture (the Moduli Space). The shadow it casts on the wall is the Tropicalization.
  • In this mathematical world, the "shadow" is much simpler. It turns the complex, curved, smooth shapes into straight lines, corners, and grids. It's like turning a detailed painting into a stick-figure drawing.
  • The authors call this the Essential Skeleton. It's the bare-bones framework that holds the shape together.

5. The Connection: The "Uniformization" Bridge

The paper connects three different worlds:

1. The Complex World: The actual vector bundles on the donut (the fabric patterns).
2. The Representation World: The "Character Variety." This is a way of describing the bundles using representations (mathematical codes or passwords) of the donut's fundamental group.
   • Analogy: Instead of looking at the fabric, you look at the "lock and key" system that holds the fabric together.
3. The Tropical World: The shadow/skeleton.

The Big Result:
The authors built a bridge between these worlds. They showed that:

• You can take a complex bundle, turn it into a "code" (representation), and then turn that code into a "shadow" (tropical object).
• Alternatively, you can take the bundle, turn it directly into a "shadow" (tropical bundle).
• Crucially: Both paths lead to the exact same result. The "shadow" of the bundle is the same as the "shadow" of its code.

6. Why This Matters

• Simplification: It allows mathematicians to study incredibly complex geometric shapes by looking at their simple, linear "shadows" (tropical geometry).
• Mirror Symmetry: This work helps build a "dictionary" between different areas of math. It suggests that the complex geometry of these bundles is secretly the same as the simple geometry of tropical grids.
• The "Uniformization": They showed that the entire catalog of bundles can be "uniformized" (explained) by looking at the simpler world of representations and their shadows.

Summary in One Sentence

The paper proves that the complex catalog of special patterns on a high-dimensional donut can be perfectly understood by looking at its simple, linear "shadow" (tropical skeleton), and that this shadow is directly linked to the mathematical "codes" (representations) that define the patterns.

The "Aha!" Moment:
Just as a complex 3D object casts a simple 2D shadow, the authors showed that the intricate world of these vector bundles casts a very specific, predictable shadow that mathematicians can now fully map and understand.

Technical Summary

Here is a detailed technical summary of the paper "Semi-homogeneous vector bundles on abelian varieties: Moduli spaces and their tropicalization" by Andreas Gross, Inder Kaur, Martin Ulirsch, and Annette Werner.

1. Problem Statement

The paper addresses the geometric structure of moduli spaces of semi-homogeneous vector bundles on abelian varieties, specifically focusing on the interplay between their algebraic geometry over a non-Archimedean field and their tropicalization.

• Context: The authors work over an algebraically closed field $K$ of characteristic zero, complete with respect to a non-trivial non-Archimedean absolute value. They consider an abelian variety $A$ with totally degenerate reduction.
• Core Objects:
  • Semi-homogeneous bundles: Vector bundles $E$ such that for every translation $T_x$, $T_x^* E \cong E \otimes L$ for some line bundle $L$.
  • Moduli Spaces: The authors study the moduli spaces $M_{H,k}(A)$ of semi-homogeneous bundles with fixed slope $H \in NS(A)_\mathbb{Q}$ and rank $r = k \cdot n(H)$.
  • Tropicalization: The goal is to describe the "tropical limit" of these moduli spaces and relate them to the essential skeletons of the associated Berkovich analytic spaces, a concept central to the non-Archimedean SYZ fibration and mirror symmetry.
• Specific Gap: While the classification of semi-homogeneous bundles (Mukai) and the tropicalization of line bundles are known, a unified tropical description for higher-rank semi-homogeneous bundles and their moduli spaces was lacking.

2. Methodology

The authors employ a multi-faceted approach combining non-Archimedean geometry, tropical geometry, and representation theory:

1. Non-Archimedean Uniformization: They utilize the uniformization $A^{an} \cong T^{an}/\Lambda$, where $T$ is an algebraic torus and $\Lambda$ is a lattice. This allows them to lift problems from the abelian variety to the torus and its lattice.
2. Fourier-Mukai Transforms: They rely heavily on Mukai's theory, which relates semi-homogeneous bundles on $A$ to line bundles on isogenous abelian varieties (or duals).
3. Tropical Appell-Humbert Theory: They extend the tropical Appell-Humbert theorem (originally for line bundles) to vector bundles. This involves defining tropical vector bundles as torsors over the group $S_r \ltimes \text{Aff}_X^r$ and utilizing factors of automorphy on real tori.
4. Essential Skeletons: They utilize the theory of essential skeletons (Kontsevich-Soibelman) for Calabi-Yau varieties. Since the moduli spaces $M_{H,k}(A)$ are Calabi-Yau, they admit a canonical strong deformation retraction $\tau$ onto their essential skeleton.
5. Lattice Refinement: A crucial technical step involves identifying a specific sublattice $\Lambda^c_H \subseteq \Lambda$ (the "compatible" lattice) that ensures the tropicalization map is well-defined and surjective onto a refined tropical moduli space.

3. Key Contributions and Results

A. Structure of Moduli Spaces (Theorem A)

The authors provide a precise moduli-theoretic description of $M_{H,k}(A)$:

• Case $k=1$: The moduli space of simple semi-homogeneous bundles is isomorphic to a Picard variety of an isogenous abelian variety: $M_{H,1}(A) \cong \text{Pic}^{\pi^* H}(A_H)$.
• Case $k \ge 1$: The moduli space is isomorphic to the symmetric power of the $k=1$ case:
  $$\text{Sym}_k M_{H,1}(A) \xrightarrow{\sim} M_{H,k}(A)$$
  This confirms that the moduli space is a connected component of the space of semistable sheaves with projective Chern classes.

B. Tropicalization and Essential Skeletons (Theorem B)

This is the central result of the paper. The authors construct a tropical analogue of the moduli space, denoted $M^{\Lambda^c_H}_{H,k}(A^{\text{trop}})$, which consists of equivalence classes of semi-homogeneous tropical vector bundles.

• Main Theorem: There is a natural isomorphism between the tropical moduli space and the essential skeleton of the analytic moduli space:
  $$M^{\Lambda^c_H}_{H,k}(A^{\text{trop}}) \xrightarrow{\sim} \Sigma(M_{H,k}(A))$$
• Commutativity: The tropicalization map $\text{trop}: M_{H,k}(A)^{an} \to M^{\Lambda^c_H}_{H,k}(A^{\text{trop}})$ coincides with the retraction $\tau$ onto the essential skeleton.
• Significance: This generalizes previous results on Tate curves (genus 1) to arbitrary dimension and provides a dictionary between non-Archimedean skeletons and tropical moduli spaces.

C. Character Varieties and Homogeneous Bundles (Theorem C)

In the specific case where the slope $H=0$ (homogeneous bundles), the authors connect the moduli space to the character variety of the fundamental group.

• Analytic Morphism: They construct a surjective analytic morphism from the character variety of the analytic fundamental group $\Lambda$ to the moduli space of homogeneous bundles:
  $$\eta^{an}_A: X_r(\Lambda)^{an} \to M_{0,r}(A)^{an}$$
• Tropical Analogue: They define a tropical character variety $X^{\text{trop}}_r(\Lambda)$ and a tropical morphism $\eta^{\text{trop}}_A$.
• Compatibility: The diagram involving the analytic morphism, tropicalization, and the retraction to the essential skeleton commutes. This establishes that the tropicalization of the character variety (specifically its diagonalizable component) is the essential skeleton of the character variety, and this structure is preserved under the map to the moduli space of bundles.

4. Technical Details of the Construction

• The Lattice $\Lambda^c_H$: To define the tropicalization, the authors must resolve the ambiguity in the isogeny used to uniformize the bundle. They define $\Lambda^c_H$ as the maximal sublattice of $\Lambda$ on which the slope $H$ induces a symmetric pairing. This lattice ensures that the push-forward of a tropical line bundle is well-defined up to equivalence.
• Tropical Vector Bundles: Defined via factors of automorphy $(H, l)$ where $H$ is a symmetric homomorphism and $l$ is a linear map. Indecomposable tropical bundles correspond to connected covers of the tropical torus.
• Semi-homogeneity in Tropical Setting: A tropical bundle is semi-homogeneous if its indecomposable summands all have the same slope. The moduli space is constructed as a symmetric power of the moduli space of indecomposable bundles.

5. Significance and Impact

1. Non-Archimedean Uniformization of Moduli Spaces: The paper provides a "non-Archimedean uniformization" for the moduli space $M_{0,r}(A)$ (semistable bundles with vanishing Chern classes). It shows that this moduli space can be viewed as the quotient of a character variety, analogous to how abelian varieties are quotients of tori.
2. Bridge to Mirror Symmetry: By identifying the essential skeleton with a tropical moduli space, the work contributes significantly to the non-Archimedean SYZ program. It offers a concrete realization of the "tropical side" of mirror symmetry for these specific moduli spaces.
3. Generalization of Known Results: It extends the classification of vector bundles on elliptic curves (Atiyah) and results on Tate curves (Gross-Ulirsch-Zakharov) to higher-dimensional abelian varieties and higher-rank bundles.
4. Representation Theory Connection: The link between the character variety of the fundamental group and the moduli of bundles in the tropical setting provides new insights into the Corlette-Simpson correspondence in the $p$-adic/tropical context.

In summary, the paper successfully constructs a rigorous framework where the complex geometry of semi-homogeneous vector bundles on abelian varieties is translated into combinatorial tropical geometry, mediated by the topology of Berkovich analytic spaces and their essential skeletons.