The modularity of special cycles on orthogonal Shimura varieties over totally real fields under the Beilinson-Bloch conjecture

Yota Maeda

REVIEW 2 major objections 5 minor 23 references

The modularity of special cycles on orthogonal Shimura varieties over totally real fields under the Beilinson-Bloch conjecture

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Under the higher Abel-Jacobi injectivity conjecture, the generating series of special cycles is a Hilbert-Siegel modular form of weight $1+n/2$.

desk verdict The r=1 half is a clean conditional contribution; the r≥2 induction has a real, fixable gap that the current hypotheses do not cover. read the letter →

arxiv 1908.08063 v6 pith:LQQVYOCX submitted 2019-08-21 math.NT math.AGmath.RT

Yota Maeda This is my paper · ORCID

classification math.NTmath.AGmath.RT MSC 11G1811F4614C17

keywords ShimuravarietiesspecialcyclesHilbert-SiegelmodularformshigherChowgroupsAbel-Jacobimaptotallyrealfieldsmodularityofgeneratingseriesorthogonal

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

On Shimura varieties attached to quadratic spaces that are indefinite of signature $(n,2)$ at $e$ real places and definite at the remaining places, one can assemble special cycles of codimension $er$ into a formal power series. This paper proves that, assuming the higher Abel-Jacobi injectivity conjecture, every linear evaluation of this Chow-valued series is a Hilbert-Siegel modular form of genus $r$ and weight $1+n/2$. For genus one the absolute convergence is proved, so the modularity is unconditional there; for higher genus the paper must assume absolute convergence. The interest is that modularity of cycle generating series is the geometric input to identities that relate cycle intersections to Fourier coefficients of modular forms and to the arithmetic of special $L$-values.

What carries the argument

The load-bearing object is the Chow-valued generating series $Z_{\varphi_f}(\tau)=\sum_x \varphi_f(g^{-1}x)Z(x,g)q^{T(x)}$, with coefficients special cycles in $CH^{er}(M_{K_f})_{\mathbb{C}}$. The argument runs through four linked mechanisms: a vanishing theorem for the odd cohomology group, obtained from the standard representation-theoretic cohomology formula and relative Lie-algebra cohomology, which under the Abel-Jacobi injectivity conjecture makes the cycle map injective; the pull-back formula $i_W^*Z_{\varphi_f}=Z_{\varphi_{1,f}}\theta_{\varphi_{2,f}}$, which passes modularity from a larger variety down to a smaller one; degenerate Whittaker functions and the oscillator representation, which convert the requirement of being a Hilbert-Siegel modular form into invariance under the Siegel parabolic subgroup and the Weyl element $w_1$; and induction on $r$, which uses the summation identity to reduce the $w_1$-invariance at genus $r$ to the already-proved genus-one case.

What would settle it

For an explicit totally real field and quadratic space with $n\ge 3$ and $r=2$, take a linear functional $\ell$ on $CH^{2e}$ not induced by cohomology, compute the first Fourier coefficients of $\ell(Z_{\varphi_f})(\tau)$, and check whether the series obeys the Hilbert-Siegel transformation under $\tau\mapsto-\tau^{-1}$ after analytic continuation. A single violation of that functional equation would falsify the theorem's assertion, while divergence of the series in that example would falsify its absolute-convergence hypothesis.

Watch

Extended reading notes

Core claim

The paper's central claim is a conditional transfer: if the Abel-Jacobi injectivity conjecture holds for the Shimura variety at $m=e$, so that the cycle map from $CH^e$ to $H^{2e}$ is injective, then modularity of special cycles, already known in cohomology, descends to the Chow group. The proof first shows $H^{2e-1}(M_{K_f},\mathbb{C})=0$ for $n\ge 3$ by the standard cohomological formula for locally symmetric spaces together with relative Lie-algebra cohomology vanishing; with the conjecture, the cycle map $CH^e_{\mathbb{C}}\to H^{2e}_{\mathbb{C}}$ is injective. Therefore any $\mathbb{C}$-linear functional on $CH^{er}$ for $r=1$ factors through cohomology, where unconditional modularity results apply. For $r\ge 2$, induction on $r$, the pull-back formula, and the standard summation identity extend the genus-one statement, with absolute convergence of the evaluated series as an extra hypothesis. For $n\le 2$ the same conclusion is obtained by embedding into a larger Shimura variety and assuming the conjecture there.

Load-bearing premise

The load-bearing premise is the higher Abel-Jacobi injectivity conjecture in the relevant codimension, and, for $r\ge 2$, the additional assumption that the evaluated generating series converges absolutely.

Editorial extensions

If this is right

For $n\ge 3$ and $r=1$, the modularity theorem is unconditional once the Abel-Jacobi injectivity conjecture at $m=e$ is granted, because the paper proves the needed absolute convergence in this case.
For $n\le 2$, the modularity statement for the smaller Shimura variety follows from the same conjecture imposed on a larger ambient Shimura variety, so small-dimensional orthogonal cases are covered.
When $e=1$, the required injectivity is known, so the result recovers the classical modularity conjecture for special cycles over totally real fields as a special case.
For every $r\ge 2$, the higher-genus statement is reduced to the genus-one statement; the full Hilbert-Siegel modularity is therefore governed by cycle-map injectivity at codimension $e$ together with absolute convergence.
If the Abel-Jacobi injectivity conjecture is eventually proved in the relevant cases, the same argument would produce unconditional Hilbert-Siegel modular forms for all $r$.

Reading between the lines

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

If absolute convergence for $r\ge 2$ turns out to be automatic in these settings, for instance because the relevant Chow groups are finite-dimensional or the cycle growth is slow enough, then the paper's induction would prove modularity without any extra convergence hypothesis; checking this on an explicit two-dimensional family would be a direct test.
The modularity statement is a natural ingredient for height-pairing identities: pairing the generating series with a fixed cycle should produce Fourier coefficients of an Eisenstein series or a derivative of an $L$-function, an arithmetic application the paper does not pursue.
The method is likely to transplant to other groups, such as unitary or symplectic Shimura varieties, wherever the same odd-cohomology vanishing and an Abel-Jacobi injectivity statement are available, though the paper does not discuss such generalizations.
A failure of the Abel-Jacobi injectivity conjecture would not necessarily destroy modularity: the conjecture is a sufficient route through cohomology, not a necessary condition, so the modularity phenomenon could survive even if cycle-map injectivity fails.

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.

Desk Editor's Note

read the letter

The r=1 half is clean and genuinely worth having; the r≥2 half has a real gap in the induction that the author's summary glosses over.

The r=1 part is a genuine, clean contribution: assuming Conjecture 1.3 for the original Shimura variety, it deduces Chow-valued modularity from the cohomological modularity of Kudla and Rosu-Yott via the injectivity of the cycle map, with the vanishing of H^{2e-1} proved by Matsushima plus a vanishing theorem. The n≤2 case handled by embedding into a larger variety is also plausible. The author deserves credit for being honest that absolute convergence is unknown for r>1 (Remark 1.9) and for acknowledging Kudla's independent, different proof under a stronger BB hypothesis.

The problem is the r≥2 induction. In Section 4.2, the proof writes the genus-r series as a sum over y ∈ V^{r-1} and then applies the r=1 theorem to the intermediate Shimura variety M_{K_{f,y}} attached to y^⊥. That theorem requires either dim(y^⊥) - 2 ≥ 3 or, if not, Conjecture 1.3 for a further enlarged variety attached to y^⊥. Neither hypothesis is among the assumptions of Theorem 1.5 or 1.6: the BB conjecture is assumed only for the original M_{K_f} (or the fixed M'_{K'_f} in the n≤2 case). The deferred reference [22] does not help because in [22] the codimension is 1, where Abel-Jacobi is automatically injective. So for r≥2 the main theorem is not established as written. This is not a minor omission; it is load-bearing for half the paper. It may be repairable by strengthening the BB assumption to cover all sub-Shimura varieties arising in the induction, but as it stands the theorem needs that extra hypothesis.

Two smaller points: the abstract says modularity holds under the BB conjecture without mentioning the absolute convergence assumption, which appears only in the theorems and Remark 1.9. And the proof of the intersection formula Proposition 2.3 is terse, though that looks like a routine detail.

Overall, this is for specialists in arithmetic geometry working on Kudla's program. The r=1 part deserves to see the light; the r≥2 claim needs a fix or at least a clear statement of the stronger hypothesis. I would send it to a referee; a good referee will catch the induction gap. I wouldn't cite the r≥2 result in its current form, but I'd keep the paper around for the r=1 argument and the survey of the mixed-signature setup.

Referee Report

2 major / 5 minor

Summary. The paper studies Kudla's generating series of special cycles in the Chow groups of orthogonal Shimura varieties over a totally real field F, in the situation where the quadratic space has signature (n,2) at e real places and is definite at the remaining d−e places, with 1 ≤ e < d. The main theorems state that, assuming the Beilinson–Bloch injectivity of the higher Abel–Jacobi map (Conjecture 1.3) at m = e, every C-linear functional of the Chow-valued generating series is a Hilbert–Siegel modular form of genus r and weight 1 + n/2, unconditionally for r = 1 and for r ≥ 2 under an additional absolute-convergence hypothesis. The proof for r = 1 reduces to the cohomological modularity theorems of Kudla and Rosu–Yott via injectivity of the cycle map; for r ≥ 2 the paper uses induction on r, following Yuan–Zhang–Zhang, and reduces w1-invariance to the genus-one case for certain smaller Shimura varieties.

Significance. If the main theorems were established as stated, they would give a conditional generalization of Yuan–Zhang–Zhang's theorem from e = 1 to arbitrary e < d, and would show that Kudla's modularity conjecture for higher Chow groups follows from a standard conjecture on algebraic cycles. The r = 1 reduction is elegant: the vanishing of H^{2e−1} for n ≥ 3 combines Matsushima's formula with a Vogan–Zuckerman/Kumaresan vanishing argument, and the use of Conjecture 1.3 to extend linear functionals from Chow groups to cohomology is a clean idea. The paper is also transparent about its limitations, explicitly stating in Remark 1.9 that absolute convergence is not known for r ≥ 2. However, the induction step for r ≥ 2 contains a serious gap that affects the central claim of the paper.

major comments (2)

[§4.2, invariance under w1] The step 'by Theorem 1.5 (2) and Theorem 1.6 (2)' is applied to the Shimura variety M_{K_{f,y}} attached to the orthogonal complement y^⊥, not to the original M_{K_f}. For a fixed admissible y with dim U(y) = m, the quadratic space y^⊥ has dimension n+2−m, so the genus-one theorem for M_{K_{f,y}} requires either n−m ≥ 3 together with Conjecture 1.3 for M_{K_{f,y}} at m = e (Theorem 1.5(2)) or, when n−m ≤ 2, Conjecture 1.3 for a further enlarged variety M'_{K'_{f,y}} attached to y^⊥ ⊕ W (Theorem 1.6(2)). Neither condition is among the assumptions of Theorems 1.5 and 1.6, which only assume Conjecture 1.3 for the original M_{K_f} (or for the fixed M'_{K'_f} in Theorem 1.6). The reference to Yuan–Zhang–Zhang [22] covers e = 1, where m = 1 and the Abel–Jacobi map is automatically injective, so it cannot supply the missing hypothesis for e > 1. Consequently the Poisson-summation argument establishes w1-invariance only under additional assumptions that are not stated, and Theorems 1.5(1) and 1.6(1) for r ≥ 2 are not proven as written.
[Abstract and Theorems 1.5(1), 1.6(1)] The abstract omits the absolute-convergence hypothesis that the theorems require. The abstract claims that 'assuming the Beilinson–Bloch conjecture' the generating series is a Hilbert–Siegel modular form, but the theorems for r ≥ 2 have the additional condition that ℓ(Z_{φ_f})(τ) is absolutely convergent, which Remark 1.9 explicitly says is not known. This mismatch between the advertised result and the actual statement should be corrected, either by adding the hypothesis in the abstract or by stating the result as conditional on absolute convergence.

minor comments (5)

[§4.1] In the paragraph after the m(a) calculation, the sentence 'On the other hand. we have Upxq “ Upxaq, so Zφf pxq “ Zφf pxaq' appears to contain a notational slip: it should express equality of the cycles Z_{x a} and Z_x, not equality of the functions Z_{φ_f}(x) and Z_{φ_f}(xa).
[§3.2] The deduction that Z_{φ_f}(g1) is absolutely convergent from the identity i^*(Z_{φ_f⊗φ'_f}(g1)) = Z_{φ_f}(g1) θ_{φ'_f}(g1) is not fully justified in the text; the manuscript should cite or provide the argument showing that the theta factor does not obstruct the conclusion.
[§2.2, Proposition 2.4] The proof of Proposition 2.4 refers to 'the same way as [22, Proposition 3.1]' but the non-trivial intersection-theoretic input from Proposition 2.3 is only sketched; a more detailed reference to the specific steps in [22] would improve readability.
[Throughout] There are several typos and formatting issues, including 'Bruhat-Schwartz' for 'Bruhat–Schwartz' (or 'Schwartz–Bruhat'), missing parentheses in 'SO pV qpALq' in Lemma 3.2, and an undeclared tensor-product symbol in 'π – b vπv'.
[§3.1] The proof that all archimedean components π_i are trivial for i = 1,...,e relies on 'See [21, Section 4.3.2, Example 4]' together with Lemma 3.2; this is plausible but the deduction that π_i is trivial from the vanishing of H^0 and H^1 cohomology for non-trivial representations would benefit from one additional sentence explaining the role of the trivial representation in the Künneth decomposition.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Chow-valued modularity is derived from the cohomological modularity of Kudla/Rosu-Yott plus an external injectivity conjecture; no step assumes the target modularity.

full rationale

The derivation chain is self-contained relative to its stated assumptions. For r=1 and n≥3, the paper proves H^{2e-1}(MKf,C)=0 by the Matsushima formula, then uses the assumed Beilinson-Bloch injectivity of cl^e_C to factor every linear functional ℓ through H^{2e}(MKf,C); modularity then follows from the unconditional cohomological modularity of Kudla [17] and Rosu-Yott [19]. For n≤2, the proof fixes an embedding into a larger Shimura variety M'_{K'_f}, assumes Conjecture 1.3 for that larger variety, and uses the pull-back formula; this is an external input, not a restatement of the conclusion. For r≥2, the argument proceeds by induction on r, using the r=1 statement together with Poisson summation; this is a legitimate inductive use of the just-proved case, not an assumption of the r≥2 modularity. The skeptic's concern about Section 4.2 is a genuine correctness gap: the text applies Theorem 1.5(2)/1.6(2) to intermediate Shimura varieties M_{Kf,y} attached to y^⊥, whose hypotheses (Conjecture 1.3 for M_{Kf,y}, or for a further enlargement when n−dim U(y)≤2) are not among the assumptions of Theorem 1.5. However, this is not circularity: the target modularity of MKf is not assumed as an input, no parameter is fitted, renamed, or defined in terms of the conclusion, and the gap does not reduce the claim to its own statement. The paper also explicitly disclaims the absolute convergence for r≥2 in Remark 1.9, which is an admitted limitation rather than a circular step. No step in the paper exhibits the pattern of deriving X from Y where Y was defined in terms of X, or of presenting a fitted quantity as a prediction.

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

No fitted numerical parameters or new entities appear. The central claim rests on two explicit unproved hypotheses, the Beilinson-Bloch injectivity at m=e and, for r≥2, absolute convergence, plus standard and prior results in automorphic forms and Shimura varieties. The Beilinson-Bloch assumption is a structural input, not a fitted parameter.

assumptions (8)

domain assumption Beilinson-Bloch conjecture (Conjecture 1.3): if H^{2m-1}(X,Q)=0 then CH^m_hom(X)_Q=0, for X=MKf and m=e, and for n≤2 for a larger Shimura variety M'_K'_f.
Invoked in Corollary 3.4 and Theorems 1.5/1.6 to make the cycle map CH^e_C→H^{2e}_C injective, so linear functionals on Chow groups lift to cohomology.
ad hoc to paper Absolute convergence of ℓ(Zφf)(τ) for r≥2.
Assumed in Theorem 1.5(1) and 1.6(1); Remark 1.9 states the paper does not know this convergence.
standard math Matsushima formula and Künneth formula for cohomology of arithmetic quotients.
Used in Section 3.1 to compute H^{2e-1}(MKf,C).
standard math Vogan-Zuckerman and Kumaresan vanishing: for non-trivial irreducible unitary π of SO(n,2), H^j(g,K;π)=0 for j=0,1.
Lemma 3.1, used to restrict contributions in the cohomology computation.
standard math Gorodnik-Maucourant-Oh Lemma 3.2: if one archimedean component of an automorphic representation is trivial on the identity component of SO(n,2), then all components are characters.
Used to conclude all archimedean components are trivial.
standard math Warner's example (Section 4.3.2, Example 4): connected semisimple Lie groups with no compact factors have no nontrivial characters, so the relevant archimedean representations are trivial.
Used in the terse step after Lemma 3.2 in Section 3.1.
standard math Known cohomological modularity of Kudla [17, Section 5.3] and Rosu-Yott [19, Theorem 1.1] for generating series in cohomology.
Used in Section 3.2 to deduce the Chow-valued statement after lifting ℓ to cohomology.
standard math Intersection and pull-back formulas for special cycles from Yuan-Zhang-Zhang [22, Propositions 2.6 and 3.1].
Proposition 2.4 and the induction step rely on these formulas.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The modularity of special cycles on orthogonal Shimura varieties over totally real fields under the Beilinson-Bloch conjecture." pith.science (2026). https://pith.science/paper/LQQVYOCX

@misc{pith2026190808063,
  author       = {Pith},
  title        = {Pith review of: The modularity of special cycles on orthogonal Shimura varieties over totally real fields under the Beilinson-Bloch conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LQQVYOCX}},
  note         = {Machine review of arXiv:1908.08063}
}

abstract

We study special cycles on a Shimura variety of orthogonal type over a totally real field of degree $d$ associated with a quadratic form in $n+2$ variables whose signature is $(n,2)$ at $e$ real places and $(n+2,0)$ at the remaining $d-e$ real places for $1\leq e <d$. Recently, these cycles were constructed by Kudla and Rosu-Yott and they proved that the generating series of special cycles in the cohomology group is a Hilbert-Siegel modular form of half integral weight. We prove that, assuming the Beilinson-Bloch conjecture on the injectivity of the higher Abel-Jacobi map, the generating series of special cycles of codimension $er$ in the Chow group is a Hilbert-Siegel modular form of genus $r$ and weight $1+n/2$. Our result is a generalization of \textit{Kudla's modularity conjecture}, solved by Yuan-Zhang-Zhang unconditionally when $e=1$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

[22]

145 (2009), no

Yuan, X., Zhang, S.-W., Zhang, W., The Gross-Kohnen-Zagier theorem over totally real ﬁelds , Compositio Math. 145 (2009), no. 5, 1147-1162

work page 2009
[1]

Beilinson, A., Height pairing between algebraic cycles , K-theory, Arithmetic and Geometry (Moscow, 1984-1986), 1-25, Lecture Notes in Math., 1289, Sprin ger, Berlin, 1987

work page 1984
[2]

Bergeron, N., Millson, J., Moeglin, C., Hodge type theorems for arithmetic manifolds associated to orthogonal groups , Int. Math. Res. Not. IMRN 2017, no. 15, 4495-4624

work page 2017
[3]

American Mathemat ical Society, Providence, RI, 2000

Borel, A., Wallach, N., Continuous cohomology, discrete subgroups, and represent ations of re- ductive groups , Mathematical Surveys and Monographs, 67. American Mathemat ical Society, Providence, RI, 2000

work page 2000
[4]

Borcherds, R., Automorphic forms with singularities on Grassmannians , Invent. Math. 132 (1998), no. 3, 491-562

work page 1998
[5]

Borcherds, R., The Gross-Kohnen-Zagier theorem in higher dimensions , Duke Math. J. 97 (1999), no. 2, 219-233

work page 1999
[6]

Pi 3 (2015), e7, 30 pp

Bruinier, J., Westerholt-Raum, M., Kudla’s modularity conjecture and formal Fourier-Jacobi series, Forum Math. Pi 3 (2015), e7, 30 pp

work page 2015
[7]

Gorodnik, A., Maucourant, F., Oh, H., Manin’s and Peyre’s conjectures on rational points and adelic mixing , Ann. Sci. ´Ec. Norm. Sup´ er. (4) 41 (2008), no. 3, 383-435

work page 2008

Show all 23 references

[8]

Lie Theory 23 (2013), no

Gourevitch, D., Kemarsky, A., Irreducible representations of product of real reductive g roups, J. Lie Theory 23 (2013), no. 4, 1005-1010

2013
[9]

II , Math

Gross, B., Kohnen, W., Zagier, D., Heegner points and derivatives of L-series. II , Math. Ann. 278 (1987), no. 1-4, 497-562

1987
[10]

Hirzebruch, F., Zagier, D., Intersection numbers of curves on Hilbert modular surfaces and mod- ular forms of Nebentypus , Invent. Math. 36 (1976), 57-113

1976
[11]

Jannsen, U., Motivic sheaves and ﬁltrations on Chow groups , Motives (Seattle, W A, 1991), 245- 302, Proc. Sympos. Pure Math., 55, Part 1, Amer. Math. Soc., Pro vidence, RI, 1994

1991
[12]

Hautes ´Etudes Sci

Kudla, S., Millson, J., Intersection numbers of cycles on locally symmetric spaces and Fourier coeﬃcients of holomorphic modular forms in several complex variables, Inst. Hautes ´Etudes Sci. Publ. Math. No. 71 (1990), 121-172. 14 YOTA MAEDA

1990
[13]

Kudla, S., Algebraic cycles on Shimura varieties of orthogonal type , Duke Math. J. 86 (1997), no. 1, 39-78

1997
[14]

Kudla, S., Central derivatives of Eisenstein series and height pairin gs, Ann. of Math. (2) 146 (1997), no. 3, 545-646

1997
[15]

137 (2003), no

Kudla, S., Integrals of Borcherds forms , Compositio Math. 137 (2003), no. 3, 293-349

2003
[16]

Kudla, S., Special cycles and derivatives of Eisenstein series , Heegner points and Rankin L-series, 243-270, Math. Sci. Res. Inst. Publ., 49, Cambridge Univ. Press, C ambridge, 2004

2004
[17]

Kudla, S., Remarks on generating series for special cycles , arXiv:1908.08390

1908 arXiv
[18]

Kumaresan, S., On the canonical k-types in the irreducible unitary g-modules with non-zero relative cohomology, Invent. Math. 59 (1980), no. 1, 1-11

1980
[19]

Rosu, E., Yott, D., Generating series of a new class of orthogonal Shimura varie ties, arXiv:1812.05183

arXiv
[20]

53 (1984), no

Vogan, D., Zuckerman, G., Unitary representations with nonzero cohomology , Compositio Math. 53 (1984), no. 1, 51-90

1984
[21]

I , Die Grundlehren der mathematis- chen Wissenschaften, Band 188

Warner, G., Harmonic analysis on semi-simple Lie groups. I , Die Grundlehren der mathematis- chen Wissenschaften, Band 188. Springer-Verlag, New York-Heid elberg, 1972

1972
[23]

D Thesis, Columbia University, 2009, 48 pp

Zhang, W., Modularity of generating functions of special cycles on Shi mura varieties , Ph. D Thesis, Columbia University, 2009, 48 pp. Department of Mathematics, F aculty of Science, Kyoto Unive rsity, Kyoto 606- 8502, Japan E-mail address : y.maeda@math.kyoto-u.ac.jp

2009

Pith tools

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

[1] [22]

145 (2009), no

Yuan, X., Zhang, S.-W., Zhang, W., The Gross-Kohnen-Zagier theorem over totally real ﬁelds , Compositio Math. 145 (2009), no. 5, 1147-1162

work page 2009

[2] [1]

Beilinson, A., Height pairing between algebraic cycles , K-theory, Arithmetic and Geometry (Moscow, 1984-1986), 1-25, Lecture Notes in Math., 1289, Sprin ger, Berlin, 1987

work page 1984

[3] [2]

Bergeron, N., Millson, J., Moeglin, C., Hodge type theorems for arithmetic manifolds associated to orthogonal groups , Int. Math. Res. Not. IMRN 2017, no. 15, 4495-4624

work page 2017

[4] [3]

American Mathemat ical Society, Providence, RI, 2000

Borel, A., Wallach, N., Continuous cohomology, discrete subgroups, and represent ations of re- ductive groups , Mathematical Surveys and Monographs, 67. American Mathemat ical Society, Providence, RI, 2000

work page 2000

[5] [4]

Borcherds, R., Automorphic forms with singularities on Grassmannians , Invent. Math. 132 (1998), no. 3, 491-562

work page 1998

[6] [5]

Borcherds, R., The Gross-Kohnen-Zagier theorem in higher dimensions , Duke Math. J. 97 (1999), no. 2, 219-233

work page 1999

[7] [6]

Pi 3 (2015), e7, 30 pp

Bruinier, J., Westerholt-Raum, M., Kudla’s modularity conjecture and formal Fourier-Jacobi series, Forum Math. Pi 3 (2015), e7, 30 pp

work page 2015

[8] [7]

Gorodnik, A., Maucourant, F., Oh, H., Manin’s and Peyre’s conjectures on rational points and adelic mixing , Ann. Sci. ´Ec. Norm. Sup´ er. (4) 41 (2008), no. 3, 383-435

work page 2008