複素微分幾何学 · 2026-09-09
Degenerations of exotic Calabi-Yau metrics through Atiyah's flop
Atiyahフロップを通るエキゾチックCalabi--Yau計量の退化 Thibault Langlais, Viktor F. Majewski thibault-langlais-aqga8v viktor-f-majewski-1unokd3 calabi-yau-geometry noncompact-kahler-geometry metric-limits singularities birational-geometry Singularities 特異点・特異性 Birational geometry 双有理幾何 Noncompact Kähler geometry 非コンパクトKähler幾何 Metric limits and Gromov–Hausdorff geometry 距離空間極限・Gromov–Hausdorff幾何 Calabi–Yau geometry カラビ・ヤウ幾何arXiv Abstract
We construct new families of complete Calabi-Yau metrics with maximal volume growth on the small resolutions of the conifold $\mathcal{Z} = \{z_1^2 + z_2^2 + z_3^2 + z_4^2 = 0\} \subset \mathbb{C}^4$. These metrics have tangent cone $\mathbb{C} \times (\mathbb{C}^2 / \mathbb{Z}_2)$ at infinity and are parametrised by their Kähler class. As the Kähler class degenerates, the metrics converge in the pointed Gromov-Hausdorff sense to a Calabi-Yau metric on $\mathcal{Z}$ with an isolated conical singularity modelled on the Stenzel metric at the ordinary double point and tangent cone at infinity $\mathbb{C} \times (\mathbb{C}^2/\mathbb{Z}_2)$, thereby providing a new metric realisation of the Atiyah flop.
日本語要約
conifoldの小解消上に、最大体積成長をもちKähler類でパラメータ付けられた新しい完全Calabi--Yau計量族を構成する。無限遠での接錐は$\mathbb C\times(\mathbb C^2/\mathbb Z_2)$である。Kähler類が退化すると、計量はconifold上の特異Calabi--Yau計量へ点付きGromov--Hausdorff収束し、その通常二重点はStenzel計量を円錐特異点模型にもつ。この族はAtiyahフロップの新しい計量的実現を与える。
We construct new families of complete Calabi-Yau metrics with maximal volume growth on the small resolutions of the conifold $\mathcal{Z} = \{z_1^2 + z_2^2 + z_3^2 + z_4^2 = 0\} \subset \mathbb{C}^4$. These metrics have tangent cone $\mathbb{C} \times (\mathbb{C}^2 / \mathbb{Z}_2)$ at infinity and are parametrised by their Kähler class. As the Kähler class degenerates, the metrics converge in the pointed Gromov-Hausdorff sense to a Calabi-Yau metric on $\mathcal{Z}$ with an isolated conical singularity modelled on the Stenzel metric at the ordinary double point and tangent cone at infinity $\mathbb{C} \times (\mathbb{C}^2/\mathbb{Z}_2)$, thereby providing a new metric realisation of the Atiyah flop.
conifoldの二つの小解消上に、最大体積成長と特異な無限遠接錐をもつ完全Calabi--Yau計量族を構成する。Kähler類を零へ退化させると、通常二重点でStenzel錐を局所模型とする特異計量へGromov--Hausdorff収束し、パラメータの符号を変える過程がAtiyahフロップを計量的に実現する。
differential-geometry 2026書誌情報
- arXiv: arXiv:2609.08978
- 著者: Thibault Langlais, Viktor F. Majewski
- 初回投稿日・最終更新日: 2026年9月8日
- 主分類・副分類: math.DG / math.CV
- ライセンス: CC BY 4.0
要約
非コンパクトCalabi--Yau計量では、Kähler類だけでなく無限遠での漸近条件も分類に不可欠である。特に最大体積成長をもちながら無限遠接錐のリンクが特異となる「エキゾチック」な計量は、崩壊するコンパクトCalabi--Yau空間の局所模型として重要である。
本論文は三次元通常二重点の二つの小解消$\mathcal Z_\pm$に、半Ricci平坦な漸近模型をもつ新しい完全Calabi--Yau計量$\omega_{\mathrm{CY},s}$を構成する。これらは最大体積成長をもち、無限遠接錐は$\mathbb C\times(\mathbb C^2/\mathbb Z_2)$である。
面積パラメータ$s$を零へ近づけると例外曲線が収縮し、両側の小解消は同じ特異Calabi--Yau距離空間へ収束する。零を越えた符号の変化が二つの小解消を入れ替えるため、代数幾何のAtiyahフロップが一つの連続的な計量退化として現れる。
背景と問題設定
対象はconifold $$ \mathcal Z={z_1^2+z_2^2+z_3^2+z_4^2=0}\subset\mathbb C^4 $$ と、その二つの小解消$\pi_\pm:\mathcal Z_\pm\to\mathcal Z$である。各例外曲線$C_\pm$は$\mathbb P^1$であり、$\mathcal Z_-\dashrightarrow\mathcal Z_+$がAtiyahフロップを与える。
主結果
完全計量族（Theorem A）
$s>0$では$\mathcal Z_+$上、$s<0$では$\mathcal Z_-$上に完全Calabi--Yau計量族が存在し、そのKähler類はそれぞれ$2\pi s,c_1(L_+)$と$-2\pi s,c_1(L_-)$である。体積形式は固定された正則体積形式から定まり、全計量が最大体積成長と無限遠接錐$\mathbb C\times(\mathbb C^2/\mathbb Z_2)$をもつ。
特異極限（Theorem B）
$s\to0$で計量は正則部分上局所滑らかに$\omega_{\mathrm{CY},0}$へ収束する。この極限は通常二重点の近傍でStenzel錐計量$\omega_{\mathrm{Stz}}$に漸近し、ある$\nu>0$について $$ |\nabla_{\omega_{\mathrm{Stz}}}^{k}(\Phi^*\omega_{\mathrm{CY},0}-\omega_{\mathrm{Stz}})|=O(\rho^{\nu-k}) $$ を満たす。さらに小解消上の点付き空間は、この正則部分の距離完備化へ点付きGromov--Hausdorff収束する。
証明の見取り図
Kronheimerのhyperkähler商からEguchi--Hansonファイバーをもつ半Ricci平坦計量を作り、無限遠でRicciポテンシャルを十分速く減衰させる補正を加える。例外曲線付近ではCandelas--de la Ossa計量と補間し、パラメータに一様なSobolev評価と$C^2$評価を確立する。これにより非コンパクトMonge--Ampère方程式を一様に解き、滑らかな極限と距離空間としての収束を同時に制御する。
原論文との対応
- Abstractページ: arXiv:2609.08978
- Introduction: Section 1, pp. 1--5
- 主要定理: Theorems A, B
- 論文構成: Introduction末尾, pp. 4--5
- 確認したarXivバージョン: v1
- 確認したライセンス: CC BY 4.0
- source_scope: Abstract and Introduction