Proper Orbifold Cohomology
arXiv:2008.01101
Abstract
The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that orbifolds have come to play in mathematics and mathematical physics, especially in string theory, the formulation of a general theory of orbifolds reflecting this unification has remained an open problem. Here we present a natural theory argued to achieve this. We give both a general abstract axiomatization in higher topos theory, as well as concrete models for ordinary as well as for super-geometric and for higher-geometric orbifolds. Our first main result is a fully faithful embedding of the 2-category of orbifolds into a singular-cohesive infinity-topos whose intrinsic cohomology theory is proper globally equivariant differential generalized cohomology, subsuming traditional orbifold cohomology, Chen-Ruan cohomology, and orbifold K-theory. Our second main result is a general construction of orbifold etale cohomology which we show to naturally unify (i) tangentially twisted cohomology of smooth but curved spaces with (ii) RO-graded proper equivariant cohomology of flat but singular spaces. As a fundamental example we present J-twisted orbifold Cohomotopy theories with coefficients in shapes of generalized Tate spheres. According to "Hypothesis H" this includes the proper orbifold cohomology theory that controls non-perturbative string theory.
arXiv comment122 pages; v2: some typos fixed
References in corpus (56)
- Higher Topos Theory
- A New Cohomology Theory for Orbifold
- Strings in a Time-Dependent Orbifold
- Strings in Time-Dependent Orbifolds
- Orbifolds as Groupoids: an Introduction
- Twisted differential String and Fivebrane structures
- Global homotopy theory
- Differential cohomology in a cohesive infinity-topos
- Resolving symplectic orbifolds with applications to finite group actions
- Principal infinity-bundles -- General theory
- Derived Algebraic Geometry V: Structured Spaces
- Homotopy Theory of Orbispaces
- A higher stacky perspective on Chern-Simons theory
- Equivariant Cohomotopy implies orientifold tadpole cancellation
- Rational sphere valued supercocycles in M-theory and type IIA string theory
- A convenient category for directed homotopy
- Principal infinity-bundles - Presentations
- A Short Review of Time Dependent Solutions and Space-like Singularities in String Theory
- Some remarks on G_2-structures
- A Homotopy Theory of Orbispaces
- Differential Cohomotopy implies intersecting brane observables via configuration spaces and chord diagrams
- The homotopy theory of diffeological spaces
- Analogues of Discrete Torsion for the M-Theory Three-Form
- A Stringy Product on Twisted Orbifold K-theory
- Morse Inequalities for Orbifold Cohomology
- Twistorial Cohomotopy implies Green-Schwarz anomaly cancellation
- Ramond-Ramond Fields, Fractional Branes and Orbifold Differential K-Theory
- All -toposes have strict univalent universes
- Discrete Torsion in Perturbative Heterotic String Theory
- Lift of fractional D-brane charge to equivariant Cohomotopy theory
- On the topology of desingularizations of Calabi-Yau orbifolds
- D-manifolds, d-orbifolds and derived differential geometry: a detailed summary
- Vector Fields and Flows on Differentiable Stacks
- Derived Algebraic Geometry IV: Deformation Theory
- Differential orbifold K-Theory
- Differential Equivariant K-Theory
- Cohomologies of certain orbifolds
- Proper equivariant stable homotopy theory
- Differential Characters on Orbifolds and String Connections I
- A survey of (\infty, 1)-categories
- The Geometry of Supergravity Torsion Constraints
- D-branes at multicritical points
- Translation Groupoids and Orbifold Bredon Cohomology
- Synthetic geometry of differential equations: I. Jets and comonad structure
- Discrete Torsion and Branes in M-theory from Mathematical Viewpoint
- Characteristic Classes of Bad Orbifold Vector Bundles
- Orbifolds, geometric structures and foliations. Applications to harmonic maps
- New mirror pairs of Calabi-Yau orbifolds
- On flux vacua, SU(n)-structures and generalised complex geometry
- Sheaf Theory for Étale Geometric Stacks
- The Geometry of Orbifolds via Lie Groupoids
- Orbifold bordism and duality for finite orbispectra
- Orbifolds, Orbispaces and Global Homotopy Theory
- Twisted differential KO-theory
- -orbifolds from K3 surfaces with ADE-singularities
- Theory of Compact Hausdorff Shape