[論文レビュー] Comments on the del Pezzo cone

Dmitri Bykov|arXiv (Cornell University)|May 9, 2014

Geometric Analysis and Curvature Flows参考文献 12被引用数 3

ひとこと要約

本稿では、dP₁（ランク1のデル・ペッツォ表面）の反標準ラインの上で、モーメントポリトープ座標における漸近展開を用いて、リッチ平坦計量を構成する一般枠組みを開発する。この計量が高々2つのパラメータに依存することを示し、既知の直交トーリック計量を一般化するとともに、正則性条件と摂動理論を用いた系の方法により、高次の補正を体系的に計算可能であることを明らかにする。

ABSTRACT

We describe a framework for constructing the general Ricci-flat metric on the anticanonical cone over the del Pezzo surface of rank one.

研究の動機と目的

• 1点で吹き上げた ℂℙ² の反標準ラインの上に、ランク1のデル・ペッツォ表面（dP₁）の上での、最も一般なリッチ平坦計量を構成すること。
• U(1)² の等長性をもつ非コンパクトなカラビ・ヤウコーン上で、リッチ平坦性条件を体系的に解く方法を提供すること。
• ポリトープの辺における正則性条件と摂動理論の解析を通じて、リッチ平坦計量に含まれる自由パラメータの最大数を特定すること。
• 既知の直交トーリック計量が一般解の特別な場合として埋め込まれることを確認し、2番目のパラメータに対応する1次摂動を構成すること。
• 一般解における2番目のパラメータの幾何的意味を、コーンの漸近的挙動とトポロジー的データの観点から解釈すること。

提案手法

• U(1)²不変なアンザッツを用いて、dP₁の上にあるコーン上のリッチ平坦性条件を、ポテンシャル関数 G に関する非線形偏微分方程式（PDE）として定式化する。
• U(1)²作用のためのモーメントポリトープを導入し、埋め込まれた ℂℙ¹ の正規バンドルといったトポロジー的データを特定し、それらが主要な漸近的挙動を制約することを明らかにする。
• 無限遠における計量ポテンシャル G の漸近展開を実行し、主要項がアインシュタイン＝サーサクの多様体上の実コーンに対応することを示す。
• モーメントポリトープの辺近くでのポテンシャルに正則性条件を課し、展開における係数関数の形を制限する。
• 摂動理論の各次数における線形非同次方程式を解析し、正則性と整合する解が存在するのは高々2つの次数に限られることを示す。
• 直交トーリック計量を初期解とし、正しい漸近的挙動を持つ1次摂動を構成することで、2番目のパラメータの存在を確認する。

実験結果

リサーチクエスチョン

• RQ1 U(1)²の等長性をもつdP₁の反標準コーン上でのリッチ平坦計量に含まれる自由パラメータの最大数は何か？
• RQ2 漸近展開と正則性制約を用いて、このコーン上での一般リッチ平坦計量をどのように体系的に構成できるか？
• RQ3 既知の直交トーリック計量は、dP₁コーン上での一般リッチ平坦計量族の中で、どのように位置づけられるか？
• RQ4 直交トーリックの場合を除く一般解における2番目のパラメータの幾何的意味は何か？
• RQ5 計量ポテンシャルの漸近展開における係数関数は高次に及ぶとどのように振る舞い、正則性条件がどのような制約を課えるか？

主な発見

• dP₁の反標準コーン上での一般リッチ平坦計量は、摂動理論における線形非同次方程式の可解性により、高々2つの自由パラメータに依存することが判明した。
• 計量ポテンシャルの主要項の漸近的挙動は、トポロジー的データ（具体的には、デル・ペッツォ表面に埋め込まれた2つの ℂℙ¹ の正規バンドル）によって固定される。
• 2つのパラメータが特定の関係にある場合に、既知の直交トーリック計量が特別な場合として回復されることを確認し、先行研究と整合性が保たれていることが裏付けられた。
• 直交トーリック計量の1次摂動が明示的に構成され、一般枠組みの予測と整合する漸近的挙動を示した。
• 漸近展開における係数関数（例：S₃(y), S₄(y), ..., S₈(y)）は、高次に伴い次数が増加する多項式であることが判明し、直交トーリック座標は一般解には不適切であることが示唆された。
• 係数 S₈(y) には y の5次多項式項が含まれており、その展開における (β + α/(2ξ₀))² の係数が明示的に計算された。これにより、高次項における複雑性の増大が確認された。