Pith. sign in

REVIEW 4 major objections 5 minor 51 references

More regular formal moduli spaces and arithmetic transfer conjectures: the ramified quadratic case

T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Ramified quadratic arithmetic transfer proved in n=1 case

desk verdict The structural framework for ramified arithmetic transfer is a real contribution, and the n=1 theorem is credible, but the proof of a key local model isomorphism and the flatness of large-correspondence cycles are not fully settled in this version. read the letter →

arxiv 2507.01395 v1 pith:SKC474LT submitted 2025-07-02 math.NT math.AGmath.RT

Yu Luo , Michael Rapoport , Wei Zhang This is my paper · ORCID
classification math.NTmath.AGmath.RT MSC 11G1811S3714G3514L05
keywords arithmetictransferconjecturefundamentallemmaRapoport–Zinkspacessplittingmodelsramifiedquadraticextensionspecialcyclesformalmoduliunitarygroups
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 aims to extend the arithmetic fundamental lemma to the ramified quadratic setting of unitary groups. It constructs regular formal moduli spaces by replacing Rapoport–Zink spaces with splitting models, and it proves exceptional divisor isomorphisms that identify special cycles with lower-dimensional Rapoport–Zink spaces. These isomorphisms allow the formulation of arithmetic transfer conjectures connecting intersection numbers on regular ambient products to derivatives of weighted orbital integrals. The conjectures are proved when n=1, including the previously open case of type $(n-1,t)=(0,0)$, where the identity $\langle f\mathbb{M}^{[0],\mathrm{spl}}_1, g f\mathbb{M}^{[0],\mathrm{spl}}_1\rangle\cdot\log q = -\partial\mathrm{Orb}(\gamma,\varphi')$ is established for matched regular semisimple elements. A sympathetic reader should care because this is the ramified analogue of the arithmetic fundamental lemma that underpins the arithmetic Gan–Gross–Prasad approach to Gross–Zagier-type formulas.

What carries the argument

The load-bearing object is the splitting model $N^{[t],\mathrm{spl}}_{n,\varepsilon}$, defined as the flat closure of the naive splitting model and realized as the blow-up of the Rapoport–Zink space $N^{[t]}_{n,\varepsilon}$ in its worst points; it is regular, indeed semi-stable, and therefore can serve as a factor in an ambient product for intersection theory. The second central mechanism is the strengthened spin condition in the moduli-theoretic description of these Rapoport–Zink spaces, which the paper uses to prove the exceptional special-divisor isomorphisms $Z(u)^{[t]}_{n,\varepsilon} \simeq N^{[t]}_{n-1,\varepsilon'}$ and the Y-cycle analogue; these isomorphisms turn special cycles into lower-dimensional Rapoport–Zink spaces, making flatness and finiteness of intersections accessible. The correspondence framework of small and large correspondences, together with lattice models on the unitary side, identifies the test functions whose orbital integrals match the intersection numbers.

What would settle it

For n=3, t=0, choose a regular semisimple matched pair (γ,g) and compute both sides of Conjecture 9.10.1; a mismatch for any such pair would disprove the conjecture. Alternatively, show that the larger-correspondence cycle fM or eN is not flat by finding a geometric point where its flat closure has extra components over a worst point, which would falsify the geometric interpretation of the intersection number.

Watch

Extended reading notes

Core claim

The central claim, on the paper's own terms, is that the ramified quadratic case can be treated by the same global strategy as the unramified case, once the ambient spaces are made regular. The paper proves that the splitting model $N^{[t],\mathrm{spl}}_{n,\varepsilon}$—the flat closure of the naive splitting model, equivalently the blow-up of $N^{[t]}_{n,\varepsilon}$ in its worst points—is always flat and semi-stable, and that products such as $N^{[n]}_n \times N^{[t],\mathrm{spl}}_{n+1}$ are regular. It then proves the exceptional divisor theorem: for a unit-length special vector $u$, the special cycle $Z(u)^{[t]}_{n,\varepsilon}$ is isomorphic to $N^{[t]}_{n-1,\varepsilon'}$ in all but a few listed cases, and the Y-cycle analogue holds through a double cover. These identifications let the paper define arithmetic intersection numbers and state arithmetic transfer conjectures of types $(n,t)$, $(n-1,t)$, $(t,n)$, and $(t,n+1)$. The lowest-dimensional case $n=1$ is proved completely: all rows of the summary table hold, including the previously open case of Conjecture 9.10.1 for $(n-1,t)=(0,0)$, where the identity $\langle f\mathbb{M}^{[0],\mathrm{spl}}_1, g f\mathbb{M}^{[0],\mathrm{spl}}_1\rangle\cdot\log q = -\partial\mathrm{Orb}(\gamma,\varphi')$ is established for matched regular semisimple elements.

Load-bearing premise

The load-bearing premise is that the cycles used in the larger correspondences are flat over the base ring, so that taking their flat closure does not change the intended cycle; the paper proves this only when the cycle is isomorphic to a Rapoport–Zink space.

Editorial extensions

If this is right

  • If the arithmetic transfer conjectures in Sections 8–11 are correct, the arithmetic Gan–Gross–Prasad machinery extends to ramified quadratic extensions with parahoric level structures, not only hyperspecial ones.
  • The n=1 cases form the base of the expected induction: the n=2 cases listed in Section 1.3 are the next test cases standing between the current proof and higher dimensions.
  • The exceptional divisor isomorphisms imply that all Z-divisors attached to unit-length vectors are lower-dimensional Rapoport–Zink spaces, so the corresponding intersection numbers are finite and computable by lattice counting.
  • In the extreme types t=n (even n) and t=n+1 or t=n−1 (odd n), the new conjectures specialize to the earlier arithmetic transfer conjectures of the paper's predecessors, so the framework is consistent with known results.

Reading between the lines

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

  • A natural next step is to prove the flatness conjectures for the larger correspondences by giving a moduli-theoretic description of the spaces fM and eN that exhibits them as Rapoport–Zink spaces of mixed parahoric level, in the spirit of the isomorphism proved for type (t,n+1).
  • The n=2 cases advertised as future work may be accessible with the same explicit Lubin–Tate and Drinfeld-type models used for n=1, since the relevant Rapoport–Zink spaces in dimension two are known concretely.
  • Because the splitting model is a blow-up in the worst points, the difference between the naive and split intersection numbers is concentrated on exceptional divisors; this suggests that error-term formulas of the type conjectured for one extreme case may be a general phenomenon.
  • The lattice-model origin of the test functions indicates that the same functions, transported to a global Shimura variety, should reproduce the local Hecke action appearing in the global arithmetic Gan–Gross–Prasad conjecture; a computational check in small residue characteristic would be a cheap test.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 5 minor

Summary. The paper constructs regular formal moduli spaces for unitary groups attached to a ramified quadratic extension of a p-adic field, using splitting models and correspondences of atomic type. It formulates several arithmetic transfer (AT) conjectures, organized in a table of types (n,t), (n-1,t), (t,n), and (t,n+1), and proves the lowest-dimensional cases. For n=1 the proof relies on prior results of [31] and [32] and on a new computation in Section 13 for type (n-1,t)=(0,0), which is the only genuinely new instance. The paper also proves structural results on exceptional special divisors and on the coincidence of small and large correspondences in some cases (Theorems 9.1.2, 11.1.2).

Significance. If the new Section 13 computation is complete, the paper is a substantial contribution: it gives a systematic framework for arithmetic transfer in the ramified quadratic case, introduces the splitting-model ambient spaces that make the intersection numbers well-defined, identifies the correct test functions via lattice models, and proves the first non-trivial cases. The exceptional divisor isomorphisms (Theorems 1.5.1, 6.1.3-6.1.5) are valuable in their own right, and the comparison of small and large correspondences via flatness results (Theorems 8.1.2, 9.1.2, 11.1.2 and Corollary 11.1.3) is an important structural step. The main caveat is that the n=1 theorem, the central new assertion, is not verifiable from the review copy because Section 13 breaks off before the actual intersection computation and analytic comparison.

major comments (4)
  1. [Section 13, Theorem 1.3.1(iii)] The proof of the new n=1 case, Conjecture 9.10.1 for type (n-1,t)=(0,0), is incomplete in the supplied manuscript. The section reduces to the inhomogeneous setting, recalls the Iwahori-level Lubin-Tate isomorphism, and begins to describe the cycles fM[0],±_1, but the text is truncated before the intersection multiplicity computation in §13.4 and the comparison with ∂Orb in §13.5. Since this is the only case not already covered by [31] or [32], the central claim of Theorem 1.3.1 cannot be assessed from the manuscript as presented. The computation must be supplied in full.
  2. [§12.2, Theorem 12.2.5] The proof of Theorem 12.2.5 is only sketched and contains an unresolved footnote marker ('see footnote ??'). The key steps (2) and (3), showing that the constructed filtration is a direct summand of rank n-1 and satisfies the strengthened spin condition, are deferred to [45, Prop. 5.14], but that reference is for a bijection between RZ spaces, not for the local model statement. Since Theorem 12.2.5 underlies Theorem 11.1.2 and Corollary 11.1.3, the missing details are load-bearing for the flatness claims in Section 11.
  3. [§9.8, §10.5, Conjectures 9.6.1 and 10.1.2] The intersection numbers in Conjectures 9.10.1 and 10.6.1 are defined using the flat closures fM[t],spl_n and eN[t],spl_n. The paper proves flatness of the underlying correspondences only in cases where they are isomorphic to RZ spaces (Theorems 8.1.2, 9.1.2, 11.1.2), and leaves Conjectures 9.6.1 and 10.1.2 open in general. If flatness fails, the flat closure can differ from the intended correspondence away from the worst points, so the geometric interpretation of the intersection number as counting the Z- or Y-cycles is not established for the general framework. For the n=1 theorem this issue is bypassed because fM[0]_1 is finite flat, but the paper does not state this verification explicitly.
  4. [§1.3 and §9.10] The relation between Theorem 1.3.1 and the table in §1.2 should be stated more precisely. In particular, Theorem 1.3.1 says it proves Conjecture 1.1.1 for n=1, but the new Section 13 computation is only for Conjecture 9.10.1, type (0,0), which is the fifth row of the table. The paper should explain explicitly how the remaining rows for n=1 follow from [31] and [32], and whether any of them require an argument beyond the cited theorems.
minor comments (5)
  1. [§1.12.1] The notation 'F = ¯k for a fixed algebraic closure' is confusing: likely \(\bar{k}\) is intended for the residue field algebraic closure, not the field F itself.
  2. [§5.3, Proposition 5.3.5] The phrase 'defined defined by ht(g)' contains a duplicated word and should be corrected.
  3. [Lemma 9.6.2] The word 'embedddings' is a typo for 'embeddings'.
  4. [§7.2, proof of Theorem 7.2.4] In the proof, references to 'case (ii) of Theorem 7.2.4' and 'case (i) of Theorem 7.2.4' appear to refer to cases in Theorem 7.2.3; the numbering should be corrected.
  5. [§13.3] The notation 'fM[0]_0' appears where the dimension should be n=1; the subscript seems to be a typo.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: test functions are fitted to naive lattice-model counts by construction (§1.10), but the conjectured identities concern derived intersections on splitting models vs. s-derivatives of weighted orbital integrals — not forced by that fit.

full rationale

The paper's derivation chain is substantially self-contained for its central new claims, despite heavy scaffolding by the authors' own prior work. The new AT conjectures (8.5.1, 9.4.1, 9.10.1, 10.4.1, 10.6.1, 11.5.1) assert an identity between a derived arithmetic intersection number on a product of RZ or splitting formal schemes and the s-derivative of a weighted orbital integral on the GL-side. The test functions are co-designed with the naive lattice-model counts by construction ('We construct a function φ (the test function) with the characterizing property that the naive (set theoretical) intersection number on the lattice model is equal to a suitable orbital integral of this function', §1.10); this is the standard AFL methodology and does not force the conjectured identity, because the left-hand side is a Serre intersection number on the regular splitting model (with log-q contributions from the exceptional divisors over the worst points) and the right-hand side is the germ expansion of the s-weighted integral — neither object is fixed by the naive fit. The exceptional-divisor isomorphisms (Theorems 1.5.1, 6.1.3) are proved in §6-§7 from the strengthened spin condition, with the Y-divisor case cited from the independent work of Yao [45]; the correspondence identifications (Theorems 8.1.2, 9.1.2, 11.1.2) are proved in the paper itself (§12 for 11.1.2). The n=1 theorem (1.3.1) cites [32, Thm. 13.2/13.4/1.6] for the Z-divisor cases — published theorems of two of the present authors and Smithing, whose assumptions exclude the present target conjecture — and proves the genuinely new fM-case in §13 by reducing to an inhomogeneous statement (Cor. 13.1.2) and applying analytic germ-expansion results from [25] and [32]. These imports are independent support in the sense of the review rules: published, parameter-free results that do not include the target identity. The only genuine weaknesses are the openly flagged flatness assumptions Conjectures 9.6.1 and 10.1.2, which affect the geometric interpretation of the large-correspondence cycles in rows 5 and 7 of the summary table; the AT identities remain well-defined statements about flat closures, so this is a correctness risk rather than a circularity, and the n=1 theorem bypasses it through an explicit RZ-isomorphism description.

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

The central constructions rest on the moduli-theoretic framework of [22], the splitting model theorem of [15], and the prior AT/AFL results in [31,32]. The paper itself leaves several flatness and equivalence statements as conjectures, most notably Conjecture 9.6.1 and the density conjecture [31, Conj. 5.16]. No data-fitted parameters or new physical entities are introduced.

assumptions (5)
  • domain assumption The strengthened spin condition correctly characterizes the moduli of hermitian OF-modules, as imposed in Definition 4.4.1.
    Used to define RZ spaces N^{[t]}_{n,epsilon}; the comparison theorems in Section 7 rely on this characterization from [22].
  • standard math Splitting models N^{[t],spl}_{n,epsilon} are regular and semi-stable, and are the blow-up of the RZ space in the worst points.
    Quoted from [15, Thm 1.3.1] in Theorem 5.4.3; the regularity of the ambient products in all AT conjectures depends on it.
  • domain assumption The density conjecture [31, Conj. 5.16] is used to pass between the homogeneous and inhomogeneous forms of the AT conjectures.
    Stated in Section 1.1; unproved, so the equivalence of the two conjecture forms is conditional.
  • standard math Yao's theorem [45, Thm 5.5] on the Y-cycle isomorphism is correct and applies in the epsilon'=-1 case via (5.2.1).
    Used in Theorem 6.1.4 and in Section 12 to identify the big and small correspondences.
  • ad hoc to paper The big correspondence fM^{[t]}_n is flat over Spf O_breve{F} (Conjecture 9.6.1).
    Needed to relate the flat-closure cycle fM^{[t],spl}_n to the naive cycle fM^{[t]}_n outside the worst points, so that the intersection number in Conjecture 9.10.1 has the intended geometric meaning. Proved only in cases where fM is identified with an RZ space.

how reviews work

0 comments
Cite this review

Pith. "Pith review of More regular formal moduli spaces and arithmetic transfer conjectures: the ramified quadratic case." pith.science (2026). https://pith.science/paper/SKC474LT

@misc{pith2026250701395,
  author       = {Pith},
  title        = {Pith review of: More regular formal moduli spaces and arithmetic transfer conjectures: the ramified quadratic case},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SKC474LT}},
  note         = {Machine review of arXiv:2507.01395}
}
abstract

For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and construct correspondences between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture in this context. We prove the conjectures in the lowest dimensional cases.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 47 canonical work pages

  1. [32]

    Rapoport, B

    M. Rapoport, B. Smithling and W. Zhang, Regular formal moduli spaces and arithmetic transfer conjectures, Math. Ann. 370 (2018), 1079–1175. 2, 4, 5, 6, 18, 20, 21, 26, 29, 31, 45, 57, 58, 59, 65, 77, 78, 79, 80, 81, 83, 85, 87, 88, 89, 90, 93, 94

    work page 2018

  2. [31]

    Rapoport, B

    M. Rapoport, B. Smithling and W. Zhang, On the arithmetic transfer conjecture for exotic smooth formal moduli spaces, Duke Math. J. 166 (2017), no. 12, 2183–2336. 2, 3, 4, 5, 12, 15, 17, 18, 19, 20, 23, 25, 26, 43, 45, 47, 48, 52, 71, 72, 85, 86, 92, 96

    work page 2017

  3. [1]

    Ahsendorf, Ch

    T. Ahsendorf, Ch. Cheng and Th. Zink, O-displays and π-divisible formal O-modules. J. Algebra 457 (2016), 129–193. 16

    work page 2016

  4. [2]

    ARGOS seminar on intersections of modular correspondences , Ast´ erisque312 (2007). 98

    work page 2007

  5. [3]

    Arzdorf, On local models with special parahoric level structure , Michigan Math

    K. Arzdorf, On local models with special parahoric level structure , Michigan Math. J. 58 (2009), no. 3, 683–710. 23

    work page 2009

  6. [4]

    Beuzart-Plessis, A new proof of the Jacquet-Rallis fundamental lemma, Duke Math

    R. Beuzart-Plessis, A new proof of the Jacquet-Rallis fundamental lemma, Duke Math. J. 170 (2021), 2805–

    work page 2021

  7. [5]

    Bhatt and P

    B. Bhatt and P. Scholze, Projectivity of the Witt vector affine Grassmannian , Invent. Math. 209, no. 2, (2017), 329–423. 24

    work page 2017

  8. [6]

    Bruinier, B

    J. Bruinier, B. Howard, S. Kudla, M. Rapoport and T. Yang, Modularity of generating series of divisors on unitary Shimura varieties , Ast´ erisque421 (2020), 7–125. 32, 33

    work page 2020

Show all 51 references
  1. [7]

    W. T. Gan, B. Gross, and D. Prasad, Symplectic local root numbers, central critical L-values, and restriction problems in the representation theory of classical groups , Ast´ erisque346 (2012), 1–109. 1

    2012

  2. [8]

    G¨ ortz, X

    U. G¨ ortz, X. He and S. Nie, Basic loci of Coxeter type with arbitrary parahoric level , Canad. J. Math. 76 (2024), no. 1, 126—172

    2024

  3. [9]

    G¨ ortz and T

    U. G¨ ortz and T. Wedhorn,Algebraic geometry I. Schemes—with examples and exercises , Springer Studium Mathematik—Master, Second edition, Springer Spektrum, Wiesbaden 2020 43

    2020

  4. [10]

    Gross and D

    B. Gross and D. Zagier, Heegner points and derivatives of L-series, Invent. Math. 84 (1986), no. 2, 225–320. 1

    1986

  5. [11]

    He, Kottwitz-Rapoport conjecture on unions of affine Deligne-Lusztig varieties, Ann

    X. He, Kottwitz-Rapoport conjecture on unions of affine Deligne-Lusztig varieties, Ann. Sci. ´Ec. Norm. Sup´ er. (4) 49 (2016), no. 5, 1125–1141. 29

    2016

  6. [12]

    X. He, C. Li, and Y. Zhu, Fine Deligne-Lusztig varieties and arithmetic fundamental lemmas , Forum Math. Sigma 7 (2019), e47, 55 pp. 14 RAMIFIED SPLITTING ARITHMETIC TRANSFER CONJECTURES 97

    2019

  7. [13]

    X. He, G. Pappas and M. Rapoport, Good and semi-stable reductions of Shimura varieties , J. ´Ec. polytech. Math. 7 (2020), 497–571. 14, 23

    2020

  8. [14]

    He and R

    X. He and R. Zhou, On the connected components of affine Deligne-Lusztig varieties , Duke Math. J. 169 (2020), no. 14, 2697—2765. 25

    2020

  9. [15]

    Q. He, Y. Luo and Y. Shi, Regular models of ramified unitary Shimura varieties at maximal parahoric level . preprint, 2024. arXiv:2410.04500 [math.AG]. 7, 27, 28, 32

    2024 arXiv

  10. [16]

    Q. He, Y. Luo, and Y. Shi, The basic locus of ramified unitary Rapoport-Zink space at maximal parahoric , arXiv:2502.06218 [math.AG]. 19, 22, 23, 26, 44

    arXiv

  11. [17]

    Kr¨ amer,Local models for ramified unitary groups , Abh

    N. Kr¨ amer,Local models for ramified unitary groups , Abh. Math. Sem. Univ. Hamburg 73 (2003), 67–80. 7

    2003

  12. [18]

    Kudla and M

    S. Kudla and M. Rapoport, Special cycles on unitary Shimura varieties I. Unramified local theory , Invent. Math. 184 (2011), no. 3, 629–682. 20

    2011

  13. [19]

    Kudla, M

    S. Kudla, M. Rapoport, and Th. Zink, On the p-adic uniformization of unitary Shimura curves , M´ em. Soc. Math. Fr. (N.S.) 183 (2024), vi+212 pp. 16

    2024

  14. [20]

    C. Li, M. Rapoport and W. Zhang, Arithmetic fundamental lemma for the spherical Hecke algebra , Manuscripta Math. 175 (2024), no. 1-2, 1–51. 2, 49, 95

    2024

  15. [21]

    C. Li, M. Rapoport and W. Zhang, Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels. preprint, 2024. arXiv:2404.02214 [math.NT]. 2, 8, 9, 10, 29, 48, 50, 51, 52, 70, 85, 86

    2024 arXiv

  16. [22]

    Luo, On the moduli description of ramified unitary local models of signature (n − 1, 1)

    Y. Luo, On the moduli description of ramified unitary local models of signature (n − 1, 1). Math. Ann. (2025). Open access: https://doi.org/10.1007/s00208-025-03194-7 . 5, 6, 15, 18, 23, 28, 35, 38, 39, 40, 42, 79

    2025 doi

  17. [23]

    Y. Luo, A. Mihatsch and Z. Zhang, On unitary Shimura varieties in the ramified case . preprint, 2025. arXiv:2504.17484 [math.AG]. 16

    2025 arXiv

  18. [24]

    Mihatsch, On the arithmetic fundamental lemma conjecture through Lie algebras , Math

    A. Mihatsch, On the arithmetic fundamental lemma conjecture through Lie algebras , Math. Z. 287 (2017), no. 1–2, 181–197. 14

    2017

  19. [25]

    Mihatsch, An arithmetic transfer identity , manuscripta math

    A. Mihatsch, An arithmetic transfer identity , manuscripta math. 150 (2016), 1–19. 85, 96

    2016

  20. [26]

    Mihatsch, Relative unitary RZ-spaces and the arithmetic fundamental lemma , J

    A. Mihatsch, Relative unitary RZ-spaces and the arithmetic fundamental lemma , J. Inst. Math. Jussieu 21 (2022), no. 1. 14, 16, 52

    2022

  21. [27]

    Mihatsch and W

    A. Mihatsch and W. Zhang. On the Arithmetic Fundamental Lemma conjecture over a general p-adic field, J. Eur. Math. Soc. (JEMS) 26 (2024), no. 12, 4831–4901 1, 14

    2024

  22. [28]

    Pappas, On the arithmetic moduli schemes of PEL Shimura varieties , J

    G. Pappas, On the arithmetic moduli schemes of PEL Shimura varieties , J. Algebraic Geom. 9 (2000), no. 3, 577–605. 21

    2000

  23. [29]

    Pappas and M

    G. Pappas and M. Rapoport, Local models in the ramified case. III. Unitary groups , J. Inst. Math. Jussieu 8 (2009), no. 3, 507–564. 15, 21, 22, 23, 24, 26, 42

    2009

  24. [30]

    Pappas and M

    G. Pappas and M. Rapoport, Twisted loop groups and their affine flag varieties , Adv. Math. 219 (2008), no. 1, 118-–198. 15, 26

    2008

  25. [33]

    Rapoport, B

    M. Rapoport, B. Smithling and W. Zhang, Arithmetic diagonal cycles on unitary Shimura varieties , Compos. Math. 156 (2020), no. 9, pp. 1745–1824. 10

    2020

  26. [34]

    Rapoport, U

    M. Rapoport, U. Terstiege and S. Wilson, The supersingular locus of the Shimura variety for GU(1, n− 1) over a ramified prime , Math. Z. 276 (2014), no. 3–4, 1165–1188. 22, 23, 26

    2014

  27. [35]

    Rapoport, U

    M. Rapoport, U. Terstiege and W. Zhang, On the arithmetic fundamental lemma in the minuscule case , Compos. Math. 149 (2013), no. 10, 1631–1666. 14

    2013

  28. [36]

    Rapoport and Th

    M. Rapoport and Th. Zink, Period spaces for p-divisible groups , Annals of Mathematics Studies, vol. 141, Princeton University Press, Princeton, NJ, 1996. 14, 17, 24, 25, 29, 39 98 Y. LUO, M. RAPOPORT, AND W. ZHANG

    1996

  29. [37]

    Shi, Special cycles on the basic locus of unitary Shimura varieties at ramified primes , Algebra Number Theory 17 (2023), no

    Y. Shi, Special cycles on the basic locus of unitary Shimura varieties at ramified primes , Algebra Number Theory 17 (2023), no. 10, 1681—1714. 20

    2023

  30. [38]

    Shi, Special cycles on unitary Shimura curves at ramified primes , Manuscripta Math

    Y. Shi, Special cycles on unitary Shimura curves at ramified primes , Manuscripta Math. 172 (2023), no. 1-2, 221–290. 90, 91

    2023

  31. [39]

    Smithling, On the moduli description of local models for ramified unitary groups , Int

    B. Smithling, On the moduli description of local models for ramified unitary groups , Int. Math. Res. Not. 24 (2015), no. 24, 13493–13532. 15

    2015

  32. [40]

    Smithling, Topological flatness of orthogonal local models in the split, even case

    B. Smithling, Topological flatness of orthogonal local models in the split, even case. I, Math. Ann. 350 (2011), no. 2, 381–416. 42

    2011

  33. [41]

    Smithling, Topological flatness of local models for ramified unitary groups

    B. Smithling, Topological flatness of local models for ramified unitary groups. II. The even dimensional case , J. Inst. Math. Jussieu 13 (2014), no. 2, 303–393. 42

    2014

  34. [42]

    Vollaard, Endomorphisms of quasi-canonical lifts , in [2], pp

    I. Vollaard, Endomorphisms of quasi-canonical lifts , in [2], pp. 105–112. 93

  35. [43]

    Vollaard, The supersingular locus of the Shimura variety for GU (1, s), Can

    I. Vollaard, The supersingular locus of the Shimura variety for GU (1, s), Can. J. Math. 62 (2010), 668–720. 26

    2010

  36. [44]

    Wu, The supersingular locus of unitary Shimura varieties with exotic good reduction , preprint, 2016, arXiv:1609.08775 [math.AG]

    H. Wu, The supersingular locus of unitary Shimura varieties with exotic good reduction , preprint, 2016, arXiv:1609.08775 [math.AG]. 22, 23, 25

    2016 arXiv

  37. [45]

    Yao, A Kudla-Rapoport Formula for Exotic Smooth Models of Odd Dimension , preprint, 2024, arXiv:2404.14431 [math.NT]

    H. Yao, A Kudla-Rapoport Formula for Exotic Smooth Models of Odd Dimension , preprint, 2024, arXiv:2404.14431 [math.NT]. 6, 8, 32, 80, 81, 82

    2024 arXiv

  38. [46]

    Yun, The fundamental lemma of Jacquet–Rallis in positive characteristics , Duke Math

    Z. Yun, The fundamental lemma of Jacquet–Rallis in positive characteristics , Duke Math. J. 156 (2011), no. 2, 167–228. 13

    2011

  39. [47]

    Zhang, On arithmetic fundamental lemmas , Invent

    W. Zhang, On arithmetic fundamental lemmas , Invent. Math. 188 (2012), no. 1, 197–252. 1, 10, 14

    2012

  40. [48]

    Zhang, Fourier transform and the global Gan–Gross–Prasad conjecture for unitary groups , Ann

    W. Zhang, Fourier transform and the global Gan–Gross–Prasad conjecture for unitary groups , Ann. of Math. (2) 180 (2014), no. 3, 971–1049. 2

    2014

  41. [49]

    W. Zhang. Weil representation and arithmetic fundamental lemma. Ann. of Math. (2) 193 (2021), no. 3, 863–978. 1, 13, 14

    2021

  42. [50]

    Maximal parahoric arithmetic transfers, resolutions and modularity

    Zhiyu Zhang. Maximal parahoric arithmetic transfers, resolutions and modularity. Duke Math. J. 174 (2025), no. 1, 1–129. 1, 2, 7, 14

    2025

  43. [51]

    Stacks Project

    X. Zhu, Affine Grassmannians and the geometric Satake in mixed characteristic , Ann. of Math. (2) 185 (2017), 403–492. 24, 25 [Stacks] The Stacks Project Authors. “ Stacks Project.” https://stacks.math.columbia.edu. 90 University of Wisconsin-Madison, Department of Mathematics...

    2017

Pith tools

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