Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Arakelov geometry of toric bundles: Okounkov bodies and BKK

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

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

Pith's one-line read The paper proves an arithmetic bundle BKK identity in which Arakelov intersections on toric bundles equal an integral over the Newton polytope of base intersection data, and derives from it explicit heights and minima for compactified…

desk verdict A genuinely new arithmetic bundle BKK theorem for toric bundles, with solid-looking proofs and two compressed foundational sections that need expansion before the full claims are usable. read the letter →

arxiv 2412.04169 v1 pith:2ZSGLPGT submitted 2024-12-05 math.NT math.AG

Nuno Hultberg This is my paper · ORCID
classification math.NTmath.AG MSC 14G4014M2552B20
keywords toricvarietybundlesemiabelianArakelovgeometryOkounkovbodypolytopeadeliclinesuccessiveminima
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

One central claim organizes the paper: on an integrable adelic toric bundle over a smooth projective base, arithmetic intersection numbers of toric divisors against base classes are not transcendental invariants but ordinary integrals of base intersection data over the Newton polytope. The precise statement is the arithmetic bundle BKK theorem, which fixes the mixed number $i!\rho(\Delta)^{t+i}\pi^*\gamma$ as $(t+i)!\int_\Delta (pc(m)+\theta(m)[\infty])^i\gamma\,dm$. To reach it the paper computes the Okounkov body and Boucksom-Chen transform of a toric-bundle line bundle as a family fibred over the polytope, and derives from this the essential and absolute Zhang minima of such bundles. If the theorem is right, heights and successive minima of toric compactifications of semiabelian varieties are explicit integrals and facewise maxima/minima of ordinary height functions, recovering and generalizing a previous computation for the standard simplex compactification.

What carries the argument

The load-bearing objects are adelic torus bundles—symmetric monoidal functors $T:M\to\widehat{\mathrm{Pic}}(B)$ from the character lattice to the category of adelically metrized line bundles—and the induced maps $\rho$, $\rho^{\mathrm{metr}}$, and $\hat{\rho}$ that turn a toric divisor on the model fibre $X_\Sigma$ into a divisor with metric on the total space of the bundle. The section/eigenspace orthogonality of toric line bundles lets the paper identify global sections of $\hat{\rho}(\Delta)+\pi^*L$ with sections of $L+T(m)$ on the base. The arithmetic convex chains of Section 5.2, a version of convex-chain algebras over virtual polytopes adapted to roof functions, supply the polynomiality that lets the author compare the two sides of the BKK identity by differentiating along the rays of an adelic fan.

What would settle it

Take $B$ an elliptic curve over a number field, a rank-one adelic torus bundle whose single character is a non-torsion class in $\widehat{\mathrm{Pic}}(B)$ with a non-algebraic integrable metric, $\Delta=[0,1]$, $i=1$, and $\gamma$ the class of a closed point. Compute the model-based left-hand side $\rho(\Delta)^{t+1}\pi^*\gamma$ independently for a sequence of models and compare it with the integral $\int_0^1(pc(m)+\theta(m)[\infty])\gamma\,dm$; a discrepancy would refute the theorem, as would an example in which the linear extension of approximating algebraic metrics in Proposition 3.5.2 fails to be monoidal.

Watch

Extended reading notes

Core claim

The discovery is that the arithmetic analogue of the bundle BKK formula holds: for an adelic integrable projective toric bundle $X$ of relative dimension $t$ over a smooth projective base $B$ of dimension $g$, and for any $\gamma\in A^{g+1-i}(B)$, the intersections on the left are well-defined and satisfy $i!\rho(\Delta)^{t+i}\pi^*\gamma=(t+i)!\int_\Delta(pc(m)+\theta(m)[\infty])^i\gamma\,dm$. The data entering the integral are the adelic character map $pc:M\to\widehat{\mathrm{Pic}}(B)$ of the underlying torus bundle, the Newton polytope $\Delta$ with its roof function $\theta$, and the archimedean class $[\infty]$ with constant Green functions. The proof compares two homogeneous polynomial functions on the space of adelic polytopes by differentiating along rays of an adelic fan, using arithmetic convex chains. As a by-product, the Okounkov body of $\pi^*L+\rho(\Delta)$ is the closure of $\{(m,x):m\in\Delta,\,x\in\Delta_{B}(L+T(m))\}$ and the Boucksom-Chen transform is $\theta(m)+G_{L+T(m)}(x)$, which yields the stated formulas for Zhang minima and for heights and successive minima of compactified semiabelian varieties.

Load-bearing premise

The formula is only meaningful if the arithmetic intersection pairing extends from nice model metrics to all integrable metrics on the base; the proof of that extension assumes every base cycle class at a finite place can be written as a difference of nef cycle classes, so an integrable metric for which that decomposition does not control the intersection product would make the left-hand side of the theorem undefined.

Editorial extensions

If this is right

  • If the theorem is right, the height of any toric compactification of a semiabelian variety with split torus part is $-(d+1)!\int_\Delta \hat{h}(c(m))\,dm$, so heights become ordinary integrals of the canonical height over the Newton polytope, recovering the standard-simplex computation for every fan.
  • Zhang minima of toric-bundle line bundles are governed by the maxima and minima over $m\in\Delta$ of $\zeta(L+c(m))+\theta(m)$, so small-point questions on the bundle reduce to small-point questions on the base twisted by torus characters.
  • Okounkov bodies of toric bundles fibre over the Newton polytope with fibres equal to Okounkov bodies of base line bundles, giving a geometric picture in which the arithmetic volume of the bundle is an integral of base arithmetic volumes.
  • The arithmetic bundle BKK identity polarizes: mixed intersection numbers of several toric divisors are symmetric multilinear functions obtainable from the same polytope integral, so all such pairings are computable from base data.
  • Successive minima of compactified semiabelian varieties are constant up to the dimension of the abelian quotient and are then determined by faces of the polytope, organizing the height filtration entirely by face geometry.

Reading between the lines

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

  • An editorial extension: the computed Boucksom-Chen transform makes toric bundles a natural testbed for equidistribution of small points, since the paper notes the relevant criterion is expressible through such transforms; one could try to verify the equidistribution condition directly from the fibred formula.
  • The convex-chain method should also yield an arithmetic description of a suitable subring of the arithmetic Chow ring of a toric bundle, replacing the topological arguments used in the geometric bundle BKK theorem; the paper poses this as an open question.
  • A testable extension is to transfer Theorem B from operational arithmetic Chow cohomology to the homological b-cycle groups defined in Section 2.4; the same derivative comparison would then produce intersection numbers for arbitrary cycles on non-regular models.
  • A further consequence left implicit is that the identity is polynomial in the adelic polytope, so Minkowski-sum and translation rules for heights on toric bundles should follow the classical BKK additivity pattern.
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 develops an Arakelov-geometric framework for toric bundles over a projective base, introducing adelic torus bundles, a map rho from toric divisors on the model fibre to divisors on the total space, and the notion of adelic polytopes. It computes Okounkov bodies and Boucksom-Chen transforms for line bundles of the form rho(D)+pi^*L (Theorem 4.0.1 and Theorem 4.1.1), derives formulas for essential and absolute minima (Theorem A), and proves an arithmetic analogue of the Hofscheier-Khovanskii-Monin bundle BKK formula (Theorem B). These results are applied to compactified semiabelian varieties, yielding formulas for heights and successive minima (Theorems C and D) that recover and generalize computations of Chambert-Loir.

Significance. If the proofs are completed, Theorem B is a substantial unification: it extends the arithmetic BKK theorem of Burgos Gil-Philippon-Sombra and the topological bundle BKK theorem of Hofscheier-Khovanskii-Monin to arithmetic intersection numbers on toric bundles with integrable adelic metrics. The framework of adelic polytopes and the rho map provides a coherent language for transferring convex-geometric arguments to arithmetic settings. The applications to semiabelian varieties give clean, explicit height and minima formulas that recover earlier work of Chambert-Loir and go beyond it to arbitrary toric compactifications. The paper is clearly written and contains several original structural contributions, including the category-theoretic treatment of torus bundles and the systematic use of operational arithmetic Chow cohomology.

major comments (3)
  1. [Section 2.4, Proposition 2.4.3] The extension of the arithmetic intersection pairing to arbitrary integrable line bundles is not adequately justified in the non-archimedean case. The proof bounds intersections with a vertical divisor D by writing i^*phi as a difference of nef dual cycle classes on the special fibre, citing [FL17, Lemma 3.7] for full-dimensionality of the nef cone. However, the special fibre of a flat projective model with smooth generic fibre can be singular and reducible, and the paper does not verify that the hypotheses of [FL17, Lemma 3.7] hold on each irreducible component, nor that the decomposition is compatible with the operational pullback i^*. The subsequent passage from semipositive metrics to all integrable metrics (differences of uniform limits of semipositive model metrics) is stated without proof. Since the left-hand side of Theorem B uses this extension for arbitrary gamma in A^{g+1-i}(B), Theorem B is not shown to be well-defined at the stated level of generality unless this continuity argument is supplied.
  2. [Section 3.5, Proposition 3.5.2] The approximation of an integrable torus bundle by algebraic metrics is only sketched. The proof approximates each pT(m_i) on a basis of M by differences of limits of algebraic semipositive metrics and then extends linearly to all of M, but it does not check that the resulting family pT_k is monoidal, i.e. that the isomorphisms pT_k(m_1+m_2) ~ pT_k(m_1) ⊗ pT_k(m_2) are compatible with the algebraic approximations. The uniform convergence of pρ_{pT_k}(D) to pρ_{pT}(D) is asserted from Lipschitz continuity and convergence of v_k, but the details are not given. This proposition is used in the proof of Lemma 5.4.1 to establish vanishing of higher derivatives of pF_γ in the non-algebraic case; without a complete proof, the induction argument for Theorem B does not cover general integrable torus bundles.
  3. [Section 5.4, Lemma 5.4.1] In the computation for the case where τ_1,...,τ_{t+1} span a maximal cone, the proof states 'We now apply that pρ(pA,θ_v(A)q) = π^*c(pA,θ_v(A)q) and an explicit projection formula.' This identity is not justified in the text: pρ is defined on divisors/polytopes, while c is a map M -> Pic(B), so the meaning of pρ of a point (A,θ_v(A)) and its identification with a pullback from the base requires a nontrivial compatibility statement. Since this step is used to extract the factor pc(A,θ_v(A))^i from the intersection, the argument would benefit from a precise statement and proof of the claimed projection formula in the arithmetic setting.
minor comments (5)
  1. [Introduction, Section 3.2] The phrase 'Let T be a T-torsor over B, for a split torus T' in the introduction uses the same symbol T for the torus and the torsor, which is confusing; the torsor is later denoted T in Section 3.1 but the double use of T persists.
  2. [Proposition 3.2.5] The proof of Proposition 3.2.5 says 'This is a combination of Proposition 3.2.5 and [BPS14, Theorem 3.2.4]', which is circular; it should refer to the relevant classification of torus bundle morphisms (e.g. Proposition 3.1.5) rather than to itself.
  3. [Definition 2.1.9] The global roof function θ is defined as a finite sum Σ n_i θ_i with weights n_i that are 'clear from the context'; for adelic divisors the weights are later specified as 1 for function fields and [K_i:Q_i]/[K:Q] for number fields, but the dependence on the normalization of the arithmetic intersection product is not explained at the point of definition.
  4. [Theorem B] In the displayed formula of Theorem B the integration variable dm is not explicitly identified (Lebesgue measure on M_R) and the class r8s is introduced only in the preceding paragraph; a short sentence clarifying the normalization of the measure and the class would improve readability.
  5. [Section 2.4] The operational arithmetic Chow cohomology A^*(X) is called 'preliminary' and the paper notes that further compatibility relations may be needed for some applications; this caveat should be revisited after the proof of Proposition 2.4.3 is completed, since Theorem B relies essentially on this construction.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem B is proved by comparing two independently defined polynomial functions via derivative computations, with external benchmarks carrying the base cases.

full rationale

The paper's derivation chain is not circular in the sense of the review criteria. The central identity (Theorem B) is not equivalent to its inputs by construction: the left-hand side is an arithmetic intersection number involving the toric-bundle divisor ρ(Δ), while the right-hand side is an integral of base-variety characteristic classes and the roof function θ over the Newton polytope. The proof defines two functions pI_γ and pF_γ and shows they are homogeneous polynomials; equality is obtained by comparing their (t+1)-st derivatives. The squarefree derivative comparison is a direct toric-cycle computation on the special fibre, and the base case i=0 is reduced to the classical BKK theorem ([HKM21]) plus an explicit projection formula; both are external results, not restatements of Theorem B. The Okounkov-body results used for Theorem A rest on the external Boucksom–Chen/Ballay–Qu–Yin theorems and the toric section orthogonality of [Bur+16], with the roof function defined independently through sup-norms of toric sections. The semiabelian computations cite Chambert-Loir's intersection formula [Cha00] as an external input. The paper's own flagged weaknesses—the sketched non-archimedean continuity argument in Proposition 2.4.3 and the linear extension of algebraic approximations in Proposition 3.5.2—are potential correctness gaps (unverified hypotheses, possible lack of monoidal compatibility), not instances where a 'prediction' reduces to a fit or to a self-citation. No load-bearing self-citation chain is present; the author's earlier PhD thesis version is mentioned only as provenance. Accordingly no circular step was identified.

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

The central claims rest on standard toric and adelic intersection theory plus two new foundational definitions whose proofs are sketched. No fitted parameters appear. The main load-bearing assumptions are the existence of the operational Chow extension in Section 2.4 and the approximation of integrable torus bundles in Section 3.5.

assumptions (6)
  • standard math Standard toric dictionary: toric Cartier divisors correspond to virtual support functions and polytopes, with Legendre-Fenchel duality and the correspondence between concave functions and semipositive metrics.
    Invoked throughout Sections 2 and 3, e.g. Theorem 2.1.5 and the identification between polytopes and concave functions before Definition 2.1.11, and the toric roof function of Definition 2.3.2.
  • standard math Adelic intersection theory for integrable divisors, including Zhang's intersection pairing, Boucksom-Chen Okounkov body theory, and arithmetic Hilbert-Samuel theorems.
    Theorems 2.2.1, 2.2.2 and 2.2.3 are used directly in the proofs of Theorems A, C and D; these results are attributed to Zhang, Boucksom-Chen, Ballaÿ, and others.
  • standard math Pukhlikov-Khovanskii theory of finitely additive measures on virtual polytopes and the polynomial extension theorem.
    Theorem 5.2.5 and Theorem 5.2.8 are used in Corollary 5.2.10 to prove that the arithmetic integral pI_gamma is a homogeneous polynomial, a key step in Theorem B.
  • standard math Neron-Tate height theory and Chambert-Loir's intersection computation on abelian varieties.
    Lemma 6.0.1 uses [Cha00, Theoreme 2.5] to compute the Boucksom-Chen transform on abelian fibres; this is external input, clearly cited, and not derived in the paper.
  • ad hoc to paper The newly introduced operational arithmetic Chow cohomology A^*(X) and the integral b-cycles satisfy the required functoriality and extend the intersection pairing to integrable line bundles.
    Definition 2.4.1 and Propositions 2.4.3 and 2.4.5 are new; their proofs are sketched and are load-bearing for the well-definedness of the intersection numbers in Theorem B.
  • domain assumption Global field setup: K is a number field or function field, the torus part of the semiabelian variety is split, and the adelic metrics are integrable and compatible with a model at almost all places.
    Used throughout Section 3 and Section 6 to define adelic torus bundles, canonical metrics, and the semiabelian compactifications; the splitness of the torus is assumed after a finite extension.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Arakelov geometry of toric bundles: Okounkov bodies and BKK." pith.science (2026). https://pith.science/paper/2ZSGLPGT

@misc{pith2026241204169,
  author       = {Pith},
  title        = {Pith review of: Arakelov geometry of toric bundles: Okounkov bodies and BKK},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2ZSGLPGT}},
  note         = {Machine review of arXiv:2412.04169}
}
read the original abstract

This article introduces the study of toric bundles and the morphisms between them from the perspective of adelic fibre bundles, as introduced by Chambert-Loir and Tschinkel. We study the Okounkov bodies and Boucksom-Chen transforms of suitable adelic line bundles on toric bundles. Finally, we prove an arithmetic analogue of a formula for intersection numbers due to Hofscheier, Khovanskii and Monin. We apply this to the study of compactifications of semiabelian varieties, whose height and successive minima we compute. This extends computations of Chambert-Loir to arbitrary toric compactifications.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Equidistribution for semiabelian varieties over number fields

    math.NT 2026-08 conditional novelty 6.0 of 10

    For monocritical arithmetically T-effective toric metrics on semiabelian compactifications, generic small sequences equidistribute and minimal-height subvarieties are special.

Reference graph

Works this paper leans on

3 extracted references · 1 linked inside Pith · cited by 1 Pith paper

  1. [1161]

    Positive Line Bundles on Arithmeti c Varieties

    issn: 0012-9593,1873-2151. doi: 10.24033/asens.2235 . url: https ://doi.org/10.24033/asens.2235. [Zha95a] Shouwu Zhang. “Positive Line Bundles on Arithmeti c Varieties”. In: Journal of The American Mathematical Society - J AMER MATH SOC 8 (Jan. 1995), pp. 187–187. doi: 10.2307/2152886. [Zha95b] Shouwu Zhang. “Small points and adelic metrics”. I n: J. Alge...

    doi:10.24033/asens.2235 1995

  2. [1807]

    The Multi-Dimensional Version of şb axpdx

    doi: 10.1007/BF01455973 . url: https://doi.org/10.1007/BF0145 5973. [LA01] Jean B. Lasserre and Konstantin E. Avrachenkov. “The Multi-Dimensional Version of şb axpdx”. In: The American Mathematical Monthly 108.2 (2001), pp. 151–154. doi: 10.1080/00029890.2001.11919735. eprint: https://doi .org/10.1080/00029890.2001.11919735 . url: https://doi.org/10.108 0...

    arXiv 2001

  3. [2023]

    Chapter I: Arithmetic Interse ction

    arXiv: 2208.13230 [math.NT] . url: https://arxiv.org/abs/2208 .13230. [Sou21] Christophe Soul´ e. “Chapter I: Arithmetic Interse ction”. In: Arakelov geo- metry and Diophantine applications . Ed. by Emmanuel Peyre and Ga¨ el R´ emond. Cham: Springer International Publishing, 2021, pp. 9–36. isbn: 978- 3-030-57559-5. doi: 10.1007/978-3-030-57559-5_2 . url:...

    arXiv 2014

Pith tools

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