Definition 88.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 $.

## 88.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 92.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 88.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

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 88.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 88.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 88.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 88.7.11.

Lemma 88.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 88.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 88.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 88.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 88.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).

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.

## Comments (0)