Étale dévissage, descent and pushouts of stacks (Q716458): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:04, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Étale dévissage, descent and pushouts of stacks |
scientific article |
Statements
Étale dévissage, descent and pushouts of stacks (English)
0 references
22 September 2011
0 references
Let \(j': U'\rightarrow X'\) be an open immersion of algebraic stacks, and let \(f_U: U'\rightarrow U\) be an étale morphism. One of the results proven in the article is that the pushout \(X\) of \(j'\) and \(f_U\) exists in the category of algebraic stacks, and in the category of algebraic spaces. Moreover, the resulting diagram \[ \begin{tikzcd} U^\prime \rar["j^\prime"]\dar["f_U" '] & X^\prime\dar["f"]\\ U \rar["j" '] & X \end{tikzcd} \] is a Cartesian diagram, the map \(j\) is an open immersion, and the map \(f\) is étale and induces an isomorphism over the closed set \(X\setminus U\). An étale morphism \(f: X' \rightarrow X\) that induces an isomorphism over a closed subset \(Z \subseteq X\) is called an étale neighborhood of \(Z\). Moreover, if one has a Cartesian diagram as above, with \(j\) an open immersion and \(f\) an étale neighborhood of \(X\setminus U\), then \(X\) is the pushout of \(j'\) and \(f_U\). The author establishes several other properties for these pushouts, in particular that if \({\mathbf F}: \mathbf{Stack}^{\mathrm{op}}_{\text{ét}/X} \rightarrow \textbf{Cat}\) is a 2-sheaf then there is a natural equivalence between the categories \(\mathbf F(X)\) and \(\mathbf F(U)\times_{\mathbf F(U')}\mathbf F(X')\). The main result of the article is perhaps the Dévissage Theorem. The author describes the Dévissage Theorem as an explanation and a generalization of the dévissage method that is implicit in [\textit{M. Raynaud} and \textit{L. Gruson}, Invent. Math. 13, 1--89 (1971; Zbl 0227.14010)]. Let \(S\) be a quasi-compact and quasi-separated algebraic stack, and let \({\mathbf E}\) denote either the 2-category of étale and finitely presented morphisms \(X \rightarrow S\), or the subcategory of étale, finitely presented, representable and separated morphisms. Let \({\mathbf D} \subseteq {\mathbf E}\) be a full subcategory that is a presheaf \({\mathbf E}^{\text{op}}\rightarrow \{\emptyset, \{*\}\}\). Assume furthermore that as a presheaf it satisfies the sheaf condition with respect to finite, étale and surjective morphisms, and with respect to pushout diagrams of the form described above. Then the presheaf satisfies the sheaf condition for arbitrary representable étale coverings.
0 references
étale neighborhood
0 references
distinguished square
0 references
dévissage
0 references
descent
0 references
pushout
0 references
algebraic stack
0 references
2-sheaves
0 references