论文标题
Orbifolds的环化
Cyclification of Orbifolds
论文作者
论文摘要
几何环的旋转旋转的惯性轨道同拷贝不仅在普通的循环共同体中起着基本作用，而且在近似泰特泰特（Tate）的构建中也起着基本的泰特（Tate tate）同胞的结构，并且在普遍的共同体学理论上通常对经跨性别的特征进行了经跨性别的角色。然而，现有的对这种自行车堆栈的讨论一直依赖于具有固有和未经验证的静态同型类型的临时组件演示。 在我们先前对同胞指控过侵犯的表述（“双维还原”）之后，我们解释了无限堆栈的周期化如何在粘性高等拓扑理论（粘性同型类型理论）中对Moduli堆栈的基本和基本的基础变化构建。 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理论在环化的Orbifold上。 作为一种应用，我们表明，通用的4级extemiant 4级4-型4-霍运动理论在Ade-Orbifolds上诱导了Ade-Equivariant Tate-eellirtic Coomomology的柏拉图式4倍；我们通过在我们先前提出的假设H中解释这应该与椭圆形M5-Brane属有关的结束。
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.
