[论文解读] Cohomology of compact hyperkaehler manifolds

Misha Verbitsky|ArXiv.org|Jan 3, 1995

Geometry and complex manifolds参考文献 5被引用 17

一句话总结

本文证明了紧致单连通超凯勒流形的上同调环携带一个李代数 $\gothesis{so}(n-2,4)$ 的作用，其中 $n$ 是第二贝蒂数，并表明由 $H^2(M)$ 生成的子环 $A^r$ 是该代数的不可约表示。这导致对 $A^r$ 中霍奇分量的显式计算，通过涉及分拆函数的组合公式揭示了精确的维数。

ABSTRACT

Let M be a compact simply connected hyperkähler (or holomorphically symplectic) manifold, \dim H^2(M)=n. Assume that M is not a product of hyperkaehler manifolds. We prove that the Lie algebra so(n-3,3) acts by automorphisms on the cohomology ring H^*(M). Under this action, the space H^2(M) is isomorphic to the fundamental representation of so(n-3,3). Let A^r be the subring of H^*(M) generated by H^2(M). We construct an action of the Lie algebra so(n-2,4) on the space A, which preserves A^r. The space A^r is an irreducible representation of so(n-2,4). This makes it possible to compute the ring A^r explicitely.

研究动机与目标

• 理解紧致超凯勒流形 $M$ 的上同调环 $H^*(M)$ 的结构。
• 识别作用于上同调且保持由 $H^2(M)$ 生成的子环 $A^r$ 不变的李代数。
• 显式计算 $A^r$ 内部的霍奇分量 $\bar{H}^{p,q}(M)$ 的维数。
• 建立 $A^r$ 是 $\gothesis{so}(n-2,4)$ 的不可约表示，从而实现结构分类。
• 证明归一化的霍奇-罗宾逊配对是变形类的拓扑不变量。

提出的方法

• 利用托雷利定理与形变理论，确定超凯勒流形的周期映射与模空间结构。
• 通过体积归一化，在 $H^2(M,\mathbb{R})$ 上定义归一化的霍奇-罗宾逊配对 $(\cdot,\cdot)_{\mathcal{H}}$。
• 证明同一形变类中不同复结构下的霍奇-罗宾逊形式成比例，且在归一化下相等。
• 在由 $H^2(M)$ 生成的子环 $A^r \subset H^*(M)$ 上构造 $\gothesis{so}(n-2,4)$ 李代数的作用。
• 利用对称幂 $S^m V$（其中 $V = H^2(M)$）在 $SO(V)$-表示下的分解，计算霍奇分量。
• 应用欧拉的分拆数生成函数，推导 $\bar{H}^{p,q}(M)$ 的维数公式。

实验结果

研究问题

• RQ1 紧致超凯勒流形的上同调环 $H^*(M)$ 在复结构形变下如何变换？
• RQ2 何种李代数结构作用于上同调环，且如何保持由 $H^2(M)$ 生成的子环 $A^r$ 不变？
• RQ3 能否显式计算 $A^r$ 内部的霍奇分量 $\bar{H}^{p,q}(M)$？
• RQ4 $A^r$ 是否为某个已知李代数的不可约表示？
• RQ5 归一化的霍奇-罗宾逊配对是否为形变类的拓扑不变量？

主要发现

• 归一化的霍奇-罗宾逊配对 $(\cdot,\cdot)_{\mathcal{H}}$ 是紧致超凯勒流形形变类的拓扑不变量。
• $\gothesis{so}(n-2,4)$ 李代数作用于由 $H^2(M)$ 生成的子环 $A^r \subset H^*(M)$ 上，且保持每个分次项 $A^{r}$ 不变。
• $A^r$ 是 $\gothesis{so}(n-2,4)$ 的不可约表示，且 $H^2(M)$ 为其基本表示。
• $\bar{H}^{2i}(M)$ 的维数由 $p(n,i)$ 给出（当 $i \leq d$ 时），以及 $p(n,2d-i)$（当 $i \geq d$ 时），其中 $d = \dim_{\mathbb{C}} M / 2$。
• 当 $p+q \leq 2d$ 且 $p \leq q$ 时，$\bar{H}^{p,q}(M)$ 的维数为 $p_2(n-2,p)$，其中 $p_2(n-2,p)$ 表示在 $n-2$ 个一次变量与一个二次变量下，次数为 $p$ 的齐次多项式个数。
• 霍奇分量满足对称性 $\dim\bar{H}^{p,q}(M) = \dim\bar{H}^{2d-p,2d-q}(M)$，反映了上同调环的对偶性。