[論文レビュー] Cohomology Chambers on Complex Surfaces and Elliptically Fibered Calabi-Yau Three-folds

Callum R. Brodie, Andrei Constantin|arXiv (Cornell University)|Sep 2, 2020

Algebraic Geometry and Number Theory参考文献 43被引用数 7

ひとこと要約

本稿では、ザリスキ分解と消失定理を組み合わせることで、複素表面および楕円曲線ファイバー構造をもつカーミー＝ヤウ3次元多様体上のラインバンドルのコホモロジー公式を確立する。一般化されたデル・ペッツォ、トーリック、K3表面において、コホモロジーがザリスキ・チャネル上での区分的多項式関数として記述されることを示し、これらの結果を高次元化して、ヘテロティック弦理論の compactification において質量ゼロのスペクトルを効率的に計算可能な、特定のクラスの楕円曲線ファイバー構造をもつカーミー＝ヤウ3次元多様体上のすべてのラインバンドルのコホモロジー公式を導出する。

ABSTRACT

We determine several classes of smooth complex projective surfaces on which Zariski decomposition can be combined with vanishing theorems to yield cohomology formulae for all line bundles. The obtained formulae express cohomologies in terms of divisor class intersections, and are adapted to the decomposition of the effective cone into Zariski chambers. In particular, we show this occurs on generalised del Pezzo surfaces, toric surfaces, and K3 surfaces. In the second part we use these surface results to derive formulae for all line bundle cohomology on a simple class of elliptically fibered Calabi-Yau three-folds. Computing such quantities is a crucial step in deriving the massless spectrum in string compactifications.

研究の動機と目的

• 標準的なアルゴリズムが、高次のピカール数や大きなチャーン類のため機能しない複素表面におけるラインバンドルの閉形式のコホモロジー公式を導出すること。
• 弦の実験的・機械学習的研究で観察された区分的多項式コホモロジー関数の数学的起源を理解すること。
• 表面レベルのコホモロジー公式を、ヘテロティック弦理論の compactification に関連する高次元のカーミー＝ヤウ3次元多様体へと拡張すること。
• ベクトルバンドルのコホモロジーを効率的に計算可能とすること——これはF理論およびヘテロティック compactification における質量ゼロのスペクトルを決定する上で不可欠である。

提案手法

• 除法類のザリスキ分解を用いて、有効なコーンをザリスキ・チャネルに分割し、各チャネル内でコホモロジー関数が多項式的となるようにする。
• 消失定理とセール双対性を適用し、コホモロジー次元を除法類の交点数の形で表現する。
• モーリー・コーンとネフ・コーンの構造を活用して、チャネル境界を特定し、区分的多項式関数を定義する。
• ピカール格子と交点形式の解析を通じて、一般化されたデル・ペッツォ、トーリック、K3表面における明示的なコホモロジー公式を構築する。
• ファイバー構造を介して、表面のコホモロジー結果を楕円曲線ファイバー構造をもつカーミー＝ヤウ3次元多様体へと持ち上げる。
• 具体的な例（16個の反射的ポリトープとヴァイエルシュトラスモデルを含む）における明示的計算を通じて、手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ザリスキ分解と消失定理を組み合わせることで、すべてのラインバンドルに対して区分的多項式コホモロジー公式が得られる複素表面のクラスは何か？
• RQ2 表面におけるコホモロジー・チャネルは、有効なコーンのザリスキ・チャネルへの分解とどのように関係しているか？
• RQ3 表面におけるコホモロジー公式を、楕円曲線ファイバー構造をもつカーミー＝ヤウ3次元多様体上のラインバンドルのコホモロジーを計算するために体系的に持ち上げることは可能か？
• RQ4 アーベル内部フラックスをもつカーミー＝ヤウ3次元多様体におけるコホモロジー・チャネル分解の構造は何か？
• RQ5 得られたコホモロジー公式は、ヘテロティック弦理論の compactification における質量ゼロのスペクトルの計算をどのように促進するか？

主な発見

• 一般化されたデル・ペッツォ表面におけるすべてのラインバンドルのコホモロジーは、ザリスキ・チャネル上での区分的多項式関数として記述され、0次コホモロジーは除法類の交点数によって決定される。
• トーリック表面およびK3表面に対しても、各ザリスキ・チャネル内で多項式的となる、グローバルに定義されたコホモロジー公式が存在し、それらはピカール格子と交点形式から導かれる。
• 表面におけるコホモロジー・チャネル構造は、モーリー・コーンとネフ・コーンの生成子によって完全に決定され、非可約な剛性を持つ除法類はモーリー・コーンの生成子と一致する。
• 特定のクラスの楕円曲線ファイバー構造をもつカーミー＝ヤウ3次元多様体に対して、表面のベースのコホモロジーをファイバー構造を介して持ち上げることで、すべてのラインバンドルのコホモロジー公式を導出する。これにより、質量ゼロのスペクトルの効率的計算が可能になる。
• 3次元多様体上のコホモロジー関数は区分的多項式的であり、チャネル境界は表面のチャネルの引き戻しに一致する。公式はセール双対性およびヒルツェブルー＝リーマン・ロッホの定理と整合的である。
• 16個の反射的ポリトープに基づくカーミー＝ヤウ3次元多様体に対して明示的な公式が導出され、コホモロジー次元は交点数とチャネル分解を用いて計算される。