The Stacks project

8.8 Stackification of fibred categories

Here is the result.

Lemma 8.8.1. Let $\mathcal{C}$ be a site. Let $p : \mathcal{S} \to \mathcal{C}$ be a fibred category over $\mathcal{C}$. There exists a stack $p' : \mathcal{S}' \to \mathcal{C}$ and a $1$-morphism $G : \mathcal{S} \to \mathcal{S}'$ of fibred categories over $\mathcal{C}$ (see Categories, Definition 4.32.9) such that

  1. for every $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, and any $x, y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}_ U)$ the map

    \[ \mathit{Mor}(x, y) \longrightarrow \mathit{Mor}(G(x), G(y)) \]

    induced by $G$ identifies the right hand side with the sheafification of the left hand side, and

  2. for every $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, and any $x' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}'_ U)$ there exists a covering $\{ U_ i \to U\} _{i \in I}$ such that for every $i \in I$ the object $x'|_{U_ i}$ is in the essential image of the functor $G : \mathcal{S}_{U_ i} \to \mathcal{S}'_{U_ i}$.

Moreover the stack $\mathcal{S}'$ is determined up to unique $2$-isomorphism by these conditions.

Proof by naive method. In this proof method we proceed in stages:

First, given $x$ lying over $U$ and any object $y$ of $\mathcal{S}$, we say that two morphisms $a, b : x \to y$ of $\mathcal{S}$ lying over the same arrow of $\mathcal{C}$ are locally equal if there exists a covering $\{ f_ i : U_ i \to U\} $ of $\mathcal{C}$ such that the compositions

\[ f_ i^*x \to x \xrightarrow {a} y, \quad f_ i^*x \to x \xrightarrow {b} y \]

are equal. This gives an equivalence relation $\sim $ on arrows of $\mathcal{S}$. If $b \sim b'$ then $a \circ b \circ c \sim a \circ b' \circ c$ (verification omitted). Hence we can quotient out by this equivalence relation to obtain a new category $\mathcal{S}^1$ over $\mathcal{C}$ together with a morphism $G^1 : \mathcal{S} \to \mathcal{S}^1$.

One checks that $G^1$ preserves strongly cartesian morphisms and that $\mathcal{S}^1$ is a fibred category over $\mathcal{C}$. Checks omitted. Thus we reduce to the case where locally equal morphisms are equal.

Next, we add morphisms as follows. Given $x$ lying over $U$ and any object $y$ of lying over $V$ a locally defined morphism from $x$ to $y$ is given by

  1. a morphism $f : U \to V$,

  2. a covering $\{ f_ i : U_ i \to U\} $ of $U$, and

  3. morphisms $a_ i : f_ i^*x \to y$ with $p(a_ i) = f \circ f_ i$

with the property that the compositions

\[ (f_ i \times f_ j)^*x \to f_ i^*x \xrightarrow {a_ i} y, \quad (f_ i \times f_ j)^*x \to f_ j^*x \xrightarrow {a_ j} y \]

are equal. Note that a usual morphism $a : x \to y$ gives a locally defined morphism $(p(a) : U \to V, \{ \text{id}_ U\} , a)$. We say two locally defined morphisms $(f, \{ f_ i : U_ i \to U\} , a_ i)$ and $(g, \{ g_ j : U'_ j \to U\} , b_ j)$ are equal if $f = g$ and the compositions

\[ (f_ i \times g_ j)^*x \to f_ i^*x \xrightarrow {a_ i} y, \quad (f_ i \times g_ j)^*x \to g_ j^*x \xrightarrow {b_ j} y \]

are equal (this is the right condition since we are in the situation where locally equal morphisms are equal). To compose locally defined morphisms $(f, \{ f_ i : U_ i \to U\} , a_ i)$ from $x$ to $y$ and $(g, \{ g_ j : V_ j \to V\} , b_ j)$ from $y$ to $z$ lying over $W$, just take $g \circ f : U \to W$, the covering $\{ U_ i \times _ V V_ j \to U\} $, and as maps the compositions

\[ x|_{U_ i \times _ V V_ j} \xrightarrow {\text{pr}_0^*a_ i} y|_{V_ j} \xrightarrow {b_ j} z \]

We omit the verification that this is a locally defined morphism.

One checks that $\mathcal{S}^2$ with the same objects as $\mathcal{S}$ and with locally defined morphisms as morphisms is a category over $\mathcal{C}$, that there is a functor $G^2 : \mathcal{S} \to \mathcal{S}^2$ over $\mathcal{C}$, that this functor preserves strongly cartesian objects, and that $\mathcal{S}^2$ is a fibred category over $\mathcal{C}$. Checks omitted. This reduces one to the case where the morphism presheaves of $\mathcal{S}$ are all sheaves, by checking that the effect of using locally defined morphisms is to take the sheafification of the (separated) morphisms presheaves.

Finally, in the case where the morphism presheaves are all sheaves we have to add objects in order to make sure descent conditions are effective in the end result. The simplest way to do this is to consider the category $\mathcal{S}'$ whose objects are pairs $(\mathcal{U}, \xi )$ where $\mathcal{U} = \{ U_ i \to U\} $ is a covering of $\mathcal{C}$ and $\xi = (X_ i, \varphi _{ii'})$ is a descent datum relative $\mathcal{U}$. Suppose given two such data $(\mathcal{U}, \xi ) = (\{ f_ i : U_ i \to U\} , x_ i, \varphi _{ii'})$ and $(\mathcal{V}, \eta ) = (\{ g_ j : V_ j \to V\} , y_ j, \psi _{jj'})$. We define

\[ \mathop{Mor}\nolimits _{\mathcal{S}'}((\mathcal{U}, \xi ), (\mathcal{V}, \eta )) \]

as the set of $(f, a_{ij})$, where $f : U \to V$ and

\[ a_{ij} : x_ i|_{U_ i \times _ V V_ j} \longrightarrow y_ j \]

are morphisms of $\mathcal{S}$ lying over $U_ i \times _ V V_ j \to V_ j$. These have to satisfy the following condition: for any $i, i' \in I$ and $j, j' \in J$ set $W = (U_ i \times _ U U_{i'}) \times _ V (V_ j \times _ V V_{j'})$. Then

\[ \xymatrix{ x_ i|_ W \ar[r]_{a_{ij}|_ W} \ar[d]_{\varphi _{ii'}|_ W} & y_ j|_ W \ar[d]^{\psi _{jj'}|_ W} \\ x_{i'}|_ W \ar[r]^{a_{i'j'}|_ W} & y_{j'}|_ W } \]

commutes. At this point you have to verify the following things:

  1. there is a well defined composition on morphisms as above,

  2. this turns $\mathcal{S}'$ into a category over $\mathcal{C}$,

  3. there is a functor $G : \mathcal{S} \to \mathcal{S}'$ over $\mathcal{C}$,

  4. for $x, y$ objects of $\mathcal{S}$ we have $\mathop{Mor}\nolimits _\mathcal {S}(x, y) = \mathop{Mor}\nolimits _{\mathcal{S}'}(G(x), G(y))$,

  5. any object of $\mathcal{S}'$ locally comes from an object of $\mathcal{S}$, i.e., part (2) of the lemma holds,

  6. $G$ preserves strongly cartesian morphisms,

  7. $\mathcal{S}'$ is a fibred category over $\mathcal{C}$, and

  8. $\mathcal{S}'$ is a stack over $\mathcal{C}$.

This is all not hard but there is a lot of it. Details omitted. $\square$

Less naive proof. Here is a less naive proof. By Categories, Lemma 4.35.4 there exists an equivalence of fibred categories $\mathcal{S} \to \mathcal{S}'$ where $\mathcal{S}'$ is a split fibred category, i.e., one in which the pullback functors compose on the nose. Obviously the lemma for $\mathcal{S}'$ implies the lemma for $\mathcal{S}$. Hence we may think of $\mathcal{S}$ as a presheaf in categories.

Consider the $2$-category $\textit{Cat}$ temporarily as a category by forgetting about $2$-morphisms. Let us think of a category as a quintuple $(\text{Ob}, \text{Arrows}, s, t, \circ )$ as in Categories, Section 4.2. Consider the forgetful functor

\[ forget : \textit{Cat} \to \textit{Sets} \times \textit{Sets}, \quad (\text{Ob}, \text{Arrows}, s, t, \circ ) \mapsto (\text{Ob}, \text{Arrows}). \]

Then $forget$ is faithful, $\textit{Cat}$ has limits and $forget$ commutes with them, $\textit{Cat}$ has directed colimits and $forget$ commutes with them, and $forget$ reflects isomorphisms. We can sheafify presheaves with values in $\textit{Cat}$, and by an argument similar to the one in the first part of Sites, Section 7.44 the result commutes with $forget$. Applying this to $\mathcal{S}$ we obtain a sheafification $\mathcal{S}^\# $ which has a sheaf of objects and a sheaf of morphisms both of which are the sheafifications of the corresponding presheaves for $\mathcal{S}$. In this case it is quite easy to see that the map $\mathcal{S} \to \mathcal{S}^\# $ has the properties (1) and (2) of the lemma.

However, the category $\mathcal{S}^\# $ may not yet be a stack since, although the presheaf of objects is a sheaf, the descent condition may not yet be satisfied. To remedy this we have to add more objects. But the argument above does reduce us to the case where $\mathcal{S} = \mathcal{S}_ F$ for some sheaf(!) $F : \mathcal{C}^{opp} \to \textit{Cat}$ of categories. In this case consider the functor $F' : \mathcal{C}^{opp} \to \textit{Cat}$ defined by

  1. The set $\mathop{\mathrm{Ob}}\nolimits (F'(U))$ is the set of pairs $(\mathcal{U}, \xi )$ where $\mathcal{U} = \{ U_ i \to U\} $ is a covering of $U$ and $\xi = (x_ i, \varphi _{ii'})$ is a descent datum relative to $\mathcal{U}$.

  2. A morphism in $F'(U)$ from $(\mathcal{U}, \xi )$ to $(\mathcal{V}, \eta )$ is an element of

    \[ \mathop{\mathrm{colim}}\nolimits \mathop{Mor}\nolimits _{DD(\mathcal{W})}(a^*\xi , b^*\eta ) \]

    where the colimit is over all common refinements $a : \mathcal{W} \to \mathcal{U}$, $b : \mathcal{W} \to \mathcal{V}$. This colimit is filtered (verification omitted). Hence composition of morphisms in $F(U)$ is defined by finding a common refinement and composing in $DD(\mathcal{W})$.

  3. Given $h : V \to U$ and an object $(\mathcal{U}, \xi )$ of $F'(U)$ we set $F'(h)(\mathcal{U}, \xi )$ equal to $(V \times _ U \mathcal{U}, \text{pr}_1^*\xi )$. More precisely, if $\mathcal{U} = \{ U_ i \to U\} $ and $\xi = (x_ i, \varphi _{ii'})$, then $V \times _ U \mathcal{U} = \{ V \times _ U U_ i \to V\} $ which comes with a canonical morphism $\text{pr}_1 : V \times _ U \mathcal{U} \to \mathcal{U}$ and $\text{pr}_1^*\xi $ is the pullback of $\xi $ with respect to this morphism (see Definition 8.3.4).

  4. Given $h : V \to U$, objects $(\mathcal{U}, \xi )$ and $(\mathcal{V}, \eta )$ and a morphism between them, represented by $a : \mathcal{W} \to \mathcal{U}$, $b : \mathcal{W} \to \mathcal{V}$, and $\alpha : a^*\xi \to b^*\eta $, then $F'(h)(\alpha )$ is represented by $a' : V \times _ U\mathcal{W} \to V \times _ U\mathcal{U}$, $b' : V \times _ U\mathcal{W} \to V \times _ U\mathcal{V}$, and the pullback $\alpha '$ of the morphism $\alpha $ via the map $V \times _ U \mathcal{W} \to \mathcal{W}$. This works since pullbacks in $\mathcal{S}_ F$ commute on the nose.

There is a map $F \to F'$ given by associating to an object $x$ of $F(U)$ the object $(\{ U \to U\} , (x, triv))$ of $F'(U)$. At this point you have to check that the corresponding functor $\mathcal{S}_ F \to \mathcal{S}_{F'}$ has properties (1) and (2) of the lemma, and finally that $\mathcal{S}_{F'}$ is a stack. Details omitted. $\square$

Lemma 8.8.2. Let $\mathcal{C}$ be a site. Let $p : \mathcal{S} \to \mathcal{C}$ be a fibred category over $\mathcal{C}$. Let $p' : \mathcal{S}' \to \mathcal{C}$ and $G : \mathcal{S} \to \mathcal{S}'$ the stack and $1$-morphism constructed in Lemma 8.8.1. This construction has the following universal property: Given a stack $q : \mathcal{X} \to \mathcal{C}$ and a $1$-morphism $F : \mathcal{S} \to \mathcal{X}$ of fibred categories over $\mathcal{C}$ there exists a $1$-morphism $H : \mathcal{S}' \to \mathcal{X}$ such that the diagram

\[ \xymatrix{ \mathcal{S} \ar[rr]_ F \ar[rd]_ G & & \mathcal{X} \\ & \mathcal{S}' \ar[ru]_ H } \]

is $2$-commutative.

Proof. Omitted. Hint: Suppose that $x' \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}'_ U)$. By the result of Lemma 8.8.1 there exists a covering $\{ U_ i \to U\} _{i \in I}$ such that $x'|_{U_ i} = G(x_ i)$ for some $x_ i \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}_{U_ i})$. Moreover, there exist coverings $\{ U_{ijk} \to U_ i \times _ U U_ j\} $ and isomorphisms $\alpha _{ijk} : x_ i|_{U_{ijk}} \to x_ j|_{U_{ijk}}$ with $G(\alpha _{ijk}) = \text{id}_{x'|_{U_{ijk}}}$. Set $y_ i = F(x_ i)$. Then you can check that

\[ F(\alpha _{ijk}) : y_ i|_{U_{ijk}} \to y_ j|_{U_{ijk}} \]

agree on overlaps and therefore (as $\mathcal{X}$ is a stack) define a morphism $\beta _{ij} : y_ i|_{U_ i \times _ U U_ j} \to y_ j|_{U_ i \times _ U U_ j}$. Next, you check that the $\beta _{ij}$ define a descent datum. Since $\mathcal{X}$ is a stack these descent data are effective and we find an object $y$ of $\mathcal{X}_ U$ agreeing with $G(x_ i)$ over $U_ i$. The hint is to set $H(x') = y$. $\square$

Lemma 8.8.3. Notation and assumptions as in Lemma 8.8.2. There is a canonical equivalence of categories

\[ \mathop{Mor}\nolimits _{\textit{Fib}/\mathcal{C}}(\mathcal{S}, \mathcal{X}) = \mathop{Mor}\nolimits _{\textit{Stacks}/\mathcal{C}}(\mathcal{S}', \mathcal{X}) \]

given by the constructions in the proof of the aforementioned lemma.

Proof. Omitted. $\square$

Lemma 8.8.4. Let $\mathcal{C}$ be a site. Let $f : \mathcal{X} \to \mathcal{Y}$ and $g : \mathcal{Z} \to \mathcal{Y}$ be morphisms of fibred categories over $\mathcal{C}$. In this case the stackification of the $2$-fibre product is the $2$-fibre product of the stackifications.

Proof. Let us denote $\mathcal{X}', \mathcal{Y}', \mathcal{Z}'$ the stackifications and $\mathcal{W}$ the stackification of $\mathcal{X} \times _\mathcal {Y} \mathcal{Z}$. By construction of $2$-fibre products there is a canonical $1$-morphism $\mathcal{X} \times _\mathcal {Y} \mathcal{Z} \to \mathcal{X}' \times _{\mathcal{Y}'} \mathcal{Z}'$. As the second $2$-fibre product is a stack (see Lemma 8.4.6) this $1$-morphism induces a $1$-morphism $h : \mathcal{W} \to \mathcal{X}' \times _{\mathcal{Y}'} \mathcal{Z}'$ by the universal property of stackification, see Lemma 8.8.2. Now $h$ is a morphism of stacks, and we may check that it is an equivalence using Lemmas 8.4.7 and 8.4.8.

Thus we first prove that $h$ induces isomorphisms of $\mathit{Mor}$-sheaves. Let $\xi , \xi '$ be objects of $\mathcal{W}$ over $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. We want to show that

\[ h : \mathit{Mor}(\xi , \xi ') \longrightarrow \mathit{Mor}(h(\xi ), h(\xi ')) \]

is an isomorphism. To do this we may work locally on $U$ (see Sites, Section 7.26). Hence by construction of $\mathcal{W}$ (see Lemma 8.8.1) we may assume that $\xi , \xi '$ actually come from objects $(x, z, \alpha )$ and $(x', z', \alpha ')$ of $\mathcal{X} \times _\mathcal {Y} \mathcal{Z}$ over $U$. By the same lemma once more we see that in this case $\mathit{Mor}(\xi , \xi ')$ is the sheafification of

\[ V/U \longmapsto \mathop{Mor}\nolimits _{\mathcal{X}_ V}(x|_ V, x'|_ V) \times _{\mathop{Mor}\nolimits _{\mathcal{Y}_ V}(f(x)|_ V, f(x')|_ V)} \mathop{Mor}\nolimits _{\mathcal{Z}_ V}(z|_ V, z'|_ V) \]

and that $\mathit{Mor}(h(\xi ), h(\xi '))$ is equal to the fibre product

\[ \mathit{Mor}(i(x), i(x')) \times _{\mathit{Mor}(j(f(x)), j(f(x'))} \mathit{Mor}(k(z), k(z')) \]

where $i : \mathcal{X} \to \mathcal{X}'$, $j : \mathcal{Y} \to \mathcal{Y}'$, and $k : \mathcal{Z} \to \mathcal{Z}'$ are the canonical functors. Thus the first displayed map of this paragraph is an isomorphism as sheafification is exact (and hence the sheafification of a fibre product of presheaves is the fibre product of the sheafifications).

Finally, we have to check that any object of $\mathcal{X}' \times _{\mathcal{Y}'} \mathcal{Z}'$ over $U$ is locally on $U$ in the essential image of $h$. Write such an object as a triple $(x', z', \alpha )$. Then $x'$ locally comes from an object of $\mathcal{X}$, $z'$ locally comes from an object of $\mathcal{Z}$, and having made suitable replacements for $x'$, $z'$ the morphism $\alpha $ of $\mathcal{Y}'_ U$ locally comes from a morphism of $\mathcal{Y}$. In other words, we have shown that any object of $\mathcal{X}' \times _{\mathcal{Y}'} \mathcal{Z}'$ over $U$ is locally on $U$ in the essential image of $\mathcal{X} \times _\mathcal {Y} \mathcal{Z} \to \mathcal{X}' \times _{\mathcal{Y}'} \mathcal{Z}'$, hence a fortiori it is locally in the essential image of $h$. $\square$

Lemma 8.8.5. Let $\mathcal{C}$ be a site. Let $\mathcal{X}$ be a fibred category over $\mathcal{C}$. The stackification of the inertia fibred category $\mathcal{I}_\mathcal {X}$ is inertia of the stackification of $\mathcal{X}$.

Proof. This follows from the fact that stackification is compatible with $2$-fibre products by Lemma 8.8.4 and the fact that there is a formula for the inertia in terms of $2$-fibre products of categories over $\mathcal{C}$, see Categories, Lemma 4.33.1. $\square$


Comments (7)

Comment #1256 by James Waldron on

In the statement of Lemma 8.8.2, should be a morphism instead of .

Comment #1430 by yogesh more on

Minor typos: in line 1408 (proof of Lemma 8.8.1, condition 3 of locally defined morphism), should be and should be .

In line 1419 , you can replace the domain of by something besides (since is the domain of ), e.g. .

Comment #4002 by Praphulla Koushik on

This is about Lemma 8.8.4.

There are typos in last paragraph starting with "Finally, we have to check that any object of --"

The content

"Write such an object as a triple . Then locally comes from an object of , locally comes from an object of , and having made suitable replacements for the morphism of locally comes from a morphism of "

should be read as

"Write such an object as a triple . Then locally comes from an object of , locally comes from an object of , and having made suitable replacements for the morphism of locally comes from a morphism of "

It might be a good idea to read

"Hence by construcion of (see Lemma ) we may assume that actually comes from objects and of over "

as

"Hence by construcion of (see Lemma ) we may assume that actually comes from objects and of over "

Comment #4004 by Praphulla Koushik on

If I did not misunderstand there is a minor typo in statement of Lemma .

I think

"the object , is in the essential image of the functor "

should be read as

"the object , is in the essential image of the functor "


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 02ZM. Beware of the difference between the letter 'O' and the digit '0'.