[論文レビュー] Atlases for Ineffective Orbifolds

Dorette Pronk, Laura Scull+1 more|arXiv (Cornell University)|Jun 14, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 3

ひとこと要約

本稿では、非有効な軌道体のための新しい軌道体アトラスの定義を導入する—古典的なアトラス手法を非有効な群作用を含むように一般化するもので、群の双加群と抽象埋め込みを用いてチャート埋め込みを再定義する。主な貢献は、この新しいアトラス定義が、モリタ同値を介して標準的な位相的群ガロア群の定義と同値であることを証明することにある。

ABSTRACT

We give a definition of atlases for ineffective orbifolds, and prove that this definition leads to the same notion of orbifold as that defined via topological groupoids.

研究の動機と目的

• 既存の非有効な軌道体アトラス定義と、軌道体の標準的な群ガロア群に基づく定義との不一致を解消すること。
• 古典的なアトラス形式を、群の双加群と抽象埋め込みを用いて再定義することで、非有効な軌道体にまで拡張すること。
• 非有効な軌道体に対して、群ガロア群の手法と一致する、厳密で一貫性のあるアトラスに基づく枠組みを確立すること。
• 非有効な状況下での部分軌道体や埋め込みを研究するための基盤を提供すること。
• 局所的チャートとアトラス構造を用いて、一般化された軌道体カテゴリの開発を支援すること。

提案手法

• 群の双加群とチャート間の抽象埋め込みを用いて、非有効な軌道体のための新しいアトラスを定義する。
• 群作用の圏における抽象埋め込みの概念を導入し、チャートの遷移写像を一般化する。
• 双加群と遷移データを含む三重対の同値類を用いて、アトラスから群ガロア群を構成する際の源写像と終域写像を定義する。
• アトラスから導かれる群ガロア群と、軌道体を定義する群ガロア群との間で、両側群ガロア群作用を備えた双加群を構成することで、モリタ同値を定義する。
• アトラスの細分を用いて、合成可能な三重対の空間に多様体構造を構成し、全射な部分埋め込みと群ガロア群作用との整合性を保証する。
• 得られた双加群が、モリタ同値の公理（全射性、忠実性、群ガロア群作用との整合性）を満たしていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 群作用が必ずしも有効でない非有効な場合に、古典的な軌道体アトラス定義をどのように拡張できるか。
• RQ2 非有効な軌道体チャート間の埋め込みを正しく定義するにはどのような構造が必要か。これによりアトラスの公理が満たされる。
• RQ3 非有効な軌道体のための提案されたアトラス定義は、標準的な位相的群ガロア群の手法と同一の軌道体対象を導くか。
• RQ4 アトラスから導かれる群ガロア群と、軌道体を定義する群ガロア群との間にモリタ同値を確立できるか。
• RQ5 アトラス形式を用いて、非有効な状況下での部分軌道体や埋め込みをどのように研究できるか。

主な発見

• 提案された非有効な軌道体のためのアトラス定義は、適切なエタール位相的群ガロア群による標準的定義と同値である。
• 新しい定義は、群の双加群と抽象埋め込みを用いてチャート埋め込みを再定義し、従来の手法における不整合を解消している。
• アトラスから導かれる群ガロア群と、軌道体を定義する群ガロア群との間に、モリタ同値が構成されており、両定義の同値性が証明された。
• 双加群 M(𝒰) の構成は、群ガロア群作用と遷移データを尊重する同値関係による、三重対の直和集合の商集合を含む。
• M(𝒰)jk からチャート領域への写像 τ と ε は全射な部分埋め込みであり、群ガロア群の位相と整合していることが保証される。
• 双加群上の左および右の群ガロア群作用は適切に定義されており、モリタ同値の公理を満たしており、アトラスと群ガロア群の間の対応関係が完全に完成している。