[論文レビュー] Cohomological characterizations of the complex projective space

Olivier Debarre|arXiv (Cornell University)|Dec 14, 2015

Algebraic Geometry and Number Theory参考文献 10被引用数 3

ひとこと要約

この論文は、コンパクトなケーラー多様体の中で、複素射影空間 ℂPⁿ がその整数コホモロジー環によって一意に特徴付けられるかどうかを調査する。ヒルツェブルク–リーマン–ローチの計算とチャーン類の解析を用いて、次元 n ≤ 6 の場合、ℂPⁿ と同じ整数コホモロジー環を持つ任意のコンパクトケーラー多様体は、ℂPⁿ に同型であるか、ℂⁿ の単位球の商であることを証明する。ただし、捩れのないコホモロジーを持つ偶数次元球の商としての例は、既知ではない。

ABSTRACT

In this survey, we discuss whether the complex projective space can be characterized by its integral cohomology ring among compact complex manifolds.

研究の動機と目的

• コンパクトなケーラー多様体の中で、複素射影空間 ℂPⁿ がその整数コホモロジー環によって一意に特徴付けられるかどうかを特定すること。
• ℂPⁿ と同じベッチ数を持つコンパクトケーラー多様体が、必ずしも ℂPⁿ にbiholomorphic であるか、あるいは単位球の商であるかどうかを調査すること。
• ヒルツェブルク–リーマン–ローチ多項式に基づく計算手法を拡張し、高次元におけるチャーン類およびコホモロジー制約を分析すること。
• 特にファノ多様体や一般型多様体に対して、次元 6 を超える範囲への特徴付けの一般化の可能性を検討すること。

提案手法

• ヒルツェブルク–リーマン–ローチ定理から導かれる tₙ(z; c₁,…,cₙ) 多項式を計算し、チャーン類とコホモロジー不変量との関係を明示する。
• 整数コホモロジー環の等価性から、Pic(X) ≅ ℤL かつ Lⁿ = 1、c₁(L) が H²(X, ℤ) を生成することを導出する。
• ヒルツェブルク–リーマン–ローチの公式を用いて、χₚ(X) と χ_y(X) をチャーン類の式で表し、cᵢ(X) に対する代数的制約を導出する。
• c₁(X) の符号を分析して、ファノ多様体（c₁ > 0）と一般型多様体（c₁ < 0）を区別する。後者についてはヤウの不等式を用いる。
• Sage を用いて n = 9 まで tₙ(z; c₁,…,cₙ) の明示的表現を計算し、リブゴーバー–ウッド（1982）の結果を高次元に拡張する。
• ヒルツェブルク比例の法則を適用し、ℂPⁿ のすべてのチャーン数と一致する限り、球の商は除外される。これは偶数 n の場合にのみ成立する。

実験結果

リサーチクエスチョン

• RQ1 整数コホモロジー環が ℂPⁿ と同じである任意のコンパクトケーラー多様体は、必ずしも ℂPⁿ に同型であるか？
• RQ2 n ≤ 6 の場合、整数コホモロジー環が ℂPⁿ と同じであるコンパクトケーラー多様体は、ℂPⁿ または ℂⁿ の単位球の商に分類可能か？
• RQ3 整数コホモロジー環が ℙ²ᵐ と同じで、H² に捩れがないような、単位球 B²ᵐ の商としての既知のコンパクトケーラー多様体は存在するか？
• RQ4 n ≤ 6 で用いられた計算的手法を、コホモロジー的データに基づいて高次元における ℂPⁿ の特徴付けに拡張可能か？
• RQ5 tₙ(z; c₁,…,cₙ) 多項式は、ℂPⁿ とコホモロジー的に同型な多様体のチャーン類にどのような制約を課えるか？

主な発見

• n ≤ 6 の場合、整数コホモロジー環が ℂPⁿ と同じである任意のコンパクトケーラー多様体は、ℂPⁿ に同型であるか、ℂⁿ の単位球の商である。
• 整数コホモロジー環が ℙ²ᵐ と同じで、H² に捩れのない偶数次元単位球 B²ᵐ の商としての既知の例は存在しない。
• tₙ(z; c₁,…,cₙ) 多項式は n = 9 まで明示的に計算され、リブゴーバー–ウッドの先行研究が拡張された。
• c₁(X) < 0 の場合、不等式 (2(n+1)/n c₂(X) − c₁(X)²) · (−c₁(X))ⁿ⁻² ≥ 0 が成り立ち、等号が成り立つのは X が球の商である場合に限る。これは偶数 n の場合にのみ成立する。
• ファノ多様体（c₁(X) > 0）に対しては不等式 c₁(X) ≤ n+1 が成り立ち、等号が成り立つのは X ≅ ℂPⁿ の場合に限る。
• コホモロジー的同値性のための必要条件として、cₙ(X) = n+1 および c₁(X)cₙ₋₁(X) = ½n(n+1)² が得られる。