Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical description of which stacks arise as the functor of points of such objects. We choose to model higher orbifolds and Deligne-Mumford stacks as infinity-topoi equipped with a structure sheaf, thus naturally generalizing the work of Lurie (2004), but our approach applies not only to different settings of algebraic geometry such as classical algebraic geometry, derived algebraic geometry, and the algebraic geometry of commutative ring spectra as in Lurie (2004), but also to differential topology, complex geometry, the theory of supermanifolds, derived manifolds etc., where it produces a theory of higher generalized orbifolds appropriate for these settings. This universal framework yields new insights into the general theory of Deligne-Mumford stacks and orbifolds, including a representability criterion which gives a categorical characterization of such generalized Deligne-Mumford stacks. This specializes to a new categorical description of classical Deligne-Mumford stacks, a result sketched in Carchedi (2019), which extends to derived and spectral Deligne-Mumford stacks as well"--

Toposes --- Categories (Mathematics) --- Orbifolds. --- Orbivariétés --- Catégories (mathématiques) --- Topos (mathématiques) --- Toposes. --- Category theory; homological algebra {For commutative rings see 13Dxx, for associative rings 16Exx, for groups 20Jxx, for topological groups and related structures 57Txx; see also 55Nxx and 55Uxx for --- Algebraic geometry -- Families, fibrations -- Stacks and moduli problems. --- Global analysis, analysis on manifolds [See also 32Cxx, 32Fxx, 32Wxx, 46-XX, 47Hxx, 53Cxx] {For geometric integration theory, see 49Q15} -- General theory of differentiable manifolds [See also 32Cxx]