Search

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., Comment: 73 pages

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)$., Comment: 50 pages. Revised, incorporating suggestions of the referee. To appear in Manuscripta Math

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., Comment: with an Appendix by B. Conrad, 35pp. Some corrections, added a hypothesis at small characteristics. To appear in Algebraic Geometry

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})$., Comment: 61 pages, some corrections and other improvements

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., Comment: 117 pp. Some corrections and updates

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 $\nu$ 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, (\nu)}$ 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., Comment: This revised version takes into account the remarks of the referee. To appear in Mem. Soc. Math. Fr., 152 pages

This is my laudation for Scholze's Fields medal 2018., Comment: 15 pages

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.

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., Comment: 39 pages. Minor modifications. This version is the final one, to appear in Pure and Applied Mathematics Quarterly (special issue in honor of D. Mumford)

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., Comment: We removed all mention of an 'exotic level structure". Final version. To appear in Compositio Mathematica

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., Comment: Final version. To appear in Asterisque

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., Comment: Final version. To appear in Asterisque

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., Comment: Minor revisions and corrections, the most notable of which is a correction to Lemma 14.7(iv), which results in a new factor of 2 appearing in Conjectures 4.1(a) and 10.4(a). 70 pages

In the paper four stratifications in the reduction modulo $p$ of a general Shimura variety are studied: the Newton stratification, the Kottwitz-Rapoport stratification, the Ekedahl-Oort stratification and the Ekedahl-Kottwitz-Oort-Rapoport stratification. We formulate a system of axioms and show that these imply non-emptiness statements and closure relation statements concerning these various stratifications. These axioms are satisfied in the Siegel case., Comment: 19 pages

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., Comment: Minor revisions. 91 pages

This is a survey article that advertizes the idea that there should exist a theory of p-adic local analogues of Shimura varieties. Prime examples are the towers of rigid-analytic spaces defined by Rapoport-Zink spaces, and we also review their theory in the light of this idea. We also discuss conjectures on the $\ell$-adic cohomology of local Shimura varieties., Comment: 53 pages

We prove a Cherednik style $p$-adic uniformization theorem for Shimura varieties associated to certain groups of unitary similitudes of size two over totally real fields. Our basic tool is the alternative modular interpretation of the Drinfeld $p$-adic halfplane of our earlier paper (arXiv 1108.5713), Comment: revised version with thanks to the referee

We analyze the geometry of the supersingular locus of the reduction modulo p of a Shimura variety associated to a unitary similitude group GU(1,n-1) over Q, in the case that p is ramified. We define a stratification of this locus and show that its incidence complex is closely related to a certain Bruhat-Tits simplicial complex. Each stratum is isomorphic to a Deligne-Lusztig variety associated to some symplectic group over F_p and some Coxeter element. The closure of each stratum is a normal projective variety with at most isolated singularities. The results are analogous to those of Vollaard/Wedhorn in the case when p is inert., Comment: A few more corrections, to appear in Math. Zeitschrift

The arithmetic fundamental lemma conjecture of the third author connects the derivative of an orbital integral on a symmetric space with an intersection number on a formal moduli space of $p$-divisible groups of Picard type. It arises in the relative trace formula approach to the arithmetic Gan-Gross-Prasad conjecture. We prove this conjecture in the minuscule case., Comment: Referee's comments incorporated; in particular, the existence of frames for using the theory of displays in the proofs of Theorems 9.4 and 9.5 is clarified. To appear in Compositio Math

We consider the "occult" period maps into ball quotients which exist for the moduli spaces of cubic surfaces, cubic threefolds, non-hyperelliptic curves of genus three and four. These were constructed in the work of Allcock/Carlson/Toledo, Looijenga/Swierstra, and Kondo. We interpret these maps as morphisms into moduli spaces of polarized abelian varieties of Picard type, and show that these morphisms, whose initial construction is transcendental, are defined over the natural field of definition of the spaces involved. This paper is extracted from section 15 of our paper arXiv:0912.3758, and differs from it only in some points of exposition., Comment: This version includes a minor correction of a stack issue and now matches the published version

We show that the Deligne formal model of the Drinfeld p-adic halfplane relative to a non-archimedean local field F represents a moduli problem of polarized O_F-modules with an action of the ring of integers O_E in a quadratic extension E of F. The proof proceeds by establishing a comparison isomorphism with the Drinfeld moduli problem. This isomorphism reflects the accidental isomorphism of SL_2(F) and SU(C)(F) for a two-dimensional split hermitian space C for E/F., Comment: 18pp, Concluding remarks section revised. Typos corrected

We introduce moduli spaces of abelian varieties which are arithmetic models of Shimura varieties attached to unitary groups of signature (n-1, 1). We define arithmetic cycles on these models and study their intersection behaviour. In particular, in the non-degenerate case, we prove a relation between their intersection numbers and Fourier coefficients of the derivative at s=0 of a certain incoherent Eisenstein series for the group U(n, n). This is done by relating the arithmetic cycles to their formal counterpart from Part I via non-archimedean uniformization, and by relating the Fourier coefficients to the derivatives of representation densities of hermitian forms. The result then follows from the main theorem of Part I and a counting argument., Comment: Material on occult period maps has been moved to a separate article. Various corrections and improvements in exposition have been made. Accepted for publication in Crelle

The supersingular locus in the fiber at p of a Shimura variety attached to a unitary similitude group GU(1,n-1) over Q is uniformized by a formal scheme \Cal N. In the case when p is inert, we define special cycles Z(x) in \Cal N, associated to a collection x of m `special homomorphisms' with fundamental matrix T in Herm_m(OK). When m=n and T is nonsingular, we show that the cycle Z(x) is a union of components of the Ekedahl-Oort stratification, and we give a necessary and sufficient conditions, in terms of T, for Z(x) to be irreducible. When Z(x) is zero dimensional -- in which case it reduces to a single point -- we determine the length of the corresponding local ring by using a variant of the theory of quasi-canonical liftings. We show that this length coincides with the derivative of a representation density for hermitian forms., Comment: In this new version, suggestions by B. Howard, U. Terstiege, and the referee for Inventiones are taken into account. Also a mistake in the statement of the conjecture at the end of the introduction, that was accidentally added in the galleys for the published version, has been removed

In this paper we construct a modular form f of weight one attached to an imaginary quadratic field K. This form, which is non-holomorphic and not a cusp form, has several curious properties. Its negative Fourier coefficients are non-zero precisely for neqative integers -n such that n >0 is a norm from K, and these coefficients involve the exponential integral. The Mellin transform of f has a simple expression in terms of the Dedekind zeta function of K and the difference of the logarithmic derivatives of Riemann zeta function and of the Dirichlet L-series of K. Finally, the positive Fourier coefficients of f are connected with the theory of complex multiplication and arise in the work of Gross and Zagier on singular moduli.