In this article, we study local models associated to certain Shimura varieties. In particular, we present a resoultion of their singularities. As a consequence, we are able to determine the alternating semisimple trace of the geometric Frobenius on the sheaf of nearby cycles.
In this paper, we study special cycles on the Krämer model of $\mathrm{U}(1,1)(F/F_0)$-Rapoport-Zink spaces where $F/F_0$ is a ramified quadratic extension of $p$-adic number fields with the assumption that the $2$-dimensional hermitian space of special quasi-homomorphisms is anisotropic. We write down the decomposition of these special cycles and prove a version of Kudla-Rapoport conjecture in this case. We then apply the local results to compute the intersection numbers of special cycles on unitary Shimura curves and relate these intersection numbers to Fourier coefficients of central deriva…
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.
Local models are schemes which are intended to model the étale-local structure of p-adic integral models of Shimura varieties. Pappas and Zhu have recently given a general group-theoretic construction of flat local models with parahoric level structure for any tamely ramified group, but it remains an interesting problem to characterize the local models, when possible, in terms of an explicit moduli problem. In the setting of local models for ramified, quasi-split GU_n, work towards an explicit moduli description was initiated in the general framework of Rapoport and Zink's book and was subsequ…
Local models are schemes, defined in terms of linear-algebraic moduli problems, which give étale-local neighborhoods of integral models of certain p-adic PEL Shimura varieties defined by Rapoport and Zink. In the case of a unitary similitude group whose localization at Q_p is ramified, quasi-split GU_n, Pappas has observed that the original local models are typically not flat, and he and Rapoport have introduced new conditions to the original moduli problem which they conjecture to yield a flat scheme. In a previous paper we proved that their new local models are topologically flat when n is o…
In this article, we prove results about the cohomology of compact unitary group Shimura varieties at split places. In nonendoscopic cases, we are able to give a full description of the cohomology, after restricting to integral Hecke operators at p on the automorphic side. We allow arbitrary ramification at p; even the PEL data may be ramified. This gives a description of the semisimple local Hasse-Weil zeta function in these cases. We also treat cases of nontrivial endoscopy. For this purpose, we give a general stabilization of the expression given in previous work, following the stabilization…
Local models are certain schemes, defined in terms of linear-algebraic moduli problems, which give étale-local neighborhoods of integral models of certain p-adic PEL Shimura varieties defined by Rapoport and Zink. When the group defining the Shimura variety ramifies at p, the local models (and hence the Shimura models) as originally defined can fail to be flat, and it becomes desirable to modify their definition so as to obtain a flat scheme. In the case of unitary similitude groups whose localizations at Q_p are ramified, quasi-split GU_n, Pappas and Rapoport have added new conditions, the so…
Local models are schemes defined in terms of linear algebra which can be used to study the local structure of integral models of certain Shimura varieties, with parahoric level structure. We investigate the local models for groups of the form Res_{F/\Q_p} GL_n and Res_{F/\Q_p} GSp_2g where F/Q_p is a totally ramified extension, as defined by Pappas and Rapoport, and show that they are topologically flat. In the linear case, flatness can be deduced from this.
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.
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/…
The aim of these notes is to generalize Laumon's construction [18] of automorphic sheaves corresponding to local systems on a smooth, projective curve $C$ to the case of local systems with indecomposable unipotent ramification at a finite set of points. To this end we need an extension of the notion of parabolic structure on vector bundles to coherent sheaves. Once we have defined this, a lot of arguments from the article "On the geometric Langlands conjecture" by Frenkel, Gaitsgory and Vilonen [10] carry over to our situation. We show that our sheaves descend to the moduli space of parabolic …
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 lo…
The obstruction to the local-global principle for a hermitian lattice (L, H) can be quantified by computing the mass of (L, H). The mass formula expresses the mass of (L, H) as a product of local factors, called the local densities of (L, H). The local density formula is known except in the case of a ramified hermitian lattice of residue characteristic 2. Let F be a finite unramified field extension of Q_2. Ramified quadratic extensions E/F fall into two cases that we call Case 1 and Case 2. In this paper, we obtain the local density formula for a ramified hermitian lattice in Case 1, by const…
The Hurwitz space is a compactification of the space of rational functions of a given degree. We study the intersection of various strata of this space with its boundary. A study of the cohomology ring of the Hurwitz space then allows us to obtain recurrence relations for certain numbers of ramified coverings of a sphere by a sphere with prescribed ramifications. Generating functions for these numbers belong to a very particular subalgebra of the algebra of power series.
We compute the ramification filtration on wildly ramified $p^2$-cyclic extensions of local fields of characteristic $p$. The ramification filtration on the compositum of two $p$-cyclic and $p^2$-cyclic extensions are also computed. As an application, some partial results towards Abhyankar's Inertia conjecture has been proved.
The local Tamagawa number conjecure, first formulated by Fontaine and Perrin-Riou, expresses the compatibility of the (global) Tamagawa number conjecture on motivic $L$-functions with the functional equation. The local conjecture was proven for Tate motives over finite unramified extensions $K/\mathbb{Q}_p$ by Bloch and Kato. We use the theory of $(ϕ, Γ_K)$-modules and a reciprocity law due to Cherbonnier and Colmez to provide a new proof in the case of unramified extensions, and to prove the conjecture for the motive $\mathbb{Q}_p(2)$ over certain tamely ramified extensions.
In this article, we improve our main results from \emph{Chow groups and $L$-derivatives of automorphic motives for unitary groups} in two direction: First, we allow ramified places in the CM extension $E/F$ at which we consider representations that are spherical with respect to a certain special maximal compact subgroup, by formulating and proving an analogue of the Kudla--Rapoport conjecture for exotic smooth Rapoport--Zink spaces. Second, we lift the restriction on the components at split places of the automorphic representation, by proving a more general vanishing result on certain cohomolo…
The Brauer-Manin obstruction is used to explain the failure of the local-global principle for algebraic varieties. In 1999 Skorobogatov gave the first example of a variety that does not satisfy the local-global principle which is not explained by the Brauer-Manin obstruction. He did so by applying the Brauer-Manin obstruction to étale covers of the variety, and thus defining a finer obstruction. In 2008 Poonen gave the first example of failure of the local-global principle which cannot be explained for by Skorobogatov's étale-Brauer obstruction. However, Poonen's construction was not accompani…
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.
This paper deals with the geometric local theta correspondence at the Iwahori level for dual reductive pairs of type II over a non Archimedean field $F$ of characteristic $p\neq 2$ in the framework of the geometric Langlands program. First we construct and study the geometric version of the invariants of the Weil representation of the Iwahori-Hecke algebras. In the particular case of $(GL_1, GL_m)$ we give a complete geometric description of the corresponding category. The second part of the paper deals with geometric local Langlands functoriality at the Iwahori level in a general setting. Giv…
Consider a formal (mixed-characteristic) deformation functor D of a representation of a finite group G as automorphisms of a power series ring k[[t]] over a perfect field k of positive characteristic. Assume that the action of G is weakly ramified, i.e., the second ramification group is trivial. Examples of such representations are provided by a group action on an ordinary curve: the action of a ramification group on the completed local ring of any point on such a curve is weakly ramified. We prove that the only such D that are not pro-representable occur if k has characteristic two and G is o…
To any connected reductive group G over a non-archimedean local field F (of characteristic p > 0) and to any maximal torus T of G, we attach a family of extended affine Deligne-Lusztig varieties (and families of torsors over them) over the residue field of F. This construction generalizes affine Deligne-Lusztig varieties of Rapoport, which are attached only to unramified tori of G. Via this construction, we can attach to any maximal torus T of G and any character of T a representation of G. This procedure should conjecturally realize the automorphic induction from T to G. For G = GL_2, we prov…
We describe the structure of the supersingular locus of a Shimura variety for a quaternionic unitary similitude group of degree $2$ over a ramified odd prime $p$ if the level at $p$ is given by a special maximal compact open subgroup. More precisely, we show that such a locus has purely $2$-dimensional, and every irreducible component is birational to the Fermat surface. Furthermore, we have an estimation of the numbers of connected and irreducible components. To prove these assertions, we completely determine the structure of the underlying reduced scheme of the Rapoport--Zink space for the q…
We consider the local model of a Shimura variety of PEL type, with the unitary similitudes corresponding to a ramified quadratic extension of $\mathbb{Q}_p$ as defining group. We examine the cases where the level structure at $p$ is given by a parahoric that is the stabilizer of a selfdual periodic lattice chain and that is special in the sense of Bruhat--Tits theory. We prove that in these cases the special fiber of the local model is irreducible and generically reduced; consequently, the special fiber is reduced and is normal, Frobenius split, and with only rational singularities. In additio…
We consider a resolution of ramified irregular singularities of meromorphic connections on a formal disk via local Fourier transforms. A necessary and sufficient condition for an irreducible connection to have a resolution of the ramified singularity is determined as an analogy of the blowing up of plane curve singularities. We also relate the irregularity of Komatsu and Malgrange of connections to the intersection numbers and the Milnor numbers of plane curve germs. Finally, we shall define an analogue of Puiseux characteristics for connections and find an invariant of the family of connectio…
Given a finite, flat and finitely presented group scheme $G$ over some base $S$, we introduce the notion of ramified $G$-covers and study the moduli stack $G$-Cov they form. The thesis is divided in three parts. The first one concerns the case when $G$ is a diagonalizable group scheme and it essentially coincides with arxiv:1106.2347. In the second part I deal with the general case. Assuming that the base S is affine and given an $S$-scheme $T$, I interpret $G$-covers of $T$ as particolar (lax) monoidal functors from the category of finite, $G$-equivariant locally free sheaves over $S$ to the …
The Deligne--Simpson problem is an existence problem for connections with specified local behavior. Almost all previous work on this problem has restricted attention to connections with regular or unramified singularities. Recently, the authors, together with Kulkarni and Matherne, formulated a version of the Deligne--Simpson problem where certain ramified singular points are allowed and solved it for the case of Coxeter connections, i.e., connections on the Riemann sphere with a maximally ramified singularity at zero and (possibly) an additional regular singular point at infinity. A certain m…
This is an introduction to noncommutative local reciprocity maps for totally ramified Galois extensions with arithmetically profinite group. These maps in general are not homomorphisms but Galois cycles; a description of their image and kernel is included.
Author's generalization of one-dimensional class field theory to theory of abelian totally ramified p-extensions of a complete discrete valuation field with arbitrary non-separably p-closed residue field and its applications are described.