pith. sign in

arxiv: 2312.12980 · v3 · submitted 2023-12-20 · 🧮 math.AG

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

Andreas Gross , Inder Kaur , Martin Ulirsch , Annette Werner This is my paper

Pith reviewed 2026-05-24 05:32 UTC · model grok-4.3

classification 🧮 math.AG
keywords abelian varietiessemihomogeneous vector bundlesmoduli spacesnon-Archimedean uniformizationtropicalizationessential skeletoncharacter varietyM_{0,r}(A)
0
0 comments X

The pith

A surjective analytic morphism from the character variety uniformizes the moduli space of semistable vector bundles with vanishing Chern classes on an abelian variety with totally degenerate reduction.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that when an abelian variety A has totally degenerate reduction over a non-Archimedean field, the moduli space of semihomogeneous vector bundles on A can be described using non-Archimedean uniformization. It further establishes that the essential skeleton of this moduli space coincides with a tropical analogue of the space. In the special case of vanishing Chern classes the moduli space is identified with M_{0,r}(A), and a surjective analytic morphism exists from the character variety of the analytic fundamental group of A onto M_{0,r}(A) that tropicalizes in a natural way. A sympathetic reader would care because the construction supplies an explicit bridge between analytic, algebraic, and tropical descriptions of the same moduli space.

Core claim

When A is an abelian variety with totally degenerate reduction over a non-Archimedean field, the moduli space of semihomogeneous vector bundles on A admits a description from the viewpoint of non-Archimedean uniformization, and its essential skeleton can be identified with the tropical analogue of the moduli space. For the case H=0 this moduli space is M_{0,r}(A), the moduli space of semistable vector bundles with vanishing Chern classes on A, and there exists a surjective analytic morphism from the character variety of the analytic fundamental group of A onto M_{0,r}(A) that tropicalizes naturally; the construction is presented as a non-Archimedean uniformization of M_{0,r}(A).

What carries the argument

the surjective analytic morphism from the character variety of the analytic fundamental group of A onto M_{0,r}(A), which carries the non-Archimedean uniformization and the natural tropicalization.

If this is right

  • The essential skeleton of the moduli space of semihomogeneous vector bundles is identified with its tropical analogue.
  • M_{0,r}(A) admits a non-Archimedean uniformization by means of a surjective analytic morphism from the character variety.
  • The morphism from the character variety to M_{0,r}(A) tropicalizes naturally.
  • The same uniformization perspective applies to the moduli space of general semihomogeneous vector bundles on A.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Tropical methods may now be applied to compute topological or geometric invariants of M_{0,r}(A).
  • The construction suggests a route for obtaining uniformizations of related moduli spaces of bundles on other varieties over non-Archimedean fields.
  • For low-dimensional cases such as elliptic curves, the morphism could be made explicit enough to permit direct verification or computation of fibers.

Load-bearing premise

The abelian variety A must have totally degenerate reduction over the non-Archimedean field.

What would settle it

An explicit calculation for a concrete abelian variety with totally degenerate reduction in which the proposed morphism from the character variety fails to be surjective onto M_{0,r}(A), or in which the essential skeleton fails to coincide with the tropical moduli space, would falsify the central claim.

read the original abstract

Let $A$ be an abelian variety with totally degenerate reduction over a non-Archimedean field. We describe the moduli space of semihomogeneous vector bundles on $A$ from the perspective of non-Archimedean uniformization and show that the essential skeleton may be identified with a tropical analogue of this moduli space. For $H=0$ our moduli space may be identified with the moduli space $M_{0,r}(A)$ of semistable vector bundles with vanishing Chern classes on $A$. In this case we construct a surjective analytic morphism from the character variety of the analytic fundamental group of $A$ onto $M_{0,r}(A)$, which naturally tropicalizes. One may view this construction as a non-Archimedean uniformization of $M_{0,r}(A)$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper claims that for an abelian variety A with totally degenerate reduction over a non-Archimedean field, the moduli space of semihomogeneous vector bundles on A can be described via non-Archimedean uniformization techniques. The essential skeleton is identified with a tropical analogue of this moduli space. When H=0 the space is identified with M_{0,r}(A), and the authors construct a surjective analytic morphism from the character variety of the analytic fundamental group of A onto M_{0,r}(A) that tropicalizes naturally, presenting this as a non-Archimedean uniformization of M_{0,r}(A).

Significance. If the constructions and identifications hold, the work supplies a uniformization result linking the character variety to the moduli space of semistable bundles with vanishing Chern classes on A, together with a tropicalization statement and an identification of the essential skeleton. This would strengthen the interface between non-Archimedean analytic geometry and tropical geometry for moduli problems on abelian varieties, building on standard uniformization methods under the totally degenerate reduction hypothesis.

minor comments (2)
  1. The abstract states the main results but does not indicate the precise sections where the surjective morphism is constructed or where the tropicalization is verified; explicit cross-references would aid readability.
  2. Notation for M_{0,r}(A) and the parameter H is introduced without prior definition in the provided abstract; a brief clarification of these objects in the introduction would help.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of our manuscript. The description accurately captures the main results on non-Archimedean uniformization of the moduli space of semihomogeneous vector bundles and the tropicalization statement. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external non-Archimedean uniformization

full rationale

The paper's central construction—a surjective analytic morphism from the character variety of the analytic fundamental group onto M_{0,r}(A) that tropicalizes, under the hypothesis of totally degenerate reduction—is presented as an application of standard non-Archimedean uniformization techniques rather than a self-referential definition or fitted input. No equations or steps in the provided abstract reduce by construction to their own inputs, and no load-bearing self-citations or uniqueness theorems imported from the authors' prior work are invoked to force the result. The identification of the essential skeleton with the tropical moduli space follows directly from the reduction hypothesis and external uniformization results, keeping the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, preventing a full audit of parameters or entities; the setting relies on the domain assumption of totally degenerate reduction.

axioms (1)
  • domain assumption A is an abelian variety with totally degenerate reduction over a non-Archimedean field
    This is the explicit setting stated in the abstract that enables the uniformization and tropicalization results.

pith-pipeline@v0.9.0 · 5676 in / 1353 out tokens · 37479 ms · 2026-05-24T05:32:28.331852+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    Dan Abramovich, Lucia Caporaso, and Sam Payne, The tropicalization of the moduli space of curves, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 48 (2015), no. 4, 765--809

    work page 2015

  2. [2]

    Lars Allermann, Chern classes of tropical vector bundles, Ark. Mat. 50 (2012), no. 2, 237--258

    work page 2012

  3. [3]

    M. F. Atiyah, Vector bundles over an elliptic curve, Proc. London Math. Soc. (3) 7 (1957), 414--452

    work page 1957

  4. [4]

    276, Birkh\" a user Boston, Inc., Boston, MA, 2009

    Claudio Bartocci, Ugo Bruzzo, and Daniel Hern\' a ndez Ruip\' e rez, Fourier- M ukai and N ahm transforms in geometry and mathematical physics , Progress in Mathematics, vol. 276, Birkh\" a user Boston, Inc., Boston, MA, 2009

    work page 2009

  5. [5]

    Berkovich, Spectral theory and analytic geometry over non- A rchimedean fields , Mathematical Surveys and Monographs, vol

    Vladimir G. Berkovich, Spectral theory and analytic geometry over non- A rchimedean fields , Mathematical Surveys and Monographs, vol. 33, American Mathematical Society, Providence, RI, 1990

    work page 1990

  6. [6]

    Barbara Bolognese, Alex Küronya, and Martin Ulirsch, P = W phenomena on abelian varieties , March 2023, arXiv:2303.03734 [math]

    work page arXiv 2023

  7. [7]

    4, 653--698

    Siegfried Bosch and Werner L\"utkebohmert, Degenerating abelian varieties, Topology 30 (1991), no. 4, 653--698

    work page 1991

  8. [8]

    Brown and Enrica Mazzon, The essential skeleton of a product of degenerations, Compos

    Morgan V. Brown and Enrica Mazzon, The essential skeleton of a product of degenerations, Compos. Math. 155 (2019), no. 7, 1259--1300

    work page 2019

  9. [9]

    Matthew Baker and Joseph Rabinoff, The skeleton of the J acobian, the J acobian of the skeleton, and lifting meromorphic functions from tropical to algebraic curves , Int. Math. Res. Not. IMRN (2015), no. 16, 7436--7472

    work page 2015

  10. [10]

    Tyler Foster, Joseph Rabinoff, Farbod Shokrieh, and Alejandro Soto, Non- A rchimedean and tropical theta functions , Math. Ann. 372 (2018), no. 3-4, 891--914

    work page 2018

  11. [11]

    Emilio Franco and Pietro Tortella, Moduli spaces of -modules on abelian varieties , Adv. Math. 318 (2017), 459--496

    work page 2017

  12. [12]

    Gerritzen, On non-archimedean representations of abelian varieties, Math

    L. Gerritzen, On non-archimedean representations of abelian varieties, Math. Ann. 196 (1972), 323--346

    work page 1972

  13. [13]

    Andreas Gross and Farbod Shokrieh, Tautological cycles on tropical Jacobians , October 2019, arXiv:1910.07165 [math]

    work page arXiv 2019

  14. [14]

    Walter Gubler, Tropical varieties for non- A rchimedean analytic spaces , Invent. Math. 169 (2007), no. 2, 321--376

    work page 2007

  15. [15]

    , Tropical varieties for non-archimedean analytic spaces, Invent. Math. 169 (2007), no. 2, 321--376

    work page 2007

  16. [16]

    Andreas Gross, Martin Ulirsch, and Dmitry Zakharov, Principal bundles on metric graphs: the GL _n case , Adv. Math. 411 (2022), no. part A, Paper No. 108775

    work page 2022

  17. [17]

    Daniel Huybrechts and Manfred Lehn, The geometry of moduli spaces of sheaves, second ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 2010

    work page 2010

  18. [18]

    Ben Heuer, Lucas Mann, and Annette Werner, The p -adic Corlette - Simpson correspondence for abeloids , Mathematische Annalen (2022), arXiv:2107.09403 [math]

    work page arXiv 2022

  19. [19]

    Lars Halvard Halle and Johannes Nicaise, Motivic zeta functions of degenerating C alabi- Y au varieties , Math. Ann. 370 (2018), no. 3-4, 1277--1320

    work page 2018

  20. [20]

    Huybrechts, Fourier- Mukai transforms in algebraic geometry , Oxford Math

    D. Huybrechts, Fourier- Mukai transforms in algebraic geometry , Oxford Math. Monogr., Oxford: Clarendon Press, 2006

    work page 2006

  21. [21]

    Alg\' e brique 2 (2018), Art

    Philipp Jell, Johannes Rau, and Kristin Shaw, Lefschetz (1,1) -theorem in tropical geometry , \' E pijournal G\' e om. Alg\' e brique 2 (2018), Art. 11, 27

    work page 2018

  22. [22]

    Math., vol

    Maxim Kontsevich and Yan Soibelman, Affine structures and non- A rchimedean analytic spaces , The unity of mathematics, Progr. Math., vol. 244, Birkh\" a user Boston, Boston, MA, 2006, pp. 321--385

    work page 2006

  23. [23]

    Joseph Le Potier, Sur le groupe de Picard de l'espace de modules des fibres stables sur \(P_ 2\) . , Ann. Sci. \'E c. Norm. Sup \'e r. (4) 14 (1981), 141--155 (French)

    work page 1981

  24. [24]

    Werner L \"u tkebohmert, Rigid geometry of curves and their J acobians , Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 61, Springer, Cham, 2016

    work page 2016

  25. [25]

    Yoz\^ o Matsushima, Fibr\' e s holomorphes sur un tore complexe , Nagoya Math. J. 14 (1959), 1--24

    work page 1959

  26. [26]

    Masayoshi Miyanishi, Some remarks on algebraic homogeneous vector bundles, Number theory, algebraic geometry and commutative algebra, in honor of Y asuo A kizuki, 1973, pp. 71--93

    work page 1973

  27. [27]

    (N.S.) 28 (2022), no

    Mirko Mauri, Enrica Mazzon, and Matthew Stevenson, On the geometric P = W conjecture , Selecta Math. (N.S.) 28 (2022), no. 3, Paper No. 65, 45

    work page 2022

  28. [28]

    V. B. Mehta and M. V. Nori, Semistable sheaves on homogeneous spaces and abelian varieties, Proc. Indian Acad. Sci. Math. Sci. 93 (1984), no. 1, 1--12

    work page 1984

  29. [29]

    Mircea Musta t a and Johannes Nicaise, Weight functions on non- A rchimedean analytic spaces and the K ontsevich- S oibelman skeleton , Algebr. Geom. 2 (2015), no. 3, 365--404

    work page 2015

  30. [30]

    Akihiko Morimoto, Sur la classification des espaces fibr\' e s vectoriels holomorphes sur un tore complexe admettant des connexions holomorphes , Nagoya Math. J. 15 (1959), 83--154

    work page 1959

  31. [31]

    Shigeru Mukai, Semi-homogeneous vector bundles on an A belian variety , J. Math. Kyoto Univ. 18 (1978), no. 2, 239--272

    work page 1978

  32. [32]

    , Duality between D ( X ) and D ( X ) and with its application to P icard sheaves , Nagoya Math. J. 81 (1981), 153–175

    work page 1981

  33. [33]

    David Mumford, Abelian varieties, Oxford University Press, 1970

    work page 1970

  34. [34]

    Math., vol

    Grigory Mikhalkin and Ilia Zharkov, Tropical curves, their J acobians and theta functions , Curves and abelian varieties, Contemp. Math., vol. 465, Amer. Math. Soc., Providence, RI, 2008, pp. 203--230

    work page 2008

  35. [35]

    Johannes Nicaise and Chenyang Xu, The essential skeleton of a degeneration of algebraic varieties, Amer. J. Math. 138 (2016), no. 6, 1645--1667

    work page 2016

  36. [36]

    Johannes Nicaise, Chenyang Xu, and Tony Yue Yu, The non-archimedean SYZ fibration , Compos. Math. 155 (2019), no. 5, 953--972

    work page 2019

  37. [37]

    Tadao Oda, Vector bundles on an elliptic curve, Nagoya Math. J. 43 (1971), 41--72

    work page 1971

  38. [38]

    3, Soci\' e t\' e Math\' e matique de France, Paris, 2003, S\' e minaire de g\' e om\' e trie alg\' e brique du Bois Marie 1960--61

    Rev\^ e tements \' e tales et groupe fondamental ( SGA 1) , Documents Math\' e matiques (Paris) [Mathematical Documents (Paris)], vol. 3, Soci\' e t\' e Math\' e matique de France, Paris, 2003, S\' e minaire de g\' e om\' e trie alg\' e brique du Bois Marie 1960--61. [Algebraic Geometry Seminar of Bois Marie 1960-61], Directed by A. Grothendieck, With two...

    work page 2003

  39. [39]

    Sikora, Character varieties, Trans

    Adam S. Sikora, Character varieties, Trans. Am. Math. Soc. 364 (2012), no. 10, 5173--5208

    work page 2012

  40. [40]

    Simpson, Moduli of representations of the fundamental group of a smooth projective variety

    Carlos T. Simpson, Moduli of representations of the fundamental group of a smooth projective variety. II , Inst. Hautes \' E tudes Sci. Publ. Math. (1994), no. 80, 5--79 (1995)

    work page 1994

  41. [41]

    The Stacks project authors , The stacks project, https://stacks.math.columbia.edu, 2024

    work page 2024

  42. [42]

    60 (1988), no

    Marius van der Put and Marc Reversat, Fibr\' e s vectoriels homog\`enes sur les vari\' e t\' e s ab\' e liennes qui sont des tores analytiques (rigides) , Manuscripta Math. 60 (1988), no. 1, 71--88

    work page 1988