8
$\begingroup$

In Jacob Lurie's Higher Topos Theory, Section 6.5.3, he briefly mentions that to stackify a presheaf of $n$-groupoids, one needs to apply the "+"-construction $\left(n+2\right)$ times, and in general, for a presheaf of $\infty$-groupoids, one needs to apply a transfinite iteration. However, not much detail is given about this. Does anyone know where I can read more about this? Thanks.

$\endgroup$
9
  • 1
    $\begingroup$ For n=2 it can be found in Igor Bakovic's thesis. For n=1 this was known to Grothendieck and his crew. I would perhaps add to the question the clarifying remark that this +-construction is not Quillen's, but Grothendieck's. $\endgroup$
    – David Roberts
    Nov 28, 2010 at 23:04
  • $\begingroup$ The Quillen +-construction is fairly well-known; what's the Grothendieck one? $\endgroup$
    – Romeo
    Nov 28, 2010 at 23:18
  • $\begingroup$ See Mac Lane--Moerdijk, Sheaves in Geometry and Logic, section III.5. $\endgroup$ Nov 29, 2010 at 0:03
  • $\begingroup$ Thanks for the comments thus far. I should mention I am most interested in finding a reference where this is done in full generality, not just at the cases $n=1$ or $n=2$, as I need to apply this in an $\infty$-setting. (Although, of course, looking at these special cases will be illuminating) $\endgroup$ Nov 29, 2010 at 0:51
  • 1
    $\begingroup$ I discussed the +-construction in the context of higher topos theory a little bit, in some notes I wrote: math.uiuc.edu/~rezk/homotopy-topos-sketch.pdf . See especially sections 3 and 11. $\endgroup$ Nov 29, 2010 at 15:35

2 Answers 2

3
$\begingroup$

Thomas Nikolaus and Christoph Schweigert discuss the +-construction for $n=2$ in their paper Equivariance in Higher Geometry. They split it up into two steps (I think): first producing a pre-2-stack out of a presheaf of 2-groupoids, and then making it a 2-stack.

Applied to the pre-2-stack obtained by delooping the monoidal stack of principal $U(1)$-bundles, one gets exactly the definition of a bundle gerbe.

$\endgroup$
3
  • $\begingroup$ I don't see any discussion in this paper of the first step, producing a 2-prestack from a 2-presheaf. They describe the +-construction but the only theorem I see about it is that it takes 2-prestacks to 2-stacks. $\endgroup$ May 5, 2021 at 22:42
  • $\begingroup$ @Mike: you're right. But I think that this first step is rather easy: the Hom-categories are presheaves of categories and can be stackified in the usual (1-categorical) way. $\endgroup$ May 6, 2021 at 8:11
  • $\begingroup$ But that's not quite the same as applying the +-construction $n+2$ times to an $n$-presheaf. $\endgroup$ May 6, 2021 at 17:02
3
$\begingroup$

This is discussed in section 3.4.3 of https://arxiv.org/abs/2004.00731 by Mathieu Anel and Chaitanya Leena Subramaniam.

$\endgroup$
1
  • $\begingroup$ Inspired by this paper, I wrote up a very similar argument on the nLab. $\endgroup$ May 28, 2021 at 18:44

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.