[论文解读] Second Chern class and Fujiki constants of hyperkähler manifolds

Thorsten Beckmann, Jieao Song|arXiv (Cornell University)|Jan 19, 2022

Geometry and complex manifolds被引用 4

一句话总结

本文利用黎曼-罗赫多项式与广义 Fujiki 常数，建立了超凯勒流形第二贝蒂数 $b_2(X)$ 的条件上界，证明了 $c_2$ 属于 Verbitsky 分量当且仅当该多项式系数满足特定不等式。关键结果通过 Rozansky–Witten 理论与 Hitchin–Sawon 公式，将流形 $X$ 的上同调结构与特征类的算术约束联系起来。

ABSTRACT

We study characteristic classes on hyperkähler manifolds with a view towards the Verbitsky component. The case of the second Chern class leads to a conditional upper bound on the second Betti number in terms of the Riemann--Roch polynomial, which is also valid for singular examples. We discuss the general structure of characteristic classes and the Riemann--Roch polynomial on hyperkähler manifolds using among other things Rozansky--Witten theory.

研究动机与目标

• 确定第二陈类 $c_2$ 在超凯勒流形上同调环中属于 Verbitsky 分量的条件。
• 利用黎曼-罗赫多项式与广义 Fujiki 常数，推导第二贝蒂数 $b_2(X)$ 的条件上界。
• 通过 Rozansky–Witten 理论分析超凯勒流形上特征类与黎曼-罗赫多项式的结构。
• 对奇点对称流形（包括轨道丛 $K_4'$）修正并重新计算广义 Fujiki 常数，验证算术约束。

提出的方法

• 利用广义 Fujiki 常数 $C(\alpha)$ 定义黎曼-罗赫多项式 $\mathrm{RR}_X(q) = \sum_{i=0}^n \frac{C(\mathrm{td}_{2n-2i})}{(2i)!} q^i$，其中 $\alpha$ 为上同调类。
• 利用 Hirzebruch–Riemann–Roch 定理，将 $\mathrm{RR}_X(q_X(c_1(L)))$ 与线丛 $L$ 的全纯欧拉示性数 $\chi(X,L)$ 关联。
• 通过不等式 $2nA_0A_2 < (n-1)A_1^2$ 建立 $c_2 \in \mathrm{SH}(X,\mathbb{R})$ 的判别准则，其中 $A_i$ 为 $\mathrm{RR}_X(q)$ 的系数。
• 应用 Hitchin–Sawon 公式计算广义 Fujiki 常数，并检测先前计算中出现的算术不一致。
• 利用 Rozansky–Witten 理论与 Wheeling 定理，解释 Todd 类平方根的黎曼-罗赫多项式为何可分解为 $n$ 次幂。
• 对轨道丛 $K_4'$ 重新计算不变量，修正了奇点计数错误，并验证 $C(c_2)^2/C(1) = 100$，且无多余素因子。

实验结果

研究问题

• RQ1 在何种条件下，第二陈类 $c_2$ 属于超凯勒流形上同调环的 Verbitsky 分量？
• RQ2 能否利用黎曼-罗赫多项式系数与广义 Fujiki 常数，对第二贝蒂数 $b_2(X)$ 给出上界？
• RQ3 轨道丛 $K_4'$ 的广义 Fujiki 常数 $C(c_2)$ 的正确值为何？其是否避免了如大素因子等不一致的算术特征？
• RQ4 Rozansky–Witten 理论如何解释 Todd 类平方根的黎曼-罗赫多项式结构？
• RQ5 Hitchin–Sawon 公式与广义 Fujiki 常数对奇点对称流形的拓扑施加了何种约束？

主要发现

• 不等式 $2nA_0A_2 < (n-1)A_1^2$ 成立当且仅当 $c_2$ 属于 Verbitsky 分量，且在此条件下有 $b_2(X) \leq \frac{1}{1 - \frac{2nA_0A_2}{(n-1)A_1^2}} - (2n-2)$。
• 对于轨道丛 $K_4'$，修正后的不变量为 $a_2 = 30$，$a_4 = 8$，$\chi_{\text{top}} = 66$，$c_2^2 = 240$，$c_4 = 45$，解决了先前的计算错误。
• 广义 Fujiki 常数满足 $C(c_2)^2 / C(1) = 100$，确认 $C(c_2) = 10\sqrt{C(1)}$，并消除了早期声称中多余的素因子 71。
• 黎曼-罗赫多项式 $\mathrm{td}^{1/2}$ 可分解为 $n$ 次幂，该现象通过 Rozansky–Witten 理论与 Wheeling 定理得以解释。
• 对于 $\mathrm{OG}_6$ 与 $\mathrm{OG}_{10}$ 型流形，所有陈类 $c_{2i}$ 均属于 Verbitsky 分量，意味着所有特征类均包含于 $\mathrm{SH}(X,\mathbb{R})$ 中。
• 条件 $C(c_2^2) > 2C(c_4)$ 与系数不等式等价，且保证 $c_2 \in \mathrm{SH}(X,\mathbb{R})$；该条件在所有已知光滑流形及众多奇异情形中均成立。