[論文レビュー] Proof of the Yano-Obata Conjecture for holomorph-projective transformations

Vladimir S. Matveev, Stefan Rosemann|arXiv (Cornell University)|Mar 29, 2011

Advanced Topics in Algebra参考文献 47被引用数 3

ひとこと要約

この論文は、閉かつ連結なケーラー多様体上のホロモルフ・プロジェクティヴ変換に関してヤーノ＝オバタ予想を証明する。その内容は、多様体が複素射影空間にFubini-Study計量に関して局所的に等長でない限り、ホロモルフ・プロジェクティヴ変換群の単位成分は等長写像のみからなるということである。証明は、$h$-プロジェクティヴ構造、曲率条件、ケーラー計量のモビリティの次数の分析に依拠しており、非等長なホロモルフ・プロジェクティヴ変換が存在するのは、定値ホロモルフ曲率の状況に限ることを示している。

ABSTRACT

We prove the classical Yano-Obata conjecture by showing that the connected component of the group of holomorph-projective transformations of a closed, connected Riemannian Kähler manifold consists of isometries unless the metric has constant positive holomorphic curvature.

研究の動機と目的

• ケーラー多様体上のホロモルフ・プロジェクティヴ変換に関する古典的ヤーノ＝オバタ予想を解決すること。
• ホロモルフ・プロジェクティヴ変換群の単位成分が等長群と一致する条件を特定すること。
• $h$-プロジェクティヴに同値なケーラー計量およびそれらに付随する接続の構造を特徴づけること。
• 非アフィンなホロモルフ・プロジェクティヴベクトル場が存在するのは、定値ホロモルフ曲率の状況に限ることを確立すること。

提案手法

• 加速度が速度およびその $J$-像の複素線形包に属する曲線として $h$-平面的曲線の概念を導入する。
• 曲線の $h$-平面的性質の保存を通じて、ケーラー計量間の $h$-プロジェクティヴ同値性を定義する。
• ケーラー計量のモビリティの次数を用いて、$h$-プロジェクティヴに同値な計量を分類し、特にモビリティが2の場合を扱う。
• 対称的で $J$-不変な $(2,0)$-テンソルに対して、式 (92) のテンソリアル方程式を用いて $h$-プロジェクティヴ構造およびその接続を特徴づける。
• 式 (92) の解空間に沿った $h$-プロジェクティヴベクトル場の作用を分析し、そのリー微分が解空間を保存することを示す。
• $h$-プロジェクティヴ構造に属する計量のリーマン接続が、式 (92) の解によって一意に決定されることを示し、計量および接続の再構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ケーラー多様体上のホロモルフ・プロジェクティヴ変換が等長写像と一致するのはどのような条件下か？
• RQ2 非アフィンなホロモルフ・プロジェクティヴベクトル場が存在する場合、それが計量が定値ホロモルフ曲率をもつことを示唆するのはいつか？
• RQ3 特にモビリティが2の場合に、$h$-プロジェクティヴに同値なケーラー計量の空間の構造はいかなるものか？
• RQ4 特定のテンソル方程式 (92) の解を通じて、どのように $h$-プロジェクティヴ構造を特徴づけられるか？
• RQ5 ホロモルフ・プロジェクティヴベクトル場のリー微分とテンソル方程式 (92) の解空間との関係は何か？

主な発見

• 閉かつ連結なケーラー多様体のホロモルフ・プロジェクティヴ変換群の単位成分は、計量が定値正のホロモルフ曲率をとる場合を除き、すべて等長写像からなる。
• 非等長なホロモルフ・プロジェクティヴ変換を許容する唯一のケーラー多様体は、Fubini-Study計量を伴う複素射影空間に局所的に等長であるものに限る。
• モビリティが2の計量に対して、式 (92) の解空間は2次元であり、体積形式でスケーリングされた双対計量によって張られる。
• 式 (92) の解空間に作用する $h$-プロジェクティヴベクトル場のリー微分は、二次行列方程式を満たし、関連する自己準同型に代数的制約をもたらす。
• 非退化な式 (92) の解から、$h$-プロジェクティヴ構造に属する計量のリーマン接続が一意に再構成可能であり、一対一対応が確立される。
• 証明により、ケーラー多様体上の $h$-プロジェクティヴ構造は特定のテンソル方程式の解によって決定され、非自明な構造が存在するのは定値ホロモルフ曲率の状況に限ることが示された。