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

On algebraically coisotropic submanifolds of holomorphic symplectic manifolds

基本信息

  • 论文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

摘要

本文研究全纯辛射影流形MM中的代数余迷向子流形XX。基于作者在超曲面情形的研究结果，提出核心问题：当XX不是单有理的时，是否在有限étale覆盖意义下，对(X,M)(X,M)存在乘积分解(Z×Y,N×Y)(Z\times Y, N\times Y)，其中N,YN, Y都是全纯辛流形且Z⊂NZ\subset N是拉格朗日子流形？作者证明了当MM是阿贝尔簇时这个结论成立，并在典范丛KXK_X半丰富时给出部分答案。特别地，当KXK_X是nef且big时，XX在MM中是拉格朗日的。同时指出，与不可约超凯勒情形对比，充分一般的阿贝尔簇上不存在拉格朗日子流形。

研究背景与动机

核心问题

本文研究全纯辛流形中代数余迷向子流形的结构问题。余迷向子流形是辛几何中的重要概念：对于全纯辛流形(M,σ)(M,\sigma)中的子流形XX，如果在每点x∈Xx\in X处，限制σ∣X\sigma|_X的余秩等于XX的余维数，则称XX为余迷向的。

研究动机

  1. 推广已知结果：作者在AC17中刻画了代数余迷向除子的结构，本文试图将这些结果推广到高余维情形
  2. 结构分类问题：理解非单有理代数余迷向子流形是否总能分解为拉格朗日子流形与全纯辛流形的乘积
  3. 几何直觉：拉格朗日子流形是全纯辛曲面中曲线的高维类比，研究其存在性和结构具有重要意义

现有研究局限

  • Hwang-Viehweg HV10证明了一般型的光滑代数余迷向超曲面是全纯辛曲面中的曲线
  • 但对高余维情形的结构理论研究较少
  • 缺乏统一的分类框架

核心贡献

  1. 阿贝尔簇情形的完全分类：证明了当MM是阿贝尔簇时，Question 1.4有肯定答案（定理1.11）
  2. 典范丛条件下的结构定理：当KXK_X半丰富时，特征纤维化是等平凡的（定理1.7-1.8）
  3. 拉格朗日性判准：当KXK_X是nef且big时，XX必为拉格朗日的（推论1.9）
  4. 存在性结果：证明了Hodge一般的阿贝尔簇上不存在拉格朗日子流形（推论5.5）
  5. 具体例子构造：给出非射影情形的拉格朗日子流形例子

方法详解

基本定义和概念

定义1.1（余迷向子流形）：设MM是配备全纯辛形式σ\sigma的复射影流形，XX是MM的不可约复子流形。若在每点x∈Xx\in X处，σ∣X\sigma|_X的余秩等于codim(X)\text{codim}(X)，则称XX为余迷向的。

代数余迷向：若余迷向子流形XX上的特征叶化是代数的（即叶子都是代数子流形），则称XX为代数余迷向的。

核心技术方法

1. 特征纤维化分析

对代数余迷向子流形XX，其特征叶化定义了纤维化f:X→Bf: X \to B，其中纤维是叶化的叶子。关键引理：

引理2.1（Sawon）：存在BB上的全纯辛形式η\eta使得f∗η=σ∣Xf^*\eta = \sigma|_X。

2. 基的几何性质

命题2.2：特征纤维化的基BB具有以下性质：

  • 在余维数1处无重纤维
  • BB只有典范奇点
  • κ(B)=0\kappa(B) = 0（Kodaira维数为0）

3. 等平凡性判准

利用AC18中关于特殊基的结果：

定理1.7：若KXK_X半丰富，则特征纤维化f:X→Bf: X \to B是等平凡的，且κ(X)=κ(F)\kappa(X) = \kappa(F)。

阿贝尔簇情形的分析

对于阿贝尔簇MM中的代数余迷向子流形XX，利用Ueno分类定理：

  1. 结构分解：X=p−1(Z)X = p^{-1}(Z)，其中p:M→L=M/Ap: M \to L = M/A，AA是阿贝尔子簇，Z⊂LZ \subset L是一般型子簇
  2. 乘积分解：通过Poincaré完全可约性，得到M=D×C×N×PM = D \times C \times N \times P的分解
  3. 正交性分析：利用余迷向条件分析各因子间的正交关系
  4. 辛形式结构：确定σ\sigma在各因子上的限制性质

主要定理及其证明思路

定理1.11（阿贝尔簇情形）

陈述：设MM是阿贝尔簇，X⊂MX \subset M是代数余迷向子流形。则经过有限étale覆盖后，存在子环面D,N,C,PD,N,C,P使得：

  1. M=D×C×N×PM = D \times C \times N \times P
  2. X=D×C×ZX = D \times C \times Z，其中Z⊂NZ \subset N
  3. ZZ在NN中是拉格朗日的

证明要点：

  1. 利用Ueno定理得到XX的基本结构
  2. 通过Poincaré完全可约性实现乘积分解
  3. 分析辛形式的Künneth分解：σ=σD⊕σN⊕σP⊕s\sigma = \sigma_D \oplus \sigma_N \oplus \sigma_P \oplus s
  4. 利用余迷向条件确定各因子间的正交关系
  5. 证明σN\sigma_N是辛的且ZZ是σN\sigma_N-余迷向的
  6. 通过维数计算证明ZZ是拉格朗日的

定理1.7-1.8（等平凡性）

证明思路：

  1. 利用命题2.2确定基BB的几何性质
  2. 应用AC18或Taj23的特殊性结果
  3. 通过典范丛的相对版本分析得到κ(X)=κ(F)\kappa(X) = \kappa(F)

重要应用和推论

推论1.9（拉格朗日性判准）

当KXK_X是nef且big时，XX必为拉格朗日的。这推广了Hwang-Viehweg定理到高维情形。

推论1.10（简单阿贝尔簇）

简单阿贝尔簇中的代数余迷向子流形必为拉格朗日的。

推论5.5（不存在性）

Hodge一般的阿贝尔簇上不存在拉格朗日子流形（当维数>2>2时）。

技术创新点

  1. 辛形式的Künneth分解分析：精细分析阿贝尔簇上辛形式的结构
  2. 特征纤维化的几何控制：利用基的特殊性质控制纤维化结构
  3. Hodge理论应用：用Hodge群的性质证明不存在性结果
  4. 维数计算技巧：通过余迷向条件的维数约束确定几何结构

相关工作对比

与已有结果的关系

  • AC17：本文推广了除子情形的结果到高余维
  • HV10：推广了Hwang-Viehweg的一般型判准
  • Saw09：利用并发展了Sawon的叶化理论
  • Voi92, Bea11：在不可约超凯勒情形提供了对比

创新之处

  1. 首次给出阿贝尔簇中代数余迷向子流形的完整分类
  2. 建立了典范丛性质与几何结构的深刻联系
  3. 揭示了阿贝尔簇与超凯勒流形在拉格朗日子流形存在性上的本质差异

具体例子和应用

例子1（Schoen构造）

在某些简单阿贝尔四重中存在拉格朗日曲面，由Schoen构造给出。

例子2（非射影情形）

命题6.1：存在2维复环面TT及自同构gg使得对任何辛形式σ\sigma，都有g∗σ=λσg^*\sigma = \lambda\sigma，其中λ\lambda不是单位根。

这给出了T×TT \times T上拉格朗日曲面的例子。

开放问题

Question 1.4（主要猜想）

对于一般全纯辛流形中的非单有理代数余迷向子流形，是否总能实现乘积分解？

相关问题

  1. Problem 5.1：寻找维数≥6\geq 6的简单阿贝尔簇中拉格朗日子流形的例子
  2. Question 5.8：简单阿贝尔簇中中维子流形的基本群有何限制？

深度评价

优点

  1. 理论深度：建立了代数余迷向子流形理论的重要基础
  2. 技术创新：巧妙结合了代数几何、复几何和辛几何的工具
  3. 完整性：在阿贝尔簇情形给出了完整的分类
  4. 对比分析：揭示了不同类型全纯辛流形的本质差异

技术贡献

  1. 发展了特征纤维化的几何理论
  2. 精细分析了阿贝尔簇上辛结构的代数性质
  3. 建立了Hodge理论与几何存在性的联系

局限性

  1. 主要结果限于阿贝尔簇情形，一般情形仍需发展
  2. 某些技术条件（如半丰富性）可能过强
  3. 构造性例子相对较少

影响力评估

本文为代数余迷向子流形的研究奠定了重要理论基础，特别是：

  1. 为Question 1.4在特殊情形提供了肯定答案
  2. 建立了该领域的标准技术方法
  3. 揭示了需要进一步研究的核心问题

适用场景

  1. 代数几何中的子流形分类问题
  2. 辛几何中的拉格朗日子流形理论
  3. 阿贝尔簇和超凯勒流形的几何研究

参考文献

论文引用了该领域的重要文献，包括Voisin、Sawon、Hwang-Viehweg等人的经典工作，以及作者自己在AC17, AC18中的前期研究成果。特别值得注意的是对Taji Taj23最新结果的应用，体现了该研究的前沿性。

本文是代数几何领域的重要理论贡献，为理解全纯辛流形中子流形的几何结构提供了深刻洞察，特别是在阿贝尔簇情形建立了完整的分类理论。