[论文解读] Lie groups, Nahm's equations and hyperkaehler manifolds

Roger Bielawski|ArXiv.org|Sep 22, 2005

Geometry and complex manifolds参考文献 12被引用 4

一句话总结

本文通过Nahm方程研究了半单李群的伴随轨道上超凯勒度量的构造，证明这些度量可通过无限维路径空间的超凯勒约化得到。关键贡献在于，所有共轭轨道上的完备超凯勒结构均可表征为与某些模空间 ${\mathcal{M}}_{\tau_1,\tau_2,\tau_3;\sigma}$ 同构，且在 $SU(k)$ 情况下，明确建立了与谱曲线及紧化雅可比簇的联系。

ABSTRACT

Lectures given at the summer school on Algebraic Groups, Goettingen, June 27 - July 15 2005

研究动机与目标

• 通过Nahm方程建立共轭轨道上超凯勒度量的系统性构造。
• 通过超凯勒约化与凯勒约化的视角，阐明这些度量的几何与表示论意义。
• 探讨模空间 ${\mathcal{M}}_{\tau_1,\tau_2,\tau_3;\sigma}$ 上的超凯勒结构与共轭轨道 ${\mathcal{O}}_{\tau_1}$ 上的凯勒结构之间的关系，特别是在对称情形下。
• 研究谱曲线与紧化雅可比簇在代数描述这些超凯勒结构中的作用。
• 解决为何此类代数构造在特殊情形（如埃尔米特对称空间）之外仍难以捉摸的谜题。

提出的方法

• 将李代数中的路径空间 $\mathcal{A}$ 视为无限维平坦几何的模型。
• 通过规范群 $\mathcal{G}$ 及其子群 $\mathcal{G}_0$ 定义商构造 $\mathcal{A}/\mathcal{G}_0 \simeq G$，从而在 $G$ 上诱导出双不变度量。
• 将路径空间 $\mathcal{A}^\mathbb{C}$ 复化，得到具有哈密顿 $G$-作用的凯勒结构，其作用量为 $\mu = \dot{T}_1 + [T_0, T_1]$。
• 对 $\mathcal{A}^\mathbb{C}$ 应用超凯勒约化，利用三个复结构对应的三重作用量 $\mu_1, \mu_2, \mu_3$。
• 将超凯勒模空间 $\mathcal{M}_{\tau_1,\tau_2,\tau_3;\sigma}$ 构造为具有固定留数 $\tau_1, \tau_2, \tau_3$ 的Nahm方程的解空间。
• 将由 $\det(\eta \cdot 1 - (\tau_2 + i\tau_3) - 2i\tau_1\zeta + (-\tau_2 + i\tau_3)\zeta^2) = 0$ 定义的谱曲线 $S$ 与紧化雅可比簇 $\overline{J^{g-1}(S)}$ 的几何联系起来。

实验结果

研究问题

• RQ1 Nahm方程如何用于构造半单李群伴随轨道上的超凯勒度量？
• RQ2 模空间 ${\mathcal{M}}_{\tau_1,\tau_2,\tau_3;\sigma}$ 上的超凯勒结构与共轭轨道 ${\mathcal{O}}_{\tau_1}$ 上的凯勒结构之间的确切关系是什么？
• RQ3 能否通过 theta 函数或紧化雅可比簇，代数地描述 $\mathcal{M}_{\tau_1,0,0}$ 上的超凯勒度量？
• RQ4 谱曲线 $S$ 在编码 $\mathcal{M}_{\tau_1,\tau_2,\tau_3;\sigma}$ 的超凯勒几何中起什么作用？
• RQ5 在何种条件下，紧化雅可比簇 $\overline{J^{g-1}(S)}$ 允许一个实结构，使其对应于商空间 $\mathcal{O}_{\tau_2+i\tau_3}/SU(k)$？

主要发现

• 模空间 $\mathcal{M}_{\tau_1,\tau_2,\tau_3;\sigma}$ 提供了共轭轨道上超凯勒度量的完整且代数化的构造，推广了已知情形。
• 定理 2.2 表明，任何具有超凯勒 $G$-作用且局部具有 $G^\mathbb{C}$-作用的完备超凯勒流形，均与某个 $\mathcal{M}_{\tau_1,\tau_2,\tau_3;\sigma}$ 等变同构，从而证明了其普遍性。
• 当 $G = SU(k)$ 且谱曲线 $S$ 仅有节点时，存在一个自然的代数同构，将 $\mathcal{O}_{\tau_2+i\tau_3}/SU(k)$ 与紧化雅可比簇 $\overline{J^{g-1}(S)} - \Theta$ 的一个连通分支的实部对应起来。
• 曲线 $S$ 关于反全纯对合 $\zeta \mapsto -1/\bar{\zeta}, \eta \mapsto -\eta/\bar{\zeta}^2$ 是不变的，该对合在 $H^1(S, \mathcal{O}_S)$ 上诱导出一个实结构，从而允许定义实线丛。
• 超凯勒度量的构造在 Biquard 意义下保持代数性，但目前尚无一般性代数公式，除非在特殊情形（如埃尔米特对称空间）中。
• 尽管使用 $S$ 上的有理 theta 函数提示了通过紧化雅可比簇前进的可能路径，$\mathcal{M}_{\tau_1,0,0}$ 上的超凯勒结构仍保持神秘。