[论文解读] Nahm's, Basu-Harvey-Terashima's equations and Lie superalgebras

Roger Bielawski|arXiv (Cornell University)|Mar 12, 2015

Advanced Topics in Algebra参考文献 3被引用 3

一句话总结

本文建立了Basu-Harvey-Terashima（BHT）方程——描述ABJM理论中BPS态动力学的方程——与李超代数之间的深层对应关系，特别是通过$\mathfrak{gl}_{n|m}(\mathbb{C})$奇部上的双重超括号方程。研究表明，BHT方程的解可通过四元数化梯度流生成Nahm方程的解，并利用$\mathbb{P}^2$中谱曲线的双重覆盖上的线丛，提供了Lax对与谱曲线的解释，将动力学与具有$\tau$-等变性的雅可比簇上的线性流联系起来。

ABSTRACT

We discuss the correspondence between Nahm's equations, the Basu-Harvey-Terashima equations, and Lie superalgebras.

研究动机与目标

• 阐明ABJM理论中BPS态背景下BHT方程背后的数学结构。
• 通过$\operatorname{Mat}_{n,m}(\mathbb{C}) \oplus \operatorname{Mat}_{m,n}(\mathbb{C})$上的超凯勒梯度流，建立BHT方程解与Nahm方程解之间的对应关系。
• 将BHT方程解释为配备四元数自同态的$\mathfrak{gl}_{n|m}(\mathbb{C})$奇部上的双重超括号方程。
• 提供BHT方程的Lax对与谱曲线表述，将其识别为具有$\tau$-等变性的谱曲线雅可比簇上的线性流。

提出的方法

• BHT方程被导出为在$W_{n,m} = \operatorname{Mat}_{n,m}(\mathbb{C}) \oplus \operatorname{Mat}_{m,n}(\mathbb{C})$上，关于$U(n) \times U(m)$-不变的超凯勒结构的四次函数$F = \frac{1}{2}\|\mu_1\|^2 - \frac{1}{2}\|\nu_1\|^2$的梯度流。
• 通过恒等式$I_1X_{\mu_1} - I_1X_{\nu_1} = I_2X_{\mu_2} - I_2X_{\nu_2} = I_3X_{\mu_3} - I_3X_{\nu_3}$，证明BHT方程的解满足Nahm方程，从而将动力学与扭量映射联系起来。
• BHT方程被重述为$\mathfrak{gl}_{n|m}(\mathbb{C})$奇部上的双重超括号方程$\dot{C} = \frac{1}{2}[[J(C), C], C]$，其中$C = \begin{pmatrix} 0 & A \\ B & 0 \end{pmatrix}$且$J(A,B) = (-B^*, A^*)$。
• 建立了Lax对表述：若$Z = XY$满足$\dot{Z} = [M, Z]$，则存在$N$使得$\dot{X} = XN - M X$，$\dot{Y} = Y M - N Y$，从而将流与谱曲线上线性动力学联系起来。
• 谱曲线定义为$\mathbb{P}^2$中$\hat{P}(\zeta, \lambda) = \det(\lambda - C(\zeta))$的零点集，且该流对应于$\hat{S}$上$\tau$-等变线丛模空间上的线性流。

实验结果

研究问题

• RQ1 BHT方程如何通过超凯勒几何与Nahm方程相关联？
• RQ2 BHT方程能否被解释为李超代数上的双重超括号方程？
• RQ3 BHT方程背后的谱曲线与Lax对结构是什么？
• RQ4 谱曲线上线丛的$\tau$-等变性如何与BHT流相关联？

主要发现

• 在$W_{n,m}$上，BHT方程的解通过$F = \frac{1}{2}\|\mu_1\|^2 - \frac{1}{2}\|\nu_1\|^2$的超凯勒梯度流生成Nahm方程的解，其中$\mu_i$与$\nu_i$分别是$U(n)$与$U(m)$的扭量映射。
• BHT方程等价于$\mathfrak{gl}_{n|m}(\mathbb{C})$奇部上的双重超括号方程$\dot{C} = \frac{1}{2}[[J(C), C], C]$，提供了李超代数的解释。
• 谱曲线$\hat{S} \subset \mathbb{P}^2$由$\hat{P}(\zeta, \lambda) = \det(\lambda - C(\zeta))$定义，且BHT流对应于$\hat{S}$的雅可比簇上限制于$\tau$-等变线丛的线性流。
• 当$n = m$时，$T\mathbb{P}^1$中的谱曲线$S$满足$\hat{P}(\zeta, \lambda) = P(\zeta, \lambda^2)$，因此$\hat{S}$是$S$的双重覆盖，分支点位于$\eta = 0$，其亏格为$g_{\hat{S}} = (n-1)(2n-1)$，$g_S = (n-1)^2$。
• 在$\hat{S}$上，非循环的$\tau$-线丛$\mathcal{L}$满足$\mathcal{L} \simeq \pi^*\mathcal{F} \otimes [\Delta_B] \simeq \pi^*\mathcal{G} \otimes [\Delta_A]$，其中$\mathcal{F}, \mathcal{G}$是定义在$S$上的线丛，分别由$A(\zeta)B(\zeta)$与$B(\zeta)A(\zeta)$给出。