[論文レビュー] The Geometry of Orbifolds via Lie Groupoids

Alexander Amenta|arXiv (Cornell University)|Sep 24, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用数 4

ひとこと要約

この論文は、リー群ガロアを用いて、古典的オルビフォールドアトラスの限界を克服する現代的枠組みを提供する。オルビフォールドを正規で、エタールなリー群ガロアとしてモデル化することで、微分幾何学の強固な基礎が確立され、de Rhamコホモロジー、リーマン計量、接続、曲率、そしてチーン＝ヴェイル理論が含まれる。同時に、インertリアオルビフォールドと非局所的チーン類の役割が強調されている。

ABSTRACT

The purpose of this thesis is to use the language of orbifold groupoids to describe the geometry and topology of orbifolds, highlighting advantages and disadvantages of this language as they arise.

研究の動機と目的

• 古典的アトラスに基づくアプローチの限界を克服し、リー群ガロアを用いたオルビフォールドの包括的な幾何的・位相的枠組みを提供すること。
• ベクトルバンドル、微分形式、リーマン計量、接続といった古典的微分幾何の概念を、群ガロア構造を通じてオルビフォールド設定に拡張すること。
• 無効なオルビフォールドとインバリアントオルビフォールドがK理論および特徴類理論において果たす役割を調査し、特に非局所的チーン類の観点から分析すること。
• 群ガロア形式を用いて、提示可能なオルビフォールドに対するK理論とチーン＝ヴェイル理論の一貫性のある理論を確立すること。
• 有効なオルビフォールドと無効なオルビフォールドの違いを明確にし、群ガロアモデルがグローバル幾何的不変量を捉えるために不可欠であることを示すこと。

提案手法

• オルビフォールドを正規でエタールなリー群ガロアとして表現し、局所的チャートを超えたオルビフォールド構造のグローバルな記述を可能にする。
• リー群ガロアのモリタ同値を用いて、アトラスの選択に依存しない不変量を定義し、幾何的整合性を保証する。
• 多様体と滑らかな写像の圏におけるファイバー積を適用し、写像がサブマージョンであるなどの条件下で、積が多様体となることを保証する。
• 群ガロアが接バンドルに作用する仕組みを用いて、$ abla$-接続と曲率を定義し、古典的接続を一般化する。
• 不変形式を群ガロアのソース上に持ち上げることで、オルビフォールドにおけるde Rhamコホモロジーとチーン＝ヴェイル理論を構成する。
• インバリアントオルビフォールドを同型元の群ガロアとして定義し、K理論における非局所的チーン類の計算に不可欠である。

実験結果

リサーチクエスチョン

• RQ1 リー群ガロアを用いたアプローチにより、古典的オルビフォールドアトラスに代わって、オルビフォールド幾何を体系的にどのように展開できるか？
• RQ2 インバリアントオルビフォールドは、オルビフォールドのK理論および特徴類理論において果たす役割は何か？
• RQ3 微分形式、接続、曲率は、群ガロア構造を通じてどのようにオルビフォールド設定に一般化できるか？
• RQ4 無効なオルビフォールドは、アトラスに基づく形式から群ガロアに基づく形式への転換をどのように必然的に要求するか？
• RQ5 非局所的チーン類は、オルビフォールドの群ガロア的構造からどのように自然に生じるか？

主な発見

• リー群ガロアの使用は、古典的オルビフォールドアトラスに比べ、より強固でグローバルに一貫性のあるオルビフォールド幾何の枠組みを提供する。
• 非自明なオルビフォールドに対して、インバリアントオルビフォールドの構成は非自明であり、K理論における非局所的チーン類の定義に不可欠である。
• 不変微分形式を群ガロアのソース上に持ち上げることで、de Rhamコホモロジーとチーン＝ヴェイル理論をオルビフォールドに拡張でき、特徴類がオルビフォールド特有の特異性を捉える。
• オルビフォールド上にリーマン計量と接続が存在し、群ガロア作用を用いて構成可能であり、滑らかな場合の一般化となっている。
• コンパクト群の多様体への作用の固定点集合は、どこでも稠密でない。これは、直交化補題と有効な群ガロア作用から導かれる結果である。
• 関与する写像がサブマージョンである場合、多様体のファイバー積は多様体として存在する。これは、群ガロア構造やバンドルの構成に重要な技術的道具である。