In this paper we consider the following problem: For a given natural number $d$ and a prime $p$ determine all Newton polygons of polarized K3 surfaces of degree 2d over fields of characteristic $p$. This is an analogue of the Manin problem for Newton polygons of abelian varieties. This question is equivalent to determining the non-empty height strata of the moduli stack $\M_{2d}\otimes \F_p$ of K3 surfaces with a polarization of degree 2d over $\F_p$. We prove here that if $d$ is large enough and prime to $p$, then the height strata of $\M_{2d}\otimes \F_p$ are non-empty.
For a Shimura variety of Hodge type with hyperspecial level at a prime $p$, the Newton stratification on its special fiber at $p$ is a stratification defined in terms of the isomorphism class of the Dieudonne module of parameterized abelian varieties endowed with a certain fixed set of Frobenius-invariant crystalline cycles ("$F$-isocrystal with $G_{\mathbb{Q}_p}$-structure"). There has been a conjectural group-theoretic description of the F-isocrystals that are expected to show up in the special fiber. We confirm this conjecture by two different methods. More precisely, for any $F$-isocrystal…
We construct canonical non-vanishing global sections of powers of the Hodge bundle on each Ekedahl-Oort stratum of a Hodge type Shimura variety. In particular we recover the quasi-affineness of the Ekedahl-Oort strata. In the projective case, this gives a very short proof of non-emptiness of Ekedahl-Oort strata. It follows that the Newton strata are also nonempty, by a result of S.Nie. We also deduce the fact that the $μ$-ordinary locus is determined by the Ekedahl-Oort strata of its image by any embedding.
We give an expository overview over recent results on the global structure and geometry of the Newton stratification of the reduction modulo p of Shimura varieties of Hodge type with hyperspecial level structure. More precisely, we discuss non-emptiness, dimensions, and closure relations of Newton strata. We also explain the group-theoretic description and methods leading to their proofs.
In this paper we study the Bruhat decomposition of not necessarily connected reductive quasi-split groups $G$ with respect to not necessarily connected parabolic subgroups. If $G$ is defined over a finite field, we construct a smooth morphism from the stack classifying $F$-zips with $G$-structure to the stack classifying the generalized Bruhat cells and study the relation between the resulting stratifications. We apply these general results to the twisted orthogonal $F$-zip given by the second De Rham cohomology of a relative surface, focussing on K3-surfaces.
We study parabolic reductions and Newton points of G-bundles on the Fargues-Fontaine curve and the Newton stratification on the $B_{dR}^+$-Grassmannian for any reductive group G. Let $Bun_G$ be the stack of G-bundles on the Fargues-Fontaine curve. Our first main result is to show that under the identification of the points of $Bun_G$ with Kottwitz's set B(G), the closure relations on the topological space $|Bun_G|$ coincide with the opposite of the usual partial order on B(G). Furthermore, we prove that every non-Hodge-Newton decomposable Newton stratum in a minuscule affine Schubert cell in t…
We use Drinfeld's relative compactifications and the Tannakian viewpoint on principal bundles to construct the Harder-Narasimhan stratification of the moduli stack Bun_G of G-bundles on an algebraic curve in arbitrary characteristic, generalizing the stratification for G=GL_n due to Harder and Narasimhan to the case of an arbitrary reductive group G. To establish the stratification on the set-theoretic level, we exploit a Tannakian interpretation of the Bruhat decomposition and give a new and purely geometric proof of the existence and uniqueness of the canonical reduction in arbitrary charact…
We compute the automorphisms groups of all numerical Godeaux surfaces, i.e. minimal smooth surfaces of general type with K^2 = 1 and p_g = 0, with torsion of the Picard group of order νequals 3, 4, or 5. We present explicit stratifications of the moduli spaces whose strata correspond to different automorphisms groups. Using the automorphisms computation, for each value of νwe define a quotient stack, and prove that for ν= 5 this is indeed the moduli stack of numerical Godeaux surfaces with torsion of order 5. Finally, we describe the inertia stacks of the three quotient stacks.
We continue the study of the Chow ring of the moduli stack $\mathfrak{M}_{g,n}$ of prestable curves begun in [arXiv:2012.09887v2]. In genus $0$, we show that the Chow ring of $\mathfrak{M}_{0,n}$ coincides with the tautological ring and give a complete description in terms of (additive) generators and relations. This generalizes earlier results by Keel and Kontsevich-Manin for the spaces of stable curves. Our argument uses the boundary stratification of the moduli stack together with the study of the first higher Chow groups of the strata, in particular providing a new proof of the results of …
We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker semi-stable torsion-free sheaves of rank two on rational surfaces to produce semi-orthogonal decompositions relating the different moduli stacks. The complementary pieces of these semi-orthogonal decompositions are derived categories of products of Hilbert schemes of points on the surface.
Let $X$ be a smooth projective curve over a field of characteristic zero and let $D$ be a non-empty set of rational points of $X$. We calculate the motivic classes of moduli stacks of semistable parabolic bundles with connections on $(X,D)$ and motivic classes of moduli stacks of semistable parabolic Higgs bundles on $(X,D)$. As a by-product we give a criteria for non-emptiness of these moduli stacks, which can be viewed as a version of the Deligne-Simpson problem.
Let G be a split connected reductive group over a finite field F_q, and N its maximal unipotent subgroup. V. Drinfeld has introduced a remarkable partial compactification of the moduli stack of N-bundles on a smooth projective curve X over F_q. In this paper we study Drinfeld's moduli space and a certain category of perverse sheaves on it. The definition of this category is motivated by the study of the Whittaker functions on the group G(K), where K=F_q((t)). We prove that our category is semi-simple, and that irreducible objects of this category are "clean", i.e., they are extenstions by 0 of…
A strong version of the quantization conjecture of Guillemin and Sternberg is proved. For a reductive group action on a smooth, compact, polarized variety (X,L), the cohomologies of L over the GIT quotient X // G equal the invariant part of the cohomologies over X. This generalizes the theorem of [Invent. Math. 67 (1982), 515-538] on global sections, and strengthens its subsequent extensions to Riemann-Roch numbers. Remarkable by-products are the invariance of cohomology of vector bundles over X // G under a small change in the defining polarization or under shift desingularization, as well as…
