Definition 90.22.1. A groupoid in functors on $\mathcal{C}_\Lambda $ is prorepresentable if it is isomorphic to $(\underline{R_0}, \underline{R_1}, s, t, c)|_{\mathcal{C}_\Lambda }$ for some representable groupoid in functors $(\underline{R_0}, \underline{R_1}, s, t, c)$ on the category $\widehat{\mathcal{C}}_\Lambda $.
90.22 Groupoids in functors on the base category
In this section we discuss groupoids in functors on $\mathcal{C}_\Lambda $. Our eventual goal is to show that prorepresentable groupoids in functors on $\mathcal{C}_\Lambda $ serve as “presentations” for well-behaved deformation categories in the same way that smooth groupoids in algebraic spaces serve as presentations for algebraic stacks, cf. Algebraic Stacks, Section 94.16.
Let $(U, R, s, t, c)$ be a groupoid in functors on $\mathcal{C}_\Lambda $. Taking completions, we get a quintuple $(\widehat{U}, \widehat{R}, \widehat{s}, \widehat{t}, \widehat{c})$. By Remark 90.7.10 completion as a functor on $\text{CofSet}(\mathcal{C}_\Lambda )$ is a right adjoint, so it commutes with limits. In particular, there is a canonical isomorphism
\[ \widehat{R \times _{s, U, t} R} \longrightarrow \widehat{R} \times _{\widehat{s}, \widehat{U}, \widehat{t}} \widehat{R}, \]
so $\widehat{c}$ can be regarded as a functor $\widehat{R} \times _{\widehat{s}, \widehat{U}, \widehat{t}} \widehat{R} \to \widehat{R}$. Then $(\widehat{U}, \widehat{R}, \widehat{s}, \widehat{t}, \widehat{c})$ is a groupoid in functors on $\widehat{\mathcal{C}}_\Lambda $, with identity and inverse morphisms being the completions of those of $(U, R, s, t, c)$.
Definition 90.22.2. Let $(U, R, s, t, c)$ be a groupoid in functors on $\mathcal{C}_\Lambda $. The completion $(U, R, s, t, c)^{\wedge }$ of $(U, R, s, t, c)$ is the groupoid in functors $(\widehat{U}, \widehat{R}, \widehat{s}, \widehat{t}, \widehat{c})$ on $\widehat{\mathcal{C}}_\Lambda $ described above.
Remark 90.22.3. Let $(U, R, s, t, c)$ be a groupoid in functors on $\mathcal{C}_\Lambda $. Then there is a canonical isomorphism $(U, R, s, t, c)^{\wedge }|_{\mathcal{C}_\Lambda } \cong (U, R, s, t, c)$, see Remark 90.7.7. On the other hand, let $(U, R, s, t, c)$ be a groupoid in functors on $\widehat{\mathcal{C}}_\Lambda $ such that $U, R : \widehat{\mathcal{C}}_\Lambda \to \textit{Sets}$ both commute with limits, e.g. if $U, R$ are representable. Then there is a canonical isomorphism $((U, R, s, t, c)|_{\mathcal{C}_\Lambda })^{\wedge } \cong (U, R, s, t, c)$. This follows from Remark 90.7.11.
Lemma 90.22.4. Let $(U, R, s, t, c)$ be a groupoid in functors on $\mathcal{C}_\Lambda $.
$(U, R, s, t, c)$ is prorepresentable if and only if its completion is representable as a groupoid in functors on $\widehat{\mathcal{C}}_\Lambda $.
$(U, R, s, t, c)$ is prorepresentable if and only if $U$ and $R$ are prorepresentable.
Proof. Part (1) follows from Remark 90.22.3. For (2), the “only if” direction is clear from the definition of a prorepresentable groupoid in functors. Conversely, assume $U$ and $R$ are prorepresentable, say $U \cong \underline{R_0}|_{\mathcal{C}_\Lambda }$ and $R \cong \underline{R_1}|_{\mathcal{C}_\Lambda }$ for objects $R_0$ and $R_1$ of $\widehat{\mathcal{C}}_\Lambda $. Since $\underline{R_0} \cong \widehat{\underline{R_0}|_{\mathcal{C}_\Lambda }}$ and $\underline{R_1} \cong \widehat{\underline{R_1}|_{\mathcal{C}_\Lambda }}$ by Remark 90.7.11 we see that the completion $(U, R, s, t, c)^\wedge $ is a groupoid in functors of the form $(\underline{R_0}, \underline{R_1}, \widehat{s}, \widehat{t}, \widehat{c})$. By Lemma 90.4.3 the pushout $\underline{R_1} \times _{\widehat{s}, \underline{R_1}, \widehat{t}} \underline{R_1}$ exists. Hence $(\underline{R_0}, \underline{R_1}, \widehat{s}, \widehat{t}, \widehat{c})$ is a representable groupoid in functors on $\widehat{\mathcal{C}}_\Lambda $. Finally, the restriction $(\underline{R_0}, \underline{R_1}, s, t, c)|_{\mathcal{C}_\Lambda }$ gives back $(U, R, s, t, c)$ by Remark 90.22.3 hence $(U, R, s, t, c)$ is prorepresentable by definition. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)