[論文レビュー] A Simple Proof for the Generalized Frankel Conjecture

Hui-Ling Gu|arXiv (Cornell University)|Jun 30, 2007

Advanced Combinatorial Mathematics参考文献 3被引用数 5

ひとこと要約

本稿では、リッチフロー理論における強い最大原理を用いて、一般化フランケル予想の単純な純粋解析的証明を提示する。カレフ・リッチフローに沿ってケーラー計量を発展させ、曲率作用素の振る舞いを解析することにより、非負の正則バイセクショナル曲率とある点における正のリッチ曲率をもつ、コンパクトで単連結なケーラー多様体が、複素射影空間またはランク ≥2 の非可約ヘルミート対称空間にバイホロモーフィックであることを示している。

ABSTRACT

In this short paper, we will give a simple and transcendental proof for Mok's theorem of the generalized Frankel conjecture. This work is based on the maximum principle in \cite{BS2} proposed by Brendle and Schoen.

研究の動機と目的

• 一般化フランケル予想の完全な解析的証明を提供し、モーリーの有理曲線理論に依存しないようにすること。
• リッチフロー技術を用いて、非負の正則バイセクショナル曲率をもつコンパクトケーラー多様体の分類を確立すること。
• ある点における正のリッチ曲率と第二ベッチ数が1であるという条件下で、多様体が CP^n またはランク ≥2 の非可約ヘルミート対称空間であることを証明すること。
• ブレンドルとショーエンの研究から得られる強い最大原理を、カレフ・リッチフロー下での曲率の発展に応用すること。
• 正則バイセクショナル曲率が消えることが、曲率が恒等的にゼロである場合を除き、フロー下で持続できないことを示し、正の正則セクショナル曲率と矛盾することを示すこと。

提案手法

• コンパクトで単連結な多様体上の初期ケーラー計量をカレフ・リッチフローに沿って発展させ、ケーラー性と非負の正則バイセクショナル曲率を保つこと。
• 正則バイセクショナル曲率の発展方程式を用いる： ∂/∂t R_{αβᾱβ̄} = ΔR_{αβᾱβ̄} + Σ(R_{αᾱμν̄}R_{ν̄μββ̄} - |R_{αμβν̄}|² + |R_{αβμν̄}|²)。
• バンドル上の (1,0)-2-ベクトルのペア ({X,Y},t) に対して関数 u({X,Y},t) = R(X, X̄, Y, Ȳ) を定義し、非負の曲率のため非負であることを示す。
• u がゼロとなるペア ({X,Y},t) の集合 F を定義し、強い最大原理による平行移動に関する不変性を用いる。
• 強い最大原理を適用して、ある方向で曲率がゼロならば、それが恒等的にゼロであることを示し、正の正則セクショナル曲率と矛盾することを示す。
• R_{αᾱββ̄} = 0 ならば、R_{αᾱαᾱ} + R_{ββ̄ββ̄} = 0 であることを、回転させた正規直交フレーム {ẽ_α, ẽ_β} を用いて示し、正の正則セクショナル曲率と矛盾することを示す。

実験結果

リサーチクエスチョン

• RQ1 一般化フランケル予想は、代数幾何学に依存せずに、純粋な解析的・解析的（トランスセントラル）手法によって証明可能だろうか？
• RQ2 リッチフローにおける強い最大原理は、非負の正則バイセクショナル曲率をもつ多様体において、カレフ・リッチフロー下での曲率作用素の剛性を示唆するだろうか？
• RQ3 多様体が局所的に対称的でなく、ある点で正のリッチ曲率をもつ場合、カレフ・リッチフロー下での正則バイセクショナル曲率はどのように変化するか？
• RQ4 代数幾何学を用いずに、曲率の発展と最大原理の議論のみで、ある方向での正則バイセクショナル曲率の消滅を除外できるだろうか？
• RQ5 リッチフローと曲率ピンチングを用いて、非負の正則バイセクショナル曲率と b2=1 をもつ、コンパクトで単連結なケーラー多様体を分類することは可能だろうか？

主な発見

• 一般化フランケル予想は、モーリーの有理曲線理論に依存せず、リッチフローにおける強い最大原理に基づく解析的証明により証明された。
• カレフ・リッチフロー下で、発展した計量は、すべての t ∈ (0,δ) において非負の正則バイセクショナル曲率と正の正則セクショナル曲率を保つ。
• 正則バイセクショナル曲率がゼロであるペア ({X,Y},t) の集合 F は、強い最大原理により平行移動に関して不変である。
• ある点で R_{αᾱββ̄} = 0 ならば、ある方向において曲率が恒等的にゼロである必要があり、R_{αᾱαᾱ} + R_{ββ̄ββ̄} = 0 を導く。これは正の正則セクショナル曲率と矛盾する。
• したがって、すべての t ∈ (0,δ) に対して R_{αᾱββ̄} > 0 である。これは多様体が複素射影空間 CP^n にバイホロモーフィックであることを示唆する。
• この結果により、非負の正則バイセクショナル曲率とある点における正のリッチ曲率、第二ベッチ数が1であるコンパクトで単連結なケーラー多様体は、CP^n またはランク ≥2 の非可約ヘルミート対称空間のいずれかであることが確認された。