Pith. sign in

REVIEW 5 minor 1 cited by

Kudla--Rapoport cycles and derivatives of local densities

T0 review · 0 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 The local Kudla–Rapoport conjecture holds in every dimension.

desk verdict Important proof of the local Kudla–Rapoport conjecture; the induction works, but the geometric Fourier lemmas need a small, essential correction (val>0, not val≥0) and the paper is explicitly conditional in parts. read the letter →

arxiv 1908.01701 v3 pith:AF2PU3OP submitted 2019-08-05 math.NT math.AGmath.RT

Chao Li , Wei Zhang This is my paper · ORCID
classification math.NTmath.AGmath.RT MSC 11G1811F2711F7014G3514G40
keywords Kudla-RapoportcycleslocalSiegelseriesarithmeticintersectionnumbersRapoport-ZinkspacesSiegel-WeilformularepresentationdensitiesunitaryShimuravarietiesuncertaintyprinciple
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 proves the local Kudla–Rapoport conjecture: for every full-rank lattice in the nonsplit hermitian space over a p-adic field, the arithmetic intersection number of the associated special cycle on a unitary Rapoport–Zink space is equal to the central derivative of the local Siegel series. This is a precise equality between a geometric quantity, the Euler characteristic of a derived intersection of divisors, and an analytic quantity, the derivative at the central point of a representation density. The authors then apply this local identity to prove the global Kudla–Rapoport conjecture and, with previously known archimedean results, cases of the arithmetic Siegel–Weil formula, which relate arithmetic degrees of special cycles on unitary Shimura varieties to central derivatives of incoherent Eisenstein series. If the theorem is right, it supplies the missing nonarchimedean input for a higher-dimensional analogue of Gross–Zagier-type height formulas.

What carries the argument

The load-bearing identity is the equality of the two sides of the local Kudla–Rapoport conjecture, but the mechanism that carries the proof is a Fourier-theoretic recursion on the dimension n of the hermitian space. For a fixed lattice L♭ of rank n−1, the relevant cycles are decomposed into a horizontal part (quasi-canonical lifting cycles, counted explicitly by a local-density formula) and a vertical part (supported on the special fiber). The vertical part gives a compactly supported function on V that is an eigenfunction of the Fourier transform with eigenvalue −1; this 'local modularity' is checked first for the curves in the special fiber and then extended to higher-codimension Deligne–Lusztig strata via the Chern character and cycle-class maps. The uncertainty principle, a simple statement about the local Weil representation, says that no nonzero compactly supported function can vanish together with its Fourier transform on the set of vectors of nonpositive valuation; applying it to the difference Int_{L♭} − ∂Den_{L♭} completes the induction. The analytic side also uses the explicit formula for the local Siegel series as a weighted sum over intermediate lattices together with its functional equation X ↔ 1/X, which makes the central value vanish and the central derivative well defined.

What would settle it

Compute both sides for a small lattice beyond the previously known cases, for instance take n=4 and a lattice L in the nonsplit hermitian space with fundamental invariants (1,1,1,1). On the analytic side ∂Den(L) is a finite explicit sum over intermediate lattices from the weighted lattice-counting formula; on the geometric side Int(L) is the Euler characteristic of an intersection that, by the special-fiber stratification, breaks into products of intersections with algebraic curves. If the two integers differ for any such lattice, the main theorem fails; a direct computation in one such case would settle the identity independently of the paper's induction.

Watch

Extended reading notes

Core claim

The central discovery is the identity Int(L) = ∂Den(L) for all lattices L of full rank n in the nonsplit F/F0-hermitian space V. The integer Int(L) is defined by choosing an O_F-basis x1,...,xn of L and taking the Euler characteristic of the derived tensor product of the structure sheaves of the Kudla–Rapoport divisors Z(xi) on the unitary Rapoport–Zink space Nn; the integer ∂Den(L) is the derivative at X=1 of the normalized local Siegel series Den(X,L), the polynomial whose values at X = (−q)^{−k} are normalized local densities of integral representations of the self-dual lattice of rank n+k by L. The proof is an induction on n. Fixing a codimension-one lattice L♭, both sides become functions of x ∈ V \ L♭_F; the horizontal contributions are matched explicitly using quasi-canonical lifting cycles, and the vertical contributions are shown to be compactly supported and to satisfy the Fourier symmetry f̂ = −f. An uncertainty principle for the local Weil representation then forces the difference to vanish. The vertical Fourier symmetry itself rests on the stratification of the special fiber of Nn into Deligne–Lusztig varieties and on a Tate-conjecture statement for those varieties, proven in the paper by eigenvalue computations. Completed with the almost-self-dual level variant and the semi-global identities, this yields the global Kudla–Rapoport conjecture and the arithmetic Siegel–Weil formula under the stated hypotheses.

Load-bearing premise

The argument depends on the special fiber of the Rapoport–Zink space having the expected stratification into the known algebraic pieces and on the Tate conjecture holding on those pieces; if either failed in the singular cases used for the Fourier transform, the geometric side of the identity would not be established.

Editorial extensions

If this is right

  • The local Kudla–Rapoport conjecture holds for every n, not only the non-degenerate cases and the n=3 case that were known before.
  • The global Kudla–Rapoport conjecture follows: when the set of places where the hermitian space fails to represent T is a single inert prime, the arithmetic degree of the global special cycle equals c_K times the central derivative of the nonsingular Fourier coefficient of the incoherent Eisenstein series.
  • Cases of the arithmetic Siegel–Weil formula in every dimension follow: under the hypotheses that F/F0 is unramified at finite places and split above 2, and that ϕK is nonsingular at two split places, the generating series of arithmetic degrees equals c_K ∂Eis(z,ϕK), hence is a nonholomorphic hermitian modular form of genus n.
  • At an almost self-dual level, the corrected intersection number Int(L) equals 1/(q+1) ∂Den_Λ(L); the uncorrected Int′(L) equals 1/(q+1)(∂Den_Λ(L) − Den(L)), conditional on the blow-up description of the auxiliary Rapoport–Zink space.
  • The proof yields the identity linking arithmetic intersections to local Whittaker derivatives, Int(L) = W′_T(1,0,ϕ0)/(log q^2 · ∏(1−(−q)^{−i})), giving a direct bridge to the Fourier expansion of the Eisenstein series.

Reading between the lines

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

  • The same uncertainty-principle induction should adapt to the orthogonal case announced by the authors, and more generally to any setting where the relevant cycles admit a horizontal/vertical split with Fourier-self-dual vertical parts.
  • One can test the local modularity directly for ramified quadratic extensions: the paper leaves that case open, and a version of the Fourier self-duality f̂ = −f for the vertical cycle would be a concrete necessary condition for an extension of the main theorem.
  • The Fourier-self-duality of the vertical cycle is essentially a finite-field identity on the special-fiber strata; interpreting it through the Grothendieck–Lefschetz fixed-point formula may yield a shorter proof of the Tate-class input.
  • The equality of the two cancellation laws, geometric and analytic, suggests that the identity is stable under orthogonal sums with self-dual lattices; this stability may be the right way to formulate a ramified or even characteristic-2 analogue.
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.

Referee Report

0 major / 5 minor

Summary. The paper proves the local Kudla–Rapoport conjecture for unitary Rapoport–Zink spaces: for every full-rank O_F-lattice L in the nonsplit hermitian space V over an unramified extension F/F0 with p>2, the arithmetic intersection number Int(L) equals the central derivative of the local Siegel series, ∂Den(L). The proof is by induction on the dimension and on lattice valuation, decomposing the special cycles into horizontal and vertical parts, establishing Fourier invariance (local modularity) for both the geometric and analytic vertical cycles, and closing the induction with an uncertainty principle. As applications, the paper proves the global Kudla–Rapoport conjecture and, in combination with results of Liu and of Garcia–Sankaran, cases of the arithmetic Siegel–Weil formula in any dimension. Part 2 treats the almost self-dual level case, explicitly flagging that some comparison statements there depend on Conjecture 10.4.1, which is left to a companion paper.

Significance. If the proof is accepted, this is a major breakthrough: it settles a central conjecture of Kudla–Rapoport in the unramified local case and yields the first higher-dimensional cases of the arithmetic Siegel–Weil formula. The argument is original and highly nontrivial, combining the Bruhat–Tits stratification of Vollaard–Wedhorn with Deligne–Lusztig varieties, a reduction of the needed Tate conjecture to Lusztig's eigenvalue computations, the Cho–Yamauchi local density formula, and a Fourier-analytic uncertainty principle. The paper is honest about its external inputs and about the conditional status of Conjecture 10.4.1, which is not used for the main local theorem or for the stated global applications. I specifically examined the potential gap raised during stress-testing concerning anisotropic vectors in the finite hermitian space VΛ in §6.4; that concern does not survive close reading. Under the standard normalization of the reduced form as p(·,·) mod p, every vector of nonnegative norm valuation has isotropic reduction, while anisotropic reduction classes have negative norm valuation and are covered by the zero-support case.

minor comments (5)
  1. [§6.4, Lemma 6.4.6] The proof is correct but terse about why it suffices to verify the formula for isotropic classes in VΛ. Since the reduced hermitian form on VΛ is normalized as p(·,·) mod p, a class represented by a vector x∈Λ∨ with val(x)≥0 is automatically isotropic, whereas anisotropic classes correspond to vectors with val(x)<0 and are already in the zero-support case. Adding this one-sentence clarification would prevent the reader from worrying about a missing anisotropic case.
  2. [§6.4, Corollary 6.4.8] The reference 'Lemmas 6.4.8 and 6.3.1' should be 'Lemmas 6.4.7 and 6.3.1'; Lemma 6.4.8 does not exist.
  3. [§6.4, Lemma 6.4.7, case (2)] The displayed count S_{2d−1,d−1}q^{2d−2} is correct, but the dimension of Λ′/Λ (namely d−1 over F_{q^2}) is not stated. A short parenthetical identifying these dimensions would improve readability and make the fiber-size computation q^{2d−2} less opaque.
  4. [§10.4, Conjecture 10.4.1] The paper clearly states that Theorems 10.4.3 and 10.5.1 are conditional on Conjecture 10.4.1. Since the central local theorem and the global applications use the unconditional Theorem 10.3.1 rather than these conditional comparison statements, I recommend adding a sentence in the introduction explicitly listing which results are conditional on Conjecture 10.4.1.
  5. [§13.6, proof of Theorem 13.6.1] The phrase 'asp>2' should read 'as p>2'.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the main local theorem is proved by matching two independent computations; the only caveats are a deferred companion-paper conjecture used outside the main theorem and a possible proof gap.

full rationale

The derivation of Theorem 3.4.1 is self-contained against independent inputs. Int(L) is defined geometrically from structure sheaves of Cartier divisors (2.4.2.1), while ∂Den(L) is defined from the Cho–Yamauchi weighted lattice count (Theorem 3.5.1, Corollary 3.5.3), so neither side is defined in terms of the target identity. The horizontal/vertical decomposition is then used: horizontal equality is proved by the explicit quasi-canonical lifting decomposition (Theorem 4.2.1, Corollary 5.4.6, Theorem 6.1.3), while vertical equality is proved by computing Fourier transforms separately — geometrically through Deligne–Lusztig cohomology and Tate classes (Theorem 5.3.2, Lemma 6.3.1, Corollary 6.3.3), and analytically through the local functional equation and lattice-counting (Proposition 3.7.1, Theorem 7.4.1) — and then applying the uncertainty principle (Proposition 8.1.6). The target identity is not fed into these computations; the two sides are matched only after independent calculation. The one flagged item is Section 10.4, Conjecture 10.4.1: the paper states, “In [KRSZ19] the authors will prove this conjecture, which from now on we assume to hold,” and this is used in the proof of the secondary almost-self-dual formula Theorem 10.5.1. Since the authors overlap with that companion paper, this is a minor same-author/conditional assumption, but it is explicitly labeled and is not needed for Theorem 3.4.1, Theorem 14.5.1, or Theorem 15.5.1. Finally, the proof of Lemma 6.4.6 as written appears to omit the anisotropic vectors in Λ∨∖Λ with val(x)=0 that Lemma 6.4.7 case (2) later uses; if that omission is real, it is a correctness gap in the geometric Fourier-transform induction, not a circular reduction.

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

The paper introduces no fitted constants and no new physical or formal entities. The auxiliary Rapoport-Zink space N-tilde is constructed from existing moduli problems, and Conjecture 10.4.1 concerns its geometry. All other inputs are standard mathematical objects from prior literature.

assumptions (5)
  • standard math Bruhat-Tits stratification of the special fiber of the unitary Rapoport-Zink space into Deligne-Lusztig varieties ([VW11, Theorem B], recalled in Section 2.7)
    Used throughout Sections 5 and 6 to decompose vertical cycles and to identify the reduced special fiber with Deligne-Lusztig varieties, which is essential for the geometric Fourier transform computation.
  • standard math Tate conjecture for the relevant Deligne-Lusztig varieties (Theorem 5.3.2, deduced from Lusztig [Lus76])
    Used to assert that cycle classes of Deligne-Lusztig subvarieties span the Tate classes, which underlies Corollary 5.3.3 and the higher local modularity results in Section 6.4.
  • standard math Cho-Yamauchi local density formula (Theorem 3.5.1), proved for hermitian lattices in Section 3.5
    Provides the explicit weighted lattice-counting formula for the local Siegel series, the starting point for all analytic-side computations including Corollary 3.5.3 and the induction in Section 7.
  • domain assumption Regular integral models of unitary Shimura varieties with parahoric level structure from [RSZ17b, RSZ19] and the p-adic uniformization theorem [RZ96, Cho18]
    Needed to convert the local identities on Rapoport-Zink spaces into identities on Shimura varieties in Part 3. These results are external and are cited, not reproved.
  • ad hoc to paper Conjecture 10.4.1, ascribed to Kudla and Rapoport, describing the auxiliary Rapoport-Zink space as a blow-up and a degree q+1 covering
    Assumed in Section 10.4 to prove the conditional Theorem 10.5.1. The paper states that [KRSZ19] will prove it. This is a flagged limitation; the main local theorem 3.4.1 does not use it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Kudla--Rapoport cycles and derivatives of local densities." pith.science (2026). https://pith.science/paper/AF2PU3OP

@misc{pith2026190801701,
  author       = {Pith},
  title        = {Pith review of: Kudla--Rapoport cycles and derivatives of local densities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AF2PU3OP}},
  note         = {Machine review of arXiv:1908.01701}
}
read the original abstract

We prove the local Kudla--Rapoport conjecture, which is a precise identity between the arithmetic intersection numbers of special cycles on unitary Rapoport--Zink spaces and the derivatives of local representation densities of hermitian forms. As a first application, we prove the global Kudla--Rapoport conjecture, which relates the arithmetic intersection numbers of special cycles on unitary Shimura varieties and the central derivatives of the Fourier coefficients of incoherent Eisenstein series. Combining previous results of Liu and Garcia--Sankaran, we also prove cases of the arithmetic Siegel--Weil formula in any dimension.

Discussion (0). Continue with ORCID to comment.

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

  1. Weil representation and Arithmetic Fundamental Lemma

    math.NT 2019-09 conditional novelty 8.0 of 10

    A global proof of the arithmetic fundamental lemma for unitary groups over Q_p (odd p >= n) via an SL_2-equivariant relative trace formula and derived CM cycles, which also yields the Jacquet-Rallis fundamental lemma ...

Reference graph

Works this paper leans on

61 extracted references · 50 canonical work pages · cited by 1 Pith paper

  1. [1]

    Cmi summer school notes on p-adic hodge theory

    Olivier Brinon and Brian Conrad. Cmi summer school notes on p-adic hodge theory. http://math.stanford.edu/ conrad/papers/notes.pdf

    work page

  2. [2]

    Kudla , Michael Rapoport , and Tonghai Yang

    Jan Bruinier , Benjamin Howard , Stephen S. Kudla , Michael Rapoport , and Tonghai Yang . Modularity of generating series of divisors on unitary Shimura varieties . arXiv e-prints , page arXiv:1702.07812, Feb 2017

    arXiv 2017

  3. [3]

    A new proof of Jacquet-Rallis's fundamental lemma

    Rapha \"e l Beuzart-Plessis. A new proof of Jacquet-Rallis's fundamental lemma . arXiv e-prints, arXiv:1901.02653 , 2019

    arXiv 1901

  4. [4]

    Groupes p -divisibles, groupes finis et modules filtr\' e s

    Christophe Breuil. Groupes p -divisibles, groupes finis et modules filtr\' e s. Ann. of Math. (2) , 152(2):489--549, 2000

    work page 2000

  5. [5]

    Arithmetic degrees of special cycles and derivatives of Siegel Eisenstein series

    Jan Hendrik Bruinier and Tonghai Yang . Arithmetic degrees of special cycles and derivatives of Siegel Eisenstein series . arXiv e-prints, arXiv:1802.09489 , Feb 2018

    work page Pith review arXiv 2018

  6. [6]

    The basic locus of the unitary Shimura variety with parahoric level structure, and special cycles

    Sungyoon Cho. The basic locus of the unitary Shimura variety with parahoric level structure, and special cycles . arXiv e-prints, arXiv:1807.09997 , 2018

    arXiv 2018

  7. [7]

    A reformulation of the Siegel series and intersection numbers

    Sungmun Cho and Takuya Yamauchi. A reformulation of the Siegel series and intersection numbers . arXiv e-prints, arXiv:1805.01666 , 2018

    work page Pith review arXiv 2018

  8. [8]

    Group schemes with strict O -action

    Gerd Faltings. Group schemes with strict O -action. Mosc. Math. J. , 2(2):249--279, 2002. Dedicated to Yuri I. Manin on the occasion of his 65th birthday

    work page 2002

Show all 61 references
  1. [9]

    Arithmetic intersection theory on D eligne- M umford stacks

    Henri Gillet. Arithmetic intersection theory on D eligne- M umford stacks. In Motives and algebraic cycles , volume 56 of Fields Inst. Commun. , pages 93--109. Amer. Math. Soc., Providence, RI, 2009

    2009

  2. [10]

    Gross and Kevin Keating

    Benedict H. Gross and Kevin Keating. On the intersection of modular correspondences. Invent. Math. , 112(2):225--245, 1993

    1993

  3. [11]

    Arithmetic intersection theory

    Henri Gillet and Christophe Soul\' e . Arithmetic intersection theory. Inst. Hautes \' E tudes Sci. Publ. Math. , (72):93--174 (1991), 1990

    1991

  4. [12]

    Garcia and Siddarth Sankaran

    Luis E. Garcia and Siddarth Sankaran. Green forms and the arithmetic S iegel- W eil formula. Invent. Math. , 215(3):863--975, 2019

    2019

  5. [13]

    Group schemes and local densities

    Wee Teck Gan and Jiu-Kang Yu. Group schemes and local densities. Duke Math. J. , 105(3):497--524, 2000

    2000

  6. [14]

    Gross and Don B

    Benedict H. Gross and Don B. Zagier. Heegner points and derivatives of L -series. Invent. Math. , 84(2):225--320, 1986

    1986

  7. [15]

    Kisin- R en classification of -divisible O -modules via the D ieudonne C rystal

    Alex Jay Henniges. Kisin- R en classification of -divisible O -modules via the D ieudonne C rystal . ProQuest LLC, Ann Arbor, MI, 2016. Thesis (Ph.D.)--The University of Arizona

    2016

  8. [16]

    Local zeta functions on H ermitian forms and its application to local densities

    Yumiko Hironaka. Local zeta functions on H ermitian forms and its application to local densities. J. Number Theory , 71(1):40--64, 1998

    1998

  9. [17]

    Spherical functions on U(2n)/(U(n) U(n)) and H ermitian S iegel series

    Yumiko Hironaka. Spherical functions on U(2n)/(U(n) U(n)) and H ermitian S iegel series. In Geometry and analysis of automorphic forms of several variables , volume 7 of Ser. Number Theory Appl. , pages 120--159. World Sci. Publ., Hackensack, NJ, 2012

    2012

  10. [18]

    Fine D eligne- L usztig varieties and arithmetic fundamental lemmas

    Xuhua He, Chao Li, and Yihang Zhu. Fine D eligne- L usztig varieties and arithmetic fundamental lemmas. Forum Math. Sigma , 7:e47, 55, 2019

    2019

  11. [19]

    Linear invariance of intersections on unitary Rapoport-Zink spaces

    Benjamin Howard. Linear invariance of intersections on unitary Rapoport-Zink spaces . arXiv e-prints, arXiv:1811.01482 , 2018

    2018 arXiv

  12. [20]

    Hirzebruch and D

    F. Hirzebruch and D. Zagier. Intersection numbers of curves on H ilbert modular surfaces and modular forms of N ebentypus. Invent. Math. , 36:57--113, 1976

    1976

  13. [21]

    A regularized S iegel- W eil formula for unitary groups

    Atsushi Ichino. A regularized S iegel- W eil formula for unitary groups. Math. Z. , 247(2):241--277, 2004

    2004

  14. [22]

    An explicit formula for S iegel series

    Hidenori Katsurada. An explicit formula for S iegel series. Amer. J. Math. , 121(2):415--452, 1999

    1999

  15. [23]

    Crystalline representations and F -crystals

    Mark Kisin. Crystalline representations and F -crystals. In Algebraic geometry and number theory , volume 253 of Progr. Math. , pages 459--496. Birkh\" a user Boston, Boston, MA, 2006

    2006

  16. [24]

    Arithmetic of quadratic forms , volume 106 of Cambridge Tracts in Mathematics

    Yoshiyuki Kitaoka. Arithmetic of quadratic forms , volume 106 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1993

    1993

  17. [25]

    Kudla and John J

    Stephen S. Kudla and John J. Millson. The theta correspondence and harmonic forms. I . Math. Ann. , 274(3):353--378, 1986

    1986

  18. [26]

    Kudla and Michael Rapoport

    Stephen S. Kudla and Michael Rapoport. Arithmetic H irzebruch- Z agier cycles. J. Reine Angew. Math. , 515:155--244, 1999

    1999

  19. [27]

    Kudla and Michael Rapoport

    Stephen S. Kudla and Michael Rapoport. Cycles on S iegel threefolds and derivatives of E isenstein series. Ann. Sci. \' E cole Norm. Sup. (4) , 33(5):695--756, 2000

    2000

  20. [28]

    Kudla and Michael Rapoport

    Stephen S. Kudla and Michael Rapoport. Height pairings on S himura curves and p -adic uniformization. Invent. Math. , 142(1):153--223, 2000

    2000

  21. [29]

    Kudla and Michael Rapoport

    Stephen S. Kudla and Michael Rapoport. Special cycles on unitary S himura varieties I . U nramified local theory. Invent. Math. , 184(3):629--682, 2011

    2011

  22. [30]

    Kudla and Michael Rapoport

    Stephen S. Kudla and Michael Rapoport. Special cycles on unitary S himura varieties II : G lobal theory. J. Reine Angew. Math. , 697:91--157, 2014

    2014

  23. [31]

    Kudla , Michael Rapoport , Brian Smithling , and Wei Zhang

    Stephen S. Kudla , Michael Rapoport , Brian Smithling , and Wei Zhang . in preparation , 2019

    2019

  24. [32]

    Kudla, Michael Rapoport, and Tonghai Yang

    Stephen S. Kudla, Michael Rapoport, and Tonghai Yang. On the derivative of an E isenstein series of weight one. Internat. Math. Res. Notices , (7):347--385, 1999

    1999

  25. [33]

    Kudla, Michael Rapoport, and Tonghai Yang

    Stephen S. Kudla, Michael Rapoport, and Tonghai Yang. Modular forms and special cycles on S himura curves , volume 161 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2006

    2006

  26. [34]

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

    1997

  27. [35]

    Stephen S. Kudla. Central derivatives of E isenstein series and height pairings. Ann. of Math. (2) , 146(3):545--646, 1997

    1997

  28. [36]

    Stephen S. Kudla. Special cycles and derivatives of E isenstein series. In Heegner points and R ankin L -series , volume 49 of Math. Sci. Res. Inst. Publ. , pages 243--270. Cambridge Univ. Press, Cambridge, 2004

    2004

  29. [37]

    Arithmetic theta lifting and L -derivatives for unitary groups, I

    Yifeng Liu. Arithmetic theta lifting and L -derivatives for unitary groups, I . Algebra Number Theory , 5(7):849--921, 2011

    2011

  30. [38]

    Arithmetic theta lifting and L -derivatives for unitary groups, II

    Yifeng Liu. Arithmetic theta lifting and L -derivatives for unitary groups, II . Algebra Number Theory , 5(7):923--1000, 2011

    2011

  31. [39]

    Fourier-Jacobi cycles and arithmetic relative trace formula

    Yifeng Liu. Fourier-Jacobi cycles and arithmetic relative trace formula . https://gauss.math.yale.edu/ yl2269/FJcycle.pdf, August 2018

    2018

  32. [40]

    C how groups and L -derivatives of automorphic motives for unitary groups

    Chao Li and Yifeng Liu . C how groups and L -derivatives of automorphic motives for unitary groups. preprint , May 2020

    2020

  33. [41]

    G. Lusztig. Coxeter orbits and eigenspaces of F robenius. Invent. Math. , 38(2):101--159, 1976

    1976

  34. [42]

    Remarks on the arithmetic fundamental lemma

    Chao Li and Yihang Zhu. Remarks on the arithmetic fundamental lemma. Algebra Number Theory , 11(10):2425--2445, 2017

    2017

  35. [43]

    On the arithmetic Siegel--Weil formula for GSpin Shimura varieties

    Chao Li and Wei Zhang . On the arithmetic Siegel--Weil formula for GSpin Shimura varieties . in preparation , May 2020

    2020

  36. [44]

    Relative unitary RZ-spaces and the Arithmetic Fundamental Lemma

    Andreas Mihatsch . Relative unitary RZ-spaces and the Arithmetic Fundamental Lemma . arXiv e-prints, arXiv:1611.06520 , November 2016

    2016 arXiv

  37. [45]

    Rapoport, B

    M. Rapoport, B. Smithling, and W. Zhang. On the arithmetic transfer conjecture for exotic smooth formal moduli spaces. Duke Math. J. , 166(12):2183--2336, 2017

    2017

  38. [46]

    Arithmetic diagonal cycles on unitary Shimura varieties

    Michael Rapoport , Brian Smithling , and Wei Zhang . Arithmetic diagonal cycles on unitary Shimura varieties . arXiv e-prints, arXiv:1710.06962 , Oct 2017

    2017 arXiv

  39. [47]

    Regular formal moduli spaces and arithmetic transfer conjectures

    Michael Rapoport , Brian Smithling , and Wei Zhang . Regular formal moduli spaces and arithmetic transfer conjectures. Math. Ann. , 370(3-4):1079--1175, 2018

    2018

  40. [48]

    On Shimura varieties for unitary groups

    Michael Rapoport , Brian Smithling , and Wei Zhang . On Shimura varieties for unitary groups . arXiv e-prints, arxiv:1906.12346 , June 2019

    1906 arXiv

  41. [49]

    Period spaces for p -divisible groups , volume 141 of Annals of Mathematics Studies

    Michael Rapoport and Thomas Zink. Period spaces for p -divisible groups , volume 141 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1996

    1996

  42. [50]

    On the D rinfeld moduli problem of p -divisible groups

    Michael Rapoport and Thomas Zink. On the D rinfeld moduli problem of p -divisible groups. Camb. J. Math. , 5(2):229--279, 2017

    2017

  43. [51]

    Improper intersections of K udla- R apoport divisors and E isenstein series

    Siddarth Sankaran. Improper intersections of K udla- R apoport divisors and E isenstein series. J. Inst. Math. Jussieu , 16(5):899--945, 2017

    2017

  44. [52]

    Indefinite quadratische F ormen und F unktionentheorie

    Carl Ludwig Siegel. Indefinite quadratische F ormen und F unktionentheorie. I . Math. Ann. , 124:17--54, 1951

    1951

  45. [53]

    J. T. Tate. p -divisible groups. In Proc. C onf. L ocal F ields ( D riebergen, 1966) , pages 158--183. Springer, Berlin, 1967

    1966

  46. [54]

    Intersections of arithmetic H irzebruch- Z agier cycles

    Ulrich Terstiege. Intersections of arithmetic H irzebruch- Z agier cycles. Math. Ann. , 349(1):161--213, 2011

    2011

  47. [55]

    Intersections of special cycles on the S himura variety for GU(1,2)

    Ulrich Terstiege. Intersections of special cycles on the S himura variety for GU(1,2) . J. Reine Angew. Math. , 684:113--164, 2013

    2013

  48. [56]

    The supersingular locus of the S himura variety for GU (1,s)

    Inken Vollaard. The supersingular locus of the S himura variety for GU (1,s) . Canad. J. Math. , 62(3):668--720, 2010

    2010

  49. [57]

    The supersingular locus of the S himura variety of GU (1,n-1) II

    Inken Vollaard and Torsten Wedhorn. The supersingular locus of the S himura variety of GU (1,n-1) II . Invent. Math. , 184(3):591--627, 2011

    2011

  50. [58]

    Sur la formule de S iegel dans la th\' e orie des groupes classiques

    Andr\' e Weil. Sur la formule de S iegel dans la th\' e orie des groupes classiques. Acta Math. , 113:1--87, 1965

    1965

  51. [59]

    The G ross- Z agier formula on S himura curves , volume 184 of Annals of Mathematics Studies

    Xinyi Yuan, Shou-Wu Zhang, and Wei Zhang. The G ross- Z agier formula on S himura curves , volume 184 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2013

    2013

  52. [60]

    Fourier transform and the global G an- G ross- P rasad conjecture for unitary groups

    Wei Zhang. Fourier transform and the global G an- G ross- P rasad conjecture for unitary groups. Ann. of Math. (2) , 180(3):971--1049, 2014

    2014

  53. [61]

    Weil representation and arithmetic fundamental lemma

    Wei Zhang . Weil representation and arithmetic fundamental lemma . preprint , May 2019

    2019

Pith tools

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