REVIEW 2 major objections 4 minor 1 cited by
Remarks on generating series for special cycles
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Assuming the Bloch–Beilinson conjecture, the Chow group-valued generating series for special cycles is a Hilbert–Siegel modular form.
desk verdict Kudla proves Chow-valued modularity of special-cycle generating series for all n and general d_+ conditionally on Bloch–Beilinson; the new content is real, but the half-integral-weight case needed for m odd is left to the reader, so Theorem 1.1 has a gap as stated. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the weighted special-cycle generating series $\varphi_n(\tau,\phi)=\sum_{T\in \mathrm{Sym}_n(F)_{\ge 0}} [Z(T,\phi)]\,q^T$, whose coefficients live in the Chow group $CH^{nd_+}(S)$ and whose constant term is a power of the class $c_S=c_{d_+}(\mathcal{C}_S)$, the top Chern class of the co-tautological bundle. The mechanism that carries the proof is the embedding trick: forming $\widetilde{V}=U_0\oplus V$ with $\dim U_0=4\ell>nd_+$ produces a larger Shimura variety with vanishing low odd-degree Betti cohomology, so that, assuming Bloch–Beilinson, its Chow-valued series is modular. The transfer back to $S$ is delivered by two identities: the product formula for intersections of special cycles, proved with standard intersection-theoretic tools (normal cones, Segre classes, excess bundles), and the pullback formula $\rho^*\varphi_n(\tau;\phi_0\otimes\phi)=\theta(\tau,\phi_0)\varphi_n(\tau,\phi)$. A lemma on formal Fourier series — that the ring of symmetric formal Fourier series is an integral domain, so quotients by nonvanishing $\theta$ series are legitimate — completes the descent.
What would settle it
Since the theorem is conditional, a decisive test would be to find a smooth projective variety, ideally one of the orthogonal Shimura varieties treated here, carrying a cohomologically trivial special cycle whose Abel–Jacobi invariant in the intermediate Jacobian is nonzero; such a cycle would falsify the Bloch–Beilinson hypothesis under which the theorem is proved. A less radical test is computational: in the quaternionic real-quadratic example with $d_+=2$ and $m=1$, compute finitely many Fourier coefficients of $\varphi_n(\tau,\phi,S,\lambda)$ for a linear functional $\lambda$ that vanishes on the image of the cycle class map and check whether they satisfy the Fourier-coefficient recurrences forced by Hilbert modularity; a violation would contradict the theorem's conclusion under its stated assumptions.
Extended reading notes
Core claim
On its own terms, the central claim is Theorem 1.1: assume the Bloch–Beilinson conjecture. Then, for a quadratic space $V$ over a totally real field of degree $d$ with signature $((m,2)^{d_+},(m+2,0)^{d-d_+})$ and $1\le d_+<d$, the formal series $\varphi_n(\tau,\phi,S)=\sum_T [Z(T,\phi)]\,q^T$ with coefficients in $CH^{nd_+}(S)$ is a Hilbert–Siegel modular form for all $n$, $1\le n\le m$. The image of this series under the cycle class map was already known to be modular by $\theta$-correspondence results; the difficulty is that the cycle class map can have a kernel. The paper's strategy is to embed $S$ in a larger Shimura variety $\widetilde{S}$ obtained by adding a totally positive definite space of dimension $4\ell>nd_+$, where a representation-theoretic vanishing theorem forces $H^{2nd_+-1}(\widetilde{S})=0$ and hence $J_{nd_+}(\widetilde{S})=0$. Under the Bloch–Beilinson conjecture, Abel–Jacobi is injective up to torsion, so the cycle class map is injective on $\widetilde{S}$ and the Chow-valued series there is modular; a pullback formula expresses the pulled-back series as a product of a $\theta$ series and the original series, and a result on formal Fourier series shows the $\theta$ factor can be cancelled.
Load-bearing premise
The load-bearing premise is the Bloch–Beilinson conjecture, the unproved statement that the Abel–Jacobi map from cohomologically trivial cycles to the intermediate Jacobian is injective up to torsion; if this fails, the proof cannot upgrade cohomological modularity to Chow-valued modularity on the enlarged variety.
Editorial extensions
If this is right
- For every complex-valued linear functional $\lambda$ on $CH^{nd_+}(S)$, the series $\varphi_n(\tau,\phi,S,\lambda)$ is absolutely convergent and is a Hilbert–Siegel modular form of parallel weight $m/2+1$.
- When $d_+>1$, special cycles occupy only codimensions that are multiples of $d_+$, with no lower-codimension cycles to generate relations; the theorem shows the Bloch–Beilinson conjecture supplies those relations indirectly.
- The product formula and pullback formula give the algebraic identities among special cycles that are needed to transfer modularity between different Shimura varieties; they generalize the divisor-case identities used for $d_+=1$.
- The weighted adèlic formulation makes the statement equivariant under finite-adèlic changes of level, so modularity holds on the direct limit $CH^{nd_+}(S)$, not just on individual level structures.
Reading between the lines
- Because the proof requires only vanishing of $H^{2nd_+-1}$ plus Abel–Jacobi injectivity, the same recipe could prove modularity for other families of Shimura varieties whenever a suitable Hodge-diamond vanishing is found; the paper notes no such argument is currently available for unitary Shimura varieties.
- A computational check is conceivable in the quaternionic real-quadratic example: modularity predicts specific linear recurrences among the weighted degrees of the special $0$-cycles, and these recurrences could be tested numerically even though the underlying relations are invisible geometrically.
- The product formula suggests a constructive route to the missing relations: intersecting special cycles with powers of the class $c_S$ and comparing with known modular Fourier coefficients may generate explicit candidate relations among special cycles.
- If the Bloch–Beilinson conjecture were later found to fail in this range, the modularity statement would remain plausible but would require a different, non-abelian source of relations among special cycles.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies generating series for special algebraic cycles on orthogonal Shimura varieties S associated to a quadratic space V over a totally real field F of degree d, with signatures ((m,2)^{d_+},(m+2,0)^{d-d_+}). For each n with 1≤n≤m it defines weighted special cycles Z(T,ϕ) of codimension nd_+ and their formal generating series valued in CH^{nd_+}(S). It proves a product formula for these cycles (Proposition 5.2), a pullback formula to Shimura subvarieties (Propositions 6.2 and 6.3), and uses these to implement an embedding trick: a larger Shimura variety \tilde S containing S is chosen so that, by Vogan-Zuckerman vanishing (Corollary 9.4), all relevant intermediate Jacobians of \tilde S vanish. Assuming the Bloch-Beilinson conjecture on the Abel-Jacobi map, the Chow-valued generating series on \tilde S is modular; the pullback identity (7.1) and a formal Fourier series argument (Section 8) then transfer modularity to S. Theorem 1.1 states that, under Bloch-Beilinson, the CH^{nd_+}(S)-valued generating series (1.3) is modular for all n.
Significance. If the proof is completed as written, the paper gives a conditional proof of the conjectured modularity of Chow-valued special cycle generating series in the cases d_+>1, where no evident geometric source of relations among the cycles exists. The paper is explicit and detailed about the main geometric ingredients: the intersection product formula via excess bundles (Theorem 4.15), the pullback formula (Proposition 6.2), and the Vogan-Zuckerman Hodge-number computation (Propositions 9.1 and 9.2, Corollary 9.4) are all worked out. The dependence on the Bloch-Beilinson conjecture is stated honestly and is an explicit hypothesis rather than a hidden assumption. However, the central transfer argument in Section 8 is written only for integral weight, while Theorem 1.1 also covers m odd and hence half-integral weight; the key integral-domain lemma (Lemma 8.3) is asserted without proof. These gaps affect the advertised scope of the main theorem and require attention.
major comments (2)
- [Section 8, paragraph after Eq. (8.2)] The proof of the transfer statement Proposition 7.1 is carried out only for integral weight. The text says: 'The case of half-integral weight can be formulated in exactly the same way using the metaplectic group. We leave this to the reader.' This is load-bearing, because Theorem 1.1 is stated for all m and the case m odd involves parallel weight m/2+1, which is half-integral and requires the metaplectic cover and multiplier systems; the m=1, d_+=2 example of Section 3 is precisely such a case. The integral-domain property of FFS^•_\Lambda and the injectivity of Q(φ) used in Proposition 8.2 are established only for the integral-weight graded ring M_*(Γ). Please supply the metaplectic version of Propositions 8.1 and 8.2, or restrict the statement of Theorem 1.1 to m even.
- [Section 8, proof of Proposition 8.1] Lemma 8.3 asserts that FFS^•_\Lambda = \lim R/I_k, and the identification of FFS^•_\Lambda with the completed local ring \hat R depends on it. The proof of this lemma is not given; the sentence 'The following result is the analogue of the Hilfsatz ... and is proved using standard facts about Poincaré series' is not a proof. Since the integral-domain conclusion of Proposition 8.1 is the key input to Proposition 8.2, this step needs either a complete proof or a precise reference that covers the Hilbert-Siegel setting with the Λ-invariance and the filtration I_k.
minor comments (4)
- [Section 3, paragraph after Problem 1] The text refers to 'Proposition 2.2 asserts the modularity of φ_1(τ,S)', but there is no Proposition 2.2; the intended reference is Theorem 2.2.
- [References] Reference [13] spells 'Monatshefte' as 'Montashefte', and reference [10] spells 'Kiehl' as 'Keihl'; please correct these.
- [Section 8, application to (7.1)] It is not explicitly checked that, for a fixed K-invariant φ, the scalar series c = λ(φ_n(τ,ϕ)) obtained from the generating series (5.9) has support in S^•_F ∪ {0} for some level ν, as required for c to lie in FFS^•_\Lambda. This is likely true because the possible T are constrained by the dual lattice, but the support and level compatibility should be stated in the application of Proposition 8.2.
- [Section 8, definition of S^•_F] The set S^•_F depends on ν but the notation suppresses this dependence; a brief remark would avoid confusion in the proof of Proposition 8.1.
Circularity Check
No circularity: the Chow-valued modularity theorem is a genuine implication from the explicitly assumed Bloch–Beilinson conjecture plus independent cohomological modularity results.
full rationale
The derivation chain in this paper is not circular. The cycle-class image series is modular by the established Kudla–Millson theorems [16–18], which concern cohomology and theta correspondence, not Chow-valued modularity. On the enlarged Shimura variety ~S, Section 9 derives the needed low-degree cohomology vanishing H^{2nd_+-1}(~S)=0 from Vogan–Zuckerman, and the Bloch–Beilinson conjecture is then explicitly invoked to make the cycle class map injective on ~S, upgrading cohomological modularity to Chow-valued modularity there. Proposition 6.3 and Section 7 express the pullback of the ambient Chow-valued series as a theta series times the original series, and Section 8 proves a genuine transfer principle using the integral domain of formal Fourier series. No parameter is fitted to data and then renamed a prediction, and no equation reduces to itself by construction. The paper does cite the author's prior work [14] for definitions and structural facts, but the central Chow intersection formula (Theorem 4.15) and the embedding-trick transfer are proved in this paper rather than imported as the conclusion. One non-circular completeness caveat should be noted: Section 8 states that the half-integral-weight case, needed for odd m, 'can be formulated in exactly the same way using the metaplectic group. We leave this to the reader,' and the proof of Proposition 8.1 is only sketched via Knöller. These are proof gaps, not circularity, and they do not affect the circularity score.
Assumptions & free parameters
assumptions (6)
- ad hoc to paper The Bloch-Beilinson conjecture: the Abel-Jacobi map AJ_N from cohomologically trivial cycles to the N-th intermediate Jacobian is injective up to torsion.
- standard math Vogan-Zuckerman classification: irreducible Harish-Chandra modules with nonzero (g,K)-cohomology are A_q modules, with Hodge type determined by R_+ - R_-; this yields vanishing of H^{2nd_+-1}(~S) for ℓ > nd_+.
- standard math Knöller's Satz 3.1.3: the ring of symmetric formal Fourier series FFS^•_Λ is an integral domain.
- standard math The Baily-Borel compactification of the Hilbert-Siegel modular variety is normal.
- domain assumption The quadratic space V is anisotropic and 1 ≤ d_+ < d, so the Shimura variety is projective and no compactification is needed.
- domain assumption Γ is a neat subgroup of finite index stabilizing D_+, so S is smooth and intersection theory applies.
Cite this review
Pith. "Pith review of Remarks on generating series for special cycles." pith.science (2026). https://pith.science/paper/ZW6J3K73
@misc{pith2026190808390,
author = {Pith},
title = {Pith review of: Remarks on generating series for special cycles},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZW6J3K73}},
note = {Machine review of arXiv:1908.08390}
}
read the original abstract
In this note, we consider special algebraic cycles on the Shimura variety S associated to a quadratic space V over a totally real field F, |F:\Q|=d, of signature ((m,2)^{d_+},(m+2,0)^{d-d_+}), 1\le d_+<d. For each n, 1\le n\le m, there are special cycles Z(T) in S, of codimension nd_+, indexed by totally positive semi-definite matrices with coefficients in the ring of integers O_F. The generating series for the classes of these cycles in the cohomology group H^{2nd_+}(S) are Hilbert-Siegel modular forms of parallel weight m/2+1. One can form analogous generating series for the classes of the special cycles in the Chow group CH^{nd_+}(S). For d_+=1 and n=1, the modularity of these series was proved by Yuan-Zhang-Zhang. In this note we prove the following: Assume the Bloch-Beilinson conjecture on the injectivity of Abel-Jacobi maps. Then the Chow group valued generating series for special cycles of codimension nd_+ on S is modular for all n with 1\le n\le m.
Forward citations
Cited by 1 Pith paper
-
The modularity of special cycles on orthogonal Shimura varieties over totally real fields under the Beilinson-Bloch conjecture
Assuming the Beilinson-Bloch conjecture, generating series of special cycles of codimension er on these Shimura varieties are Hilbert-Siegel modular forms of genus r and weight 1+n/2.
Reference graph
Works this paper leans on
-
[1]
Aoki, Estimating Siegel modular forms of genus 2 using Jacobi forms , J
H. Aoki, Estimating Siegel modular forms of genus 2 using Jacobi forms , J. Math. Kyoto Univ. 40 (2000), 581–588
work page 2000
-
[2]
A. Ash, D. Mumford, M. Rapoport, and Y. Tai, Smooth Compac tification of Locally Symmetric Varieties, Second Edition, Cambridge Univ. Press, Cambridge, UK, 2010
work page 2010
-
[3]
W. L. Baily, On the Hilbert-Siegel modular space , Amer. J. Math. 81 (1959), 846–874
work page 1959
-
[4]
Borel, Compactification of arithmetic quotients of bounded symmet ric domains , Ann
W.L.Baily and A. Borel, Compactification of arithmetic quotients of bounded symmet ric domains , Ann. of Math. 84 (1966), 442–528. 40 STEPHEN S. KUDLA
work page 1966
-
[5]
R. E. Borcherds, Automorphic forms with singularities on Grassmannians , Inventiones Math. 132, (1998), 491–562
work page 1998
-
[6]
, The Gross-Kohnen-Zagier theorem in higher dimensions , Duke Math. J. 97, (1999), 219–233
work page 1999
-
[7]
J. H. Bruinier and M. Westerholt-Raum, Kudla’s modularity conjecture and formal Fourier-Jacobi s eries, Forum Math. Pi 3 (2015)
work page 2015
-
[8]
J. Bruinier, B. Howard, S. Kudla, M. Rapoport and T. Yang, Modularity of generating series of divisors on unitary Shimura varieties , results of an AIM SQuaRE’s project, arXiv:1702.07812
Show all 25 references
-
[9]
, Modularity of generating series of divisors on unitary Shim ura varieties II: arithmetic applications, results of an AIM SQuaRE’s project, arXiv:1710.00628
-
[10]
Freitag and R
E. Freitag and R. Keihl, Algebraische Eigenschaften der lokalen Ringe in den Spitze n der Hilbertschen Modulgruppen, Inventiones math. 24, (1974), 121-148
1974
-
[11]
Fulton, Intersection Theory, Ergebnisse der Mathem atik und ihrer Grenzgebiete 2, Springer-Verlag, Berlin, 1984
W. Fulton, Intersection Theory, Ergebnisse der Mathem atik und ihrer Grenzgebiete 2, Springer-Verlag, Berlin, 1984
1984
-
[12]
Ibukiyama, C
T. Ibukiyama, C. Poor, and D. S. Yuen, Jacob forms that characterize paramodular forms , Abh. Math. Semin. Univ. Hamb. 83 (2013), 111–128
2013
-
[13]
unendlich-ferner
F. W. Kn¨ oller,Multiplizit¨ aten “unendlich-ferner” Spitzen, Montashefte f¨ ur Mathematik,88, (1979), 7–26
1979
-
[14]
Kudla, Algebraic cycles on Shimura varieties of orthogonal type , Duke Math
S. Kudla, Algebraic cycles on Shimura varieties of orthogonal type , Duke Math. J. 86 (1997), no. 1, 39–78
1997
-
[15]
137 (2003), 293–349
, Integrals of Borcherds forms , Compositio Math. 137 (2003), 293–349
2003
-
[16]
Kudla and J
S. Kudla and J. Millson, The theta correspondence and harmonic forms I , Math. Annalen, 274 (1986), 353–378
1986
-
[17]
Annalen, 277 (1987), 267–314
, The theta correspondence and harmonic forms II , Math. Annalen, 277 (1987), 267–314
1987
-
[18]
, Intersection numbers for cycles in locally symmetric space s and Fourier coefficients of holomorphic modular forms in several variables , Publ. math. IHES, 71 (1990), 121–172
1990
-
[19]
Kudla, M
S. Kudla, M. Rapoport, and T. Yang, Modular Forms and Spe cial Cycles on Shimura Curves, Annals of Math. Studies, 161, Princeton Univ. Press, Princeton 2006
2006
-
[20]
Jian-Shu Li, Theta lifting for unitary representations with nonzero coh omology, Duke Math. J. 61 (1990), 913–936
1990
-
[21]
Millson and M
J. Millson and M. S. Raghunathan, Geometric construction of cohomology of arithmetic groups , Geometry and Analysis (Papers dedicated to the memory of Patodi), Ind ian Academy of Sciences, Bangalore, 1980, pp 103–123
1980
-
[22]
Rohlfs and J
J. Rohlfs and J. Schwermer, Intersection numbers of special cycles , J. AMS, 6 (1993), 755–778
1993
-
[23]
Vogan and G
D. Vogan and G. Zuckerman, Unitary representations with non-zero cohomology , Compositio Math. 53 (1984), 51–90
1984
-
[24]
Xinyi Yuan, Shou-Wu Zhang and Wei Zhang, The Gross-Kohnen-Zagier Theorem over totally real fields , Compositio Math., 145 (2009), 1147–1162
2009
-
[25]
thesis, Columbia University (2009)
Wei Zhang, Modularity of generating functions of special cycles on Shi mura varieties , Ph.D. thesis, Columbia University (2009). Department of Mathematics, University of Toronto, 40 St Geo rge St, BA6290, Toronto, ON M5S 2E4, Canada E-mail address : skudla@math.toronto.edu
2009
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.