[論文レビュー] Sasakian Geometry: The Recent Work of Krzysztof Galicki

Charles P. Boyer|ArXiv.org|Jun 2, 2008

Geometric Analysis and Curvature Flows参考文献 54被引用数 12

ひとこと要約

この論文は、ササキ幾何学におけるクリシュツフ・ガリツキーの画期的な業績をレビューし統合し、ササキ＝アインシュタイン計量、孤立特異点のリンク、低次元例（特に次元3、5、7）、およびトーリック・ササキ＝アインシュタイン構造に焦点を当てる。モーメント錐とFutaki-Ono-Wangの存在定理を用いた分類枠組みを確立し、接触バンドルの第1チャーン類が消えるトーリック接触多様体がササキ＝アインシュタイン計量を有することを証明する。

ABSTRACT

This is a mainly expository article honoring my recently deceased friend and collaborator Krzysztof Galicki who died after a tragic hiking accident. I give a review of our recent work in Sasakian geometry. A few new results are also presented.

研究の動機と目的

• 2007年の死去に先立ち、クリシュツフ・ガリツキーがササキ幾何学に残した最後の貢献を称えるとともに要約すること。
• 特にササキ＝アインシュタイン計量とその位相的・幾何学的意味に焦点を当て、ササキ幾何学における主要な結果を統一的に提示すること。
• モーメント錐とFutaki-Ono-Wangの存在定理の視点から、トーリック・ササキ＝アインシュタイン構造に関する継続的で形式化された研究を拡張すること。
• 特に次元5および7において、ササキ＝アインシュタイン多様体を構成する上で、孤立超曲面特異点のリンクの役割を強調すること。
• 代数的およびシンプレクティック還元技術を用いて、トーリック・ササキ＝アインシュタイン構造を分類する基盤を提供すること。

提案手法

• ササキ多様体がケーラー錐の境界（リンク）であることを利用し、ササキ幾何学とケーラー幾何学の関係を活用する。
• 複素ベクトル空間上のトーラス作用に伴うモーメント写像形式を用い、モーメント錐を定義し、トーリック・ササキ構造を分類する。
• 接触バンドルの第1チャーン類が消える場合に、トーリック接触多様体にササキ＝アインシュタイン計量が存在することをFutaki-Ono-Wang定理によって確立する。
• トーリック設定における極値計量およびササキ＝アインシュタイン計量を求めるために、モーメント錐上のモンジュ＝アンペール方程式を用いる。
• シンプレクティックおよびササキ還元を適用し、トーリックケーラー軌道多様体上への円バンドルとして、コンパクトなササキ＝アインシュタイン多様体を構成する。
• トーリック接触多様体に対するデルツァント型定理を活用し、整数重み行列とモーメント写像条件を用いて、ササキ＝アインシュタイン構造を分類する。

実験結果

リサーチクエスチョン

• RQ1 トーリック接触多様体がササキ＝アインシュタイン計量を有するのはどのような条件下か？
• RQ2 重み付き斉次多項式から生じる孤立超曲面特異点のリンクは、どのようにササキ＝アインシュタイン構造を生じるか？
• RQ3 特に不規則な場合に、5次元および7次元のササキ＝アインシュタイン多様体の位相的分類は何か？
• RQ4 同じトーリック接触多様体上に、ササキ＝リッチソリトンとササキ＝アインシュタイン計量が共存しうるか？
• RQ5 モーメント錐およびケーラー商構成は、トーリック・ササキ＝アインシュタイン構造の分類において果たす役割は何か？

主な発見

• 接触バンドルの第1チャーン類が消えるトーリック接触多様体は、Futaki-Ono-Wangの存在定理によりササキ＝アインシュタイン計量を有する。
• 重み付き斉次超曲面特異点のリンクは、関連するケーラー錐が断面的ケーラー構造を有する場合、ササキ＝アインシュタイン多様体である。
• 次元5において、$ S^2 \times S^3 $ 上のササキ＝アインシュタイン構造は、$ n=4, k=1 $ のトーリック構成から生じ、不規則なササキ＝アインシュタイン多様体の最初の例をもたらす。
• 重み行列 $ \Omega $ が $ k \times k $ の非ゼロ小行列を有し、すべての $ i $ に対して $ \sum_{\alpha} a^{i}_{\alpha} = 0 $ を満たす場合、錐 $ C(Y(\theta)) $ の底面はトーリック軌道多様体である。これは $ c_1({\mathcal{D}}) = 0 $ を保証する。
• 射影還元 $ \mathcal{Z}(\Omega) = X(\Omega)/\mathbb{C}^* $ はトーリックケーラー軌道多様体であり、ササキ構造の断面幾何はこの底面によって支配される。
• $ \mathbb{C}\mathbb{P}^{n+1} \# \overline{\mathbb{C}\mathbb{P}^{n+1}} $ において、同じトーリック接触多様体上に2つの異なるササキ＝リッチソリトン（1つはアインシュタイン、もう1つは非アインシュタイン）が存在することを示し、ソリトン構造の非一意性を示した。