Projective subvarieties of Bogomolov-Guan manifolds and quasi-diagonals in products of elliptic curves

技术摘要：Bogomolov-Guan 前驱体中的子簇

问题陈述
本文研究了 Bogomolov-Guan (BG) 流形及其前驱体中复子簇的几何结构。BG 流形是由 D. Guan 构建并由 F. Bogomolov 分析的紧致、单连通、全纯辛非凯勒流形。虽然之前的研究（特别是 [BKKY]）已经确定了 BG 流形的代数归约为拉格朗日纤维化 $P: BG \to \mathbb{P}^n$，且映射到维度 $\geq 2$ 的子簇不可能是射影的，但对于映射到曲线的射影（或 Moishezon）子簇的分类仍不完整。核心问题在于精确刻画在这些非凯勒设置中哪些子簇是射影的，并理解此类对象的稀缺性。

方法论
作者采用了一种结合代数几何、复微分几何和幂零流形理论的多方面方法：

1. 前驱体分析： 作者并未直接处理复杂的 BG 流形构建（这些构建涉及 Kodaira 曲面的希尔伯特计划），而是专注于“BG 前驱体”。这些前驱体是通过椭圆曲线的对角作用对 Kodaira 曲面乘积进行商构成的更简单的复流形。本文建立了一个 BG 流形与其前驱体的有限商之间存在生成有限态射的关系，从而允许将前驱体的结果转移到 BG 流形上。
2. 拟对角线 (Quasi-Diagonals)： 文中引入的核心几何对象是“拟对角线”。在椭圆曲线乘积 $E^n$ 中，若对于所有投影 $p_i, p_j$，线丛 $p_i^*L \otimes p_j^*L^{-1}$ 在曲线 $S$ 上是挠性的（其中 $L$ 是一个 Ample 线丛），则称曲线 $S$ 是关于对 $(E, L)$ 的拟对角线。射影子簇在 BG 前驱体中的分类被简化为对这些拟对角线的分类。
3. 代数刚性： 作者利用主环面丛理论和陈类。他们应用 Blanchard 定理及其推广来证明，对于一个子簇而言，若其为射影的（或 Fujiki 类 C），则特定线丛的拉回必须是挠性的。这导致将问题简化为研究拟对角线的族。
4. 复解析工具： 为了证明拟对角线的稀缺性，论文采用了两种不同的方法：
   • 代数方法： 使用关于曲线通用族的性质以及线丛在拉回下的行为进行的刚性论证，如果存在不可数个拟对角线族，则会导致矛盾。
   • 解析方法： 作者证明了 BG 前驱体允许存在一个复闭 (SKT) 度量。通过调用 Barlet 空间在复闭流形上的 Gromov 紧致性定理以及 Campana 的核约化 (coreduction) 定理，他们证明了此类曲线的模空间是紧致的，从而意味着连续的拟对角线族不存在。

主要贡献与结果

• 射影子簇的分类 (定理 1.3 & 4.9)： 本文对 BG 流形及其前驱体中的射影及 Fujiki 类 C 子簇提供了完整的刻画。

  • 子簇 $Z$ 是射影的，当且仅当其在拉格朗日纤维化下的像是一个点或一个“受限拟对角线”（即位于求和映射核内的拟对角线）。
  • 一个子簇属于 Fujiki 类 C，当且仅当其像是所有向椭圆曲线因子的投影都具有相同次数的曲线。
  • 至关重要的是，作者证明了 BG 流形中的任何 Moishezon 子簇必然是射影的。

• 拟对角线的刚性 (定理 1.4 & 2.22)： 本文证明了对于固定的椭圆曲线 $E$ 和 Ample 线丛 $L$，$E^n$ 中的拟对角线集合至多是可数的。这是一个显著的刚性结果，表明拟对角线并不形成连续族。

  • 文中提供了两种证明：一种是纯代数几何的（第 2.5 节），另一种是使用核约化定理和 SKT 度量的（第 5.5 节）。

• 存在性与稀缺性 (命题 1.5 & 推论 1.6)：

  • 虽然可数个拟对角线集总是存在的，但“受限”拟对角线（求和为零的拟对角线）是非常罕见的。对于一般的线丛 $L$，不存在受限拟对角线。
  • 因此，对于一般的 BG 流形，所有射影子簇都严格包含在拉格朗日纤维化的纤维之内。它们不会映射到 $\mathbb{P}^n$ 基底中的曲线。

• SKT 结构 (定理 5.16)： 作者确立了 BG 前驱体允许存在一个复闭 (SKT) 度量。对于非凯勒流形而言，这是一个非平凡的结果，并作为拟对角线可数性的解析证明的基础。

意义与主张
本文声称通过转向研究前驱体并引入拟对角线的概念，精炼了对非凯勒全纯辛流形代数几何的理解。通过提供此前缺失的精确射影判据，本文完善了对这类流形的认识。

其意义在于展示了拉格朗热纤维化基底中射影子簇的“泛型空集”特性。虽然早期的研究已经表明高维像是不可能的，但这项工作证明了即使是曲线像，对于射影子簇而言在泛型意义下也是不可能的。本文将拟对角线的稀缺性定位为这些流形的一个基本几何约束，该约束源于代数与复解析的刚性。此外，这项工作也强调了在研究非凯勒设置中曲线的模空间时，SKT 度量和 Barlet 空间的实用价值，为研究这些空间中的子簇分类提供了新的视角。