[论文解读] Asymptotic Geometry of the Moduli Space of Parabolic $SL(2,\mathbb{C})$-Higgs Bundles

Laura Fredrickson, Rafe Mazzeo+2 more|arXiv (Cornell University)|Jan 10, 2020

Algebraic Geometry and Number Theory参考文献 29被引用 7

一句话总结

该论文通过构造近似调和度量并证明 $ L^2 $ 度量与半平坦度量之间差值的指数衰减，建立了四极球面上抛物线 $ \mathrm{SL}(2,\mathbb{C}) $-Higgs丛模空间的渐近超凯勒几何。它证实了 Gaiotto-Moore-Neitzke 猜想，且衰减率为最优的 $ \gamma = 4L $，证明该模空间是一个具有指数曲率衰减的 ALG 引力瞬子。

ABSTRACT

Given a generic stable strongly parabolic $SL(2,\mathbb{C})$-Higgs bundle $(\mathcal{E}, φ)$, we describe the family of harmonic metrics $h_t$ for the ray of Higgs bundles $(\mathcal{E}, t φ)$ for $t\gg0$ by perturbing from an explicitly constructed family of approximate solutions $h_t^{\mathrm{app}}$. We then describe the natural hyperKähler metric on $\mathcal{M}$ by comparing it to a simpler "semi-flat" hyperKähler metric. We prove that $g_{L^2} - g_{\mathrm{sf}} = O(\mathrm{e}^{-γt})$ along a generic ray, proving a version of Gaiotto-Moore-Neitzke's conjecture. Our results extend to weakly parabolic $SL(2,\mathbb{C})$-Higgs bundles as well. In the case of the four-puncture sphere, we describe the moduli space and metric more explicitly. In this case, we prove that the hyperkähler metric is ALG and show that the rate of exponential decay is the conjectured optimal one, $γ=4L$, where $L$ is the length of the shortest geodesic on the base curve measured in the singular flat metric $|\mathrm{det}\, φ|$.

研究动机与目标

• 将希钦的超凯勒度量渐近分析扩展到抛物线情形，包括强抛物线和弱抛物线 Higgs 丛。
• 描述二阶 Higgs 丛在四极球面上的模空间的渐近几何，这是数学物理中的一个关键“玩具模型”。
• 验证 Gaiotto-Moore-Neitzke 猜想，即沿典型射线的度量差值呈指数衰减。
• 证明四极球面上的模空间是一个 ALG 引力瞬子，且衰减率为最优的 $ \gamma = 4L $。
• 将所得的 ALG 度量族嵌入 Chen-Chen 的分类中，识别出具有指数衰减的特殊轨迹。

提出的方法

• 通过从极限配置和抛物奇点附近的基准解出发进行扰动，构造一族近似调和度量 $ h_t^{\text{app}} $。
• 使用加权索伯列夫空间和椭圆理论，局部和全局地分析线性化希钦方程，将 [MSWW16] 中的方法适配到抛物线情形。
• 利用受谱网络启发的几何与平坦锥面度量，识别出决定度量差值指数衰减率的测地线长度。
• 证明 $ L^2 $ 度量 $ g_{L^2} $ 与半平坦度量 $ g_{\text{sf}} $ 之间的差值以 $ O(e^{-\tilde{\rho} t}) $ 衰减，其中 $ \tilde{\rho} = 4L $，$ L $ 为奇异平坦度量 $ |\text{det}\,\varphi| $ 中最短测地线的长度。
• 应用 Chen-Chen 对 ALG 引力瞬子的分类，证明模空间渐近于标准模型，其中 $ \beta = \frac{1}{2} $，$ \tau = \lambda^{-1}(p_0) $，且曲率呈指数衰减。

实验结果

研究问题

• RQ1 在抛物线 Higgs 丛的模空间上，$ L^2 $ 度量与半平坦度量之间的差值是否如 Gaiotto-Moore-Neitzke 所猜想的那样沿典型射线呈指数衰减？
• RQ2 在四极球面情形下，度量差值的精确指数衰减率是多少？是否与猜想的速率 $ \gamma = 4L $ 一致？
• RQ3 四极球面上抛物线 $ \mathrm{SL}(2,\mathbb{C}) $-Higgs 丛的模空间是否为 ALG 引力瞬子，如 Hitchin 等人所猜想的那样？
• RQ4 由强抛物线数据产生的超凯勒度量如何嵌入到 Chen-Chen 对 ALG 引力瞬子的分类中？
• RQ5 模空间的渐近几何能否通过从极限配置和基准解构造的近似解的摄动来显式描述？

主要发现

• $ L^2 $ 度量与半平坦度量之间的差值以 $ O(e^{-\tilde{\rho} t}) $ 指数衰减，其中最优衰减率 $ \tilde{\rho} = 4L $，$ L $ 为奇异平坦度量 $ |\det\varphi| $ 中最短测地线的长度。
• 四极球面上抛物线 $ \mathrm{SL}(2,\mathbb{C}) $-Higgs 丛的模空间是一个 ALG 引力瞬子，证实了一个长期存在的猜想。
• 超凯勒度量的曲率衰减快于二次，满足 Chen-Chen 对 ALG 引力瞬子分类的假设条件。
• 通过变化抛物线数据获得的度量族位于模空间 $ \mathcal{N}_{\beta,\tau} $ 的一个特殊轨迹上，对应于具有指数衰减的度量，而非一般的多项式衰减。
• 四极球面上的半平坦度量对应于标准 ALG 模型，其中 $ \beta = \frac{1}{2} $ 且 $ \tau = \lambda^{-1}(p_0) $，而完整的 $ L^2 $ 度量渐近于该模型，且具有指数误差界。