Abstract divisorial spaces and arithmetic intersection numbers

Walter Gubler; Yulin Cai

arxiv: 2409.00611 · v2 · pith:3SH6JEYBnew · submitted 2024-09-01 · 🧮 math.AG · math.NT

Abstract divisorial spaces and arithmetic intersection numbers

Yulin Cai , Walter Gubler This is my paper

Pith reviewed 2026-05-23 21:01 UTC · model grok-4.3

classification 🧮 math.AG math.NT

keywords arithmetic intersection numbersabstract divisorial spacesadelic line bundlesproper adelic base curvenon-archimedean metricsrelative mixed energyarithmetic geometry

0 comments

The pith

Abstract divisorial spaces generalize arithmetic intersection numbers to proper adelic base curves.

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

The paper introduces abstract divisorial spaces to extend arithmetic intersection numbers, previously defined for adelic line bundles on quasi-projective varieties over number fields, to the setting of a proper adelic base curve. It incorporates relative mixed energy to handle more singular metrics at non-archimedean places, building directly on the frameworks of Yuan-Zhang and Burgos-Kramer. A sympathetic reader would care because this provides a consistent method for defining heights and intersections when the base is more general than a number field. The construction aims to preserve formal properties such as positivity and continuity from the earlier approaches.

Core claim

We introduce abstract divisorial spaces as a tool to generalize these arithmetic intersection numbers to the setting of a proper adelic base curve in the sense of Chen and Moriwaki. We also allow more singular metrics at non-archimedean places using relative mixed energy there as well.

What carries the argument

Abstract divisorial spaces, which act as the framework that carries the generalization of arithmetic intersections while incorporating relative mixed energy for non-archimedean metrics.

If this is right

Arithmetic intersection numbers become available for adelic line bundles over proper adelic base curves rather than only number fields.
More singular metrics are permitted at non-archimedean places through the use of relative mixed energy.
The generalized numbers are required to satisfy the same formal properties as those in the Yuan-Zhang and Burgos-Kramer constructions.

Where Pith is reading between the lines

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

The framework could support explicit calculations of heights on varieties over function fields or other adelic objects that satisfy the properness condition.
It may connect to existing work on Arakelov geometry by providing a uniform language for singular metrics across all places.

Load-bearing premise

Abstract divisorial spaces can be defined rigorously so that the resulting intersection numbers inherit the expected properties from the Yuan-Zhang and Burgos-Kramer constructions.

What would settle it

A concrete proper adelic base curve where the defined intersection numbers violate positivity or fail to reduce to the classical case when the base is a number field.

read the original abstract

Yuan and Zhang introduced arithmetic intersection numbers for adelic line bundles on quasi-projective varieties over a number field. Burgos and Kramer generalized this approach allowing more singular metrics at archimedean places. We introduce abstract divisorial spaces as a tool to generalize these arithmetic intersection numbers to the setting of a proper adelic base curve in the sense of Chen and Moriwaki. We also allow more singular metrics at non-archimedean places using relative mixed energy there as well.

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.

Desk Editor's Note private letter to a colleague

Cai and Gubler introduce abstract divisorial spaces to extend arithmetic intersections to proper adelic base curves and non-archimedean singular metrics, but the inheritance of key properties from prior work needs checking in the full text.

read the letter

The main point is that this paper defines abstract divisorial spaces to push arithmetic intersection numbers from Yuan-Zhang and Burgos-Kramer onto proper adelic base curves in the Chen-Moriwaki sense, while adding relative mixed energy to handle more singular metrics at non-archimedean places. That is the concrete step forward they claim. The abstract positions the new objects as an organizing device that was not in the earlier papers, so the generalization itself is the novelty on offer. If the definitions work, it could let people run intersection calculations on a wider class of bases and metrics than before. The motivation is laid out cleanly and the target applications are stated directly. The soft spot is exactly where the stress-test note flags it: the abstract gives no equations, axioms, or comparison maps showing that the new spaces preserve positivity, continuity, or the other expected properties under the generalization. Without those details it is impossible to tell whether the construction actually inherits the good features or introduces hidden restrictions. The full paper presumably supplies the definitions and verifications, but on the basis of what is visible here the central claim stays formally unchecked. This is a specialized piece aimed at people already working inside arithmetic intersection theory on adelic varieties. A reader who knows the Yuan-Zhang and Burgos-Kramer setups and wants to move to Chen-Moriwaki bases would find the direction useful if the technical parts hold. It is worth sending to a serious referee so the definitions and inheritance arguments can be examined in detail rather than desk-rejecting it outright.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to introduce abstract divisorial spaces as a tool to generalize arithmetic intersection numbers (originally due to Yuan-Zhang for adelic line bundles on quasi-projective varieties over a number field, and extended by Burgos-Kramer to allow more singular archimedean metrics) to the setting of a proper adelic base curve in the sense of Chen-Moriwaki, while also permitting more singular metrics at non-archimedean places via relative mixed energy.

Significance. If the construction of abstract divisorial spaces can be made rigorous and shown to inherit the expected functoriality, positivity, and continuity properties from the Yuan-Zhang and Burgos-Kramer frameworks, the result would extend arithmetic intersection theory to a broader class of bases and metrics, which could be useful for height computations and arithmetic positivity questions on adelic curves.

major comments (1)

[Abstract] The manuscript (whose full text reduces to the provided abstract) states that abstract divisorial spaces are introduced to generalize the intersection numbers, but supplies neither a definition of these spaces, nor any axioms, nor a comparison map or proof sketch showing that the new intersection numbers inherit the required properties (e.g., continuity, positivity, or agreement with prior constructions on the original settings). This is load-bearing for the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their comments. We agree that the text supplied in the submission consists only of the abstract and therefore does not contain the definition of abstract divisorial spaces, the axioms they are required to satisfy, or any comparison or proof sketches establishing the expected properties.

read point-by-point responses

Referee: [Abstract] The manuscript (whose full text reduces to the provided abstract) states that abstract divisorial spaces are introduced to generalize the intersection numbers, but supplies neither a definition of these spaces, nor any axioms, nor a comparison map or proof sketch showing that the new intersection numbers inherit the required properties (e.g., continuity, positivity, or agreement with prior constructions on the original settings). This is load-bearing for the central claim.

Authors: We accept this assessment. The current submission provides only the abstract and therefore lacks the required definition, axioms, functoriality statements, and verification that the new intersection numbers are continuous, positive, and recover the Yuan-Zhang and Burgos-Kramer constructions in the appropriate special cases. We will expand the manuscript with a section that supplies these missing elements. revision: yes

Circularity Check

0 steps flagged

No circularity; new definition introduced without self-referential reduction

full rationale

The paper introduces abstract divisorial spaces as a definitional tool to extend prior arithmetic intersection theory (Yuan-Zhang, Burgos-Kramer) to Chen-Moriwaki adelic curves with relative mixed energy at non-archimedean places. No equations, fitted parameters, or self-citations appear in the abstract or description that would make any claimed generalization equivalent to its inputs by construction. The cited prior works are external and non-overlapping with the authors. The central step is a new definition whose properties are asserted to inherit from earlier constructions, but without any exhibited reduction or load-bearing self-reference this remains a standard (non-circular) definitional extension.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5592 in / 952 out tokens · 18952 ms · 2026-05-23T21:01:16.615452+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

We introduce abstract divisorial spaces as a tool to generalize these arithmetic intersection numbers... (M,N) where M is an ordered Q-vector space and N is a cone in M with M = N − N... (n+1)-intersection map h : M^{n+1} → R ... (NEF) h(N^{n+1}) ⊂ R≥0; (EFF) h(M≥0 × N^n) ⊂ R≥0
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A. ... arithmetic intersection number (D0 · · · Dk | Z)_S ... continuous in D0,...Dk ∈ ˆDivS,Q(U)ar-snef with respect to any boundary topology

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

12 extracted references · 12 canonical work pages

[1]

Burgos Gil, W

[BGJK21] J.I. Burgos Gil, W. Gubler, P. Jell, and K. K¨ unnema nn. Pluripotential theory for tropical toric varieties and non-archimedean Monge-Amp´ ere equations. arXiv:2102.07392,

work page arXiv
[2]

Burgos Gil and J

[BK24] J.I. Burgos Gil and J. Kramer. On the height of the univ ersal abelian variety. arXiv:2403.11745,

work page arXiv
[3]

Formes diﬀé rentielles réelles et courants sur les espaces de Berkovich, 2012

[CD12] A. Chambert–Loir and A. Ducros. Formes diﬀ´ erentiel les r´ eelles et courants sur les espaces de berkovich. arXiv:1204.6277,

work page arXiv
[4]

Chen and A

[CM21] H. Chen and A. Moriwaki. Arithmetic intersection the ory over adelic curves. arXiv:2103.15646,

work page arXiv
[5]

[Fal83] G

arXiv:2303.11584. [Fal83] G. Faltings. Endlichkeitss¨ atze f¨ ur abelsche Var iet¨ aten ¨ uber Zahlk¨ orpern.Invent. Math. , 73(3):349–366,

work page arXiv
[6]

Non-Archimedean Analytic Geometry: Theory and Practice

[GH17] W. Gubler and J. Hertel. Local heights of toric variet ies over non-archimedean ﬁelds. In Actes de la Conf´ erence “Non-Archimedean Analytic Geometry: Theory and Practice” , volume 2017/1 of Publ. Math. Besan¸ con Alg` ebre Th´ eorie Nr., pages 5–77. Presses Univ. Franche-Comt´ e, Besan¸ con,

work page 2017
[7]

Gillet and C

[GS90] H. Gillet and C. Soul´ e. Arithmetic intersection the ory. Inst. Hautes ´Etudes Sci. Publ. Math. , (72):93–174 (1991),

work page 1991
[8]

[Har59] P

arXiv:2309.03692. [Har59] P. Hartman. On functions representable as a diﬀeren ce of convex functions. Paciﬁc J. Math. , 9:707–713,

work page arXiv
[9]

[K¨ u21] L. K¨ uhne. Equidistribution in families of abelian varieties and uniformity. arXiv:2101.10272,

work page arXiv
[10]

[Per24] G

Translat ed from the 2008 Japanese original. [Per24] G. Peralta. Heights on toric varieties for singular metrics . PhD thesis, Humboldt Univerit¨ at zu Berlin,

work page 2008
[11]

[Ull98] E

Submitted PhD-thesis 23.08.2024. [Ull98] E. Ullmo. Positivit´ e et discr´ etion des points alg ´ ebriques des courbes. Ann. of Math. (2) , 147(1):167–179,

work page 2024
[12]

[YZ21] X

arXiv:2108.05625. [YZ21] X. Yuan and S. Zhang. Adelic line bundles over quasi-p rojective varieties. arXiv:2105.13587,

work page arXiv

[1] [1]

Burgos Gil, W

[BGJK21] J.I. Burgos Gil, W. Gubler, P. Jell, and K. K¨ unnema nn. Pluripotential theory for tropical toric varieties and non-archimedean Monge-Amp´ ere equations. arXiv:2102.07392,

work page arXiv

[2] [2]

Burgos Gil and J

[BK24] J.I. Burgos Gil and J. Kramer. On the height of the univ ersal abelian variety. arXiv:2403.11745,

work page arXiv

[3] [3]

Formes diﬀé rentielles réelles et courants sur les espaces de Berkovich, 2012

[CD12] A. Chambert–Loir and A. Ducros. Formes diﬀ´ erentiel les r´ eelles et courants sur les espaces de berkovich. arXiv:1204.6277,

work page arXiv

[4] [4]

Chen and A

[CM21] H. Chen and A. Moriwaki. Arithmetic intersection the ory over adelic curves. arXiv:2103.15646,

work page arXiv

[5] [5]

[Fal83] G

arXiv:2303.11584. [Fal83] G. Faltings. Endlichkeitss¨ atze f¨ ur abelsche Var iet¨ aten ¨ uber Zahlk¨ orpern.Invent. Math. , 73(3):349–366,

work page arXiv

[6] [6]

Non-Archimedean Analytic Geometry: Theory and Practice

[GH17] W. Gubler and J. Hertel. Local heights of toric variet ies over non-archimedean ﬁelds. In Actes de la Conf´ erence “Non-Archimedean Analytic Geometry: Theory and Practice” , volume 2017/1 of Publ. Math. Besan¸ con Alg` ebre Th´ eorie Nr., pages 5–77. Presses Univ. Franche-Comt´ e, Besan¸ con,

work page 2017

[7] [7]

Gillet and C

[GS90] H. Gillet and C. Soul´ e. Arithmetic intersection the ory. Inst. Hautes ´Etudes Sci. Publ. Math. , (72):93–174 (1991),

work page 1991

[8] [8]

[Har59] P

arXiv:2309.03692. [Har59] P. Hartman. On functions representable as a diﬀeren ce of convex functions. Paciﬁc J. Math. , 9:707–713,

work page arXiv

[9] [9]

[K¨ u21] L. K¨ uhne. Equidistribution in families of abelian varieties and uniformity. arXiv:2101.10272,

work page arXiv

[10] [10]

[Per24] G

Translat ed from the 2008 Japanese original. [Per24] G. Peralta. Heights on toric varieties for singular metrics . PhD thesis, Humboldt Univerit¨ at zu Berlin,

work page 2008

[11] [11]

[Ull98] E

Submitted PhD-thesis 23.08.2024. [Ull98] E. Ullmo. Positivit´ e et discr´ etion des points alg ´ ebriques des courbes. Ann. of Math. (2) , 147(1):167–179,

work page 2024

[12] [12]

[YZ21] X

arXiv:2108.05625. [YZ21] X. Yuan and S. Zhang. Adelic line bundles over quasi-p rojective varieties. arXiv:2105.13587,

work page arXiv