[論文レビュー] Computer-Assisted Proof of the Main Theorem of 'The Classification of Branched Willmore Spheres in the $3$-Sphere and the $4$-Sphere'

Alexis Michelat, Tristan Rivière|arXiv (Cornell University)|Nov 28, 2017

Algebraic Geometry and Number Theory参考文献 2被引用数 5

ひとこと要約

本稿は、Sageを用いたコンピュータ支援証明により、3次および4次球面上の分岐Willmore球面に関連する四次および八次の有理型微分形式が正則であることを示しており、このような曲面の分類における重要な技術的障壁を解消した。証明は、分岐点の重複度θ₀ ≥ 4のとき、1次より高い位の極が除去可能であることを確立し、従来の結果を拡張し、変分的条件下での微分形式の正則性を確認した。

ABSTRACT

We provide a computer-assisted proof of the holomorphy of the quartic and the octic meromorphic differentials arising in the main Theorem 4.11 of our paper 'The Classification of Branched Willmore spheres in the $3$-Sphere and the $4$-Sphere' (arXiv:1706.01405), using the free mathematical software Sage.

研究の動機と目的

• S³およびS⁴における分岐Willmore球面の分類に現れる四次および八次の有理型微分形式の正則性を厳密に検証すること。
• 分岐点の重複度θ₀ ≥ 4のとき、1次より高い位の極が存在し得るかどうかという未解決問題を解消すること。
• 高次極の除去に必要なキャンセル条件の計算的検証を提供すること。
• 既知のθ₀ ≤ 3の場合に極がすでに除去可能であることが分かっていることから、Willmore球面の分類をθ₀ ≤ 3の範囲を超えて拡張すること。
• 変分的条件下で有理型微分形式QΦおよびOΦが正則であることを確認し、これにより最小曲面の被覆が有限総曲率およびゼロフラックスを示すこと。

提案手法

• オープンソース数学ソフトウェアSageを用いて、分岐点の周囲における幾何的テンソルの高次テイラー展開を記号計算で実行した。
• 四次微分形式における特異項のキャンセルを保証するため、∂zF(z)の実部の零点の位数をθ₀ + 3次まで計算した。
• 初期データを用いて、共形因子、平均曲率、第二基本形式の高次係数を再帰的関係式で計算した。
• QΦの正則性を保証するため、内積⟨A₁, C₁⟩および⟨A₁, A₁⟩に関する線形方程式系を導出し、これを解いた。
• 有理型四次形式のテイラー展開におけるz³z⁻¹dz⁴の係数が恒等的に消えることを確認し、極が存在しないことを裏付けた。
• 反転不変性に由来する保存則を用いて、テンソル展開の構造を制約し、誤った特異点を排除した。

実験結果

リサーチクエスチョン

• RQ1 分岐点の重複度θ₀ ≥ 4の分岐Willmore球面において、四次微分形式QΦに1次より高い位の極が存在し得るか？
• RQ2 分岐点における幾何的データにどのような条件が課されると、QΦおよび八次微分形式OΦの正則性が保証されるか？
• RQ3 QΦのテイラー展開におけるz³z⁻¹dz⁴項のキャンセルは、高次極の除去を保証するのに十分か？
• RQ4 反転不変性をどのように用いることで、微分形式の正則性を強制する制約を導出できるか？
• RQ5 コンピュータ支援記号計算は、高次非線形幾何的偏微分方程式の特異項のキャンセルを信頼的に検証できるか？

主な発見

• 内積の系⟨A₁, C₁⟩⟨A₁, A₁⟩ = |A₁|²⟨A₁, C₁⟩および|C₁|²⟨A₁, A₁⟩ = ⟨A₁, C₁⟩²が満たされたとき、有理型四次微分形式QΦのテイラー展開におけるz³z⁻¹dz⁴の係数は恒等的に消える。
• z³z⁻¹dz⁴項の消滅は、重複度θ₀ ≥ 4の分岐点において四次微分形式QΦが1次より高い位の極を持たないことを示唆する。
• QΦの正則性はすべてのθ₀ ≥ 4に対して確認され、これにより最大7個の分岐点を持つWillmore球面の分類が拡張された。
• OΦの正則性は、親論文の第5章で示されたQΦの正則性の結果から従う。
• θ₀ = 3の場合、四次微分形式は正則であり、θ₀ = 2の場合は浸漬の滑らかさから自明に正則であることが確認された。
• Sageによるコンピュータ支援検証は、非線形幾何的偏微分方程式における特異項のキャンセルを検証する、厳密で再現可能かつスケーラブルな手法を提供した。