Showing 1–49 of 49 results for author: Rapoport, M

Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

Authors: Chao Li, Michael Rapoport, Wei Zhang

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 l… ▽ More 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. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 73 pages

Arithmetic Fundamental Lemma for the spherical Hecke algebra

Authors: Chao Li, Michael Rapoport, Wei Zhang

Abstract: 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… ▽ More 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)$. △ Less

Submitted 22 May, 2024; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 50 pages. Revised, incorporating suggestions of the referee. To appear in Manuscripta Math

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

Authors: Georgios Pappas, Michael Rapoport

Abstract: 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 und… ▽ More 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. △ Less

Submitted 31 October, 2023; v1 submitted 27 September, 2022; originally announced September 2022.

Comments: with an Appendix by B. Conrad, 35pp. Some corrections, added a hypothesis at small characteristics. To appear in Algebraic Geometry

On integral local Shimura varieties

Authors: Georgios Pappas, Michael Rapoport

Abstract: 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 gr… ▽ More 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, μ)$ 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, μ)$ is of (P)EL type by using Rapoport-Zink formal schemes. We prove this conjecture for any $(G, μ)$ 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, μ, {\mathcal G})$. △ Less

Submitted 23 February, 2024; v1 submitted 6 April, 2022; originally announced April 2022.

Comments: 61 pages, some corrections and other improvements

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

Authors: Georgios Pappas, Michael Rapoport

Abstract: 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. 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. △ Less

Submitted 26 October, 2023; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: 117 pp. Some corrections and updates

On the p-adic uniformization of unitary Shimura curves

Authors: Stephen Kudla, Michael Rapoport, Thomas Zink

Abstract: 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… ▽ More 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. △ Less

Submitted 16 May, 2023; v1 submitted 10 July, 2020; originally announced July 2020.

Comments: This revised version takes into account the remarks of the referee. To appear in Mem. Soc. Math. Fr., 152 pages

The work of Peter Scholze

Authors: Michael Rapoport

Abstract: This is my laudation for Scholze's Fields medal 2018. This is my laudation for Scholze's Fields medal 2018. △ Less

Submitted 13 September, 2019; originally announced September 2019.

Comments: 15 pages

Extremal cases of Rapoport-Zink spaces

Authors: Ulrich Görtz, Xuhua He, Michael Rapoport

Abstract: 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 Dr… ▽ More 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. △ Less

Submitted 1 September, 2019; originally announced September 2019.

MSC Class: 14G35; 20G25; 11G18

On Shimura varieties for unitary groups

Authors: Michael Rapoport, Brian Smithling, Wei Zhang

Abstract: 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 v… ▽ More 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. △ Less

Submitted 26 August, 2020; v1 submitted 28 June, 2019; originally announced June 2019.

Comments: 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)

MSC Class: 11G18; 14G35

A Path To DOT: Formalizing Fully Path-Dependent Types

Authors: Marianna Rapoport, Ondřej Lhoták

Abstract: The Dependent Object Types (DOT) calculus aims to formalize the Scala programming language with a focus on path-dependent types $-$ types such as $x.a_1\dots a_n.T$ that depend on the runtime value of a path $x.a_1\dots a_n$ to an object. Unfortunately, existing formulations of DOT can model only types of the form $x.A$ which depend on variables rather than general paths. This restriction makes it… ▽ More The Dependent Object Types (DOT) calculus aims to formalize the Scala programming language with a focus on path-dependent types $-$ types such as $x.a_1\dots a_n.T$ that depend on the runtime value of a path $x.a_1\dots a_n$ to an object. Unfortunately, existing formulations of DOT can model only types of the form $x.A$ which depend on variables rather than general paths. This restriction makes it impossible to model nested module dependencies. Nesting small components inside larger ones is a necessary ingredient of a modular, scalable language. DOT's variable restriction thus undermines its ability to fully formalize a variety of programming-language features including Scala's module system, family polymorphism, and covariant specialization. This paper presents the pDOT calculus, which generalizes DOT to support types that depend on paths of arbitrary length, as well as singleton types to track path equality. We show that naive approaches to add paths to DOT make it inherently unsound, and present necessary conditions for such a calculus to be sound. We discuss the key changes necessary to adapt the techniques of the DOT soundness proofs so that they can be applied to pDOT. Our paper comes with a Coq-mechanized type-safety proof of pDOT. With support for paths of arbitrary length, pDOT can realize DOT's full potential for formalizing Scala-like calculi. △ Less

Submitted 13 August, 2019; v1 submitted 15 April, 2019; originally announced April 2019.

Good and semi-stable reductions of Shimura varieties

Authors: X. He, G. Pappas, M. Rapoport

Abstract: We study variants of the local models constructed by the second author and Zhu and consider corresponding integral models of Shimura varieties of abelian type. We determine all cases of good, resp. of semi-stable, reduction under tame ramification hypotheses. We study variants of the local models constructed by the second author and Zhu and consider corresponding integral models of Shimura varieties of abelian type. We determine all cases of good, resp. of semi-stable, reduction under tame ramification hypotheses. △ Less

Submitted 12 March, 2020; v1 submitted 25 April, 2018; originally announced April 2018.

Comments: 66 pages, some more corrections and additions, to appear in JEP

Arithmetic diagonal cycles on unitary Shimura varieties

Authors: Michael Rapoport, Brian Smithling, Wei Zhang

Abstract: 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. 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. △ Less

Submitted 26 April, 2020; v1 submitted 18 October, 2017; originally announced October 2017.

Comments: We removed all mention of an 'exotic level structure". Final version. To appear in Compositio Mathematica

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

Authors: Jan Bruinier, Benjamin Howard, Stephen S. Kudla, Michael Rapoport, Tonghai Yang

Abstract: 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 diviso… ▽ More 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. △ Less

Submitted 21 February, 2020; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: Final version. To appear in Asterisque

MSC Class: 14G35; 11F55; 11F27

A Simple Soundness Proof for Dependent Object Types

Authors: Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták

Abstract: Dependent Object Types (DOT) is intended to be a core calculus for modelling Scala. Its distinguishing feature is abstract type members, fields in objects that hold types rather than values. Proving soundness of DOT has been surprisingly challenging, and existing proofs are complicated, and reason about multiple concepts at the same time (e.g. types, values, evaluation). To serve as a core calculu… ▽ More Dependent Object Types (DOT) is intended to be a core calculus for modelling Scala. Its distinguishing feature is abstract type members, fields in objects that hold types rather than values. Proving soundness of DOT has been surprisingly challenging, and existing proofs are complicated, and reason about multiple concepts at the same time (e.g. types, values, evaluation). To serve as a core calculus for Scala, DOT should be easy to experiment with and extend, and therefore its soundness proof needs to be easy to modify. This paper presents a simple and modular proof strategy for reasoning in DOT. The strategy separates reasoning about types from other concerns. It is centred around a theorem that connects the full DOT type system to a restricted variant in which the challenges and paradoxes caused by abstract type members are eliminated. Almost all reasoning in the proof is done in the intuitive world of this restricted type system. Once we have the necessary results about types, we observe that the other aspects of DOT are mostly standard and can be incorporated into a soundness proof using familiar techniques known from other calculi. Our paper comes with a machine-verified version of the proof in Coq. △ Less

Submitted 12 June, 2017; originally announced June 2017.

Who you gonna call? Analyzing Web Requests in Android Applications

Authors: Marianna Rapoport, Philippe Suter, Erik Wittern, Ondřej Lhoták, Julian Dolby

Abstract: Relying on ubiquitous Internet connectivity, applications on mobile devices frequently perform web requests during their execution. They fetch data for users to interact with, invoke remote functionalities, or send user-generated content or meta-data. These requests collectively reveal common practices of mobile application development, like what external services are used and how, and they point… ▽ More Relying on ubiquitous Internet connectivity, applications on mobile devices frequently perform web requests during their execution. They fetch data for users to interact with, invoke remote functionalities, or send user-generated content or meta-data. These requests collectively reveal common practices of mobile application development, like what external services are used and how, and they point to possible negative effects like security and privacy violations, or impacts on battery life. In this paper, we assess different ways to analyze what web requests Android applications make. We start by presenting dynamic data collected from running 20 randomly selected Android applications and observing their network activity. Next, we present a static analysis tool, Stringoid, that analyzes string concatenations in Android applications to estimate constructed URL strings. Using Stringoid, we extract URLs from 30, 000 Android applications, and compare the performance with a simpler constant extraction analysis. Finally, we present a discussion of the advantages and limitations of dynamic and static analyses when extracting URLs, as we compare the data extracted by Stringoid from the same 20 applications with the dynamically collected data. △ Less

Submitted 18 May, 2017; v1 submitted 18 May, 2017; originally announced May 2017.

Modularity of generating series of divisors on unitary Shimura varieties

Authors: Jan Bruinier, Benjamin Howard, Stephen S. Kudla, Michael Rapoport, Tonghai Yang

Abstract: 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. 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. △ Less

Submitted 21 February, 2020; v1 submitted 24 February, 2017; originally announced February 2017.

Comments: Final version. To appear in Asterisque

MSC Class: 14G35; 11F55; 11F27

Mutable WadlerFest DOT

Authors: Marianna Rapoport, Ondřej Lhoták

Abstract: The Dependent Object Types (DOT) calculus aims to model the essence of Scala, with a focus on abstract type members, path-dependent types, and subty**. Other Scala features could be defined by translation to DOT. Mutation is a fundamental feature of Scala currently missing in DOT. Mutation in DOT is needed not only to model effectful computation and mutation in Scala programs, but even to precis… ▽ More The Dependent Object Types (DOT) calculus aims to model the essence of Scala, with a focus on abstract type members, path-dependent types, and subty**. Other Scala features could be defined by translation to DOT. Mutation is a fundamental feature of Scala currently missing in DOT. Mutation in DOT is needed not only to model effectful computation and mutation in Scala programs, but even to precisely specify how Scala initializes immutable variables and fields (vals). We present an extension to DOT that adds typed mutable reference cells. We have proven the extension sound with a mechanized proof in Coq. We present the key features of our extended calculus and its soundness proof, and discuss the challenges that we encountered in our search for a sound design and the alternative solutions that we considered. △ Less

Submitted 22 November, 2016; originally announced November 2016.

Regular formal moduli spaces and arithmetic transfer conjectures

Authors: Michael Rapoport, Brian Smithling, Wei Zhang

Abstract: 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. 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. △ Less

Submitted 13 January, 2017; v1 submitted 8 April, 2016; originally announced April 2016.

Comments: 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

Stratifications in the reduction of Shimura varieties

Authors: Xuhua He, Michael Rapoport

Abstract: 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 stra… ▽ More 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. △ Less

Submitted 25 September, 2015; originally announced September 2015.

Comments: 19 pages

On the arithmetic transfer conjecture for exotic smooth formal moduli spaces

Authors: Michael Rapoport, Brian Smithling, Wei Zhang

Abstract: 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. 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. △ Less

Submitted 3 November, 2016; v1 submitted 22 March, 2015; originally announced March 2015.

Comments: Minor revisions. 91 pages

Journal ref: Duke Math. J. 166, no. 12 (2017), 2183-2336

On the Drinfeld moduli problem of p-divisible groups

Authors: M. Rapoport, Th. Zink

Abstract: Let $O_D$ be the ring of integers in a division algebra of invariant $1/n$ over a p-adic local field. Drinfeld proved that the moduli problem of special formal $O_D$-modules is representable by Deligne's formal scheme version of the Drinfeld p-adic halfspace. In this paper we exhibit other moduli spaces of formal $p$-divisible groups which are represented by $p$-adic formal schemes whose generic f… ▽ More Let $O_D$ be the ring of integers in a division algebra of invariant $1/n$ over a p-adic local field. Drinfeld proved that the moduli problem of special formal $O_D$-modules is representable by Deligne's formal scheme version of the Drinfeld p-adic halfspace. In this paper we exhibit other moduli spaces of formal $p$-divisible groups which are represented by $p$-adic formal schemes whose generic fibers are isomorphic to the Drinfeld p-adic halfspace. We also prove an analogue concerning the Lubin-Tate moduli space. △ Less

Submitted 20 May, 2017; v1 submitted 18 August, 2014; originally announced August 2014.

Comments: Expanded introduction

Journal ref: Cambridge J. Math. 5 (2017), 229-279

Towards a theory of local Shimura varieties

Authors: Michael Rapoport, Eva Viehmann

Abstract: 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. 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. △ Less

Submitted 17 January, 2014; v1 submitted 13 January, 2014; originally announced January 2014.

Comments: 53 pages

New cases of p-adic uniformization

Authors: Stephen Kudla, Michael Rapoport

Abstract: 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) 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) △ Less

Submitted 30 December, 2013; v1 submitted 14 February, 2013; originally announced February 2013.

Comments: revised version with thanks to the referee

The supersingular locus of the Shimura variety for GU(1,n-1) over a ramified prime

Authors: Michael Rapoport, Ulrich Terstiege, Sean Wilson

Abstract: 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… ▽ More 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. △ Less

Submitted 19 October, 2013; v1 submitted 7 January, 2013; originally announced January 2013.

Comments: A few more corrections, to appear in Math. Zeitschrift

MSC Class: 14G35

On the Arithmetic Fundamental Lemma in the minuscule case

Authors: Michael Rapoport, Ulrich Terstiege, Wei Zhang

Abstract: 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. 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. △ Less

Submitted 1 March, 2013; v1 submitted 26 March, 2012; originally announced March 2012.

Comments: 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

MSC Class: Primary 11G18; 14G17; Secondary 22E55

Journal ref: Compositio Mathematica, 2013, volume 149, issue 10, pp. 1631-1666

On occult period maps

Authors: Stephen Kudla, Michael Rapoport

Abstract: 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 morph… ▽ More 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. △ Less

Submitted 30 December, 2013; v1 submitted 6 March, 2012; originally announced March 2012.

Comments: This version includes a minor correction of a stack issue and now matches the published version

Journal ref: Pacific J. Math, 260 (2012), 565-581

An alternative description of the Drinfeld p-adic half-plane

Authors: Stephen Kudla, Michael Rapoport

Abstract: 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… ▽ More 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. △ Less

Submitted 6 January, 2013; v1 submitted 29 August, 2011; originally announced August 2011.

Comments: 18pp, Concluding remarks section revised. Typos corrected

Local models of Shimura varieties, I. Geometry and combinatorics

Authors: G. Pappas, M. Rapoport, B. Smithling

Abstract: We survey the theory of local models of Shimura varieties. In particular, we discuss their definition and illustrate it by examples. We give an overview of the results on their geometry and combinatorics obtained in the last 15 years. We also exhibit their connections to other classes of algebraic varieties such as nilpotent orbit closures, affine Schubert varieties, quiver Grassmannians and wonde… ▽ More We survey the theory of local models of Shimura varieties. In particular, we discuss their definition and illustrate it by examples. We give an overview of the results on their geometry and combinatorics obtained in the last 15 years. We also exhibit their connections to other classes of algebraic varieties such as nilpotent orbit closures, affine Schubert varieties, quiver Grassmannians and wonderful completions of symmetric spaces. △ Less

Submitted 29 August, 2011; v1 submitted 24 November, 2010; originally announced November 2010.

Comments: 86 pages, small corrections and improvements, to appear in the "Handbook of Moduli"

Shimura varieties with $Γ_1(p)$-level via Hecke algebra isomorphisms: the Drinfeld case

Authors: T. Haines, M. Rapoport

Abstract: We study the local factor at p of the semi-simple zeta function of a Shimura variety of Drinfeld type for a level structure given at p by the pro-unipotent radical of an Iwahori subgroup. Our method is an adaptation to this case of the Langlands-Kottwitz counting method. We use Hecke algebra isomorphisms to determine the test functions at p. We study the local factor at p of the semi-simple zeta function of a Shimura variety of Drinfeld type for a level structure given at p by the pro-unipotent radical of an Iwahori subgroup. Our method is an adaptation to this case of the Langlands-Kottwitz counting method. We use Hecke algebra isomorphisms to determine the test functions at p. △ Less

Submitted 7 April, 2011; v1 submitted 14 May, 2010; originally announced May 2010.

Comments: 71 pages, 1 figure. Some LaTex glitches corrected. Remark 10.2.2 revised to account for a correction in the companion paper [H10]

Special cycles on unitary Shimura varieties II: global theory

Authors: Stephen Kudla, Michael Rapoport

Abstract: 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 incohere… ▽ More 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. △ Less

Submitted 18 December, 2012; v1 submitted 18 December, 2009; originally announced December 2009.

Comments: 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

MSC Class: 14G35 11F15 11F18 11F27

Phi-modules and coefficient spaces

Authors: G. Pappas, M. Rapoport

Abstract: We define and study certain moduli stacks of modules equipped with a Frobenius semi-linear endomorphism. These stacks can be thought of as parametrizing the coefficients of a variable Galois representation and are global variants of the spaces of Kisin-Breuil $Φ$-modules used by Kisin in his study of deformation spaces of local Galois representations. We also define a version of a rigid analytic… ▽ More We define and study certain moduli stacks of modules equipped with a Frobenius semi-linear endomorphism. These stacks can be thought of as parametrizing the coefficients of a variable Galois representation and are global variants of the spaces of Kisin-Breuil $Φ$-modules used by Kisin in his study of deformation spaces of local Galois representations. We also define a version of a rigid analytic period map for these spaces, we show how their local structure can be described in terms of "local models", and we show how Bruhat-Tits buildings can be used to study their special fibers. △ Less

Submitted 7 November, 2008; originally announced November 2008.

Comments: 41 pages

Some questions about $\mathcal G$-bundles on curves

Authors: G. Pappas, M. Rapoport

Abstract: We define the notion of a parahoric group scheme $\mathcal G$ over a smooth projective curve, and formulate four conjectures on the structure of the stack of $\mathcal G$-bundles, which generalize to this case well-known results on $G$-bundles with $G$ a constant reductive group. The conjectures concern the set of connected components, the uniformization by affine flag varieties of twisted loop… ▽ More We define the notion of a parahoric group scheme $\mathcal G$ over a smooth projective curve, and formulate four conjectures on the structure of the stack of $\mathcal G$-bundles, which generalize to this case well-known results on $G$-bundles with $G$ a constant reductive group. The conjectures concern the set of connected components, the uniformization by affine flag varieties of twisted loop groups, the Picard groups, and the space of global sections of a dominant line bundle. Since a first version of this paper was circulated, Heinloth [arXiv:0711.4450] has proved a good part of these conjectures. △ Less

Submitted 28 October, 2008; v1 submitted 27 August, 2008; originally announced August 2008.

Comments: 11 pages, added some references to mathematical physics literature

On parahoric subgroups

Authors: T. Haines, M. Rapoport

Abstract: We prove some basic facts on parahoric subgroups and on Iwahori-Weyl groups. We prove some basic facts on parahoric subgroups and on Iwahori-Weyl groups. △ Less

Submitted 23 April, 2008; originally announced April 2008.

Comments: 11 pages. Appendix to the paper "Twisted loop groups and their affine flag varieties", by G. Pappas and M. Rapoport; arXiv:math/0607130

MSC Class: 11E95; 20G25

Special cycles on unitary Shimura varieties I. unramified local theory

Authors: Stephen Kudla, Michael Rapoport

Abstract: 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… ▽ More 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. △ Less

Submitted 17 February, 2011; v1 submitted 3 April, 2008; originally announced April 2008.

Comments: 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

MSC Class: 14G35

Deligne-Lusztig varieties and period domains over finite fields

Authors: S. Orlik, M. Rapoport

Abstract: We prove that the Drinfeld halfspace is essentially the only Deligne-Lusztig variety which is at the same time a period domain over a finite field. This is done by comparing a cohomology vanishing theorem for DL-varieties, due to Digne, Michel, and Rouquier, with a non-vanishing theorem for PD, due to the first author. We also discuss an affineness criterion for DL-varieties. We prove that the Drinfeld halfspace is essentially the only Deligne-Lusztig variety which is at the same time a period domain over a finite field. This is done by comparing a cohomology vanishing theorem for DL-varieties, due to Digne, Michel, and Rouquier, with a non-vanishing theorem for PD, due to the first author. We also discuss an affineness criterion for DL-varieties. △ Less

Submitted 8 July, 2007; v1 submitted 11 May, 2007; originally announced May 2007.

Comments: 16 pages, reference added to the paper of X. He (arXiv:0707.0259) in which the affineness conjecture for DL-varieties is proved

MSC Class: 20G40; 14M15;20C33

Local Models in the ramified case. III. Unitary groups

Authors: G. Pappas, M. Rapoport

Abstract: We continue our study of the reduction of PEL Shimura varieties with parahoric level structure at primes p at which the group that defines the Shimura variety ramifies. We describe "good" $p$-adic integral models of these Shimura varieties and study their 'etale local structure. In this paper we mainly concentrate on the case of unitary groups for a ramified quadratic extension. Some of our resu… ▽ More We continue our study of the reduction of PEL Shimura varieties with parahoric level structure at primes p at which the group that defines the Shimura variety ramifies. We describe "good" $p$-adic integral models of these Shimura varieties and study their 'etale local structure. In this paper we mainly concentrate on the case of unitary groups for a ramified quadratic extension. Some of our results are applications of the theory of twisted affine flag varieties in our previous paper math.AG/0607130. △ Less

Submitted 10 February, 2007; originally announced February 2007.

Comments: 57 pages, 5 figures

Twisted loop groups and their affine flag varieties

Authors: G. Pappas, M. Rapoport

Abstract: We develop a theory of affine flag varieties and of their Schubert varieties for reductive groups over a Laurent power series local field k((t)) with k a perfect field. This can be viewed as a generalization of the theory of affine flag varieties for loop groups to a "twisted case"; a consequence of our results is that our construction also includes the flag varieties for Kac-Moody Lie algebras… ▽ More We develop a theory of affine flag varieties and of their Schubert varieties for reductive groups over a Laurent power series local field k((t)) with k a perfect field. This can be viewed as a generalization of the theory of affine flag varieties for loop groups to a "twisted case"; a consequence of our results is that our construction also includes the flag varieties for Kac-Moody Lie algebras of affine type. We also give a coherence conjecture on the dimensions of the spaces of global sections of the natural ample line bundles on the partial flag varieties attached to a fixed group over k((t)) and some applications to local models of Shimura varieties. △ Less

Submitted 24 April, 2008; v1 submitted 5 July, 2006; originally announced July 2006.

Comments: LaTex, 73 pages

A guide to the reduction modulo p of Shimura varieties

Authors: M. Rapoport

Abstract: This is a report on results and methods in the reduction modulo p of Shimura varieties with parahoric level structure. In the first part, the local theory, we explain the concepts of parahoric subgroups, of the mu-admissible and mu-permissible subsets of the Iwahori-Weyl group, of the corresponding union of affine Deligne-Lusztig varieties and of local models. In the second part, the global theo… ▽ More This is a report on results and methods in the reduction modulo p of Shimura varieties with parahoric level structure. In the first part, the local theory, we explain the concepts of parahoric subgroups, of the mu-admissible and mu-permissible subsets of the Iwahori-Weyl group, of the corresponding union of affine Deligne-Lusztig varieties and of local models. In the second part, the global theory, we use these concepts to formulate conjectures on the points in the reduction modulo p of Shimura varieties with parahoric level structure. △ Less

Submitted 2 May, 2002; originally announced May 2002.

Comments: AMS-TeX, 40 pages

MSC Class: 14G35; 11G18

Local models in the ramified case. II. Splitting models

Authors: G. Pappas, M. Rapoport

Abstract: This paper is a continuation of our paper math.AG/0006222. We study the reduction of certain PEL Shimura varieties with parahoric level structure at primes p at which the group that defines the Shimura variety ramifies. We describe "good" $p$-adic integral models of these Shimura varieties and study their 'etale local structure. In particular, we exhibit a stratification of their (singular) spec… ▽ More This paper is a continuation of our paper math.AG/0006222. We study the reduction of certain PEL Shimura varieties with parahoric level structure at primes p at which the group that defines the Shimura variety ramifies. We describe "good" $p$-adic integral models of these Shimura varieties and study their 'etale local structure. In particular, we exhibit a stratification of their (singular) special fibers and give a partial calculation of the sheaf of nearby cycles. △ Less

Submitted 6 July, 2004; v1 submitted 2 May, 2002; originally announced May 2002.

Comments: LaTeX, 51 pages, to appear in the Duke Math. Journal

MSC Class: 14G35; 11G18

Existence de filtrations admissibles sur des isocristaux

Authors: J. -M. Fontaine, M. Rapoport

Abstract: Let (D,phi) be an isocrystal over an algebraically closed field of characteristic p. Let F^bullet be a filtration on D. If F^bullet is (weakly) admissible, its type vector is greater or equal to the slope vector of (D,phi). We prove that conversely, give a type mu greater or equal to the slope vector of (D,phi), there exists an admissible filtration F^bullet on D of type vector equal to mu. We a… ▽ More Let (D,phi) be an isocrystal over an algebraically closed field of characteristic p. Let F^bullet be a filtration on D. If F^bullet is (weakly) admissible, its type vector is greater or equal to the slope vector of (D,phi). We prove that conversely, give a type mu greater or equal to the slope vector of (D,phi), there exists an admissible filtration F^bullet on D of type vector equal to mu. We also give a group theoretic version of this statement and relate it to the existence of lattices M in D with mu(M)=mu. △ Less

Submitted 24 April, 2002; originally announced April 2002.

Comments: 10 pages, AMS-TeX

MSC Class: Primary 11S25; Secondary 14L05; 14F30

On the existence of F-crystals

Authors: R. Kottwitz, M. Rapoport

Abstract: Let (N,F) be an F-isocrystal, with associated Newton vector νin (Q^n)_+. To any lattice M in N (an F-crystal) is associated its Hodge vector μ(M) in (Z^n)_+. By Mazur's inequality we have μ(M)>= ν. We show that, conversely, for any μin (Z^n)_+ with μ>= ν, there exists a lattice M in N such that μ=μ(M). We also give variants of this existence theorem for symplectic F-isocrystals, and for periodi… ▽ More Let (N,F) be an F-isocrystal, with associated Newton vector νin (Q^n)_+. To any lattice M in N (an F-crystal) is associated its Hodge vector μ(M) in (Z^n)_+. By Mazur's inequality we have μ(M)>= ν. We show that, conversely, for any μin (Z^n)_+ with μ>= ν, there exists a lattice M in N such that μ=μ(M). We also give variants of this existence theorem for symplectic F-isocrystals, and for periodic lattice chains. △ Less

Submitted 22 February, 2002; originally announced February 2002.

Comments: 28 pages, AMS-TeX

MSC Class: Primary 11S25; Secondary 14L05; 14F30

Derivatives of Eisenstein series and Faltings heights

Authors: S. Kudla, M. Rapoport, T. Yang

Abstract: We prove a relation between a generating series for the heights of Heegner cycles on the arithmetic surface associated to a Shimura curve and the second term in the Laurent expansion at s=1/2 of an Eisenstein series of weight 3/2 for SL(2). On the geometric side, a typical coefficient of the generating series involves the Faltings heights of abelian surfaces isogenous to a product of CM elliptic… ▽ More We prove a relation between a generating series for the heights of Heegner cycles on the arithmetic surface associated to a Shimura curve and the second term in the Laurent expansion at s=1/2 of an Eisenstein series of weight 3/2 for SL(2). On the geometric side, a typical coefficient of the generating series involves the Faltings heights of abelian surfaces isogenous to a product of CM elliptic curves, an archimedean contribution, and contributions from vertical components in the fibers of bad reduction. On the analytic side, these terms arise via the derivatives of local Whittaker functions. It should be noted that s=1/2 is not the central point for the functional equation of the Eisenstein series in question. Moreover, the first term of the Laurent expansion at s=1/2 coincides with the generating function for the degrees of the Heegner cycles on the generic fiber, and, in particular, does not vanish. △ Less

Submitted 26 October, 2001; originally announced October 2001.

Comments: 88 pages, AMS-TeX

MSC Class: 11G18; 14G40; 11F30; 11G50; 14G35; 11F37

Local models in the ramified case I. The EL-case

Authors: G. Pappas, M. Rapoport

Abstract: Local models are schemes defined in linear algebra terms that describe the 'etale local structure of integral models for Shimura varieties and other moduli spaces. We point out that the flatness conjecture of Rapoport-Zink on local models fails in the presence of ramification and that in that case one has to modify their definition. We study in detail certain modifications of the local models fo… ▽ More Local models are schemes defined in linear algebra terms that describe the 'etale local structure of integral models for Shimura varieties and other moduli spaces. We point out that the flatness conjecture of Rapoport-Zink on local models fails in the presence of ramification and that in that case one has to modify their definition. We study in detail certain modifications of the local models for G=R_{E/F}GL(n), with E/F a totally ramified extension, and for a maximal parahoric level subgroup. The special fibers of these models are subschemes of the affine Grassmannian. We show that the new local models are smoothly equivalent to "rank varieties" of matrices, are flat, normal, with rational singularities and that their special fibers contain the expected Schubert strata. A corollary is that Schubert varieties in the affine Grassmannian are smoothly equivalent to nilpotent orbit closures and are normal with rational singularities, even in positive characteristics. We give some applications to the calculation of sheaves of nearby cycles and describe a relation with geometric convolution. Finally, in the general EL case, we replace the flatness conjecture of Rapoport-Zink with a conjecture about the modified local models. △ Less

Submitted 19 August, 2000; v1 submitted 28 June, 2000; originally announced June 2000.

Comments: 37 pages, LaTex. In this revision, we have significantly simplified the proof of Theorem 4.1

Arithmetic Hirzebruch Zagier cycles

Authors: S. Kudla, M. Rapoport

Abstract: We define special cycles on arithmetic models of twisted Hilbert-Blumenthal surfaces at primes of good reduction. These are arithmetic versions of these cycles. In particular, we characterize the non-degenerate intersections and partially determine the generating series formed from the intersection numbers of them relating it to the value at the center of symmetry of the derivative of a certain… ▽ More We define special cycles on arithmetic models of twisted Hilbert-Blumenthal surfaces at primes of good reduction. These are arithmetic versions of these cycles. In particular, we characterize the non-degenerate intersections and partially determine the generating series formed from the intersection numbers of them relating it to the value at the center of symmetry of the derivative of a certain metaplectic Eisenstein series in 6 variables. These results are analogous to those obtained by us in the case of Siegel threefolds (alg-geom/9711025). We also study the case of degenerate intersections and show that in this case the intersection locus is a configuration of projective lines whose dual graph is described in terms of subcomplexes of the Bruhat-Tits building of PGL(2,F), where F is an unramified quadratic extension of Q_p. △ Less

Submitted 16 April, 1999; originally announced April 1999.

Comments: 106 pages

Report number: 990414.ssk.1

Height pairings on Shimura curves and p-adic uniformization

Authors: S. Kudla, M. Rapoport

Abstract: We establish a relation between intersection numbers of special cycles on a Shimura curve and special values of derivatives of metaplectic Eisenstein series at a place of bad reduction where p-adic uniformization in the sense of Cherednik and Drinfeld holds. The result extends the one established by one of us (S. Kudla: Ann. of Math. 146 (1997)) for the archimedean place and for the non-archimed… ▽ More We establish a relation between intersection numbers of special cycles on a Shimura curve and special values of derivatives of metaplectic Eisenstein series at a place of bad reduction where p-adic uniformization in the sense of Cherednik and Drinfeld holds. The result extends the one established by one of us (S. Kudla: Ann. of Math. 146 (1997)) for the archimedean place and for the non-archimedean places of good reduction. The bulk of the paper is concerned with the corresponding problem on the Drinfeld upper half plane (the formal scheme version). △ Less

Submitted 25 September, 1998; originally announced September 1998.

Comments: 82 pages, 1 figure, Postscript

MSC Class: 11F27 (Primary) 11G10; 14G35 (Secondary)

A peculiar modular form of weight one

Authors: Stephen S. Kudla, Michael Rapoport, Tonghai Yang

Abstract: 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 sim… ▽ More 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. △ Less

Submitted 30 August, 1998; originally announced August 1998.

Report number: ANT-0125

Cycles on Siegel 3-folds and derivatives of Eisenstein series

Authors: S. Kudla, M. Rapoport

Abstract: We consider the Siegel modular variety of genus 2 and a p-integral model of it for a good prime p>2, which parametrizes principally polarized abelian varieties of dimension two with a level structure. We consider cycles on this model which are characterized by the existence of certain special endomorphisms, and their intersections. We characterize that part of the intersection which consists of… ▽ More We consider the Siegel modular variety of genus 2 and a p-integral model of it for a good prime p>2, which parametrizes principally polarized abelian varieties of dimension two with a level structure. We consider cycles on this model which are characterized by the existence of certain special endomorphisms, and their intersections. We characterize that part of the intersection which consists of isolated points in characteristic p only. Furthermore, we relate the (naive) intersection multiplicities of the cycles at isolated points to special values of derivatives of certain Eisenstein series on the metaplectic group in 8 variables. △ Less

Submitted 20 November, 1997; originally announced November 1997.

Comments: AMSTeX

Report number: 971120.rapoport.1 MSC Class: 11F27 (Primary) 11G10; 14G35 (Secondary)

A geometric approach to the fundamental lemma for unitary groups

Authors: G. Laumon, M. Rapoport

Abstract: We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue field $k$ and interpret the conjecture in this case as a remarkable identity between the number of $k$-rational points of them. We prove the corresponding identi… ▽ More We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue field $k$ and interpret the conjecture in this case as a remarkable identity between the number of $k$-rational points of them. We prove the corresponding identity for the numbers of $k_f$-rational points, for any extension of even degree $f$ of $k$. The proof uses the local intersection theory on a regular surface and Deligne's theory of intersection multiplicities with weights. We also discuss a possible descent argument that uses $\ell$-adic cohomology to treat extensions of odd degree as well. △ Less

Submitted 19 November, 1997; originally announced November 1997.

Comments: 44 pages, Plain TeX

Report number: Preprint Mathematisches Institut der Universitaet zu Koeln 11-97

The Langlands lemma and the Betti numbers of stacks of $G$--bundles on a curve

Authors: G. Laumon, M. Rapoport

Abstract: In this note we show that the Langlands lemma from the theory of Eisenstein series can be used to invert the recursion relation for the Poincaré series of the open substack of semi-stable $G$-bundles which was established by Atiyah/Bott and Harder/Narasimhan. In this note we show that the Langlands lemma from the theory of Eisenstein series can be used to invert the recursion relation for the Poincaré series of the open substack of semi-stable $G$-bundles which was established by Atiyah/Bott and Harder/Narasimhan. △ Less

Submitted 14 March, 1995; originally announced March 1995.

Comments: 17 pages, PlainTeX

MSC Class: 14H60 (Primary) 22E55 (Secondary)