Integral models in unramified mixed characteristic (0, 2) of hermitian orthogonal Shimura varieties of PEL type,Part II

We construct relative PEL type embeddings in mixed characteristic (0, 2) between hermitian orthogonal Shimura varieties of PEL type. We use this to prove the existence of integral canonical models in unramified mixed characteristic (0, 2) of hermitian orthogonal Shimura varieties of PEL type.     

Local models of Shimura varieties and a conjecture of Kottwitz

We give a group theoretic definition of “local models” as sought after in the theory of Shimura varieties. These are projective schemes over the integers of a p-adic local field that are expected to model the singularities of integral models of Shimura varieties with parahoric level structure. Our local models are certain mixed characteristic degenerations of Grassmannian varieties; they are obtained by extending constructions of Beilinson, Drinfeld, Gaitsgory and the second-named author to mixed characteristics and to the case of general (tamely ramified) reductive groups. We study the singularities of local models and hence also of the corresponding integral models of Shimura varieties. In particular, we study the monodromy (inertia) action and show a commutativity property for the sheaves of nearby cycles. As a result, we prove a conjecture of Kottwitz which asserts that the semi-simple trace of Frobenius on the nearby cycles gives a function which is central in the parahoric Hecke algebra.     

On the characterization of complex Shimura varieties

In this paper we recall basic properties of complex Shimura varieties and show that they actually characterize them. This characterization immediately implies the explicit form of Kazhdan's theorem on the conjugation of Shimura varieties. It also implies the existence of unique equivariant models over the reflex field of Shimura varieties corresponding to adjoint groups and the existence of a p-adic uniformization of certain unitary Shimura varieties. In the appendix we give a modern formulation and a proof of Weil's descent theorem.     

Integral models of certain PEL Shimura varieties with {\Gamma_1(p)}-type level structure

We study p-adic integral models of certain PEL Shimura varieties with level subgroup at p related to the \({\Gamma_1(p)}\)-level subgroup in the case of modular curves. We will consider two cases: the case of Shimura varieties associated with unitary groups that split over an unramified extension of \({\mathbb{Q}_p}\) and the case of Siegel modular varieties. We construct local models, i.e. simpler schemes which are étale locally isomorphic to the integral models. Our integral models are defined by a moduli scheme using the notion of an Oort–Tate generator of a group scheme. We use these local models to find a resolution of the integral model in the case of the Siegel modular variety of genus 2. The resolution is regular with special fiber a nonreduced divisor with normal crossings.     

Irreducibility of the Igusa tower

We shall give a simple （basically） the Igusa tower over Shimura varieties of PEL purely in characteristic p proof of the irreducibility of type. Our result covers Shimura variety of type A and type C classical groups, in particular, the Siegel modular varieties, the Hilbert-Siegel modular varieties, Picard surfaces and Shimura varieties of inner forms of unitary and symplectic groups over totally real fields.     

Motivic integral of K3 surfaces over a non-archimedean field

We prove a formula expressing the motivic integral (Loeser and Sebag, 2003) [34] of a K3 surface over C((t)) with semi-stable reduction in terms of the associated limit mixed Hodge structure. Secondly, for every smooth variety over a complete discrete valuation field we define an analogue of the monodromy pairing, constructed by Grothendieck in the case of abelian varieties, and prove that our monodromy pairing is a birational invariant of the variety. Finally, we propose a conjectural formula for the motivic integral of maximally degenerate K3 surfaces over an arbitrary complete discrete valuation field and prove this conjecture for Kummer K3 surfaces.     

Weight-monodromy conjecture for <Emphasis Type="Italic">p</Emphasis>-adically uniformized varieties

The aim of this paper is to prove the weight-monodromy conjecture (Delignes conjecture on the purity of monodromy filtration) for varieties p-adically uniformized by the Drinfeld upper half spaces of any dimension. The ingredients of the proof are to prove a special case of the Hodge standard conjecture, and apply a positivity argument of Steenbrink, M. Saito to the weight spectral sequence of Rapoport-Zink. As an application, by combining our results with the results of Schneider-Stuhler, we compute the local zeta functions of p-adically uniformized varieties in terms of representation theoretic invariants. We also consider a p-adic analogue by using the weight spectral sequence of Mokrane.     

Topological flatness of local models for ramified unitary groups. I. The odd dimensional case

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 Qp are ramified, quasi-split GUn, Pappas and Rapoport have added new conditions, the so-called wedge and spin conditions, to the moduli problem defining the original local models and conjectured that their new local models are flat. We prove a preliminary form of their conjecture, namely that their new models are topologically flat, in the case n is odd.     

Topological flatness of orthogonal local models in the split,even case. I

Local models are schemes, defined in terms of linear algebra, that were introduced by Rapoport and Zink to study the étale-local structure of integral models of certain PEL Shimura varieties over p-adic fields. A basic requirement for the integral models, or equivalently for the local models, is that they be flat. In the case of local models for even orthogonal groups, Genestier observed that the original definition of the local model does not yield a flat scheme. In a recent article, Pappas and Rapoport introduced a new condition to the moduli problem defining the local model, the so-called spin condition, and conjectured that the resulting “spin” local model is flat. We prove a preliminary form of their conjecture in the split, Iwahori case, namely that the spin local model is topologically flat. An essential combinatorial ingredient is the equivalence of μ-admissibility and μ-permissibility for two minuscule cocharacters μ in root systems of type D.     

Integral models of Shimura varieties with parahoric level structure

Publications mathématiques de l'IHÉS - For a prime $p &gt; 2$ , we construct integral models over $p$ for Shimura varieties with parahoric level structure, attached to Shimura...     

A compactification of Igusa varieties

We investigate the notion of Igusa level structure for a one-dimensional Barsotti–Tate group over a scheme X of positive characteristic and compare it to Drinfeld’s notion of level structure. In particular, we show how the geometry of the Igusa covers of X is useful for studying the geometry of its Drinfeld covers (e.g. connected and smooth components, singularities). Our results apply in particular to the study of the Shimura varieties considered in Harris and Taylor (On the geometry and cohomology of some simple Shimura varieties. Princeton University Press, Princeton, 2001). In this context, they are higher dimensional analogues of the classical work of Igusa for modular curves and of the work of Carayol for Shimura curves. In the case when the Barsotti–Tate group has constant p-rank, this approach was carried-out by Harris and Taylor (On the geometry and cohomology of some simple Shimura varieties. Princeton University Press, Princeton, 2001).     

On the Siegel-Eisenstein measure and its applications

An Eisenstein measure on the symplectic group over rational number field is constructed which interpolatesp-adically the Fourier expansion of Siegel-Eisenstein series. The proof is based on explicit computation of the Fourier expansions by Siegel, Shimura and Feit. As an application of this result ap-adic family of Siegel modular forms is given which interpolates Klingen-Eisenstein series of degree two using Boecherer’s integral representation for the Klingen-Eisenstein series in terms of the Siegel-Eisenstein series.     

Faltings heights of CM cycles and derivatives of <Emphasis Type="Italic">L</Emphasis>-functions

We study the Faltings height pairing of arithmetic special divisors and CM cycles on Shimura varieties associated to orthogonal groups. We compute the Archimedean contribution to the height pairing and derive a conjecture relating the total pairing to the central derivative of a Rankin L-function. We prove the conjecture in certain cases where the Shimura variety has dimension 0, 1, or 2. In particular, we obtain a new proof of the Gross-Zagier formula.     

Perfectoid Shimura varieties

This note explains some of the author’s work on understanding the torsion appearing in the cohomology of locally symmetric spaces such as arithmetic hyperbolic 3-manifolds.The key technical tool was a theory of Shimura varieties with infinite level at p: As p-adic analytic spaces, they are perfectoid, and admit a new kind of period map, called the Hodge–Tate period map, towards the flag variety. Moreover, the (semisimple) automorphic vector bundles come via pullback along the Hodge–Tate period map from the flag variety.In the case of the Siegel moduli space, the situation is fully analyzed in [12]. We explain the conjectural picture for a general Shimura variety.     

Quiver Grassmannians associated with string modules

We provide a technique to compute the Euler–Poincaré characteristic of a class of projective varieties called quiver Grassmannians. This technique applies to quiver Grassmannians associated with “orientable string modules”. As an application we explicitly compute the Euler–Poincaré characteristic of quiver Grassmannians associated with indecomposable pre-projective, pre-injective and regular homogeneous representations of an affine quiver of type [(A)\tilde]_p,1\tilde{A}_{p,1}. For p=1, this approach provides another proof of a result due to Caldero and Zelevinsky (in Mosc. Math. J. 6(3):411–429, 2006).     

Hodge cohomology on blow-ups along subvarieties

We establish a blow-up formula for Hodge cohomology of locally free sheaves on smooth proper varieties over an algebraically closed field of positive characteristic. For this, we introduce a notion of relative Hodge sheaves and study their behavior under blow-ups along smooth centers. In particular, as an application, we study the blow-up invariance of the E₂-degeneracy of the Hochschild–Kostant–Rosenberg spectral sequence for smooth proper varieties.     

Le groupe de Brauer non ramifié sur un corps global de caractéristique positive

Using a theorem of Gabber on alterations, we prove a result describing the prime-to-p torsion part of the unramified Brauer group of a smooth and geometrically integral variety V over a global field of characteristic p by evaluating the elements of Br V at its local points.     

Purity for Hodge-Tate representations

We prove that a kind of purity holds for Hodge-Tate representations of the fundamental group of the generic fiber of a semi-stable scheme over a complete discrete valuation ring of mixed characteristic with perfect residue field. As an application, we see that the relative p-adic étale cohomology with proper support of a scheme separated of finite type over the generic fiber is Hodge-Tate if it is locally constant.     

Borel-Weil-Bott theory on the moduli stack of G-bundles over a curve

Let G be a semi-simple group and M the moduli stack of G-bundles over a smooth, complex, projective curve. Using representation-theoretic methods, I prove the pure-dimensionality of sheaf cohomology for certain “evaluation vector bundles” over M, twisted by powers of the fundamental line bundle. This result is used to prove a Borel-Weil-Bott theorem, conjectured by G. Segal, for certain generalized flag varieties of loop groups. Along the way, the homotopy type of the group of algebraic maps from an affine curve to G, and the homotopy type, the Hodge theory and the Picard group of M are described. One auxiliary result, in Appendix A, is the Alexander cohomology theorem conjectured in [Gro2]. A self-contained account of the “uniformization theorem” of [LS] for the stack M is given, including a proof of a key result of Drinfeld and Simpson (in characteristic 0). A basic survey of the simplicial theory of stacks is outlined in Appendix B. Oblatum 17-XII-1996 & 26 VI-1997     

Dirichlet problem for semilinear edge-degenerate elliptic equations with singular potential term

In this paper, we introduce weighted p-Sobolev spaces on manifolds with edge singularities. We give the proof for the corresponding edge type Sobolev inequality, Poincaré inequality and Hardy inequality. As an application of these inequalities, we prove the existence of nontrivial weak solutions for the Dirichlet problem of semilinear elliptic equations with singular potentials on manifolds with edge singularities.