[論文レビュー] The Geometry of F$_4$-Models

Mboyo Esole, Patrick Jefferson+1 more|arXiv (Cornell University)|Apr 26, 2017

Algebraic Geometry and Number Theory参考文献 22被引用数 16

ひとこと要約

本稿では、F-theoryにおけるF₄ゲージ理論に対応する特異的Weierstrassモデルのクレパント解消を提示し、ファイブラルドライブルを基底除算子S上のℙ¹バンドル、またはその二重被覆として同定する。主な貢献は、Calabi-Yau三様体におけるF₄モデルの完全な位相的・幾何的特徴付けであり、交差数、オイラー標数、ホッジ数を含む。これらの結果は5次元および6次元のスーパicensor理論に応用可能である。

ABSTRACT

We study the geometry of elliptic fibrations satisfying the conditions of Step 8 of Tate's algorithm. We call such geometries F$_4$-models, as the dual graph of their special fiber is the twisted affine Dynkin diagram $\widetilde{ ext{F}}_4^t$. These geometries are used in string theory to model gauge theories with the exceptional Lie group F$_4$ on a smooth divisor $S$ of the base. Starting with a singular Weierstrass model of an F$_4$-model, we present a crepant resolution of its singularities. We study the fiber structure of this smooth elliptic fibration and identify the fibral divisors up to isomorphism as schemes over $S$. These are $\mathbb{P}^1$-bundles over $S$ or double covers of $\mathbb{P}^1$-bundles over $S$. We compute basic topological invariants such as the double and triple intersection numbers of the fibral divisors and the Euler characteristic of the F$_4$-model. In the case of Calabi-Yau threefolds, we compute the linear form induced by the second Chern class and the Hodge numbers. We also explore the meaning of these geometries for the physics of gauge theories in five and six-dimensional minimal supergravity theories with eight supercharges. We also introduce the notion of "frozen representations" and explore the role of the Stein factorization in the study of fibral divisors of elliptic fibrations.

研究の動機と目的

• 特異的Weierstrassモデルのクレパント解消を用いて、F₄ゲージ対称性を有する楕円的ファイブレーションの幾何学的・位相的分類を提供すること。
• F₄モデルのファイブラルドライブルが基底除算子S上のℙ¹バンドル、またはその二重被覆として同定されることを明らかにすること。
• Calabi-Yau三様体における二重および三重交差数、オイラー標数、第二チャーン類といった位相的不変量の計算を行うこと。
• 8つのスーパーチャージを持つ5次元および6次元の最小スーパicensor理論におけるF₄モデルの物理的意味を検討すること。
• 「凍結表現」の概念を導入し、ファイブラルドライブル幾何におけるシュタイン因子分解の役割を分析すること。

提案手法

• Tateのアルゴリズムのステップ8を満たすWeierstrassモデルのクレパント解消を構成し、解消が滑らかな楕円的ファイブレーションであることを保証すること。
• 基底S上のスキームとしての構造を用いてファイブラルドライブルを同定し、それがℙ¹バンドルまたはその二重被覆であることを示すこと。
• 非単純ラスケールGモデル、特にF₄モデルの文脈において、シュタイン因子分解を用いて幾何を分析すること。
• 代数幾何の技法を用いてファイブラルドライブルの交差数を計算し、自己交差および三重交差の公式を適用すること。
• ファイバーごとの寄与と位相的不変量を用いて、F₄モデルのオイラー標数を導出すること。
• Calabi-Yau三様体に対して、第二チャーン類が誘導する線形形式を計算し、ファイバー分解およびインデックス定理を用いてホッジ数を決定すること。

実験結果

リサーチクエスチョン

• RQ1 クレパント解消後のF₄モデルにおけるファイブラルドライブルの正確な幾何的構造は何か？
• RQ2 F₄モデルの位相的不変量（交差数、オイラー標数など）は、基底の幾何にどのように依存するか？
• RQ3 5次元および6次元スーパicensor理論におけるF₄モデルの物理的解釈において、凍結表現が果たす役割は何か？
• RQ4 シュタイン因子分解は、非単純ラスケールGモデルにおけるファイブラルドライブル構造を理解するためにどのように寄与するか？
• RQ5 Calabi-Yau三様体F₄モデルのホッジ数および第二チャーン類の線形形式は何か？

主な発見

• F₄モデルのファイブラルドライブルは、基底除算子S上のℙ¹バンドル、またはその二重被覆と同型である。
• ファイブラルドライブルの二重および三重交差数が明示的に計算され、解消における完全な交差理論が得られた。
• F₄モデルのオイラー標数は、ファイバー寄与と基底不変量に依存し、解消プロセスから閉形式の式が導出された。
• Calabi-Yau三様体F₄モデルでは、第二チャーン類が基底上に線形形式を誘導し、ホッジ数はファイバー分解およびインデックス理論を用いて計算された。
• Mordell-Weil群に寄与しない表現を記述するための「凍結表現」の概念が導入され、6次元スーパicensor理論における異常キャンセレーションに影響を及ぼす。
• 凍結表現のケースにおけるファイブラルドライブルの幾何は、2b本のファイバーに沿って分岐するルールド面の二重被覆によって支配され、明示的な不変量が計算された。