代数幾何学 · 2026-10-23

A semiampleness result for hyperkähler fourfolds and smoothings of Lagrangian subvarieties

超Kähler四次元多様体の半豊富性と特異Lagrange部分多様体の平滑化

Andreas Höring, Vladimir Lazić, Christian Lehn

andreas-horing-1d9mjfp vladimir-lazic-nyn69k christian-lehn-1cj0gl hyperkahler-geometry positivity singularities Singularities 特異点・特異性 Positivity 正値性 Hyperkähler geometry ハイパーケーラー幾何

arXiv Abstract

We give a geometric proof of the following statement: let $X$ be a smooth hyperk\"ahler fourfold such that the Picard group is generated by a line bundle $L$ that is nef, non-trivial, and not big. If the Kodaira dimension of $L$ is non-negative, some positive multiple defines a Lagrangian fibration. The proof requires a number of tools which are of independent interest, including an analogue of Voisin's unobstructedness result and a smoothing result for singular Lagrangian subvarieties.

日本語要約

Picard群がnefで非自明かつbigでない線束Lによって生成される滑らかな超Kähler四次元多様体について、κ(X,L)≥0ならLの正の倍数がLagrangeファイブレーションを定めることを幾何学的に証明する。その過程で、Voisinの非障害性定理の類似と、特異Lagrange部分多様体の平滑化に関する結果を構成する。

We give a geometric proof of the following statement: let $X$ be a smooth hyperk\"ahler fourfold such that the Picard group is generated by a line bundle $L$ that is nef, non-trivial, and not big. If the Kodaira dimension of $L$ is non-negative, some positive multiple defines a Lagrangian fibration. The proof requires a number of tools which are of independent interest, including an analogue of Voisin's unobstructedness result and a smoothing result for singular Lagrangian subvarieties.

Picard群がnefなparabolic線束で生成される超Kähler四次元多様体で、非消滅から半豊富性を導く論文である。特異Lagrange部分多様体の変形・平滑化と切断の延長を組み合わせ、Lagrangeファイブレーションを構成する。任意偶数次元でも、一定の正規交叉Lagrange部分多様体をファイバーとして実現する定理を与える。

arXiv
2610.31497v1
初回投稿日
2026-10-22
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

超Kähler多様体上のnef線束がいつ写像を定めるかという問題は、その多様体をLagrangeファイバーに分解できるかという幾何学的問題に結びつく。本論文は、Beauville–Bogomolov平方が0となる線束に焦点を当て、四次元のPicard階数1の場合に、切断が存在するという仮定から半豊富性を導く。

証明では、線束の切断が定める因子の内部に、将来のファイバーに相当する曲面を探す。その曲面が滑らかなアーベル曲面なら既存の変形理論が使えるが、特異曲面が現れる場合には正規化、切断の延長、平滑化が必要になる。この特異部分多様体の解析が論文の主要な新しい道具である。

さらに、特定の正規交叉Lagrange部分多様体が実際にLagrangeファイブレーションの被約ファイバーになることを任意偶数次元で示す。四次元の半豊富性を一般化するうえで残る非消滅の問題と、本論文で解決する幾何学的構成の段階は明確に分けられている。

背景と問題設定

超Kähler多様体は既約正則シンプレクティック多様体とも呼ばれる。線束$L$がparabolicであるとは、Beauville–Bogomolov形式$q_X$に関して

$$ q_X(L)=0 $$

となることをいう。半豊富性は、ある正のテンソル冪が大域生成される性質である。ここでは、その写像が半次元のLagrangeファイバーを持つことにつながる。非消滅$\kappa(X,L)\geq0$は、ある冪に非零切断があることを要求する。

主結果

四次元での半豊富性（Theorem 1.1）

$X$が超Kähler四次元多様体で

$$ \operatorname{Pic}(X)\simeq\mathbb ZL,\qquad L\text{ はnefかつparabolic},\qquad \kappa(X,L)\geq0 $$

なら、$L$は半豊富である。したがってある正の倍数による写像

$$ f=\varphi_{|mL|}:X\longrightarrow B $$

はLagrangeファイブレーションとなる。結論はnef線束一般に無条件で成立すると主張するものではなく、Picard群と非消滅の仮定を伴う。

特異部分多様体からのファイブレーション（Theorem 1.2）

$X$を複素次元$2n$のコンパクト超Kähler多様体、$Y\subset X$を正規交叉Lagrange部分多様体とする。$\nu:Y^\nu\to Y$を正規化、$\widetilde\Omega_Y$をtorsion-free微分の層としたとき、

$$ h^0(Y,\widetilde\Omega_Y)=n-1,\qquad \omega_Y\text{ はtorsion},\qquad -K_{Y^\nu}\text{ はnef} $$

を仮定する。このときLagrangeファイブレーション$f:X\to B$と$t\in B$が存在し、

$$ Y=f^{-1}(t)_{\mathrm{red}} $$

となる。第1の条件は論文でいうcorank oneの状況を表し、局所自明な変形が周囲の因子を掃くことに対応する。特異なLagrange部分多様体を、単なる類似物でなく実際のファイバーとして認識する定理である。

一般変形での非消滅を仮定する系（Corollary 1.3）

超Kähler四次元多様体上のnefなparabolic線束$L$について、ある一般変形$(X',L')$が$\kappa(X',L')\geq0$を満たせば、元の$L$は半豊富になる。Introductionは、無条件の結論へ進むために残る課題を、非常に一般の変形での非消滅として説明する。

証明の見取り図

まず$L$を倍数に置き換えて有効因子$D\in|L|$を取り、正規化$D^\nu$から曲線への写像を作る。その一般ファイバーはアーベル曲面、または楕円曲線上の$\mathbb P^1$束となる。前者にはVoisinの非障害性結果を使う。

後者では$D$の特異点を調べる。Kodaira型II、III、IVの特異点の場合は、特殊なplt解消をDemailly–Hacon–Păunの延長定理と代数的近似に組み合わせる。重複度2の正規交叉の場合は、正規化上の写像を$D$へ降下させ、そのLagrangeファイバーをトーラスへ平滑化する。

平滑化には特異Lagrange部分多様体の非障害性、corank oneの構造、法束と対数微分の関係が働く。Introductionは、対数構造は用いるが対数変形理論そのものを必要とせず、周囲のシンプレクティック多様体の存在を利用する点を強調する。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Section 1、PDF pp. 1–4。
  • Introduction中で言及された主要結果: Theorems 1.1, 1.2、Corollary 1.3。
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2610.31497v1
  • 確認したライセンス: arXiv.org perpetual, non-exclusive license
  • source_scope: Abstract and Introduction