[论文解读] The 2-systole on compact Kähler surfaces with positive scalar curvature

Zehao Sha|arXiv (Cornell University)|Jan 6, 2026

Geometry and complex manifolds被引用 0

一句话总结

该论文证明了紧致 PSC Kähler 曲面上 min_X S(ω) · sys2(ω) ≤ 12π 的锐界上界，仅在 (P^2, Fubini–Study) 处取等；并且识别了最小模型下的最优常数，并在非有理 ruled 情况下给出解析证明。

ABSTRACT

We study the 2-systole on compact Kähler surfaces of positive scalar curvature. For any such surface $(X,ω)$, we prove the sharp estimate \(\min_X S(ω)\cdot\syst_2(ω)\le12π\), with equality if and only if $X=\PP^2$ and $ω$ is the Fubini--Study metric. Using the classification of positive scalar curvature Kähler surfaces by their minimal models, we also determine the optimal constant in each case and describe the corresponding rigid models: $12π$ when the minimal model is $\PP^2$, $8π$ for Hirzebruch surfaces, and $4π$ for non-rational ruled surfaces. In the non-rational ruled case, we also give an independent analytic proof, adapting Stern's level set method to the holomorphic fibration in Kähler setting.

研究动机与目标

• 在正标量曲率（PSC）下，激发四维 Kähler 几何中的 systolic 问题。
• 通过全纯曲线与相交理论将 2- systole 与代数数据联系起来。
• 通过最小模型（P^2、 Hirzebruch、非有理 ruled）确定 PSC Kähler 曲面的锐界常数。
• 刻画在界限上达到等值的刚性模型。
• 发展代数（质量偏移）与解析（水平集）两种方法以获得界。

提出的方法

• 引入全纯 2- systole sys2^hol([ω])，通过与有效曲线的相交来定义。
• 定义尺度不变泛函 J_X([ω]) = sys2^hol([ω]) · (4π c1(X)·[ω]) / ([ω]^2)。
• 通过 blow-up 和 Seshadri 常数将界下化为在 Kähler圆锥上的有限维优化。
• 对 X = P^2 及其吹出进行质量偏移论证以对 J_X([ω]) 进行界定。
• 在非有理 ruled 情况下通过将 Stern 的水平集方法适应到全纯纤维化来给出解析证明。
• 证明代数与解析方法在得到相同最优常数方面等价。

实验结果

研究问题

• RQ1 紧致 PSC Kähler 曲面上 min_X S(ω) · sys2(ω) 的锐界上界是多少？
• RQ2 最小模型（P^2、 Hirzebruch 曲面、非有理 ruled）如何影响 PSC Kähler 曲面的最优常数？
• RQ3 是否存在可以达到界的刚性模型，这些模型是什么？
• RQ4 在非有理 ruled 情况下，是否存在与基于代数/几何的结果一致的解析方法（水平集法）？

主要发现

• 对于 PSC Kähler 曲面，min_X S(ω) · sys2(ω) ≤ 12π，等价当且仅当 X ≅ P^2 且 ω 为 Fubini–Study 度量。
• 若最小模型为 Hirzebruch 曲面，则界为 8π，且 X ≅ P^1 × P^1 以积 FS 度量实现（在缩放不改变的情况下）。
• 若最小模型是以 genus g ≥ 1 为基底的非有理 ruled 曲面，则界为 4π，由以普遍覆 couvre 为 P^1 × C 的椭圆形基底和积度量实现，sys2 由纤维实现。
• 通过质量偏移论证对 P^2 的 blow-up 也适用，表明 J_X([ω]) 仍有界且对 k ≥ 1 的 blow-up 界严格。
• 独立的非有理 ruled 情况解析证明通过将 Stern 的水平集法适应到全纯纤维化，与代数结果一致。