Searcharxiv⌕ Search

arXiv subjects

Michael Rapoport

Publications and source records attributed to Michael Rapoport.

At least 19 recordsLinked to original sources
arXiv2026

On optimal $p$-adic uniformization of unitary Shimura curves

The paper is a continuation of the paper of Kudla-Rapoport-Zink on $p$-adic uniformization of Shimura curves associated to a group of binary unitary similitudes. Here we consider two variants: first, the RSZ variant, for which we can allow any level which is maximal at the chosen special $p$-adic place where the group is anisotropic; second, the unitary group variant. The latter is based on an explicit determination of the integral local Shimura variety associated to an anisotropic unitary group over a $p$-adic local field.

math.NT↗
arXiv2026

Toric schemes and integral models for Shimura varieties with $\Gamma_1(p)$-type level

We propose a conjectural theory of $p$-integral models of Shimura varieties with level structure at $p$ given by a class of normal subgroups of parahoric subgroups with abelian quotient group. The role of the theory of local models is played in this context by a certain root stack over the local model for parahoric level. The construction of this root stack is based on the "divisor theorem" (a foundational fact about local models) and on the theory of toric varieties in this context, both of which are of independent interest. We prove our conjecture in the case of Shimura varieties of PEL type when the parahoric is an Iwahori (under some additional conditions).

math.AG↗
arXiv2025

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

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.

math.NT↗
arXiv2025

Shimura varieties and gerbes

This is the English translation, done by Yihang Zhu, of the paper by Langlands and Rapoport, originally published in J. Reine Angew. Math. 378 (1987), pages 113-220. The translator also added some historical notes.

math.NT↗
arXiv2024

Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

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.

math.NT↗
arXiv2023

On tamely ramified $\mathcal G$-bundles on curves

We consider parahoric Bruhat-Tits group schemes over a smooth projective curve and torsors under them. If the characteristic of the ground field is either zero or positive but not too small and the generic fiber is absolutely simple and simply-connected, we show that such group schemes can be written as invariants of reductive group schemes over a tame cover of the curve. We relate the torsors under the Bruhat-Tits group scheme and torsors under the reductive group scheme over the cover which are equivariant for the action of the covering group. For this, we develop a theory of local types for such equivariant torsors. We also relate the moduli stacks of torsors under the Bruhat-Tits group scheme and equivariant torsors under the reductive group scheme over the cover. In an Appendix, B. Conrad provides a proof of the Hasse principle for adjoint groups over function fields with finite field of constants.

math.AG↗
arXiv2023

p-adic shtukas and the theory of global and local Shimura varieties

We establish basic results on p-adic shtukas and apply them to the theory of local and global Shimura varieties, and on their interrelation. We construct canonical integral models for (local, and global) Shimura varieties of Hodge type with parahoric level structure.

math.NT↗
arXiv2023

Arithmetic Fundamental Lemma for the spherical Hecke algebra

We define Hecke correspondences and Hecke operators on unitary RZ spaces and study their basic geometric properties, including a commutativity conjecture on Hecke operators. Then we formulate the Arithmetic Fundamental Lemma conjecture for the spherical Hecke algebra. We also formulate a conjecture on the abundance of spherical Hecke functions with identically vanishing first derivative of orbital integrals. We prove these conjectures for the case $U(1)\times U(2)$.

math.NT↗
arXiv2023

On the p-adic uniformization of unitary Shimura curves

We prove $p$-adic uniformization for Shimura curves attached to the group of unitary similitudes of certain binary skew hermitian spaces $V$ with respect to an arbitrary CM field $K$ with maximal totally real subfield $F$. For a place $v|p$ of $F$ that is not split in $K$ and for which $V_v$ is anisotropic, let $ν$ be an extension of $v$ to the reflex field $E$. We define an integral model of the corresponding Shimura curve over ${\rm Spec}\, O_{E, (ν)}$ by means of a moduli problem for abelian schemes with suitable polarization and level structure prime to $p$. The formulation of the moduli problem involves a Kottwitz condition, an Eisenstein condition, and an adjusted invariant. The first two conditions are conditions on the Lie algebra of the abelian varieties; the last condition is a condition on the Riemann form of the polarization. The uniformization of the formal completion of this model along its special fiber is given in terms of the formal Drinfeld upper half plane for $F_v$. The proof relies on the construction of the contracting functor which relates a relative Rapoport-Zink space for strict formal $O_{F_v}$-modules with a Rapoport-Zink space of $p$-divisible groups which arise from the moduli problem, where the $O_{F_v}$-action is usually not strict when $F_v\ne \mathbb {Q}_p$. Our main tool is the theory of displays, in particular the Ahsendorf functor.

math.AG↗
arXiv2022

On integral local Shimura varieties

We give a construction of "integral local Shimura varieties" which are formal schemes that generalize the well-known integral models of the Drinfeld $p$-adic upper half spaces. The construction applies to all classical groups, at least for odd $p$. These formal schemes also generalize the formal schemes defined by Rapoport-Zink via moduli of $p$-divisible groups, and are characterized purely in group-theoretic terms. More precisely, for a local $p$-adic Shimura datum $(G, b, \mu)$ and a quasi-parahoric group scheme $\mathcal G$ for $G$, Scholze has defined a functor on perfectoid spaces which parametrizes $p$-adic shtukas. He conjectured that this functor is representable by a normal formal scheme which is locally formally of finite type and flat over $O_{\breve E}$. Scholze-Weinstein proved this conjecture when $(G, b, \mu)$ is of (P)EL type by using Rapoport-Zink formal schemes. We prove this conjecture for any $(G, \mu)$ of abelian type when $p\neq 2$, and when $p=2$ and $G$ is of type $A$ or $C$. We also relate the generic fiber of this formal scheme to the local Shimura variety, a rigid-analytic space attached by Scholze to $(G, b, \mu, {\mathcal G})$.

math.AG↗
arXiv2020

On Shimura varieties for unitary groups

This is a largely expository article based on our previous work on arithmetic diagonal cycles on unitary Shimura varieties. We define a class of Shimura varieties closely related to unitary groups which represent a moduli problem of abelian varieties with additional structure, and which admit interesting algebraic cycles. We generalize to arbitrary signature type the results of our previous work valid under special signature conditions. We compare our Shimura varieties with other unitary Shimura varieties.

math.NT↗
arXiv2020

Arithmetic diagonal cycles on unitary Shimura varieties

We define variants of PEL type of the Shimura varieties that appear in the context of the Arithmetic Gan-Gross-Prasad conjecture. We formulate for them a version of the AGGP conjecture. We also construct (global and semi-global) integral models of these Shimura varieties and formulate for them conjectures on arithmetic intersection numbers. We prove some of these conjectures in low dimension.

math.NT↗
arXiv2020

Modularity of generating series of divisors on unitary Shimura varieties

We form generating series of special divisors, valued in the Chow group and in the arithmetic Chow group, on the compactified integral model of a Shimura variety associated to a unitary group of signature (n-1,1), and prove their modularity. The main ingredient of the proof is the calculation of the vertical components appearing in the divisor of a Borcherds product on the integral model.

math.NT↗
arXiv2020

Modularity of generating series of divisors on unitary Shimura varieties II: arithmetic applications

We prove two formulas in the style of the Gross-Zagier theorem, relating derivatives of L-functions to arithmetic intersection pairings on a unitary Shimura variety. We also prove a special case of Colmez's conjecture on the Faltings heights of abelian varieties with complex multiplication. These results are derived from the authors' earlier results on the modularity of generating series of divisors on unitary Shimura varieties.

math.NT↗
arXiv2019

Extremal cases of Rapoport-Zink spaces

We investigate qualitative properties of the underlying scheme of Rapoport-Zink formal moduli spaces of p-divisible groups, resp. Shtukas. We single out those cases when the dimension of this underlying scheme is zero, resp. those where the dimension is maximal possible. The model case for the first alternative is the Lubin-Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.

math.AG↗
arXiv2017

Regular formal moduli spaces and arithmetic transfer conjectures

We define various formal moduli spaces of p-divisible groups which are regular, and morphisms between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture of the third author in the presence of ramification. These conjectures include the AT conjecture of our previous joint paper. We prove these conjectures in low-dimensional cases.

math.NT↗
arXiv2016

On the arithmetic transfer conjecture for exotic smooth formal moduli spaces

In the relative trace formula approach to the arithmetic Gan-Gross-Prasad conjecture, we formulate a local conjecture (arithmetic transfer) in the case of an exotic smooth formal moduli space of p-divisible groups, associated to a unitary group relative to a ramified quadratic extension of a p-adic field. We prove our conjecture in the case of a unitary group in three variables.

math.NT↗