Symplectically aspherical Kähler manifolds, scalar curvature, and the fundamental group

技术摘要：辛非球面 Kähler 流形、标量曲率与基本群

问题陈述
本文研究了一类闭光滑流形，其配备的 Kähler 形式在普遍覆盖上拉回为恰当形式。作者将这类流形称为辛非球面 Kähler (SAK) 流形。这一类别的地位介于 Kähler 双曲流形（其拉回是 $d$-有界的）与 Kollár 大流形（其普遍覆盖不包含正维紧复子簇）之间。本研究旨在理解这种 Kähler 形式的“非球面性”条件所施加的拓扑与几何约束，具体探讨以下方面：

1. 有限表示离散群作为 SAK 流形基本群的可实现性，特别是对于具有非平凡二阶同伦群 ($\pi_2 \neq 0$) 的情况。
2. 此类流形是否存在具有正标量曲率的黎曼度量和 Kähler 度量。
3. Kähler 锥的结构，即非球面形式的存在唯一性或丰富性。

方法论
作者综合运用了复代数几何、辛拓扑学和黎曼几何学。

• 构造： 他们利用对非球面光滑射影簇进行循环分支覆盖的构造方法，生成了所有复维度 $n \ge 2$ 的非非球面 SAK 流形。他们还分析了亏格为 $g$ 的亏格曲线的对称积 ($SP_n(M_g)$) 以及阿贝尔曲面的分支覆盖。
• 拓扑约束： 分析依赖于 Hurewicz 映射、实球面同调类 ($\Pi(M)$) 以及 Kähler 锥与 tame/comparable 辛形式锥之间的相互作用。
• 曲率阻碍： 本文应用了 Novikov 猜想（特别是针对低阶上同调）、Rosenberg 关于 Spin 流形的指数定理、Seiberg–Witten 理论（在 4 维情形下），以及结合 Mori 锥定理与伪有效线丛理论来阻碍正标量曲率的存在。
• 上同调计算： 对于对称积，作者利用 Neron–Severi 群的结构和 Macdonald 关于上同调环的关系来刻画 Kähler 锥。

核心贡献与结果

1. 存在性与拓扑灵活性
本文确立了 SAK 流形在非非球面设置（$\pi_2 \neq 0$）下的丰富存在性。

• 构造： 定理 3.1 提供了一个通过非球面簇的 $k$-循环分支覆盖在每个复维度 $n \ge 2$ 下构造非非球面 SAK 流形的通用配方。
• 分类： 命题 3.2 证明了非非球面 SAK 曲面是广义型（of general type）的。然而，这并不推广到高维情形（备注 3.3）。
• 基本群： 本文讨论了“可实现性问题”。定理 4.4 表明，每一个秩 $\ge 4$ 的偶数秩自由阿贝尔群，都可以被实现为具有非平凡实球面同调类的闭 SAK 光滑广义型射影曲面的基本群。示例包括亏格为 $g$ 的典型曲线的对称平方以及特定阿贝尔曲面的分支覆盖。
• 约束： 作者列出了成为 SAK 群的必要条件（例如：无限群、单端、消失的 Massey 乘积、有限指数子群具有偶数第一 Betti 数）。

2. 标量曲率阻碍
受 Gromov–Lawson 猜想的启发，作者提出了对辛设置的扩展并对其进行了支持。

• 猜想 5.2： 一个闭辛非球面流形无法支撑正标量曲率的黎曼度量。
• 支持性证据：
  • Spin 情况： 定理 5.3 利用 Novikov 猜想和 Rosenberg 指数定理，证明了对于具有有限 Spin 覆盖的流形，该猜想成立。
  • 阿贝尔/2-Tame 情况： 推论 5.4 将此扩展到具有阿贝尔基本群且普遍覆盖为 Spin 的流形。
  • 低维情形： 定理 5.5 在不添加额外拓扑假设的情况下，利用 Gauss–Bonnet 和 Seiberg–Witten 理论，证实了对于 2 维和 4 维闭辛非球面流形，该猜想成立。
  • Kähler 度量： 定理 5.6 证明，向 SAK 簇具有双有理映射的平滑射影簇无法支撑正标量曲率的 Kähler 度量。这依赖于 SAK 流形的普遍覆盖不包含紧复子簇，意味着其正则丛是 nef（通过 Mori 锥定理）且是伪有效的。
  • 推论 5.8： 因此，Kollár 大光滑射影簇（包括那些具有 Stein 普遍覆盖的簇）无法支撑正标量曲率的 Kähler 度量。

3. Kähler 锥与唯一性
本文研究了 Kähler 锥内非球面性的刚性。

• 全非球面性： 第 6 节研究了“全 Kähler 非球面”流形（即所有 Kähler 形式都是非球面的）。命题 6.1 表明，如果所有 Kähler 形式都是非球面的，则实球面同调空间 $\Pi(M)$ 的对偶必须位于 $(2,0)+(0,2)$ Dolbeault 上同调群中。
• 曲面情形： 推论 6.3 暗示，对于 Kähler 曲面，如果所有 Kähler 形式都是非球面的，则没有任何实球面同调类可以由辛嵌入的 2-球面表示。
• 对称积上的唯一性： 命题 7.1 确立了在典型曲线 $M_g$ 的对称积 $SP_n(M_g)$ 上，非球面 Kähler 形式本质上是唯一的。具体而言，一个 Kähler 形式是非球面的，当且仅当其上同调类是来自 Jacobian 的正则形式拉回的非零标量倍数。锥中的任何其他形式都是非球面的。

意义
本文将 SAK 流形定位为 Kähler 双曲流形与 Kollár 大流形之间的一个“驯服”的中介类别，适用于测试如 Shafarevich 猜想（即 Kollár 大簇是否具有 Stein 普遍覆盖）等猜想。

• 几何刚性： 研究结果表明，辛非球面条件对标量曲率施加了强约束，排除了广泛类别的射影簇中正标量曲率度量的存在。
• 拓扑可实现性： 通过构造具有非平凡 $\pi_2$ 和特定基本群（秩 $\ge 4$ 的自由阿贝尔群）的显式 SAK 曲面，填补了关于哪些群可以在此几何设置下出现的理解空白。
• 锥结构： 关于 Kähler 锥的发现强调了非球面性是一个脆弱的性质；密切相关的 Kähler 形式在拉回到普遍覆盖时可能表现得截然不同（一个恰当，另一个则不然）。

作者最后提出了开放性问题，例如是否所有 Kollár 大簇都允许一个非球面的 Kähler 形式，以及 SAK 群是否可以具有非平凡扭。作者指出，目前的辛方法可能不足以在全纯设置中回答这些问题。