[论文解读] Generalized geometry and the Hodge decomposition

Marco Gualtieri|ArXiv.org|Sep 7, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 50

一句话总结

本文利用广义几何，通过 Courant 对积和广义复结构引入 $(p,q)$-分次，为紧致广义凯勒流形的扭曲上同调建立了 Hodge 分解。主要贡献是广义 $dd^c$-引理和 Hodge 分解，其蕴含了贝蒂数的奇偶性约束，将经典凯勒结果推广至广义设定。

ABSTRACT

In this lecture, we review some of the concepts of generalized geometry, as introduced by Hitchin and developed in the speaker's thesis. We also prove a Hodge decomposition for the twisted cohomology of a compact generalized Kähler manifold, as well as a generalization of the $dd^c$-lemma of Kähler geometry.

研究动机与目标

• 将经典 Hodge 理论和 $dd^c$-引理从凯勒几何推广至广义凯勒几何。
• 为紧致广义凯勒流形的扭曲上同调建立 Hodge 分解。
• 利用广义 Hodge 结构推导贝蒂数的拓扑约束。
• 阐明 Courant 对积和广义复结构在上同调分解中的作用。
• 推广 $dd^c$-引理，并将其与广义设定下的强 Lefschetz 性质联系起来。

提出的方法

• 利用 $T\oplus T^*$ 上的 $O(n,n)$-结构以及微分形式作为旋量的 Clifford 代数作用。
• 将广义复结构定义为结构群约化至 $U(n,n)$，并通过 $+i$-特征丛上的 Courant 对积实现可积性。
• 通过一个闭的 3-形式 $H$ 引入扭曲的 Courant 对积 $[,]_H$，推广标准对积。
• 在 $\mathcal{E} = (\wedge^\bullet E^*, d_E)$ 上应用微分 Gerstenhaber 代数结构以研究形变。
• 利用广义凯勒恒等式 $\overline{\delta}_+^* = -\delta_+$ 和 $\overline{\delta}_-^* = -\delta_-$ 将拉普拉斯算子等同。
• 通过证明 $\Delta_{d_H} = 4\Delta_{\overline{\delta}_\pm}$ 推导 Hodge 分解，从而在 $H^\bullet_H(M,\mathbb{C})$ 上建立 $(p,q)$-分次。

实验结果

研究问题

• RQ1 紧致广义凯勒流形的扭曲上同调是否存在 Hodge 分解？
• RQ2 经典 $dd^c$-引理能否推广至广义凯勒几何设定？
• RQ3 广义 Hodge 结构对贝蒂数产生何种拓扑约束？
• RQ4 广义复结构与 Courant 对积如何相互作用以产生调和分解？
• RQ5 在广义凯勒几何中，Clifford 分解与 Dolbeault 分解之间关系为何？

主要发现

• 紧致广义凯勒流形的扭曲上同调具有 Hodge 分解：$H^\bullet_H(M,\mathbb{C}) = \bigoplus_{|p+q|\leq n,\, p+q\equiv n\pmod{2}} \mathcal{H}^{p,q}$，其中 $\mathcal{H}^{p,q}$ 是 $U_{p,q}$ 中关于 $\Delta_{d_H}$ 的调和形式。
• 广义 $dd^c$-引理成立：对于紧致扭曲广义凯勒流形，$\rho$ 是 $d_H$-闭且 $d^\mathcal{J}_H$-恰当当且仅当它是 $d^\mathcal{J}_H$-闭且 $d_H$-恰当，或存在 $\tau$ 使得 $\rho = d_H d^\mathcal{J}_H \tau$。
• 当 $\dim M = 4k+2$ 时，奇数贝蒂数 $b^{od}_H$ 和偶数贝蒂数 $b^{ev}_H$ 必为偶数；当 $\dim M = 4k$ 时，贝蒂数的奇偶性约束取决于类型对 $(p,q)$。
• Hodge 自同态将 Clifford 分解映射至 Dolbeault 分解，且在广义设定中，一个形式是闭的当且仅当它是共闭的，因此是调和的。
• $\mathbb{C}P^2$ 不允许存在类型为 $(1,1)$ 的广义凯勒结构，因其违反了贝蒂数的奇偶性约束。
• 广义凯勒恒等式表明所有拉普拉斯算子相等：$\Delta_{d_H} = 2\Delta_{\overline{\partial}_{1/2}} = 4\Delta_{\overline{\delta}_\pm}$，从而保证了 Hodge 分解的存在性。