[論文レビュー] Smoothing singular extremal Kähler surfaces and minimal Lagrangians

Olivier Biquard, Yann Rollin|arXiv (Cornell University)|Nov 29, 2012

Geometry and complex manifolds参考文献 10被引用数 11

ひとこと要約

本稿は、$Π$-ゴレンシュタインで非退化な特異極小ケーラー表面の滑らか化が、中心特異点に極小ケーラー計量をもつ場合、退化するケーラー類の極限において極小ケーラー計量をもつことを確立している。さらに、その滑らか化に小規模なハミルトニアン定常ラグランジュ球面を構成し、その球面が消滅サイクルを表す。これはショーンとウルフソンが予測した最小ラグランジュサイクルの具象的実現である。

ABSTRACT

We consider smoothings of a complex surface with singularities of class T and no nontrivial holomorphic vector field. Under an hypothesis of non degeneracy of the smoothing at each singular point, we prove that if the singular surface admits an extremal metric, then the smoothings also admit extremal metrics in nearby Kähler classes. In addition, we construct small Lagrangian stationary spheres which represent Lagrangian vanishing cycles for surfaces close to the singular one.

研究の動機と目的

• 特異極小ケーラー表面の$Π$-ゴレンシュタイン滑らか化が極小ケーラー計量をもつ条件を確立すること。
• 特に解消がそのような計量をもてない場合に、滑らか化における定スカラー曲率ケーラー（cscK）計量の存在理論のギャップを埋めること。
• 滑らか化における最小ラグランジュ部分多様体の幾何的構成を提供し、ショーンとウルフソンが予測したラグランジュ消滅サイクルを実現すること。
• 特に非正規特異点をもつクラス$T$特異点に対して、解消ではなく滑らか化へのグリッティング技法を拡張すること。
• ガウス＝ミンの接続と変形パrameterの非退化性条件を用いて、滑らか化の位相的およびコホモロジー的構造を明確化すること。

提案手法

• クラス$T$特異点をもつ複素表面の$Π$-ゴレンシュタイン滑らか化を用い、中心ファイバーは特異で、一般ファイバーは滑らかである。
• 滑らか化空間への分岐被覆への持ち上げを通じて変形写像の非退化性条件を課し、特異点の判別式部分集合への横断的交差を保証する。
• ガウス＝ミンの接続を介して、特異中心ファイバーにおける極小計量を、滑らかファイバー上の極小計量族へ拡張するための摂動論を適用する。
• 特に$A_1$特異点の場合に、モノドロミーと滑らか化の位相を解析することで、滑らか化内に小規模なラグランジュ球面を構成する。
• 明示的な局所モデル（例：$w^{k+1} = xy + \text{多項式項}$）を用いて滑らか化をパラメトライズし、非退化性条件を検証する。
• ルールド表面と積空間とのファイバーごとの同一化によるグリッティング構成を用い、オーロリッド表面のグローバルな滑らか化を定義する。

実験結果

リサーチクエスチョン

• RQ1 クラス$T$特異点をもつ特異極小ケーラー表面が、極小ケーラー計量をもつ滑らか化をもつ条件は何か？
• RQ2 非退化な滑らか化のもとで、特異中心ファイバーにcscK計量が存在するならば、その計量は滑らかファイバーへ持ち上げられるか？
• RQ3 特異表面の滑らか化におけるラグランジュ消滅サイクルは、最小曲面としての具象的幾何的実現をもつか？
• RQ4 滑らか化の位相は、解消における例外的曲線のホモロジー類とどのように関係するか？
• RQ5 ガウス＝ミンの接続は、滑らか化族全体でコホモロジー類を特定するために果たす役割は何か？

主な発見

• クラス$T$特異点をもつ正規複素表面$\mathcal{X}$がケーラー類$\Omega_0$において極小計量をもつとき、かつ各特異点で滑らか化が非退化ならば、十分に小さい$t$に対して、滑らかファイバー$\mathcal{M}_t$は退化するケーラー類$\Omega_t$において極小計量をもつ。
• $A_1$特異点の場合、非退化な1パラメータ族の滑らか化が存在し、その滑らか化は極小ケーラー計量をもつ。
• 滑らか化内に小規模なハミルトニアン定常ラグランジュ球面が構成され、その球面は滑らか化のラグランジュ消滅サイクルを表す。
• この構成により、ショーンとウルフソンが予測した最小ラグランジュサイクルの具象的実現が得られ、存在理論におけるギャップが解消される。
• 特異点における局所滑らか化空間の次元は$d_x$であり、$e_x = d_x$（正規特異点）、$e_x = d_x - 1$（非正規特異点）であり、これは滑らか化のコホモロジー的構造を反映している。
• $A_1$特異点の場合、非退化性条件は$\partial a_0/\partial z \neq 0$に対応し、判別式部分集合への横断的交差を保証する。