[論文レビュー] Contact toric manifolds

Eugene Lerman|ArXiv.org|Jul 27, 2001

Advanced Combinatorial Mathematics参考文献 7被引用数 7

ひとこと要約

本稿は、特定の整数性および滑らかさ条件を満たす有理凸多面体錐と一対一対応するように、コンパクトで連結な接触トーリック多様体の分類を完成させた。主な結果は、トーリック可積分測地線流のトートとゼルディッチの予想を解消するトポロジカルかつ幾何学的な分類であり、n次トーラスおよび2次元球面の余球面束上での唯一のそういった作用は標準的であることを示している。

ABSTRACT

We complete the classification of compact connected contact toric manifolds initiated by Banyaga and Molino and by Galicki and Boyer. As an application we prove the conjectures of Toth and Zelditch on toric integrable systems on the n-torus and the 2-sphere.

研究の動機と目的

• バニャガ＝モリーノおよびブルー＝ガリッキの先行研究に基づき、コンパクトで連結な接触トーリック多様体の分類を完成させること。
• トーラス可積分測地線流に関するトートおよびゼルディッチの未解決予想を解消すること。
• 接触トーリック多様体と特定の整数性および滑らかさ条件を満たす有理凸多面体錐との対応関係を確立すること。
• トーラス可積分作用の同型を除いて一意であることを証明し、 $\mathbb{T}^n$ および $S^2$ の余球面束上では標準的作用のみが存在することを示すこと。
• モーメント写像と同相型データを用いた、接触トーリック多様体のトポロジカルおよび幾何学的特徴付けを提供すること。

提案手法

• 接触モーメント写像を用いて、各接触トーリック多様体にモーメント錐を関連づけ、接触形式の共向き性および非退化性を活用する。
• 接触群作用の局所正規形定理を応用し、異なる同相型の軌道の近傍における構造を分析する。
• オルタネートホモロジー計算のためのメイヤー＝ビートリス列を用いて、特に $\mathbb{R}P^3$ 型商空間のホモロジーを計算する。
• 重み格子および同相型部分群の分析を通じて、モーメント錐上の整数性および滑らかさ条件を特定する。
• シンプレクティック錐と接触多様体の対応関係を用いて、分類をシンプレクティックトーリック幾何学と関連付ける。
• ホモロジー計算から導かれるトポロジカル不変量および格子条件を用いて、トーリック作用の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトで連結な接触トーリック多様体は、-equivariant contactomorphism を除いてどのように完全に分類されるか？
• RQ2 トーリック可積分測地線流を持つ多様体の余球面束として現れる接触トーリック多様体はどれか？
• RQ3 n次トーラスの余球面束上では、標準的作用以外にトーリック可積分作用は存在しないか？
• RQ4 2次元球面の余球面束上では、標準的作用以外にトーリック可積分作用は存在しないか？
• RQ5 モーメント錐にどのような条件を課すと、接触トーリック多様体の存在および一意性が保証されるか？

主な発見

• コンパクト接触トーリック多様体の分類は、重み格子に関して整数的条件を満たし、滑らかである有理凸多面体錐の分類と同値である。
• $S(T^*\mathbb{T}^n)$ には、同型を除いて唯一のトーリック可積分作用が存在し、これは左乗法の標準的上昇である。
• $S(T^*S^2)$ には、同型を除いて唯一のトーリック可積分作用が存在し、これは円周に沿った回転と、球面上の回転軸に関する回転で生成される。
• 接触トーリック多様体のモーメント錐は滑らかで有理的でなければならない。非自由作用の場合、その定義的重みは双対重み格子の部分格子をなすが、その指数は2である。
• 境界に円作用を持つモデル空間 $M = (\mathbb{T}^2 \times [0,1]) / \sim$ に対してホモロジー計算により $H^2(M,\mathbb{Z}) \simeq \mathbb{Z}/2$ が得られ、重み格子の商が指数2を持つことを示唆する。
• モーメント写像像が $\pi$ より短い弧である場合、接触構造にオーバートゥイストドライブが存在しないことが示され、これはファイバーが連結であり、作用が標準的であることを意味する。