1
$\begingroup$

More precisely, consider a Segal groupoid $X_*$ in an infinity category of derived schemes : dSch

In Toen's note, 'Derived Algebraic Geometry', he defines a 1-Artin stacks as a homotopy colimits of a smooth Segal groupoid $X_*$.

smooth means that morphism $X_1 \to X_0$ from groupoid structure are all smooth.

Then I'm curious about if we replace smooth morphism by open inclusion of derived scheme, then the colimit of the Segal groupoid $X_*$ again lies in dSch or not?

$\endgroup$
1
  • $\begingroup$ You need to take Zariski local isomorphism rather than open inclusion, or the groupoid will be trivial. Then you need to impose constraints on the matching objects to avoid stacky structure - see for instance Prop 4.1 and Rem 1.27 of "Presenting higher stacks as simplicial schemes". $\endgroup$ Feb 16, 2018 at 9:13

0

Your Answer

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