[論文レビュー] Orbifold Atlases of Kuranishi type

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

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

本稿は、McDuffとWehrheimが開発したKuranishi構造を用いて、オルビフォールドアトラスの簡略化された構成を導入し、任意のオルビフォールドがそのようなアトラスを有することを証明する。この手法を用いて、向き付けられたオルビフォールドの非特異的解消と、向き付けられたオルビバンドルのオイラー類を、重み付き分岐多様体として明示的にモデル化する。ここでオイラー類は、解消上での単値関数の零点として得られ、重みと分岐はアトラスによって自然に定義される。

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フレームワークを用いて、オルビフォールドアトラスの構成を簡略化すること。
• 任意のオルビフォールドが所定のタイプのKuranishiアトラスを有することを証明すること。
• 向き付けられたオルビフォールドの非特異的解消を、重み付き非特異的群コホーズとして明示的に構成すること。
• 向き付けられたオルビバンドルのオイラー類を、解消上での単値関数の零点として幾何学的に解釈すること。
• アトラス構造によって、得られる分岐多様体における重みと分岐を自然に定義すること。

提案手法

• Kuranishiアトラス形式論を採用し、移行データと整合する局所モデルを持つオルビフォールドを表現する。
• 向き付けられたオルビフォールドの解消を、基本類を保存する重み付き非特異的群コホーズとして構成する。
• オルビバンドルのオイラー類を、多値関数ではなく単値関数の零点として定義する。
• アトラスを用いて、零点に自然な重みと分岐データを割り当て、それを重み付き分岐多様体に変換する。
• 局所チャート間でアトラス構造が一貫することを保証し、グローバルな幾何的解釈を可能にする。
• Kuranishiフレームワークを活用し、オルビフォールドおよび分岐多様体論における従来の構成の技術的複雑さを回避する。

実験結果

リサーチクエスチョン

• RQ1 Kuranishiアトラスを用いて、向き付けられたオルビフォールドの解消を、重み付き非特異的群コホーズとして自然かつ明示的に構成できるか？
• RQ2 解消と単値関数のセクションを用いて、向き付けられたオルビバンドルのオイラー類を幾何学的に再解釈できるか？
• RQ3 アトラスが、解消上でのセクションの零点に重みと分岐を自然に割り当てる役割を果たすか？
• RQ4 Kuranishiアトラスによる解消で、オルビフォールドの基本類が保存されるか？
• RQ5 Kuranishiフレームワークは、従来のオルビフォールドアトラスおよび分岐多様体のアプローチに比べて、どのような構造的利点を提供するか？

主な発見

• 任意のオルビフォールドが所定のタイプのKuranishiアトラスを有することを示し、基礎的な存在結果を確立した。
• 向き付けられたオルビフォールドの非特異的解消が、基本類を保存する重み付き非特異的群コホーズとして明示的に実現された。
• 向き付けられたオルビバンドルのオイラー類が、解消上での単値関数の零点として実現され、多値関数を避けることができた。
• 得られた零点は、アトラス構造によって自然に定義される重みと分岐を持つ重み付き分岐多様体を形成した。
• 解消とセクション理論を用いたオルビフォールド不変量の研究に、幾何的かつ自然な枠組みを提供した。
• Kuranishi形式論を用いることで、従来の構成を統一的に扱うことで、それらの構成を簡略化した。