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

## 89.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 93.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 89.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 89.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 89.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 89.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 89.7.11.

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