The Stacks project

Lemma 8.12.8. Let $u : \mathcal{C} \to \mathcal{D}$ be a functor. Let $p : \mathcal{S} \to \mathcal{C}$ and $q : \mathcal{T} \to \mathcal{D}$ be categories over $\mathcal{C}$ and $\mathcal{D}$. Assume that

  1. $p : \mathcal{S} \to \mathcal{C}$ is a fibred category,

  2. $q : \mathcal{T} \to \mathcal{D}$ is a fibred category,

  3. $\mathcal{C}$ has nonempty finite limits, and

  4. $u : \mathcal{C} \to \mathcal{D}$ commutes with nonempty finite limits.

Then we have a canonical equivalence of categories

\[ \mathop{Mor}\nolimits _{\textit{Fib}/\mathcal{C}}(\mathcal{S}, u^ p\mathcal{T}) = \mathop{Mor}\nolimits _{\textit{Fib}/\mathcal{D}}(u_ p\mathcal{S}, \mathcal{T}) \]

of morphism categories.

Proof. In this proof we use the notation $x/U$ to denote an object $x$ of $\mathcal{S}$ which lies over $U$ in $\mathcal{C}$. Similarly $y/V$ denotes an object $y$ of $\mathcal{T}$ which lies over $V$ in $\mathcal{D}$. In the same vein $\alpha /a : x/U \to x'/U'$ denotes the morphism $\alpha : x \to x'$ with image $a : U \to U'$ in $\mathcal{C}$.

Let $G : u_ p\mathcal{S} \to \mathcal{T}$ be a $1$-morphism of fibred categories over $\mathcal{D}$. Denote $G' : u_{pp}\mathcal{S} \to \mathcal{T}$ the composition of $G$ with the canonical (localization) functor $u_{pp}\mathcal{S} \to u_ p\mathcal{S}$. Then consider the functor $H : \mathcal{S} \to u^ p\mathcal{T}$ given by

\[ H(x/U) = (U, G'(U, \text{id}_{u(U)} : u(U) \to u(U), x)) \]

on objects and by

\[ H((\alpha , a) : x/U \to x'/U') = G'(a, u(a), \alpha ) \]

on morphisms. Since $G$ transforms strongly cartesian morphisms into strongly cartesian morphisms, we see that if $\alpha $ is strongly cartesian, then $H(\alpha )$ is strongly cartesian. Namely, we've seen in the proof of Lemma 8.12.6 that in this case the map $(a, u(a), \alpha )$ becomes strongly cartesian in $u_ p\mathcal{S}$. Clearly this construction is functorial in $G$ and we obtain a functor

\[ A : \mathop{Mor}\nolimits _{\textit{Fib}/\mathcal{D}}(u_ p\mathcal{S}, \mathcal{T}) \longrightarrow \mathop{Mor}\nolimits _{\textit{Fib}/\mathcal{C}}(\mathcal{S}, u^ p\mathcal{T}) \]

Conversely, let $H : \mathcal{S} \to u^ p\mathcal{T}$ be a $1$-morphism of fibred categories. Recall that an object of $u^ p\mathcal{T}$ is a pair $(U, y)$ with $y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{T}_{u(U)})$. We denote $\text{pr} : u^ p\mathcal{T} \to \mathcal{T}$ the functor $(U, y) \mapsto y$. In this case we define a functor $G' : u_{pp}\mathcal{S} \to \mathcal{T}$ by the rules

\[ G'(U, \phi : V \to u(U), x) = \phi ^*\text{pr}(H(x)) \]

on objects and we let

\[ G'((a, b, \alpha ) : (U, \phi : V \to u(U), x) \to (U', \phi ' : V' \to u(U'), x')) = \beta \]

be the unique morphism $\beta : \phi ^*\text{pr}(H(x)) \to (\phi ')^*\text{pr}(H(x'))$ such that $q(\beta ) = b$ and the diagram

\[ \xymatrix{ \phi ^*\text{pr}(H(x)) \ar[d] \ar[r]_-{\beta } & (\phi ')^*\text{pr}(H(x')) \ar[d] \\ \text{pr}(H(x)) \ar[r]^{\text{pr}(H(a, \alpha ))} & \text{pr}(H(x')) } \]

Such a morphism exists and is unique because $\mathcal{T}$ is a fibred category.

We check that $G'(r)$ is an isomorphism if $r \in R$. Namely, if

\[ (a, \text{id}_ V, \alpha ) : (U', \phi ' : V \to u(U'), x') \longrightarrow (U, \phi : V \to u(U), x) \]

with $\alpha $ strongly cartesian is an element of the right multiplicative system $R$ of Lemma 8.12.5 then $H(\alpha )$ is strongly cartesian, and $\text{pr}(H(\alpha ))$ is strongly cartesian, see proof of Lemma 8.12.1. Hence in this case the morphism $\beta $ has $q(\beta ) = \text{id}_ V$ and is strongly cartesian. Hence $\beta $ is an isomorphism by Categories, Lemma 4.33.2. Thus by Categories, Lemma 4.27.16 we obtain a canonical extension $G : u_ p\mathcal{S} \to \mathcal{T}$.

Next, let us prove that $G$ transforms strongly cartesian morphisms into strongly cartesian morphisms. Suppose that $f : X \to Y$ is a strongly cartesian. By the characterization of strongly cartesian morphisms in $u_ p\mathcal{S}$ we can write $f$ as $((a, b, \alpha ) : X' \to Y, r : X' \to Y)$ where $r \in R$ and $\alpha $ strongly cartesian in $\mathcal{S}$. By the above it suffices to show that $G'(a, b \alpha )$ is strongly cartesian. As before the condition that $\alpha $ is strongly cartesian implies that $\text{pr}(H(a, \alpha )) : \text{pr}(H(x)) \to \text{pr}(H(x'))$ is strongly cartesian in $\mathcal{T}$. Since in the commutative square above now all arrows except possibly $\beta $ is strongly cartesian it follows that also $\beta $ is strongly cartesian as desired. Clearly the construction $H \mapsto G$ is functorial in $H$ and we obtain a functor

\[ B : \mathop{Mor}\nolimits _{\textit{Fib}/\mathcal{C}}(\mathcal{S}, u^ p\mathcal{T}) \longrightarrow \mathop{Mor}\nolimits _{\textit{Fib}/\mathcal{D}}(u_ p\mathcal{S}, \mathcal{T}) \]

To finish the proof of the lemma we have to show that the functors $A$ and $B$ are mutually quasi-inverse. We omit the verifications. $\square$


Comments (0)

There are also:

  • 2 comment(s) on Section 8.12: Functoriality for stacks

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 04WI. Beware of the difference between the letter 'O' and the digit '0'.