Abstract divisorial spaces and arithmetic intersection numbers

Walter Gubler; Yulin Cai

Abstract divisorial spaces and arithmetic intersection numbers

T0 review · 1 major / 0 minor · reviewed 2026-05-23 · grok-4.3

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

Pith's one-line read Abstract divisorial spaces generalize arithmetic intersection numbers to proper adelic base curves.

desk verdict 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 →

arxiv 2409.00611 v2 pith:3SH6JEYB submitted 2024-09-01 math.AG math.NT

Yulin Cai , Walter Gubler This is my paper · ORCID

classification math.AGmath.NT

keywords arithmeticintersectionnumbersabstractdivisorialspacesadeliclinebundlesproperbasecurvenon-archimedeanmetricsrelativemixedenergygeometry

checked against Cost.FunctionalEquation absolute_floor_iff_bare_distinguishability

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

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

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 · score 0.0 of 10

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.

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

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

how reviews work

0 comments

Cite this review

Pith. "Pith review of Abstract divisorial spaces and arithmetic intersection numbers." pith.science (2026). https://pith.science/paper/3SH6JEYB

@misc{pith2026240900611,
  author       = {Pith},
  title        = {Pith review of: Abstract divisorial spaces and arithmetic intersection numbers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3SH6JEYB}},
  note         = {Machine review of arXiv:2409.00611}
}

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.

Discussion (0). Continue with ORCID to comment.

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.

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

Concave transforms of compactified S-metrized divisors
math.AG 2025-05 conditional novelty 7.0 of 10

For big compactified S-metrized divisors on quasi-projective varieties over adelic curves, concave transforms are constructed and shown to satisfy arithmetic volume and Hilbert-Samuel formulas.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 1 Pith paper

[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 diff ´erentielles r´eelles et courants sur les espaces de Berkovich.arXiv preprint arXiv:1204.6277,

[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

Show all 12 references

[9]

[K¨ u21] L. K¨ uhne. Equidistribution in families of abelian varieties and uniformity. arXiv:2101.10272,
[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,

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,

2024
[12]

[YZ21] X

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

Pith tools

Reviewed May 23, 2026 · model on record in the stance chip above.

[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 diff ´erentielles r´eelles et courants sur les espaces de Berkovich.arXiv preprint arXiv:1204.6277,

[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