pith. sign in

arxiv: 2404.02214 · v2 · submitted 2024-04-02 · 🧮 math.NT · math.AG· math.RT

Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

Chao Li , Michael Rapoport , Wei Zhang This is my paper

Pith reviewed 2026-05-24 01:58 UTC · model grok-4.3

classification 🧮 math.NT math.AGmath.RT
keywords arithmetic fundamental lemmaarithmetic transfer conjecturesparahoric levelsquasi-canonicalRapoport-Zink towerHecke algebraintegral models
0
0 comments X

The pith

The paper proves graph versions of arithmetic transfer conjectures at parahoric levels by establishing the quasi-canonical arithmetic fundamental lemma.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors formulate arithmetic transfer conjectures that extend the arithmetic fundamental lemma to cases with ramification from non-hyperspecial parahoric level structures. They prove graph versions of these conjectures by establishing the quasi-canonical arithmetic fundamental lemma and relating the two. Some of the conjectures are connected to the arithmetic fundamental lemma for the full Hecke algebra, allowing proofs in simple cases. The second part describes the integral model of a member of the almost selfdual Rapoport-Zink tower, proving related conjectures and verifying the hypotheses for the graph versions in one case.

Core claim

The graph version of the arithmetic transfer conjectures is proven by relating it to the quasi-canonical arithmetic fundamental lemma, which is established here; this also allows verification of the hypotheses in a particular case via the structure of an integral model of the almost selfdual Rapoport-Zink tower.

What carries the argument

The quasi-canonical arithmetic fundamental lemma, which serves as the bridge to prove the graph versions of the arithmetic transfer conjectures at parahoric levels.

If this is right

  • The arithmetic transfer conjectures hold in some simple cases as a consequence of the relation to the full Hecke algebra AFL.
  • The hypotheses of the graph version are verified in a particular case using the integral model of the Rapoport-Zink tower.
  • Variants of the AFL conjecture with ramification are formulated and partially resolved.
  • The structure of the integral model proves conjectures of Kudla and the second author.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • These results may extend to other ramified settings in the Langlands program.
  • Verification in more cases could follow from similar integral model analyses.
  • Connections to the Hecke algebra suggest broader applications to automorphic forms.
  • Further work might test the conjectures numerically in low-dimensional cases.

Load-bearing premise

The quasi-canonical arithmetic fundamental lemma holds and its relation to the graph versions of the arithmetic transfer conjectures is valid.

What would settle it

Finding a counterexample to the quasi-canonical AFL at a specific parahoric level where the graph version is claimed would falsify the proof.

Figures

Figures reproduced from arXiv: 2404.02214 by Chao Li, Michael Rapoport, Wei Zhang.

Figure 1
Figure 1. Figure 1: illustrates the morphisms π1 and π2 in (3.8.2) (for n = 2 and r = 1) on the special fibers locally around a blow-up point of Z(u). π1 π2 P 1 P 1 “Fat” P 1 Fermat curve Fermat curve [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: N [1] 4 56 [PITH_FULL_IMAGE:figures/full_fig_p056_2.png] view at source ↗
read the original abstract

In the first part of the paper, we formulate several arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture in the presence of ramification. The ramification comes from the choice of non-hyperspecial parahoric level structure. We prove a graph version of these arithmetic transfer conjectures, by relating it to the quasi-canonical arithmetic fundamental lemma, which we also establish. We relate some of the arithmetic transfer conjectures to the arithmetic fundamental lemma conjecture for the whole Hecke algebra in our recent paper arXiv:2305.14465. As a consequence, we prove these conjectures in some simple cases. In the second part of the paper, we elucidate the structure of an integral model of a certain member of the almost selfdual Rapoport-Zink tower, thereby proving conjectures of Kudla and the second author. This result allows us verify the hypotheses of the graph version of the arithmetic transfer conjectures in a particular case.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper formulates arithmetic transfer conjectures at non-hyperspecial parahoric levels as ramified variants of the arithmetic fundamental lemma. It proves a graph version of these conjectures by establishing a relation to the quasi-canonical AFL (which the authors also prove) and relates some of the conjectures to the AFL for the full Hecke algebra from their prior work arXiv:2305.14465, yielding proofs in simple cases. In the second part, the authors determine the structure of an integral model in the almost self-dual Rapoport-Zink tower, proving conjectures of Kudla and the second author; this is then used to verify the hypotheses of the graph version in one specific case.

Significance. If the derivations hold, the work supplies concrete progress on arithmetic transfer conjectures in the presence of ramification and on Kudla-Rapoport conjectures for Rapoport-Zink spaces. The establishment of the quasi-canonical AFL and the explicit integral-model results constitute substantive contributions that could serve as test cases or building blocks for broader arithmetic fundamental lemma statements.

minor comments (3)
  1. The abstract and introduction should explicitly state the precise relation used to deduce the graph version from the quasi-canonical AFL (e.g., which theorem or proposition encodes the deduction).
  2. Notation for the parahoric subgroups and the associated Hecke algebras should be introduced with a short table or diagram in §1 to aid readers unfamiliar with the specific level structures.
  3. The dependence on arXiv:2305.14465 is stated but the precise hypotheses transferred from that paper to the simple cases here could be listed explicitly for clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its contributions to arithmetic transfer conjectures and Kudla-Rapoport conjectures, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes the quasi-canonical AFL in this work and deduces the graph version of the arithmetic transfer conjectures from that relation. The reference to arXiv:2305.14465 is used only for an auxiliary relation on some variants and for proving simple cases as a consequence; it is not required for the central derivation. Self-citation to prior independent work does not constitute circularity under the stated rules when the cited result supplies external support. No step reduces by construction to a fit, self-definition, or unverified self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background results in the theory of p-adic groups, Rapoport-Zink spaces, and arithmetic intersections; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Standard properties of parahoric subgroups of p-adic reductive groups and their Hecke algebras
    Invoked throughout the formulation of the arithmetic transfer conjectures at non-hyperspecial levels.
  • domain assumption Existence and basic properties of integral models for members of the almost self-dual Rapoport-Zink tower
    Used to prove the Kudla-Rapoport conjectures in the second part.

pith-pipeline@v0.9.0 · 5700 in / 1607 out tokens · 31572 ms · 2026-05-24T01:58:02.667932+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The basic locus of ramified unitary Shimura varieties of signature $(n-1,1)$ at maximal vertex level

    math.AG 2025-02 unverdicted novelty 6.0

    Constructs Bruhat-Tits stratification for ramified unitary Rapoport-Zink space of signature (n-1,1) at vertex lattice level, proves normality, Cohen-Macaulayness and dimension formulas, and gives scheme-theoretic isom...

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Rapha¨ el Beuzart-Plessis.A new proof of Jacquet-Rallis’s fundamental lemma , Duke Math. J. 170 (2021), no. 12, 2805–2814. 25

    work page 2021

  2. [2]

    Special cycles on unitary Shimura varieties with minuscule parahoric level structure

    Sungyoon Cho. Special cycles on unitary Shimura varieties with minuscule parahoric level structure. Math. Ann. 384 (2022), no. 3-4, 1747–1813. 14

    work page 2022

  3. [3]

    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:1807.09997 19, 55, 56

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    On the flatness of models of certain Shimura varieties of PEL-type

    Ulrich G¨ ortz. On the flatness of models of certain Shimura varieties of PEL-type. Math. Ann. 321 (2001), no. 3, 689–727. 14, 15

    work page 2001

  5. [5]

    Techniques de construction et th´ eor` emes d’existence en g´ eom´ etrie alg´ ebrique

    Alexander Grothendieck. Techniques de construction et th´ eor` emes d’existence en g´ eom´ etrie alg´ ebrique. IV. Les sch´ emas de Hilbert.In S´ eminaire Bourbaki, Vol. 6, pages Exp. No. 221, 249–276. Soc. Math. France, Paris,

    work page

  6. [6]

    Fine Deligne-Lusztig varieties and arithmetic fundamental lemmas

    Xuhua He, Chao Li, and Yihang Zhu. Fine Deligne-Lusztig varieties and arithmetic fundamental lemmas. Forum Math. Sigma 7 (2019), e47, 55 pp. 2

    work page 2019

  7. [7]

    Good and semi-stable reductions of Shimura varieties

    Xuhua He, George Pappas, and Michael Rapoport. Good and semi-stable reductions of Shimura varieties. J. de l’Ecole Polytechnique Math. 7 (2020), 497–571. 2

    work page 2020

  8. [8]

    Hermitian forms over local fields , Amer

    Ronald Jacobowitz. Hermitian forms over local fields , Amer. J. Math. 84 (1962), 441–465. 12

    work page 1962

  9. [9]

    On the Gross-Prasad conjecture for unitary groups

    Herv´ e Jacquet and Stephen Rallis. On the Gross-Prasad conjecture for unitary groups. On certain L-functions, 205–264, Clay Math. Proc., 13, Amer. Math. Soc., Providence, RI, 2011. 2

    work page 2011

  10. [10]

    Kudla and Michael Rapoport

    Stephen S. Kudla and Michael Rapoport. Special cycles on unitary Shimura varieties I. Unramified local theory. Invent. Math., 184 (2011):629–682. 6, 14, 19, 55, 59, 60

    work page 2011

  11. [11]

    Kudla and Michael Rapoport

    Stephen S. Kudla and Michael Rapoport. Notes on special cycles. Unpublished notes 2012. 1, 4, 16, 26, 57, 60

    work page 2012

  12. [12]

    Kudla and Michael Rapoport

    Stephen S. Kudla and Michael Rapoport. An alternative description of the Drinfeld p-adic half-plane, Annales de l’Institut Fourier 64 (2014), 1203–1228. 4

    work page 2014

  13. [13]

    A fundamental lemma for the Hecke algebra: the Jacquet-Rallis case

    Spencer Leslie. A fundamental lemma for the Hecke algebra: the Jacquet-Rallis case. J. Number Theory, 243 (2023), 475–494. 39, 49

    work page 2023

  14. [14]

    Arithmetic Fundamental Lemma for the spherical Hecke algebra

    Chao Li, Michael Rapoport and Wei Zhang. Arithmetic Fundamental Lemma for the spherical Hecke algebra. arXiv:2305.14465 1, 7, 9, 24, 38, 39, 40, 41, 42, 43, 49, 50, 51

    work page arXiv

  15. [15]

    Kudla-Rapoport cycles and derivatives of local densities

    Chao Li and Wei Zhang. Kudla-Rapoport cycles and derivatives of local densities. J. Amer. Math. Soc. 35 (2022), no. 3, 705–797. 1, 4, 16, 26, 70

    work page 2022

  16. [16]

    Relative unitary RZ-spaces and the Arithmetic Fundamental Lemma

    Andreas Mihatsch. Relative unitary RZ-spaces and the Arithmetic Fundamental Lemma. J. Inst. Math. Jussieu, 21 (2022), no. 1, 241–301. 13, 16

    work page 2022

  17. [17]

    On the Arithmetic Fundamental Lemma conjecture over a general p-adic field

    Andreas Mihatsch and Wei Zhang. On the Arithmetic Fundamental Lemma conjecture over a general p-adic field. arXiv:2104.02779. JEMS, to appear. 2, 26

    work page arXiv

  18. [18]

    On the arithmetic transfer conjecture for exotic smooth formal moduli spaces

    Michael Rapoport, Brian Smithling, and Wei Zhang. On the arithmetic transfer conjecture for exotic smooth formal moduli spaces. Duke Math. J. 166 (2017):2183–2336. 2, 20, 21, 22, 34, 35, 37, 42, 52, 53

    work page 2017

  19. [19]

    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 (2018):1079–1175. 2, 3, 9, 20, 22, 23, 51, 52, 58

    work page 2018

  20. [20]

    On the Arithmetic Fundamental Lemma in the minuscule case

    Michael Rapoport, Ulrich Terstiege, and Wei Zhang. On the Arithmetic Fundamental Lemma in the minuscule case. Compos. Math. 149 (2013), 1631–1666. 2

    work page 2013

  21. [21]

    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. 13, 14, 15 72

    work page 1996

  22. [22]

    On the regularity of special difference divisors

    Ulrich Terstiege. On the regularity of special difference divisors . C. R. Math. Acad. Sci. Paris 351 (2013), no. 3-4, 107–109. 6, 17, 64

    work page 2013

  23. [23]

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

    Inken Vollaard. The supersingular locus of the Shimura variety for GU(1, s). Canad. J. Math. 62 (2010), no. 3, 668–720. 59

    work page 2010

  24. [24]

    The supersingular locus of the Shimura variety of GU(1, n − 1), II

    Inken Vollaard and Torsten Wedhorn. The supersingular locus of the Shimura variety of GU(1, n − 1), II. Invent. Math. 184 (2011), no. 3, 591–627. 59

    work page 2011

  25. [25]

    The fundamental lemma of Jacquet and Rallis , With an appendix by Julia Gordon

    Zhiwei Yun. The fundamental lemma of Jacquet and Rallis , With an appendix by Julia Gordon. Duke Math. J. 156 (2011), no. 2, 167–227. 25

    work page 2011

  26. [26]

    On arithmetic fundamental lemmas

    Wei Zhang. On arithmetic fundamental lemmas. Invent. Math. 188 (2012), no. 1, 197–252. 2

    work page 2012

  27. [27]

    Fourier transform and the global Gan-Gross-Prasad conjecture for unitary groups

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

    work page 2014

  28. [28]

    Weil representation and arithmetic fundamental lemma

    Wei Zhang. Weil representation and arithmetic fundamental lemma. Ann. of Math. (2) 193 (2021), no. 3, 863–978. 2, 12, 13, 21, 22, 23, 25, 26, 52

    work page 2021

  29. [29]

    Maximal parahoric arithmetic transfers, resolutions and modularity

    Zhiyu Zhang. Maximal parahoric arithmetic transfers, resolutions and modularity. arXiv:2112.11994. Duke Math. J., to appear. 2, 3, 10, 11, 18, 19, 26, 51, 52, 57

    work page arXiv

  30. [30]

    The regularity of difference divisors

    Baiqing Zhu. The regularity of difference divisors. arXiv:2307.05239 6 Columbia University, Department of Mathematics, 2990 Broadway, New York, NY 10027, USA Email address: chaoli@math.columbia.edu Mathematisches Institut der Universit ¨at Bonn, Endenicher Allee 60, 53115 Bonn, Germany, and University of Maryland, Department of Mathematics, College Park, ...

    work page arXiv