[論文レビュー] Some numerical results in complex differential geometry

Simon Donaldson|ArXiv.org|Dec 28, 2005

Geometry and complex manifolds参考文献 6被引用数 71

ひとこと要約

本稿では、代数的K3表面におけるケーラー＝アインシュタイン計量の近似に、正則2次形式の有限次元ヒルベルト形式を用いた新しい数値的手法を提示する。この手法により、正則2形式の単位ノルムからの最大で1.5%、平均で0.11%の偏差が達成された。本手法は射影埋め込みとFubini-Study計量の反復的改善を活用し、最小限のパラメータで高速に高精度な近似に収束する。

ABSTRACT

The first part of this paper discusses general procedures for finding numerical approximations to distinguished Kahler metrics, such as Calabi-Yau metrics, on complex projective manifolds. These procedures are closely related to ideas from Geometric Invariant Theory, and to the asymptotics of high powers of positive line bundles. In the core of the paper these ideas are illustrated by detailed numerical results for a particular K3 surface.

研究の動機と目的

• 代数多様体における特殊ケーラー計量（例：ケーラー＝アインシュタイン計量）の実用的数値手法の開発。
• 代数的近似における高次元空間の計算不能性を、有限次元的で反復的改善スキームを用いて克服すること。
• 格子ベースや連続的ケーラー類手法に対する、数値的に扱いやすく、パラメータ効率の良い代替手法の提供。
• 高次元対称性を持つ特定のK3表面（x⁶ + y⁶ + z⁶ = 0を分岐被覆とするℙ²の2重被覆）における手法の有効性の実証。
• 定曲率スカラー計量や極値計量を含む、他の代数的多様体や計量への応用が可能なフレームワークの確立。

提案手法

• 本手法は、正定線形束の高次の正則セクションによって誘導される射影埋め込みを通じてケーラー計量を構築する。
• 空間H⁰(Lᵏ)上のヘルミート形式を用いて、埋め込まれた多様体上のFubini-Study計量を定義する。
• 近似プロセスは、誘導された計量と目的のケーラー＝アインシュタイン計量との差を最小化するように、反復的にヘルミート形式を改善することで行われる。
• Fubini-Study計量の漸近的展開における補正項を用いて収束を加速し、1次曲率不変量a₁(ω)を含む補正を適用する。
• 複素射影空間上の滑らかな関数がラプラシアンの有限次元固有空間へ射影可能であるという事実を活用し、急速な収束を実現する。
• 最終的な計量は、ヒルベルト写像とFubini-Study構成の合成により得られ、任意のνに対してo(k⁻ᵛ)の誤差境界を有する。

実験結果

リサーチクエスチョン

• RQ1 代数的K3表面におけるケーラー＝アインシュタイン計量は、有限次元の代数的データを用いて高精度に数値的に近似可能か？
• RQ2 このような近似はどの程度の速さで収束するか？また、管理可能な数のパラメータで達成可能か？
• RQ3 正則セクション上のヘルミート形式の反復的改善は、目的計量の曲率およびノルム条件をよく再現する計量を生成できるか？
• RQ4 格子離散化に基づく従来の数値的手法と比較して、本手法は精度と効率の点で優れているか？
• RQ5 本手法は、定曲率スカラー計量や極値ケーラー計量を含む、他の特殊計量へ一般化可能か？

主な発見

• x⁶ + y⁶ + z⁶ = 0を分岐被覆とするℙ²の2重被覆として定義されるK3表面に対して、26個の実パラメータのみを用いて計量ω′₉を構築した。
• 正則2形式θのノルム|θ|_ω′₉は、表面全体で1から最大1.5%の偏差を示す。
• 表面全体にわたる平均で、|θ|_ω′₉と1との偏差はわずか0.11%にとどまる。
• 本手法は、任意のνに対してo(k⁻ᵛ)の誤差境界を達成し、セクション空間の次元に依存しない高速収束を示している。
• 構築された計量ω′₉は、ラプラシアンの固有値を計算するような数値的応用の強力な候補である。
• 本手法は、数百万のパラメータを要する格子ベース手法と比較して、はるかにパラメータ効率が高く、数十パラメータで十分である。