“Scheme-theoretic images” of morphisms of stacks

  title={“Scheme-theoretic images” of morphisms of stacks},
  author={Matthew Emerton and Toby Gee},
  journal={arXiv: Number Theory},
We give criteria for certain morphisms from an algebraic stack to a (not necessarily algebraic) stack to admit an (appropriately defined) scheme-theoretic image. We apply our criteria to show that certain natural moduli stacks of local Galois representations are algebraic (or Ind-algebraic) stacks. 
For a split reductive group $G$ over a finite field, we show that the intersection (cohomology) motive of the moduli stack of iterated $G$-shtukas with bounded modification and level structure is
Algebraic families of Galois representations and potentially semi-stable pseudodeformation rings
We construct and study the moduli of continuous representations of a profinite group with integral p-adic coefficients. We present this moduli space over the moduli space of continuous
Serre weights, Galois deformation rings, and local models
We survey some recent progress on generalizations of conjectures of Serre concerning the cohomology of arithmetic groups, focusing primarily on the “weight” aspect. This is intimately related to
Degenerating products of flag varieties and applications to the Breuil--Mezard conjecture
We consider closed subschemes in the affine grassmannian obtained by degenerating e-fold products of flag varieties, embedded via a tuple of dominant cocharacters. For G = GL2, and cocharacters small
Local models for Galois deformation rings and applications
We construct projective varieties in mixed characteristic whose singularities model, in generic cases, those of tamely potentially crystalline Galois deformation rings for unramified extensions of
A Harder–Narasimhan theory for Kisin modules
We develop a Harder-Narasimhan theory for Kisin modules generalizing a similar theory for finite flat group schemes due to Fargues. We prove the tensor product theorem, i.e., that the tensor product
Breuil-Kisin modules and integral $p$-adic Hodge theory
We construct a category of Breuil-Kisin $G_K$-modules to classify integral semi-stable Galois representations. Our theory uses Breuil-Kisin modules and Breuil-Kisin-Fargues modules with Galois
General Serre weight conjectures
We formulate a number of related generalisations of the weight part of Serre's conjecture to the case of GL(n) over an arbitrary number field, motivated by the formalism of the Breuil-M\'ezard
Compactification of Level Maps of Moduli Spaces of Drinfeld Shtukas
. We define Drinfeld level structures for Drinfeld shtukas of any rank and show that their moduli spaces are regular and admit finite flat level maps. In particular, the moduli spaces of Drinfeld
Potentially crystalline deformation rings and Serre weight conjectures: shapes and shadows
We prove the weight part of Serre’s conjecture in generic situations for forms of U(3) which are compact at infinity and split at places dividing p as conjectured by Herzig (Duke Math J


Moduli of finite flat group schemes, and modularity
We prove that, under some mild conditions, a two dimensional p-adic Galois representation which is residually modular and potentially Barsotti-Tate at p is modular. This provides a more conceptual
Sheaves on Artin stacks
Abstract We develop a theory of quasi-coherent and constructible sheaves on algebraic stacks correcting a mistake in the recent book of Laumon and Moret-Bailly. We study basic cohomological
Phi-modules and coefficient spaces
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
Crystalline representations and F -crystals
Following ideas of Berger and Breuil, we give a new classification of crystalline representations. The objects involved may be viewed as local, characteristic 0 analogues of the “shtukas” introduced
The canonical embedding of an unramified morphism in an étale morphism
We show that every unramified morphism $${X\to Y}$$ has a canonical and universal factorization $${X\hookrightarrow E_{X/Y}\to Y}$$ where the first morphism is a closed embedding and the second is
Infinite-Dimensional Vector Bundles in Algebraic Geometry
The goal of this work is to show that there is a reasonable algebro-geometric notion of vector bundle with infinite-dimensional locally linearly compact fibers and that these objects appear “in
Quasi-semi-stable representations
Fix K a p-adic field and denote by G_K its absolute Galois group. Let K_infty be the extension of K obtained by adding (p^n)-th roots of a fixed uniformizer, and G_\infty its absolute Galois group.
Versal deformations and algebraic stacks
1. Basic Terminology . . . . . . . . . . . . . . . 166 2. A Review of Schlessinger's Conditions . . . . . . 167 3. Existence of Versal Deformations at a Point . . . . 169 4. Formal Versality in a
General Néron desingularization and approximation
Let A be a noetherian ring (all the rings are supposed here to be commutative with identity), a ⊂ A a proper ideal and  the completion of A in the α -adic topology. We consider the following
Higher Algebraic K-Theory of Schemes and of Derived Categories
In this paper we prove a localization theorem for the K-theory of commutative rings and of schemes, Theorem 7.4, relating the K-groups of a scheme, of an open subscheme, and of the category of those