[论文解读] Lax formulation for harmonic maps to a moduli of bundles

Richard Derryberry|arXiv (Cornell University)|Jun 17, 2021

Nonlinear Waves and Solitons参考文献 11被引用 8

一句话总结

本文提出了一种新的拉克斯（Lax）形式化方法，用于从黎曼曲面到复射影曲线上的全纯丛模空间的开子空间的调和映射，该模空间配备了新构造的代数度量和闭的3-形式。主要贡献在于构建了具有任意亏格谱曲线的可积σ-模型，突破了以往仅限于亏格零的情形，并为一环β-函数与黎曼曲面全纯1-形式模空间上的几何流之间的一致性提供了证据。

ABSTRACT

I define an algebraic metric and closed 3-form on a subspace $\mathcal{M}$ of the moduli of $G$-bundles on a complex projective curve $C$, and show that the resulting two-dimensional $σ$-model with target $\mathcal{M}$ has a zero-curvature formulation.

研究动机与目标

• 将可积σ-模型的类别扩展至传统群或齐次空间目标之外，特别是扩展至全纯丛模空间。
• 在复射影曲线$C$上$G$-丛模空间的子空间$Σ$上构造一个代数度量和闭的3-形式，通过实截面实现伪黎曼结构。
• 证明由此得到的二维σ-模型具有零曲率（Lax）形式化，从而表明其可积性。
• 证明这些可积系统谱曲线的亏格可为任意值，而不仅限于以往研究中常见的亏格零情形。
• 为一个猜想提供证据：该模型的一环β-函数与具有全纯1-形式的黎曼曲面模空间上的几何流之间存在关联。

提出的方法

• 该构造基于Costello与Yamazaki发展的4d规范理论中的物理工程方法，使用一个带有简单零点和二阶极点的全纯1-形式的黎曼曲面。
• 在复射影曲线$C$上$G$-丛模空间的开子空间$Σ$上定义一个代数度量，该度量可通过实截面定义伪黎曼结构。
• 在$Σ$上引入一个闭的3-形式$Ω$，该形式对σ-模型作用量至关重要，并参与β-函数的计算。
• 通过构造一个依赖于谱参数$z$的平坦联络族$D_z(σ)$，建立Lax形式化，使得调和映射方程等价于所有$z$下$D_z(σ)$的平坦性。
• 证明谱曲线具有任意亏格，其亏格由黎曼曲面的拓扑类型及全纯1-形式的极点除子决定。
• 通过里奇曲率与3-形式通量计算一环β-函数，并通过极点形变下周期变化的分析，将其与模空间上的几何流匹配。

实验结果

研究问题

• RQ1 是否可以构建目标空间为全纯丛模空间而非群或齐次空间的可积σ-模型？
• RQ2 此类模空间上代数度量的存在是否能支持调和映射的Lax形式化？
• RQ3 所得到的可积系统谱曲线的亏格是否可为任意值，而不仅限于亏格零？
• RQ4 σ-模型的一环β-函数是否可几何地解释为具有全纯1-形式的黎曼曲面模空间上的流？
• RQ5 β-函数的计算是否与1-形式极点形变下度量系数受流诱导变化的猜想一致？

主要发现

• 在复射影曲线上的$G$-丛模空间的开子空间上构造了一个代数度量，这是该背景下罕见的结构。
• 由此得到的σ-模型具有依赖于谱参数的平坦联络族的Lax形式化，确认了其可积性。
• 证明了该可积系统的谱曲线具有任意亏格，推广了以往仅限于亏格零的结论。
• 一环β-函数计算为$\beta_{ab} = \alpha' \frac{p_1 p_2}{(p_1 - p_2)^2} \kappa_{ab}$，与具有全纯1-形式的黎曼曲面模空间上的几何流一致。
• 当$p_1 \to 0$且$p_2 \to \infty$时，结果与WZW模型极限一致，此时β-函数消失，验证了该极限下猜想的正确性。
• 该结果通过与[DLSS21]的比较得到支持，后者完全确定了相关模型的一环RG流，从而在更广泛的例子类中验证了该猜想。