[论文解读] Orbifold Atlases of Kuranishi type

Dusa McDuff|arXiv (Cornell University)|Jun 17, 2015

Homotopy and Cohomology in Algebraic Topology被引用 3

一句话总结

本文提出了一种基于Kuranishi结构的简化轨道丛图册构造方法，证明了每个轨道丛都可 admits 一种此类图册。该方法被应用于显式构建定向轨道丛的非奇异化分辨率，以及定向轨道丛丛的欧拉类作为加权分支流形，其中欧拉类被表示为在分辨率上单值截面的零点集，且权重与分支由图册结构自然定义。

ABSTRACT

This note revisits the ideas in an earlier (2007) paper on orbifolds and branched manifolds, showing how the constructions can be simplified by using a version of the Kuranishi atlases recently developed by McDuff--Wehrheim. We first show that every orbifold has such an atlas, and then use it to obtain explicit models first for the nonsingular resolution of an oriented orbifold (which is a weighted nonsingular groupoid with the same fundamental class) and second for the Euler class of an oriented orbibundle. In this approach, instead of appearing as the zero set of a multivalued section, the Euler class is the zero set of a single-valued section of the pullback bundle over the resolution, and hence has the structure of a weighted branched manifold in which the weights and branching are canonically defined by the atlas.

研究动机与目标

• 通过McDuff与Wehrheim发展的Kuranishi框架，简化轨道丛图册的构造。
• 证明每个轨道丛都可 admits 所需类型的Kuranishi图册。
• 显式构建定向轨道丛的非奇异化分辨率，作为加权非奇异群胚。
• 通过分辨率与单值截面，为定向轨道丛丛的欧拉类提供新的几何解释。
• 通过图册结构，对结果中的分支流形中的权重与分支进行自然定义。

提出的方法

• 采用Kuranishi图册形式化方法，以在变换数据下保持一致的局部模型表示轨道丛。
• 将定向轨道丛的分辨率构造为保持基本类的加权非奇异群胚。
• 将轨道丛丛的欧拉类定义为在分辨率上单值截面的零点集，而非多值截面。
• 利用图册为零点集分配自然权重与分支数据，使其成为加权分支流形。
• 确保图册结构在局部图册间的一致性，从而实现全局几何解释。
• 利用Kuranishi框架，避免早期轨道丛与分支流形理论中技术上的复杂性。

实验结果

研究问题

• RQ1 能否使用Kuranishi图册，将定向轨道丛的非奇异化分辨率显式构造为加权非奇异群胚？
• RQ2 如何通过分辨率与单值截面，重新几何化地解释定向轨道丛丛的欧拉类？
• RQ3 图册在为分辨率中截面零点集自然赋予权重与分支方面起到何种作用？
• RQ4 通过Kuranishi图册构造的分辨率是否能保持轨道丛的基本类？
• RQ5 与早期方法相比，Kuranishi框架在轨道丛图册与分支流形方面具有何种结构优势？

主要发现

• 每个轨道丛都可 admits 所需类型的Kuranishi图册，确立了基础的存在性结果。
• 定向轨道丛的非奇异化分辨率被显式实现为保持基本类的加权非奇异群胚。
• 定向轨道丛丛的欧拉类被实现为在分辨率上单值截面的零点集，避免了多值截面的使用。
• 结果零点集构成一个加权分支流形，其权重与分支由图册结构自然确定。
• 该构造为通过分辨率与截面理论研究轨道丛不变量，提供了几何且自然的框架。
• 该方法通过统一轨道丛与轨道丛丛的处理方式，借助Kuranishi形式化，简化了早期构造。