[论文解读] An example of compact Kähler manifold with nonnegative quadratic bisectional curvature

Qun Li, Damin Wu+1 more|arXiv (Cornell University)|Oct 8, 2011

Geometry and complex manifolds参考文献 9被引用 3

一句话总结

本文构建了一个7维紧致凯勒C-空间，其第二贝蒂数为1，证明其典范凯勒-爱因斯坦度量具有非负二次双截面曲率（QB ≥ 0），但不承认任何具有非负正交双截面曲率（B⊥ ≥ 0）的凯勒度量。这提供了首个紧致凯勒流形满足QB ≥ 0但不满足B⊥ ≥ 0的显式例子，凸显了在高维情形下，这两种曲率条件之间存在严格的代数与几何差异。

ABSTRACT

We construct a compact Kähler manifold of nonnegative quadratic bisectional curvature, which does not admit any Kähler metric of nonnegative orthogonal bisectional curvature. The manifold is a 7-dimensional Kähler C-space with second Betti number equal to 1, and its canonical metric is a Kähler-Einstein metric of positive scalar curvature

研究动机与目标

• 构建一个具有非负二次双截面曲率（QB ≥ 0）的紧致凯勒流形，但不承认任何具有非负正交双截面曲率（B⊥ ≥ 0）的凯勒度量。
• 提供一个具体反例，表明在n ≥ 3维情形下，QB ≥ 0严格弱于B⊥ ≥ 0，尽管存在代数层级关系。
• 验证猜想：某些具有b₂ = 1且非赫尔米特对称结构的凯勒C-空间仍可能满足QB ≥ 0。
• 通过显式计算证明7维凯勒C-空间（B₃, α₂）具有QB ≥ 0，确认其作为广义弗兰克尔-哈茨霍恩理论中曲率条件测试案例的角色。
• 探讨QB ≥ 0对Fano流形及具有数值有效切丛的凯勒C-空间分类的微分几何影响。

提出的方法

• 作者分析7维凯勒C-空间（B₃, α₂）的曲率张量，该空间为第二贝蒂数为1的齐次凯勒流形，且在缩放意义下具有唯一的凯勒-爱因斯坦度量。
• 他们利用曲率张量分量P_{1iar{1j}}, P_{1iar{2j}}, P_{2iar{2j}}表示的矩阵A、B、C，计算二次双截面曲率。
• 关键量Φ代表与QB ≥ 0相关的二次型，被分解为Φ₁和Φ₂，其中Φ₁进一步根据矩阵元素划分为Φ₁′和Φ₁′′。
• 通过不等式⟨B, B*⟩ ≥ −|B|²和|tr B|² ≤ 3|B|²，确立Φ₂的非负性，得到Φ₂ ≥ (8 − 1 − 6)|B|² = |B|² ≥ 0。
• 对于Φ₁′′，作者将其表示为二次型(a,c)D^t(a,c)，其中D为由单位矩阵、全1矩阵和置换矩阵构成的6×6对称矩阵。
• 通过正交矩阵T的基变换对相关矩阵进行对角化，从而验证G − HG⁻¹H ≥ 0，进而证明Φ₁′′ ≥ 0，故Φ ≥ 0，确认QB ≥ 0。

实验结果

研究问题

• RQ1 是否存在一个维度n ≥ 3的紧致凯勒流形，其处处满足QB ≥ 0，但不存在任何处处满足B⊥ ≥ 0的凯勒度量？
• RQ2 一个具有b₂ = 1且非赫尔米特对称结构的凯勒C-空间是否仍可能承认具有QB ≥ 0的凯勒度量？
• RQ3 在曲率正性意义下，QB ≥ 0是否严格弱于B⊥ ≥ 0，无论在代数还是几何上？
• RQ4 能否验证猜想：QB ≥ 0蕴含双全纯微分同构于b₂ = 1的凯勒C-空间，针对特定例子？
• RQ5 非对称凯勒C-空间上，二次双截面曲率形式的精确代数结构是什么？

主要发现

• 7维凯勒C-空间（B₃, α₂）承认一个典范凯勒-爱因斯坦度量，其具有非负二次双截面曲率（QB ≥ 0）。
• 该流形不承认任何具有非负正交双截面曲率（B⊥ ≥ 0）的凯勒度量，尽管QB ≥ 0成立。
• 曲率计算确认与QB ≥ 0相关的二次型Φ是非负的，其中Φ₂ ≥ |B|² ≥ 0，Φ₁′′ ≥ 0通过矩阵D的谱分析得到验证。
• 经过正交变换后，矩阵G − HG⁻¹H被证明为半正定，从而确认关键二次型Φ₁′′的非负性。
• 整个曲率形式Φ通过分量分析与矩阵对角化被分解并证明为非负，从而确立该流形的QB ≥ 0。
• 该例子证实，在高维情形下，QB ≥ 0是严格弱于B⊥ ≥ 0的条件，为QB ≥ 0蕴含B⊥ ≥ 0的观点提供了反例。