代数幾何学 · 2026-08-20
Holomorphic symplectic geometry of elliptic surfaces
楕円曲面の正則シンプレクティック幾何 Jun-Muk Hwang, Guolei Zhong jun-muk-hwang-pdbw33 guolei-zhong-1qbthy0 symplectic-contact-geometry calabi-yau-geometry Calabi–Yau geometry カラビ・ヤウ幾何 Symplectic and contact geometry シンプレクティック・接触幾何arXiv Abstract
When a complex surface $X$ admits a nowhere vanishing holomorphic 2-form, it determines a (holomorphic) symplectic structure on $X$. We study the symplectic geometry of such a symplectic structure when $X$ is an elliptic surface. When the elliptic fibration is nonisotrivial, we define a factorization of Kodaira's functional invariant, called the symplecto-functional invariant and prove that the symplecto-functional invariant determines the symplectic geometry of a nonisotrivial elliptic fibration. This leads to a classification of isogenies of nonisotrivial symplectic elliptic fibrations with a fixed source. We also classify isogenies of symplectic elliptic fibrations with a fixed target by studying symplectic automorphisms of germs of singular fibers. As an application, we prove that a symplecto-biholomorphic map between germs of fibers of nonisotrivial elliptic K3 surfaces can be extended to compositions of isogenies of K3 surfaces.
日本語要約
消えない正則2形式をもつ楕円曲面のシンプレクティック幾何を研究する。非等モジュラー楕円ファイバー空間についてsymplecto-functional invariantを定義し、それがシンプレクティック幾何を決定することを示す。固定した始域または終域をもつisogenyの分類を与え、非等モジュラー楕円K3曲面のファイバー芽のシンプレクティック双正則写像がK3曲面のisogenyの合成へ延長されることを導く。
When a complex surface $X$ admits a nowhere vanishing holomorphic 2-form, it determines a (holomorphic) symplectic structure on $X$. We study the symplectic geometry of such a symplectic structure when $X$ is an elliptic surface. When the elliptic fibration is nonisotrivial, we define a factorization of Kodaira's functional invariant, called the symplecto-functional invariant and prove that the symplecto-functional invariant determines the symplectic geometry of a nonisotrivial elliptic fibration. This leads to a classification of isogenies of nonisotrivial symplectic elliptic fibrations with a fixed source. We also classify isogenies of symplectic elliptic fibrations with a fixed target by studying symplectic automorphisms of germs of singular fibers. As an application, we prove that a symplecto-biholomorphic map between germs of fibers of nonisotrivial elliptic K3 surfaces can be extended to compositions of isogenies of K3 surfaces.
非等モジュラーなシンプレクティック楕円曲面に対し、Kodairaの函数不変量を精密化するsymplecto-functional invariantを導入し、それが楕円ファイバー構造を決定することを示す。これにより固定した始域・終域をもつisogenyを分類し、楕円K3曲面のファイバー近傍の同型を大域的isogenyへ延長する。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2607.10375
- 著者: Jun-Muk Hwang, Guolei Zhong
- 初回投稿日・最終更新日: 2026年7月11日（v1）
- 主分類: math.AG
- ライセンス: arXiv non-exclusive distribution license
要約
複素曲面上の消えない正則2形式は正則シンプレクティック構造を定める。本論文は楕円ファイバー空間で、この形式が通常の複素構造の不変量にどの情報を加えるかを調べる。
中心的な新概念は、Kodairaの函数不変量 $J:C\to\mathcal M$ の因子分解として得られるsymplecto-functional invariant $\lambda:C^o\to\mathcal L$ である。非等モジュラーの場合、これはhomological invariantの情報まで含み、ファイバー空間を決定する。
この完全性から、固定した始域をもつisogenyを支配する標準的なsymplecto-elliptic reductionが構成される。特異ファイバー芽の自己同型解析は、逆向きに固定した終域をもつisogenyの分類を与える。
背景と問題設定
楕円ファイバー空間は函数不変量とmonodromyを表すhomological invariantで記述されるが、函数不変量単独では決まらない。正則シンプレクティック形式を加えたとき、より強い分類不変量とisogenyの普遍対象が存在するかが問題となる。
主結果
Jacobianとの局所比較（Theorem 1.4）
多重ファイバーをもたないgenus 1 fibrationがシンプレクティック形式をもつことと、そのJacobian fibrationがシンプレクティック形式をもつことは同値であり、底の各点の近傍で両者はシンプレクティックに同型となる。
不変量による決定（Theorem 1.11）
二つの非等モジュラー・シンプレクティック楕円ファイバー空間は、底の双正則写像を介してsymplecto-functional invariantが一致することと、シンプレクティック楕円ファイバー空間として同型であることが同値である。
固定始域の普遍的isogeny（Theorem 1.7）
各非等モジュラー・シンプレクティック楕円ファイバー空間にはsymplecto-elliptic reductionへのisogenyが存在し、同じ始域から出る全てのisogenyはこれを一意に経由する。
K3曲面への応用（Theorems 1.12, 1.14）
非等モジュラー楕円K3曲面の開いたファイバー近傍のシンプレクティック同型は、両者のreductionを同定する。Picard数が $\rho(X)\le9$ ならその楕円K3曲面は既にreducedであり、局所同型の大域延長が得られる。
証明の見取り図
滑らかな部分では正則版action-angle variablesにより $T^*C$ から全空間への被覆を用いる。symplecto-functional invariantの像からreductionを構成し、特異ファイバー近傍ではシンプレクティック特異点と芽の自己同型を分類してisogenyの分岐を制御する。
原論文との対応
- Abstractページ: arXiv:2607.10375
- Introduction: Section 1, pp. 2–9
- 主要結果: Theorems 1.4, 1.7, 1.11–1.14, 1.17
- 確認したarXivバージョン: v1
- source_scope: Abstract and Introduction