Submersions and effective descent of etale morphisms

Abstract

Using the flatification by blow-up result of Raynaud and Gruson, we obtain new results for submersive and subtrusive morphisms. We show that universally subtrusive morphisms, and in particular universally open morphisms, are morphisms of effective descent for the fibered category of etale morphisms. Our results extend and supplement previous treatments on submersive morphisms by Grothendieck, Picavet and Voevodsky. Applications include the universality of geometric quotients and the elimination of noetherian hypotheses in many instances.

42 pages; added sections on descent of locally closed subsets and weakly normal descent; many other changes; final version

References in corpus (3)

• Revêtements étales et groupe fondamental (SGA 1)
• Existence and properties of geometric quotients
• Grothendieck topologies and ideal closure operations

Cited by in corpus (25)

• Triangulated categories of mixed motives
• Noetherian approximation of algebraic spaces and stacks
• Existence and properties of geometric quotients
• Étale motives
• Coherent Tannaka duality and algebraicity of Hom-stacks
• The intersection motive of the moduli stack of shtukas
• The canonical embedding of an unramified morphism in an étale morphism
• K-theory and G-theory of derived algebraic stacks
• The telescope conjecture for algebraic stacks
• Geometry on totally separably closed schemes
• Differential forms in positive characteristic II: cdh-descent via functorial Riemann-Zariski spaces
• A better comparison of cdh- and ldh-cohomologies
• Extending torsors on the punctured Spec(A_inf)
• Betti realization of varieties defined by formal Laurent series
• On a decomposition of $p$-adic Coxeter orbits
• Companions on Artin stacks
• Homotopy Exact Sequence for the Pro-Étale Fundamental Group II
• A theorem on meromorphic descent and the specialization of the pro-étale fundamental group
• On $K(1)$-local $\mathrm{TR}$
• The mod $p$ Riemann-Hilbert correspondence and the perfect site
• Topological rigidification of schemes
• Centers of perfectoid purity
• Modulus sheaves with transfers
• Tilting Correspondences of Perfectoid Rings
• Fundamental Exact Sequence for the Pro-Étale Fundamental Group