[论文解读] Unobstructed K-deformations of Generalized Complex Structures and Bihermitian Structures

Ryushi Goto|arXiv (Cornell University)|Nov 16, 2009

Geometry and complex manifolds参考文献 20被引用 7

一句话总结

本文在具有有效反 canonical 除子的紧致 Kähler 流形上建立了广义复结构的无阻碍 K-变形，利用沿该除子具有极点的亚纯 n-形式。关键结果是：紧致 Kähler 曲面当且仅当存在非零全纯 Poisson 结构时，才具有非平凡的双全纯结构，且其复结构 $J$ 与 $J^{-}$ 不同，从而在 del Pezzo 曲面、退化 del Pezzo 曲面和纤维化曲面上实现了显式构造。

ABSTRACT

We introduce K-deformations of generalized complex structures on a compact Kahler manifold $M=(X, J)$ with an effective anti-canonical divisor and show that obstructions to K-deformations of generalized complex structures on $M$ always vanish. Applying the stability theorem of generalized Kahler structures, together with unobstructed K-deformations, we construct deformations of bihermitian structures in the form $(J, J^-_t, h_t)$ on a compact Kahler surface with a non-zero holomorphic Poisson structure. Then we prove that a compact Kahler surface $S$ admits a non-trivial bihermitian structure if and only if $S$ has a non-zero holomorphic Poisson structure.

研究动机与目标

• 通过分析广义复结构的形变，解决紧致复曲面上非平凡双全纯结构的存在性问题。
• 在配备有效反 canonical 除子的紧致 Kähler 流形上，建立广义复结构的无阻碍 K-变形。
• 通过非零全纯 Poisson 结构的存在性，刻画可接受非平凡双全纯结构的紧致 Kähler 曲面。
• 在 del Pezzo 曲面、退化 del Pezzo 曲面和纤维化曲面上，显式构造双全纯结构族 $(J, J^{-}_t, h_t)$，其中 $J^{-}_t$ 不微分同胚于 $J$。

提出的方法

• 通过沿有效反 canonical 除子 $D$ 具有极点的亚纯 $n$-形式引入广义复结构的 K-变形，采用统一的形变理论框架。
• 通过分析上同调 $H^2(ar{L}(-D))$，证明 K-变形的障碍消失，从而得到由 $H^{n,2} \times H^{n-1,1} \times H^{n-2,0}$ 参数化的无阻碍形变。
• 应用广义 Kähler 结构的稳定性定理，将 K-变形提升为广义 Kähler 结构，后者通过广义 Kähler 对应关系对应于双全纯结构。
• 利用条件 $-d^c_+\tilde{\theta}_+ = d^c_-\tilde{\theta}_- = db$ 确保双全纯结构中的挠率条件。
• 通过分析 $H^1(X, \theta)$ 中类 $[\beta \bullet \tilde{\theta}]$ 的非零性，在 del Pezzo 和纤维化曲面上显式构造双全纯结构。
• 通过反证法证明 $[\beta \bullet \tilde{\theta}] \neq 0$：若对满足 $K \cdot C = 0$ 的 $(-2)$-曲线 $C$ 有 $D \cap C = \emptyset$，则 $\beta|_C \equiv 0$，与 $D$ 的光滑性矛盾。

实验结果

研究问题

• RQ1 在何种条件下，紧致 Kähler 曲面会具有非平凡的双全纯结构，且其复结构 $J$ 与 $J^{-}$ 不同？
• RQ2 在配备有效反 canonical 除子的紧致 Kähler 流形上，广义复结构的 K-变形的障碍理论是什么？
• RQ3 无阻碍 K-变形如何导致在 del Pezzo 和纤维化曲面等曲面上双全纯结构的构造？
• RQ4 确保紧致 Kähler 曲面上非平凡双全纯结构存在的精确上同调条件是什么？
• RQ5 在双全纯结构的一参数族中，复结构 $J^{-}_t$ 何时在微分同胚下不等价于 $J$？

主要发现

• 在紧致 Kähler 曲面上，K-变形的障碍空间为 $H^{1,2} \oplus H^{0,1} \cong H^1(S, \mathbb{C})$，若 $b_1(S) \neq 0$ 则其不为零，但形变仍保持无阻碍。
• 在任意配备有效反 canonical 除子的紧致 Kähler 流形上，广义复结构的无阻碍 K-变形存在，其参数空间为 $H^{n,2} \oplus H^{n-1,1} \oplus H^{n-2,0}$。
• 紧致 Kähler 曲面当且仅当存在非零全纯 Poisson 结构时，才具有非平凡的双全纯结构，且其方向相同。
• 在退化 del Pezzo 曲面上，$H^1(X, \mathcal{O}_X) = 0$ 且 $H^2(X, \Theta) = 0$，确保双全纯结构形变的无阻碍性。
• 对于退化 del Pezzo 曲面 $X(\Sigma)$，类 $[\beta \cdot \tilde{\theta}] \in H^1(X, \Theta)$ 非零，意味着当 $t \neq 0$ 时 $J^{-}_t$ 不微分同胚于 $J$，从而保证了复结构的差异性。
• 在纤维化曲面 $\mathbb{P}(T^*\Sigma_g \oplus \mathcal{O}_{\Sigma_g})$ 和 Hirzebruch 曲面 $F_e$ 上，显式构造了双全纯结构 $(J, J^{-}_t, h_t)$，其中 $J^{-}_t$ 在微分同胚下不等价于 $J$。