2025-11-12T11:31:09.427637

On algebraically coisotropic submanifolds of holomorphic symplectic manifolds

Amerik, Campana

We investigate algebraically coisotropic submanifolds $X$ in a holomorphic symplectic projective manifold $M$. Motivated by our results in the hypersurface case, we raise the following question: when $X$ is not uniruled, is it true that up to a finite Ã©tale cover, the pair $(X,M)$ is a product $(Z\times Y, N\times Y)$ where $N, Y$ are holomorphic symplectic and $Z\subset N$ is Lagrangian? We prove that this is indeed the case when $M$ is an abelian variety, and give some partial answer when the canonical bundle $K_X$ is semi-ample. In particular, when $K_X$ is nef and big, $X$ is Lagrangian in $M$ (in fact this also holds without nefness assumption). We also remark that Lagrangian submanifolds do not exist on a sufficiently general Abelian variety, in contrast to the case when $M$ is irreducible hyperkÃ¤hler.

academic

正則シンプレクティック多様体の代数的余等方部分多様体について

基本情報

論文ID: 2205.07958
タイトル: On algebraically coisotropic submanifolds of holomorphic symplectic manifolds
著者: Ekaterina Amerik (Université Paris-Sud & HSE University)、Frédéric Campana (Université Lorraine)
分類: math.AG (代数幾何)、math.CV (複素解析)
発表時期: 2023年、Épijournal de Géométrie Algébrique特集号（Claire Voisin追悼号）に掲載
論文リンク: https://arxiv.org/abs/2205.07958

要旨

本論文は正則シンプレクティック射影多様体 $M$ における代数的余等方部分多様体 $X$ を研究する。著者らの超曲面の場合に関する先行研究に基づき、中心的な問題を提起する： $X$ が単有理でない場合、有限étale被覆の意味で $(X,M)$ に対して乗積分解 $(Z\times Y, N\times Y)$ が存在するか。ここで $N, Y$ は正則シンプレクティック多様体であり、 $Z\subset N$ はラグランジュ部分多様体である。著者らは $M$ がアーベル多様体である場合にこの結論が成立することを証明し、正準束 $K_X$ が半豊富である場合に部分的な答えを与える。特に、 $K_X$ がnefかつbigである場合、 $X$ は $M$ 内でラグランジュである。同時に、既約超ケーラー多様体の場合と対比して、十分一般的なアーベル多様体上にはラグランジュ部分多様体が存在しないことを指摘する。

研究背景と動機

中心的問題

本論文は正則シンプレクティック多様体における代数的余等方部分多様体の構造問題を研究する。余等方部分多様体はシンプレクティック幾何における重要な概念である：正則シンプレクティック多様体 $(M,\sigma)$ の部分多様体 $X$ に対して、各点 $x\in X$ において $\sigma|_X$ の余秩が $X$ の余次元に等しい場合、 $X$ を余等方的と呼ぶ。

研究動機

既知結果の拡張：著者らはAC17で代数的余等方因子の構造を特徴付けたが、本論文はこれらの結果を高い余次元の場合に拡張することを試みる
構造分類問題：非単有理代数的余等方部分多様体がラグランジュ部分多様体と正則シンプレクティック多様体の乗積に常に分解できるかを理解する
幾何学的直観：ラグランジュ部分多様体は正則シンプレクティック曲面における曲線の高次元類似物であり、その存在性と構造の研究は重要な意義を持つ

既存研究の限界

Hwang-Viehweg HV10は一般型の滑らかな代数的余等方超曲面が正則シンプレクティック曲面における曲線であることを証明した
しかし高い余次元の場合の構造理論の研究は少ない
統一的な分類枠組みが欠けている

核心的貢献

アーベル多様体の場合の完全分類： $M$ がアーベル多様体である場合、Question 1.4に肯定的な答えがあることを証明した（定理1.11）
正準束条件下の構造定理： $K_X$ が半豊富である場合、特性葉化は等平凡である（定理1.7-1.8）
ラグランジュ性判定法： $K_X$ がnefかつbigである場合、 $X$ は必ずラグランジュである（系1.9）
存在性結果：Hodge一般的なアーベル多様体上にはラグランジュ部分多様体が存在しないことを証明した（系5.5）
具体例の構成：非射影的な場合のラグランジュ部分多様体の例を与える

方法の詳細説明

基本的定義と概念

定義1.1（余等方部分多様体）： $M$ を正則シンプレクティック形式 $\sigma$ を備えた複素射影多様体とし、 $X$ を $M$ の既約複素部分多様体とする。各点 $x\in X$ において $\sigma|_X$ の余秩が $\text{codim}(X)$ に等しい場合、 $X$ を余等方的と呼ぶ。

代数的余等方性：余等方部分多様体 $X$ 上の特性葉化が代数的である（すなわち、葉がすべて代数的部分多様体である）場合、 $X$ を代数的余等方的と呼ぶ。

中心的技術方法

1. 特性葉化の分析

代数的余等方部分多様体 $X$ に対して、その特性葉化は纎維化 $f: X \to B$ を定義し、ここで繊維は葉化の葉である。重要な補題：

補題2.1（Sawon）： $B$ 上の正則シンプレクティック形式 $\eta$ が存在して $f^*\eta = \sigma|_X$ を満たす。

2. 基の幾何学的性質

命題2.2：特性葉化の基 $B$ は以下の性質を持つ：

余次元1において重複繊維がない
$B$ は正準特異点のみを持つ
$\kappa(B) = 0$ （小平次元がゼロ）

3. 等平凡性判定法

AC18における特殊基に関する結果を利用する：

定理1.7： $K_X$ が半豊富である場合、特性葉化 $f: X \to B$ は等平凡であり、 $\kappa(X) = \kappa(F)$ である。

アーベル多様体の場合の分析

アーベル多様体 $M$ における代数的余等方部分多様体 $X$ に対して、Ueno分類定理を利用する：

構造分解： $X = p^{-1}(Z)$ 。ここで $p: M \to L = M/A$ 、 $A$ はアーベル部分多様体、 $Z \subset L$ は一般型部分多様体
乗積分解：Poincaré完全可約性により、 $M = D \times C \times N \times P$ の分解を得る
直交性分析：余等方条件を利用して各因子間の直交関係を分析する
シンプレクティック形式の構造：各因子上の $\sigma$ の制限の性質を決定する

主要定理とその証明の概要

定理1.11（アーベル多様体の場合）

陳述： $M$ をアーベル多様体とし、 $X \subset M$ を代数的余等方部分多様体とする。有限étale被覆を経た後、部分環面 $D,N,C,P$ が存在して以下が成立する：

$M = D \times C \times N \times P$
$X = D \times C \times Z$ 。ここで $Z \subset N$
$Z$ は $N$ 内でラグランジュである

証明の要点：

Ueno定理を利用して $X$ の基本構造を得る
Poincaré完全可約性により乗積分解を実現する
シンプレクティック形式のKünneth分解を分析する： $\sigma = \sigma_D \oplus \sigma_N \oplus \sigma_P \oplus s$
余等方条件を利用して各因子間の直交関係を決定する
$\sigma_N$ がシンプレクティックであり、 $Z$ が $\sigma_N$ -余等方的であることを証明する
次元計算により $Z$ がラグランジュであることを証明する