[论文解读] Generalized Kaehler geometry of instanton moduli spaces

Henrique Bursztyn, Gil R. Cavalcanti+1 more|arXiv (Cornell University)|Mar 11, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 11

一句话总结

本文证明了在紧致偶数维广义凯勒四流形上，瞬子模空间上的广义凯勒结构通过广义凯勒约化产生，从而将经典的凯勒约化范式推广至广义凯勒结构。通过将规范作用提升至一个具有取值于自对偶曲率的矩映射的柯朗代数丛，作者表明模空间通过柯朗约化继承了广义凯勒结构，为希钦的结果提供了一个统一框架，并揭示了唐纳森的μ映射在第三度数中的作用。

ABSTRACT

We prove that Hitchin's generalized Kaehler structure on the moduli space of instantons over a compact, even generalized Kaehler four-manifold may be obtained by generalized Kaehler reduction, in analogy with the usual Kaehler case. The underlying reduction of Courant algebroids is a realization of Donaldson's $μ$-map in degree three.

研究动机与目标

• 为瞬子模空间提供一个广义凯勒约化框架，以回答希钦关于更深层几何机制的疑问。
• 证明模空间上的广义凯勒结构源于连接空间上的柯朗约化。
• 在广义几何中实现唐纳森在第三度数的μ映射为一个矩映射。
• 通过柯朗代数丛约化，将经典的凯勒约化范式推广至广义凯勒结构。
• 分析模空间上广义复结构的类型变化，特别是霍普夫曲面上的情况。

提出的方法

• 使用一个闭的3-形式 $ H $，将连接空间上的无穷小规范作用提升至柯朗代数丛 $ T\mathcal{A} \oplus T^*\mathcal{A} $ 中的映射。
• 定义一个矩映射 $ \mu: \mathcal{A} \to \Omega^2_+(M, \mathfrak{g}_E) $，将每个连接映射为其自对偶曲率 $ F^A_+ $。
• 利用提升后的作用和矩映射，对连接空间上的平凡柯朗代数丛执行柯朗约化，得到模空间 $ \mathcal{M} $ 上的约化柯朗代数丛。
• 证明模空间上的广义凯勒结构源自于 $ \mathcal{A} $ 上与约化数据相容的一对相容广义凯勒结构。
• 利用广义凯勒约化框架，恢复希钦在偶数维广义凯勒四流形上瞬子模空间的结果。
• 通过在椭圆纤维上使用上同调方法，分析霍普夫曲面的例子，计算模空间上诱导的广义复结构的类型。

实验结果

研究问题

• RQ1 瞬子模空间上的广义凯勒结构能否通过广义凯勒约化程序导出？
• RQ2 广义凯勒约化框架如何实现唐纳森在第三度数的μ映射？
• RQ3 模空间上广义复结构类型的演变行为如何，特别是在退化点集存在时？
• RQ4 对连接空间上的广义凯勒约化与凯勒情形下的经典凯勒约化有何关系？
• RQ5 在霍普夫曲面上，$ SU(2) $ 瞬子模空间上广义复结构的精确类型变化为何？

主要发现

• 瞬子模空间上的广义凯勒结构通过广义凯勒约化获得，证实了希钦的结果，并通过统一的约化机制提供了支持。
• 柯朗约化的矩映射由自对偶曲率给出 $ \mu(A) = F^A_+ $，取值于 $ \Omega^2_+(M, \mathfrak{g}_E) $，并在第三度数中实现了唐纳森的μ映射。
• 在霍普夫曲面上，模空间 $ \mathcal{M}_k $ 上的广义复结构 $ \mathcal{J}_1 $ 的类型范围从1到 $ 2k+1 $，且满足 $ \mathrm{type}(\mathcal{J}_1) + \mathrm{type}(\mathcal{J}_2) \leq 2(k+1) $。
• 对于 $ SU(n) $ 瞬子，模空间上广义复结构的类型至少为 $ n-1 $，在光滑除子上的通用稳定丛处取等。
• 模空间 $ \mathcal{M}_k $ 上全纯泊松结构的秩为 $ 4k - \dim H^0(D, \mathrm{End}_0(\mathbf{E}|_D)) $，与莫拉鲁的计算一致。
• 约化过程通过将规范作用提升至柯朗代数丛并确保与矩映射及广义复结构相容，从而保持了广义凯勒结构。