代数幾何学 · 2026-09-15
Lagrangian fibrations on hyperkahler manifolds have no multiple fibers in codimension one
超Kähler多様体上のLagrangian fibrationは余次元1で重複ファイバーを持たない Ljudmila Kamenova, Misha Verbitsky ljudmila-kamenova-w9j4h9 misha-verbitsky-1gu928q hyperkahler-geometry Hyperkähler geometry ハイパーケーラー幾何arXiv Abstract
Let $f:\; M \to {\mathbb C}P^n$ be a Lagrangian fibration on a compact hyperkahler manifold. We prove that $f$ has no multiple fibers in codimension 1. We prove that this condition is equivalent to the primitivity of the fundamental class of $\pi^{-1}(H)$, where $H \subset {\mathbb C}P^n$ denotes a hyperplane divisor.
日本語要約
コンパクト超Kähler多様体$M$上のLagrangian fibration $f:M\to\mathbb{CP}^n$は、余次元1で重複ファイバーを持たないことを証明する。また、この条件が超平面因子$H\subset\mathbb{CP}^n$の逆像$\pi^{-1}(H)$の基本類のprimitive性と同値であることを示す。
Let $f:\; M \to {\mathbb C}P^n$ be a Lagrangian fibration on a compact hyperkahler manifold. We prove that $f$ has no multiple fibers in codimension 1. We prove that this condition is equivalent to the primitivity of the fundamental class of $\pi^{-1}(H)$, where $H \subset {\mathbb C}P^n$ denotes a hyperplane divisor.
コンパクト超Kähler多様体から$\mathbb{CP}^n$へのLagrangian fibrationが余次元1で重複ファイバーを持たないことを示す。これは超平面の逆像の基本類が整数コホモロジーでprimitiveであることと結び付き、楕円K3曲面で知られた非重複性を高次元化する。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2609.14804
- 著者: Ljudmila Kamenova, Misha Verbitsky
- 初回投稿日: 2026年9月13日
- 最終更新日: 2026年9月13日
- 主分類・副分類: math.AG（主分類）
- ライセンス: CC BY 4.0
要約
正則Lagrangian fibrationの特異ファイバーは、局所的なFujiki class Cの設定では詳しく分類されており、余次元1で重複する例も存在する。しかし、その局所例がコンパクト超Kähler多様体上で実現されるかは別問題である。
本論文は、コンパクト超Kähler多様体$M$から$\mathbb{CP}^n$へのLagrangian fibrationでは、そのような重複ファイバーが余次元1に現れないことを示す。楕円K3曲面で古典的に知られる事実の高次元版に当たる。
同時に、超平面$H\subset\mathbb{CP}^n$の逆像が定める$\kappa\in H^2(M,\mathbb Z)$がprimitiveであることを証明する。従来このprimitive性は非重複性を仮定して得られていたが、本論文では仮定を外す。
背景と問題設定
ファイバーの既約成分のscheme-theoretic multiplicityを$\mu_i$とすると、その最大公約数$\mu$がファイバーのmultiplicityである。判別因子の一般点上で$\mu=1$、すなわち少なくとも一つの既約成分がmultiplicity 1を持つことが「余次元1で重複ファイバーを持たない」という条件である。
Hwang--Oguisoの局所分類には重複ファイバーが含まれる一方、コンパクトな全空間では可能な特異ファイバーの全体像は未確定である。本論文は超Kähler構造が重複例を排除することを明らかにする。
主結果
余次元1での非重複性（Theorem 1.5）
超Kähler多様体上のLagrangian fibration
$$ \pi:M\longrightarrow\mathbb{CP}^n $$
は余次元1で重複ファイバーを持たない。すなわち底の余次元2の部分集合を除けば、各ファイバーにはmultiplicity 1の既約成分が存在する。
超平面逆像類のprimitive性（Theorem 1.6）
$H\subset\mathbb{CP}^n$を超平面因子とし、$\kappa\in H^2(M,\mathbb Z)$を$\pi^{-1}(H)$の基本類とする。このとき$\kappa$はprimitive、すなわち$H^2(M,\mathbb Z)$内で$1$より大きい整数では割り切れない。
Introductionは後者を前者と結び付け、非重複性を仮定していた先行結果を強めたものと位置付ける。余次元2では重複ファイバーが存在し得るため、結論の余次元は本質的である。
原論文との対応
- Abstractページ: arXiv:2609.14804
- Introduction: Section 1, pp. 2--4
- Introduction中で言及された主要定理番号: Theorems 1.5, 1.6
- 論文構成の説明: Introductionでは各定理の証明先をTheorems 6.7, 4.1として示す
- 確認したarXivバージョン: v1
- 確認したライセンス: CC BY 4.0
- source_scope: Abstract and Introduction