Pith. sign in

REVIEW 3 major objections 5 minor 14 references

Pure extension of the theta divisor over the moduli space of abelian varieties

T0 review · 3 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The two natural compactifications of a universal theta divisor differ exactly by the tropical Riemann theta function, and Moret-Bailly's key formula survives on the boundary.

desk verdict The pure weight-2 theta divisor is explicitly Θ̄ + div θinv and the boundary key formula is mostly solid; Cor 8.21 has a real sign/factor slip, and the char-2/root-stack reliance on quoted Berkovich results is the main thing to press. read the letter →

arxiv 2602.22162 v2 pith:3L6XV6XT submitted 2026-02-25 math.AG

Ana María Botero , José Ignacio Burgos Gil , David Holmes , Robin de Jong This is my paper · ORCID
classification math.AG MSC 14K2514G4014T90
keywords thetadivisorpureweight2adeliclinebundlestropicalfunctionlogabelianvarietiesMoret-BaillykeyformulaDelaunay–VoronoicompactificationNéron–Tateheight
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper resolves a subtle ambiguity in extending the universal theta divisor to a compactification of the moduli space of principally polarized abelian varieties. The authors show that the two natural choices—the Zariski closure and the unique extension that is 'pure of weight 2'—differ precisely by a tropicalization of the Riemann theta function, a piecewise-linear correction term. They prove that Moret-Bailly's key formula, which relates the eighth power of the polarizing line bundle to the theta divisor and the Hodge bundle, extends as an exact isomorphism of adelic (or b-) line bundles over the entire compactification. If this holds, it gives a uniform, boundary-controlled description of the Néron–Tate height of a point, linking arithmetic heights to tropical theta functions and Alexeev–Nakamura models.

What carries the argument

The central object is the invariant tropical theta function θinv = θpl − θeq, the difference between a piecewise-linear theta function (a tropicalization of the classical Riemann theta series) and an 'equilibrium' smooth variant defined by interpolation. This difference descends to a continuous conical function on the tropicalization of the compactified moduli space, and it is used to twist the Zariski closure of the theta divisor to obtain a pure weight-2 extension. The proof relies on the theory of logarithmic abelian varieties (Kajiwara–Kato–Nakayama), log b-line bundles, and a detailed comparison of vanishing orders of sections via Berkovich skeleta and Alexeev–Nakamura models.

What would settle it

Construct an explicit degenerating family of principally polarized abelian varieties over a DVR (e.g., a genus-2 example) where the Alexeev–Nakamura model has a reducible special fiber, and compute the vanishing order of the canonical theta section along each component. If the order differs from the supremum of the canonical metric on the skeleton (as asserted by the quoted results), the key formula would fail. Similarly, in characteristic 2, check whether the Cartier divisor 8Θ defined in §8.4 equals the Zariski closure when pulled back to a smooth stratum; a counterexample would invalidate T

Watch

Extended reading notes

Core claim

On the mixed Delaunay–Voronoi compactification of the universal abelian variety, the pure weight-2 extension of the universal theta divisor (the Zariski closure twisted by the invariant tropical theta function, Θpure = Θ̄ + div θinv) is exactly the extension that makes the purity relation [n]*Θ ∼ n²Θ hold up to pullbacks from the base. The key formula becomes (Lpure)⊗8 = O(8Θpure) ⊗ π*ω⊗−4 as adelic (equivalently log-b) line bundles, extending Moret-Bailly's classical isomorphism from the interior to the whole compactification. This identifies Yuan–Zhang's invariant adelic extension of the polarizing line bundle with the purely combinatorially defined line bundle Lθpl(θinv), and yields a uni

Load-bearing premise

The boundary key formula and the purity relation rely on a chain of previously established results about vanishing orders of sections of line bundles on Alexeev–Nakamura models (quotations of [JS22] and [JS24]), particularly the equality of sup norms on Berkovich skeleta with vanishing orders along the special fiber; if any of those results fail in the full generality needed here—e.g., on non-normal strata in characteristic 2 or after the root-stack base change—then the equal

Editorial extensions

If this is right

  • The pure weight-2 extension of the theta divisor is now an explicit, computable object on the compactification, with its boundary behavior controlled by the tropical theta function.
  • Moret-Bailly's key formula holds over the entire compactification, giving an isomorphism of adelic line bundles and thus a boundary-compatible link between the polarizing bundle, theta divisor, and Hodge bundle.
  • The universal Néron–Tate height formula makes the height of a point on a principally polarized abelian variety computable from local intersection multiplicities, an invariant tropical theta function, and the classical normalized theta function at archimedean places.
  • The purity relation [n]*Θpure ∼ n²Θpure + (n²−1)π*c1(ω) holds as a b-divisor identity, showing that pure weight 2 extends naturally from abelian varieties to the universal family.
  • Over Z, the results remain valid even in characteristic 2, where the moduli stack is not normal, by defining the Cartier divisor 8Θ via a suitable rational section rather than via Zariski closure.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The identity Θpure = Θ̄ + div θinv likely governs the boundary asymptotics of not just Θ but of the whole family of theta line bundles with characteristics, suggesting a tropical correction formula for all symmetric divisors representing the principal polarization.
  • Since θinv is a tropical object, the result hints that arithmetic heights of points on degenerating abelian varieties can be approximated by evaluating tropical theta functions on skeleta—a theme that could extend to higher-rank degenerations and to the Zhang–Kawazumi φ-invariants.
  • The passage through log b-line bundles is a template for comparing other natural extensions (e.g., canonical vs. Zariski closure of cycles) on toroidal compactifications, potentially giving a general 'purity correction' mechanism for other moduli problems.
  • A testable consequence of the universal height formula is that the local non-archimedean contribution to Néron–Tate height, as a function of the base point, is piecewise-linear with slopes given by the tropical theta function; this could be checked in explicit one-parameter families of elliptic curves.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies the extension of the universal theta divisor over compactified moduli spaces of principally polarised abelian varieties. It defines a 'pure weight 2' extension Θpure = Θ + div θinv, where θinv is a difference of a piecewise-linear tropical theta function and a smooth tropical function, and proves that this extension satisfies the purity relation up to base pullbacks. The main theorem (Thm 1.3 / Cor 8.20) is an extension of Moret-Bailly's key formula to the boundary: (Lpure)^⊗8 ≅ O(8Θpure) ⊗ π*ω^⊗−4 as adelic/b-line bundles on the mixed Delaunay–Voronoi compactification. The paper also derives arithmetic consequences, including a universal formula for Néron–Tate heights and a description of the degeneration of the Riemann theta function.

Significance. If the main results are correct, they constitute a substantial conceptual advance: they give a precise tropical correction that distinguishes the Zariski closure from the pure weight-2 extension, extend Moret-Bailly's key formula across the boundary, and establish a clean comparison with Yuan–Zhang's invariant adelic line bundles. A particular strength of the paper is its explicit, checkable machinery: the functions θpl, θeq, and θinv are defined by closed formulas with no fitted parameters, and the key cocycle computations (Lemmas 5.3, 6.4, Prop 6.6) are internally coherent and were spot-checked by this referee. The logical chain from the Berkovich input (Props 8.4 and 8.7) through Thm 8.10 to Cor 8.20 is traceable, and the paper is careful to distinguish the different languages of log b-divisors, adelic divisors, and log adelic line bundles.

major comments (3)
  1. [§8.4 (Thm 8.9–8.10, Props 8.4, 8.7)] The proof of the boundary key formula relies on Prop 8.4 ([JS22, Cor 10.7]) and Prop 8.7 ([JS24, Cor 5.7, Prop 5.9]) for the constancy of orders of vanishing along irreducible components of the special fiber of the tautological (Alexeev–Nakamura) model. These results are used in two settings not visibly covered by the quoted hypotheses: residue characteristic 2 (where N^{mDV}_{g,1} is non-normal and the Cartier-to-Weil map fails) and after the integral/saturated root-stack base change of §8.4. If Prop 8.7(ii) fails, the equality c = ord_{v,f*L_A}(s) in Thm 8.9 fails, and with it Lemma 8.16, Thm 8.10, and the boundary part of Thm 1.3. The authors should state the precise hypotheses of [JS24] and explicitly verify them in these settings, or supply a proof of the needed generality.
  2. [§8.5, Cor 8.21] The displayed formula [n]*Θpure ∼ n²Θpure + (n²−1)π*c1(ω) is inconsistent with Cor 8.20. Pulling back the isomorphism L^⊗8 = O(8Θpure) ⊗ π*ω^⊗−4 along [n] and comparing with the n²-th tensor power of the same isomorphism yields [n]*Θpure ∼ n²Θpure − (n²−1)/2 π*c1(ω) (up to sign convention for c1). Both the sign and the factor are incorrect as printed. This does not by itself invalidate Cor 8.20, but the purity statement in Cor 8.21 is false as stated and must be corrected.
  3. [§4.3, Thm 4.17 and Thm 4.29] The representability theorems for N^Σ_g and N^{˜Σ}_{g,1} are justified by one-paragraph sketches ('local models are given by the spectra of the monoid rings'). Since these stacks underlie all subsequent constructions (log b-line bundles, tropical theta functions, the key formula), a rigorous proof or a precise reference is needed. As written, this is a gap in the foundational layer of the paper.
minor comments (5)
  1. [§8.3, proof of Thm 8.9] The line 'By proposition 8.5 we have − log ∥s(x)∥L = − log ∥s(x)∥L + θinv_ρ(a, val(x))' appears to have a typo: the first norm on the right should be ∥s(x)∥_{LP}. The subsequent 'In particular' line should then read − log ∥s(x)∥L = c + θinv_ρ(a, x).
  2. [§1.7 and Remark 8.19] The statement that 'all our main theorems listed above remain valid over Z' is asserted, but the proof of Thm 8.10 in characteristic 2 is contingent on the external results discussed in the first major comment. Please reconcile the assertion with the actual hypotheses verified.
  3. [§2.9, Def 2.28] In the definition of a log b-line bundle, 'a conical section of L' should specify that c is a section of L^{trop} ⊗_{sPL} CCon, matching the notation used later in the paper.
  4. [§8.5, Cor 8.20] The notation π*ω^{⊗−4}_{N_{g,1}/N_g} is ambiguous because ω is used both for the Hodge bundle on N_g and for its pullback. Please clarify the base of the Hodge bundle in the displayed formula.
  5. [References] The paper depends heavily on the unpublished preprint [JS24] and the book [YZ26]. Please ensure the exact statements quoted are available in the cited versions and add version/date information.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the key formula and pure extensions are derived, not definitionally forced.

full rationale

The derivation chain is not circular. The tropical functions θpl, θeq and θinv are introduced by explicit closed formulas (Defs. 6.1, 6.5) with no fitted parameters, and the cocycle/invariance identities are proved by direct computation (Lemmas 5.3, 6.4, Prop. 6.6). The pure extension Lpure is identified with the explicit log b-line bundle Lθpl(−θinv) via Cor. 7.15, which in turn uses the external uniqueness statement of Yuan–Zhang [YZ26, Thm 6.1.2]; this is an identification, not a definition of the object in terms of the target theorem. The main geometric content, Theorem 8.10 (div f = 8Θ), is proved independently of the tropical theta correction: it compares the divisor of the rational section f with the Zariski closure of Θ after a root-stack base change. Corollary 8.20 is then a consequence of Theorem 8.10 together with Cor. 7.15, not an equality that holds by definition alone; the θinv terms do not cancel formally in a way that would make the theorem vacuous, because the substantive boundary statement is div f = 8Θ. The load-bearing citations to [JS22, Cor. 10.7] and [JS24, Cor. 5.7, Prop. 5.9] involve a coauthor (R. de Jong), but they are external theorems about Berkovich sup-norms, vanishing orders and Alexeev–Nakamura models; they are not the present paper's conclusions, and their hypotheses being checked is a dependency/correctness risk, not a circular reduction. Possible issues such as characteristic-2 non-normality or the factor discrepancy in Cor. 8.21 concern correctness, not circularity. Under the stated rules, no step reduces by construction to its own input, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No free parameters are fitted: the apparent constants (⅛Q_a(ρ), the factors 8 and 4 in the key formula, the coefficient ½ in θeq) are forced by the cocycle identities (Lemma 6.4, Prop 6.6) and by the classical key formula; θinv has a fixed normalization (minimum value 0, Prop 6.6) used in Theorem 8.9. No new entities are postulated: θpl, θeq, θinv, log b-line bundles and the mixed Delaunay–Voronoi decomposition are all constructed explicitly from the given data (lattices, quadratic forms, cone decompositions), so the 'graviton problem' does not arise. The axioms listed are the external theories the central claim rests on.

assumptions (7)
  • domain assumption Yuan–Zhang invariant adelic line bundle L exists and is unique for the universal ppav bundle (YZ26 Thm 6.1.2–6.1.3), and its stack-extension in §7.1–7.3 is well-defined
    Theorem 7.14 identifies Lθpl(−θinv) with L purely by this uniqueness; if the stack extension of the adelic formalism fails, Cor 7.15 and hence Cor 8.18/8.20 lose their anchor.
  • domain assumption Kajiwara–Kato–Nakayama theory: representability and smoothness of A_Σ_g (KKN21, quoted in Thm 4.10), theorem of the cube for log line bundles (KKN18 Thm 2.2, used in Lemma 4.6 and 5.2), Poincaré log biextensions (KKN18 §1.3)
    The whole framework of log abelian varieties in chapters 3–5 is quoted from KKN; §3 states it is 'taking on trust many deep results'.
  • domain assumption Berkovich skeleton results from JS22/JS24: [JS22 Cor 10.7], [JS24 Cor 5.7, 5.8, Prop 5.9, Thm 6.1]
    Props 8.4–8.7 and the Néron-model comparison in Thm 9.6 (i_v(x,P_v,D) = i_v(x,N,D)) are quoted from these papers; Remark 8.6 notes Prop 8.5 is [JS24 Cor 5.8].
  • domain assumption Classical Moret-Bailly key formula (MB85 VIII.1.3, MB90 Thm 0.2): (π*L)^{⊗8} ⊗ ω^{⊗4} trivial, stated as Thm 8.1
    Eq (3) and Thm 8.1 are inputs, not proved; the boundary extension Cor 8.20 is built on them.
  • ad hoc to paper Representability theorems 4.17 and 4.29 hold; proofs are one-paragraph sketches ('local models are given by the spectra of the monoid rings')
    These underpin the existence of the compactifications N_Σ_g and N^{mDV}_{g,1} on which everything else lives; the proofs are terse and cite the framework rather than giving the construction.
  • domain assumption Flatness/root-stack machinery: [Mol21 Thm 2.1.4] and [Ogu18 Thms IV.4.3.5–6] give integrality/saturation and flatness of the root-stack base change π_n (Lemma 8.12); [AN99 Thm 4.4] gives h^0(L^d)=d^g on geometric fibres (Lemma 8.13)
    Lemmas 8.12–8.14 are the mechanism behind Thm 8.10's Zariski-closure statement.
  • domain assumption Metrical input in §9.3: [BGHdJ18 Thm 1.1] on the biextension metric asymptotics, the Mumford canonical extension property [Mum72], [Sch73] for the Hodge metric, and the toroidal psh extension framework [Bot+22 Ch 5–6]
    Proposition 9.4 and Cor 9.5 identify the metric-induced b-line bundles (L,‖·‖) = (L,θeq) and (ω,‖·‖Hdg) = ω; if [BGHdJ18 Thm 1.1]'s asymptotics were insufficient, the identification of the Lelong-number profile with θeq would fail.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Pure extension of the theta divisor over the moduli space of abelian varieties." pith.science (2026). https://pith.science/paper/3L6XV6XT

@misc{pith2026260222162,
  author       = {Pith},
  title        = {Pith review of: Pure extension of the theta divisor over the moduli space of abelian varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3L6XV6XT}},
  note         = {Machine review of arXiv:2602.22162}
}
read the original abstract

A theta divisor on the universal principally polarised abelian variety can be extended to a compactification either by taking the Zariski closure, or by taking the unique extension which is pure of weight 2. For the latter, following ideas of Yuan and Zhang, we need to pass to the category of adelic- or b-divisors. We show that the two choices of extension differ by a tropicalisation of the Riemann theta function. We prove an extension of Moret-Bailly's ''key formula'' that features the pure weight 2 extension of the theta divisor, and discuss various arithmetic applications, including a ''universal'' formula for the N\'eron--Tate height of a point. A key technical input is the systematic use of the theory of logarithmic abelian varieties due to Kajiwara, Kato, and Nakayama.

Figures

Figures reproduced from arXiv: 2602.22162 by the authors.

Figure 1
Figure 1. Log and tropical moduli in genus one logarithmic moduli spaces, using colour coding to demonstrate which boundary divisors correspond to which rays of the tropicalisation. We also include in our picture the Clemens complexes of these snc log schemes, to illustrate that the tropicalisation N trop 1 does not coincide with the Clemens complex. We refer to [MB90, Section 1.2] for more details, and the case that the char… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 4 linked inside Pith

  1. [1]

    Abramovich, Q

    [Abr+17] D. Abramovich, Q. Chen, S. Marcus, and J. Wise. Boundedness of the space of stable logarithmic maps. J. Eur. Math. Soc. (JEMS) 19.9 (2017), 2783–2809. [AN99] V. Alexeev and I. Nakamura. On Mumford’s construction of degenerating abelian varieties. Tˆ ohoku Math. J. (2)51.3 (1999), 399–420. [Ass+25] E. Assaf, M. Brandt, J. Bruce, M. Chan, and R. Vl...

    2017

  2. [5]

    [DK01] J.-P

    url: https: //arxiv.org/abs/2412.02817. [DK01] J.-P. Demailly and J. Koll´ ar. Semi-continuity of complex singularity expo- nents and K¨ ahler-Einstein metrics on Fano orbifolds. English. Ann. Sci. ´Ec. Norm. Sup´ er. (4)34.4 (2001), 525–556. 66 REFERENCES [Fan+05] B. Fantechi, L. G¨ ottsche, L. Illusie, S. L. Kleiman, N. Nitsure, and A. Vistoli. Fundamen...

    arXiv 2001

  3. [7]

    [JS22] R

    url: https://arxiv.org/abs/2510.23959. [JS22] R. de Jong and F. Shokrieh. Faltings height and N´ eron-Tate height of a theta divisor. Compos. Math. 158.1 (2022), 1–32. [JS24] R. de Jong and F. Shokrieh. Canonical local heights and Berkovich skeleta

    arXiv 2022

  4. [8]

    [Kat89] K

    url: https://arxiv.org/abs/2405.17826. [Kat89] K. Kato. Logarithmic structures of Fontaine-Illusie, Algebraic analysis, ge- ometry, and number theory (Baltimore, MD,

    arXiv

  5. [14]

    [Sta] The Stacks Project

    url: https://arxiv.org/abs/2406.19912. [Sta] The Stacks Project . url: https://stacks.math.columbia.edu/. [YZ26] X. Yuan and S.-W. Zhang. Adelic Line Bundles on Quasi-Projective Vari- eties. Princeton University Press,

    arXiv

  6. [1972]

    [Son23] Y. Song. Asymptotic behavior of the Zhang-Kawazumi’s φ-invariants. Adv. Math. 435.part A (2023), Paper No. 109349,

    2023

  7. [1973]

    Kajiwara, K

    [KKN08] T. Kajiwara, K. Kato, and C. Nakayama. Logarithmic abelian varieties. Nagoya Math. J. 189 (2008), 63–138. [KKN15] T. Kajiwara, K. Kato, and C. Nakayama. Logarithmic abelian varieties. IV: Proper models. Nagoya Math. J. 219 (2015), 9–63. [KKN18] T. Kajiwara, K. Kato, and C. Nakayama. Logarithmic abelian varieties. V: Projective models. Yokohama Mat...

    2008

  8. [1985]

    Moret-Bailly

    [MB90] L. Moret-Bailly. Sur l’´ equation fonctionnelle de la fonction thˆ eta de Rie- mann. (On the functional equation of the Riemann theta function). Com- pos. Math. 75.2 (1990), 203–217. [Mol21] S. Molcho. Universal stacky semistable reduction. Israel journal of mathe- matics 242.1 (2021), 55–82. [Mum72] D. Mumford. An analytic construction of degenera...

    1990

Show all 14 references
  1. [1988]

    [Kem+73] G

    (1989). [Kem+73] G. Kempf, F. Knudsen, D. Mumford, and B. Saint-Donat. Toroidal embed- dings. I . Vol

    1989

  2. [1990]

    [BGHdJ18] J. I. Burgos Gil, D. Holmes, and R. de Jong. Singularities of the biextension metric for families of abelian varieties. Forum Math. Sigma 6 (2018), Paper No. e12,

    2018

  3. [1993]

    [Gub07] W. Gubler. Tropical varieties for non-Archimedean analytic spaces. Invent. Math. 169.2 (2007), 321–376. [Gub10] W. Gubler. Non-Archimedean canonical measures on abelian varieties. Com- pos. Math. 146.3 (2010), 683–730. [HS25] X. Hu and M. Schimpf. Grothendieck topologi...

    2007

  4. [2018]

    [Sch73] W. Schmid. Variation of Hodge structure: The singularities of the period mapping. English. Invent. Math. 22 (1973), 211–319. [SGA7I] A. Grothendieck, M. Raynaud, and D. S. Rim. S´ eminaire de G´ eom´ etrie Alg´ ebrique Du Bois-Marie 1967–1969. Groupes de monodromie en ...

    1973

  5. [2024]

    [BMV11] S

    url: https://arxiv.org/abs/2403.11745. [BMV11] S. Brannetti, M. Melo, and F. Viviani. On the tropical Torelli map. Ad- vances in Mathematics 226.3 (2011), 2546–2586. [Bos96] J.-B. Bost. Intrinsic heights of stable varieties and abelian varieties. Duke Math. J. 82.1 (1996), 21–...

    2011 arXiv

  6. [2025]

    url: https://arxiv.org/abs/2505. 10504. [A W18] D. Abramovich and J. Wise. Birational invariance in logarithmic Gromov– Witten theory. Compositio Mathematica 154.3 (2018), 595–620. [BBG22] A. M. Botero and J. I. Burgos Gil. Toroidal b-divisors and Monge-Amp` ere measures. Math...

    2018

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.