5
$\begingroup$

Let $C$ be an $\infty$-category endowed with a Grothendieck topology $J$ and consider the $\infty$-topos $\infty\text{Sh}(C, J)$. There is a natural geometric morphism to $\infty\text{Grpd}$ whose left adjoint is the constant sheaf functor $\Delta : \infty \text{Grpd} \to \infty\text{Sh}(C, J)$.

In the 1-topos case, $\Delta$ acts as follows: Take a set $S$ and take the constant presheaf on $S$, then sheafify. The resulting sheaf has the property that $\Delta(S)(U) = S$ for $U$ connected. Is this also true in the $\infty$ case, or do we need $U$ to be contractible? What even is $\Delta$??

$\endgroup$

1 Answer 1

4
$\begingroup$

You need $U$ "contractible". In general $\Delta(S)$ is defined exactly as in the $1$-topos case: "take the constant presheaf valued at $S$ and sheafify it" (i.e. applies the left adjoint to the forget full functor from sheaf to presheaf).

This theorem, when one takes $U$ contractible, is indeed also true for $\infty$-topos, but as far as I'm concerned this is the definition of a "contractible $\infty$-topos". To put in another way, if you want to see a proof it, it highly depends on what you mean by "U is contractible".

To give an example that should show you that 'connected' is not enough, consider sheaves on a nice topological space $X$ (typically a CW-complex), and take $S$ to be some Eilenberg-Mac lane space $S = K(\pi,n)$ (though any space would do).

Then in general, $\Delta(S)(U)$ for $U \subset X$ an open subspace is the space of maps from $U$ to $S$.

So as soon as as $H^n(U,\pi)$ is non zero, $\Delta(S)(U)$ has several connected component (corresponding exactly to elements of $H^n(U,\pi)$) while $S$ itself only has one connected component.

Note that in this special case (when $X$ is a nice topological space) it is easy to see that the formula $\Delta(S)(U) = S$ holds for all $S$ exactly when $U$ is contractible as a topological space in the usual sense. But, as mentioned before, for a more general topos you might want to clarify what "contractible" should mean in the first place... and depending on what definition you go for, it makes the question trivial or not.

$\endgroup$
2
  • $\begingroup$ Thank you! Do you happen to know if in the case where $\mathbb{H}$ is the $\infty$-étale topos and $S = K(\pi, n)$, we have that $\pi_0(\Delta(S)(X)) = H_{ét}^n(X, \pi)$ for $X \in \mathbb{H}$? $\endgroup$
    – merle
    Sep 6, 2019 at 17:00
  • $\begingroup$ I think this is the case, but I'm not an expert in algebraic geometry so you might want to double check it $\endgroup$ Sep 6, 2019 at 17:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.