Cyclification of Orbifolds
arXiv:2212.13836 · doi:10.1007/s00220-023-04929-w
Abstract
Inertia orbifolds homotopy-quotiented by rotation of geometric loops play a fundamental role not only in ordinary cyclic cohomology, but more recently in constructions of equivariant Tate-elliptic cohomology and generally of transchromatic characters on generalized cohomology theories. Nevertheless, existing discussion of such cyclified stacks has been relying on ad-hoc component presentations with intransparent and unverified stacky homotopy type. Following our previous formulation of transgression of cohomological charges ("double dimensional reduction"), we explain how cyclification of infinity-stacks is a fundamental and elementary base-change construction over moduli stacks in cohesive higher topos theory (cohesive homotopy type theory). We prove that Ganter/Huan's extended inertia groupoid used to define equivariant quasi-elliptic cohomology is indeed a model for this intrinsically defined cyclification of orbifolds, and we show that cyclification implements transgression in group cohomology in general, and hence in particular the transgression of degree-4 twists of equivariant Tate-elliptic cohomology to degree-3 twists of orbifold K-theory on the cyclified orbifold. As an application, we show that the universal shifted integral 4-class of equivariant 4-Cohomotopy theory on ADE-orbifolds induces the Platonic 4-twist of ADE-equivariant Tate-elliptic cohomology; and we close by explaining how this should relate to elliptic M5-brane genera, under our previously formulated Hypothesis H.
arXiv comment45 pages
References in corpus (36)
- String Theory Dynamics In Various Dimensions
- Equivalences of monoidal model categories
- T-Duality: Topology Change from H-flux
- Stainless super p-branes
- Twisted differential String and Fivebrane structures
- Čech cocycles for differential characteristic classes -- An infinity-Lie theoretic construction
- Principal infinity-bundles -- General theory
- Some Relations between Twisted K-theory and E8 Gauge Theory
- The M5-Brane Elliptic Genus: Modularity and BPS States
- Extended higher cup-product Chern-Simons theories
- Equivariant Cohomotopy implies orientifold tadpole cancellation
- The twisted Drinfeld double of a finite group via gerbes and finite groupoids
- Rational sphere valued supercocycles in M-theory and type IIA string theory
- Type IIB String Theory, S-Duality, and Generalized Cohomology
- Twisted Cohomotopy implies M-theory anomaly cancellation on 8-manifolds
- On the topology of T-duality
- The Rational Higher Structure of M-theory
- A Combinatorial Method for Computing Steenrod Squares
- Discrete Torsion, Non-Abelian Orbifolds and the Schur Multiplier
- Remarks on the cohomology of finite fundamental groups of 3-manifolds
- Analogues of Discrete Torsion for the M-Theory Three-Form
- Differential Cohomotopy implies intersecting brane observables via configuration spaces and chord diagrams
- Twisted Cohomotopy implies twisted String structure on M5-branes
- Gauge enhancement of super M-branes via parametrized stable homotopy theory
- T-Duality from super Lie n-algebra cocycles for super p-branes
- M/F-Theory as Mf-Theory
- Twistorial Cohomotopy implies Green-Schwarz anomaly cancellation
- Examples of M5-Brane Elliptic Genera
- The character map in (twisted differential) non-abelian cohomology
- The homotopy theory of cyclotomic spectra
- Holonomy for Gerbes over Orbifolds
- Global Double Field Theory is Higher Kaluza-Klein Theory
- Higher T-duality of super M-branes
- Discrete Torsion and Branes in M-theory from Mathematical Viewpoint
- Dimensional reduction and the equivariant Chern character
- Numerable open covers and representability of topological stacks