Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Putting together
and complex analytic ∞-groupoid, presumably there’s nothing to stop
to generalise complex supermanifold.
Yes, that should work without problem.
Would we still say that shape is and that is in this complex setting?
So in the complex setting shape would not be localization at . It might be that it is now localization at , but I haven’t really thought this through.
But would still hold, and I would still write it this way, yes.
Ah, so I wonder how things should be said in a model independent way.
We could have and , but isn’t it possible that in some other nontrivial model of solid cohesion that we wouldn’t have as ?
Yes, there could be models of solid cohesion where is not . We discussed this before, that it seems unclear and in fact unlikely that solid cohesion as presently set up is sufficient to fully characterize supergeometry.
But slight variants of this localization business will work more generally. For instance I suppose it follows readily that in complex analytic cohesion the shape modality is given by localization at the collection of all all Stein spaces.
Similarly, reduction will maybe not in general be localization at , but should fairly generally be localization at the collection at all infinitesimally thickened points.
1 to 6 of 6