REVIEW
The Siegel-Weil formula in geometry and arithmetic
Number Theory · Submitted 7 Jul 2026 · 60 references
Pith's verdict: Well-executed survey of the Siegel–Weil formula across classical, geometric, and arithmetic settings. Correct mathematics, honest about what is known and what is conjectural. No new results, but a useful and well-organized introduction.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Three faces of the Siegel–Weil formula unify lattice counts, geometry, and arithmetic
The reading
What carries the argument
The Weil representation of a dual reductive pair (Sp_r, O(V)) on Schwartz–Bruhat functions; theta functions and theta integrals averaged over orthogonal groups; Kudla–Millson Schwartz forms realizing theta lifts in cohomology; arithmetic Chow groups of Gillet–Soulé for the conjectural arithmetic layer.
Extended reading notes
Core claim
The paper establishes that the Siegel–Weil identity, which equates a genus-averaged theta series with an Eisenstein series, admits a geometric incarnation (Theorem 5.5: the generating series of volumes of special cycles on orthogonal Shimura varieties is an Eisenstein series, proved for r < (n-1)/2) and a conjectural arithmetic incarnation (Conjecture 6.2: the generating series of arithmetic degrees of special cycles on integral models equals the central derivative of an incoherent Eisenstein series). The unifying object is the theta kernel constructed from the Weil representation of a dual reductive pair (symplectic group, orthogonal group), which in the classical setting produces theta系列,在
Load-bearing premise
The geometric Siegel–Weil formula (Theorem 5.5) requires the condition r < (n-1)/2 for a map from L²-cohomology to de Rham cohomology to be bijective; if this bijectivity fails in broader generality, the geometric formula as stated would not extend to higher-codimension cycles without modification.
Editorial extensions
If this is right
- If the arithmetic Siegel–Weil conjecture (Conjecture 6.2) holds in full generality, arithmetic intersection numbers of special cycles on integral models of Shimura varieties would be directly computable from Fourier coefficients of derivatives of Eisenstein series, providing explicit formulas analogous to the classical representation number formulas.
- The geometric Siegel–Weil formula gives a tool for computing intersection numbers of algebraic cycles on orthogonal Shimura varieties (Hirzebruch–Zagier divisors, Humbert surfaces, Noether–Lefschetz loci) using the well-understood Fourier coefficients of Eisenstein series.
- The incoherence of the Eisenstein series in the arithmetic setting — forced by the mismatch between the real signature (n,2) and the positive definite signature (n+2,0) at the archimedean place — explains why a derivative rather than a value appears, and links the vanishing order of the Eisenstein series at its center of symmetry to the non-triviality of arithmetic intersection numbers.
- The modularity of generating series of cycles (Theorem 5.2) provides a structural constraint on which cohomology classes can arise from special cycles, since the space of modular forms of a given weight and level is finite-dimensional.
Reading between the lines
- The progression from values to derivatives of Eisenstein series across the three layers suggests a deeper pattern: each layer corresponds to a different order of vanishing or regularization of the same theta integral, with the arithmetic layer requiring the derivative because the incoherent signature forces the Eisenstein series to vanish at the central point.
- The restriction r < (n-1)/2 for the bijectivity of the L²-to-de Rham cohomology map in the geometric formula suggests that the geometric Siegel–Weil formula may fail or require modification in high codimension, where the topology of the Shimura variety becomes more complicated — a boundary that the arithmetic conjecture does not explicitly impose.
- The local-to-global structure of the arithmetic conjecture — where global identities are broken into archimedean and non-archimedean local formulas — raises the question of whether there exist analogous local geometric Siegel–Weil formulas at each place, which could provide a unified local framework for both the geometric and arithmetic versions.
Original abstract
The present paper is an extended version of the lecture notes of a course given by the first author at the summer school on Formulas of Siegel and Weil (Bielefeld, September 2025). We survey three perspectives on the Siegel-Weil formula: classical, geometric, and arithmetic. We first recall the Siegel-Weil formula for elliptic theta series arising from positive definite lattices. We next discuss the higher genus case for lattices of arbitrary signature from an adelic viewpoint. After introducing orthogonal Shimura varieties, we present the geometric Siegel-Weil formula, in which the generating series of volumes of special cycles is shown to be an Eisenstein series. We conclude with the (partly conjectural) arithmetic Siegel-Weil formula, relating degrees of special cycles in arithmetic Chow groups to central derivatives of Eisenstein series.
References
How the literature uses it
What this paper does with the arXiv papers it cites
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.