[论文解读] On the moduli space of Donaldson-Thomas instantons

Yuuji Tanaka|arXiv (Cornell University)|May 15, 2008

Algebraic Geometry and Number Theory参考文献 21被引用 8

一句话总结

本文通过在 symplectic 6-流形和紧致 Kähler 三复流形上引入并研究 Donaldson–Thomas 方程，建立了 Donaldson–Thomas 不变量的解析基础。证明了类似于 Hitchin–Kobayashi 的对应关系，将这些方程的解与全纯对 (E, φ) 的稳定性条件联系起来，表明解的存在性等价于该对的多稳定性，从而为代数 Donaldson–Thomas 理论提供了分析对应物。

ABSTRACT

In alignment with a programme by Donaldson and Thomas [DT], Thomas [Th] constructed a deformation invariant for smooth projective Calabi-Yau threefolds, which is now called the Donaldson-Thomas invariant, from the moduli space of (semi-)stable sheaves by using algebraic geometry techniques. In the same paper [Th], Thomas noted that certain perturbed Hermitian-Einstein equations might possibly produce an analytic theory of the invariant. This article sets up the equations on symplectic 6-manifolds, and gives the local model and structures of the moduli space coming from the equations. We then describe a Hitchin-Kobayashi style correspondence for the equations on compact Kähler threefolds, which turns out to be a special case of results by Alvarez-Consul and Garcia-Prada [AG].

研究动机与目标

• 通过在 symplectic 6-流形上使用规范理论方程，发展 Donaldson–Thomas 不变量的分析理论。
• 通过引入一个修正系统，解决在复维度三时 Hermitian–Einstein 方程无法构成椭圆系统的问题。
• 构建 Donaldson–Thomas instanton 模空间的 Kuranishi 模型。
• 在紧致 Kähler 三复流形上建立 D–T instanton 的 Hitchin–Kobayashi 风格对应关系，将解与稳定性条件联系起来。

提出的方法

• 将 Donaldson–Thomas 方程引入为 Hermitian–Einstein 方程的扰动，涉及一个联络 A 和一个取值于 Ad(P) 的 (0,3)-型微分形式 u。
• 使用规范固定条件，确保系统构成一个椭圆复形，从而能够应用标准的规范理论技术。
• 应用 Kuranishi 理论，通过形变复形的上同调群 H^1 和 H^2 描述 D–T instanton 模空间的局部结构。
• 依赖 Álvarez-Cónsul 和 García-Prada 的工作，将该对应关系解释为以反 canonical 线丛为扭转的扭曲 quiver 纤维丛稳定性的一个特例。
• 将 (0,3)-型微分形式 u 识别为 End(E) ⊗ K_Z 上的全纯截面 φ = *u，从而将解析方程与全纯结构联系起来。
• 采用维数约化论证，将 D–T 方程与低维的复反自对偶方程联系起来。

实验结果

研究问题

• RQ1 能否构造一个规范理论方程，使其作为 Calabi–Yau 三复流形上代数 Donaldson–Thomas 不变量的分析对应？
• RQ2 在复维度三的流形上，修正后的 Hermitian–Einstein 系统是否构成椭圆系统，从而保证模空间的良好行为？
• RQ3 Donaldson–Thomas 方程解的模空间的局部结构是什么？
• RQ4 是否存在一个 Hitchin–Kobayashi 风格的对应关系，能以全纯对的稳定性来刻画 D–T 方程的解？
• RQ5 D–T 方程的解如何与底层 Kähler 三复流形及其 canonical 线丛的几何相关联？

主要发现

• Donaldson–Thomas instanton 的模空间在局部上由 Kuranishi 映射的零点集模去自同构群作用所刻画，提供了有限维的局部结构。
• 在结合规范固定条件后，D–T 方程构成一个椭圆系统，确保了良好的形变理论的存在性。
• D–T 方程存在解当且仅当相应的全纯对 (E, φ) 是多稳定的，其中 φ = *u 是 End(E) ⊗ K_Z 上的全纯截面。
• 该对应关系是 Álvarez-Cónsul 和 García-Prada 关于一个顶点和一个自环的扭曲 quiver 纤维丛稳定性结果的一个特例，其扭转由反 canonical 线丛给出。
• 在不可约解处，模空间是光滑的；在解序列的弱极限中出现的奇点在给定条件下是可去的。
• 方程 ΛF_h + Λ³[φ, φ̄^h] + 6πiμ(E)Id_E = 0 刻画了使对 (E, φ) 成为多稳定的 Hermitian 度量 h。