Higher orbifolds and Deligne-Mumford stacks as structured infinity-topoi

DOI10.1090/MEMO/1282MaRDI QIDQ5113920zbMATH OpenOpenAlexFDO

Authors David Carchedi

Publication date 19 June 2020

Published in Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1312.2204, http://hdl.handle.net/21.11116/0000-0006-5008-7

zbMATH Keywords

orbifoldsDeligne-Mumford stackshigher stacksinfinity-topoi

Mathematics Subject Classification ID

Topoi (18B25) Stacks and moduli problems (14D23) Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Topos-theoretic approach to differentiable manifolds (58A03) Research exposition (monographs, survey articles) pertaining to category theory (18-02) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Abstract: 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, 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's work, 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 previous work of the author, which extends to derived and spectral Deligne-Mumford stacks as well.

Recommendations

• On the geometry of Deligne-Mumford stacks
• scientific article
• Étale stacks as prolongations
• Orbifolds as stacks?
• Algebraic geometry over \(C^\infty \)-rings

Cites work

• scientific article; zbMATH DE number 3741604 (Why is no real title available?)
• scientific article; zbMATH DE number 598027 (Why is no real title available?)
• scientific article; zbMATH DE number 711255 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 929701 (Why is no real title available?)
• scientific article; zbMATH DE number 3342529 (Why is no real title available?)
• scientific article; zbMATH DE number 3358638 (Why is no real title available?)
• A note on tangent bundles in a category with a ring object.
• An extension of the Galois theory of Grothendieck
• An étalé space construction for stacks
• Atomless Parts of Spaces.
• Categorified central extensions, étale Lie 2-groups and Lie's third theorem for locally exponential Lie algebras
• Compactifying the space of stable maps
• Derived smooth manifolds
• Descent for \(n\)-bundles
• Higher Topos Theory (AM-170)
• Homotopical algebraic geometry. II. Geometric stacks and applications
• Integrating Lie algebroids via stacks
• Intersection theory on the moduli space of curves and the matrix Airy function
• Lectures on \(n\)-categories and cohomology
• Morse inequalities for orbifold cohomology
• ON A GENERALIZATION OF THE NOTION OF MANIFOLD
• Orbifolds, sheaves and groupoids
• Quasi-categories and Kan complexes
• Relative quantum field theory
• Sheaves in geometry and logic: a first introduction to topos theory
• Shifted Poisson structures and deformation quantization
• Shifted symplectic structures
• Strictification of étale stacky Lie groups
• The Classifying Topos of a Continuous Groupoid. I
• The Uses and Abuses of the History of Topos Theory
• The irreducibility of the space of curves of a given genus
• Une compactification des champs classifiant les chtoucas de Drinfeld
• Vector fields and flows on differentiable stacks
• Von Neumann and lattice theory
• n-Groupoids and Stacky Groupoids
• Étale stacks as prolongations

Cited in

(6)

• The orbifold Chow ring of hypertoric Deligne-Mumford stacks
• On the homotopy type of higher orbifolds and Haefliger classifying spaces
• Étale stacks as prolongations
• Lie groupoids as generalized atlases
• Algebraic geometry over \(C^\infty \)-rings
• On the étale homotopy type of higher stacks

This page was built for publication: Higher orbifolds and Deligne-Mumford stacks as structured infinity-topoi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5113920)