[论文解读] From $S^1$-fixed points to $\mathcal{W}$-algebra representations

Laura Fredrickson, Andrew Neitzke|arXiv (Cornell University)|Sep 18, 2017

Black Holes and Theoretical Physics参考文献 29被引用 11

一句话总结

本文建立了复乘法群 $\mathbb{C}^\times$-不动点在 $\mathbb{CP}^1$ 上 $SL(K)$-Higgs丛模空间 $\mathcal{M}_{K,N}$ 中与特定 $\mathcal{W}_K$-代数表示之间的 1-1 对应关系。文章引入了 Higgs 场的正则化 $L^2$-范数 $\mu$，并证明 $\mu = \frac{1}{12}(K-1 - c_{\text{eff}})$，其中 $c_{\text{eff}}$ 为相应 $\mathcal{W}$-表示的有效中心电荷，从而将几何不变量与共形场论数据联系起来。

ABSTRACT

We study a set $\mathcal{M}_{K,N}$ parameterizing filtered $SL(K)$-Higgs bundles over $\mathbb{CP}^1$ with an irregular singularity at $z = \infty$, such that the eigenvalues of the Higgs field grow like $\lvert λ vert \sim \lvert z ^{N/K} \mathrm{d} z vert$, where $K$ and $N$ are coprime. $\mathcal{M}_{K,N}$ carries a $\mathbb{C}^ imes$-action analogous to the famous $\mathbb{C}^ imes$-action introduced by Hitchin on the moduli spaces of Higgs bundles over compact curves. The construction of this $\mathbb{C}^ imes$-action on $\mathcal{M}_{K,N}$ involves the rotation automorphism of the base $\mathbb{CP}^1$. We classify the fixed points of this $\mathbb{C}^ imes$-action, and exhibit a curious $1$-$1$ correspondence between these fixed points and certain representations of the vertex algebra $\mathcal{W}_K$; in particular we have the relation $μ= \frac{1}{12} \left(K - 1 - c_{\mathrm{eff}} ight)$, where $μ$ is a regulated version of the $L^2$ norm of the Higgs field, and $c_{\mathrm{eff}}$ is the effective Virasoro central charge of the corresponding $W$-algebra representation. We also discuss a Bialynicki-Birula-type stratification of $\mathcal{M}_{K,N}$, where the strata are labeled by isomorphism classes of the underlying filtered vector bundles.

研究动机与目标

• 对 $\mathbb{CP}^1$ 上具有无穷远点处非正则奇点的 $SL(K)$-Higgs丛模空间 $\mathcal{M}_{K,N}$ 中的 $\mathbb{C}^\times$-不动点进行分类。
• 在这些不动点上定义并计算 Higgs 场的正则化 $L^2$-范数 $\mu$。
• 在这些不动点与 $\mathcal{W}_K$-顶点代数表示之间建立 1-1 对应关系。
• 验证正则化范数 $\mu$ 与有效中心电荷 $c_{\text{eff}}$ 的关系，公式为 $\mu = \frac{1}{12}(K-1 - c_{\text{eff}})$。
• 分析 $\mathcal{M}_{K,N}$ 的 Bialynicki-Birula 分层结构及其与滤子向量丛结构的关系。

提出的方法

• 通过基空间 $\mathbb{CP}^1$ 的旋转自同构在 $\mathcal{M}_{K,N}$ 上引入 $\mathbb{C}^\times$-作用。
• 利用良好滤子 Higgs 丛的结构以及 $K$ 与 $N$ 互素的条件，对这一 $\mathbb{C}^\times$-作用的不动点进行分类。
• 利用调和度量和无穷远处的渐近行为，定义 Higgs 场的正则化 $L^2$-范数 $\mu$。
• 通过中心电荷公式 $\mu = \frac{1}{12}(K-1 - c_{\text{eff}})$，在不动点与 $\mathcal{W}_K$-表示之间建立对应关系。
• 分析 $\mathcal{M}_{K,N}$ 上的 Hitchin 纤维化，特别是 $K=2, N=3$ 的情形，通过规范变换研究纤维结构与紧化性质。
• 利用规范变换将 Higgs 丛族延拓至 Hitchin 基空间的无穷远处，表明中心纤维是一个具有尖点的射影三次曲线，且该尖点对应于 $\mu = \frac{1}{20}$ 的不动点。

实验结果

研究问题

• RQ1 在 $\mathcal{M}_{K,N}$ 中，$\mathbb{C}^\times$-不动点如何分类？其具有何种结构？
• RQ2 Higgs 场的正则化 $L^2$-范数 $\mu$ 在这些不动点上的几何意义是什么？
• RQ3 是否存在不动点与 $\mathcal{W}_K$-顶点代数表示之间的精确对应关系？
• RQ4 公式 $\mu = \frac{1}{12}(K-1 - c_{\text{eff}})$ 是否成立？它与共形场论中极小模型的关系如何？
• RQ5 $\mathcal{M}_{K,N}$ 的 Bialynicki-Birula 分层结构如何反映其底层滤子向量丛的同构类？

主要发现

• 通过中心电荷公式，$\mathcal{M}_{K,N}$ 中的 $\mathbb{C}^\times$-不动点与特定 $\mathcal{W}_K$-代数表示之间存在 1-1 对应关系。
• 在 $K=2, N=3$ 情形下，两个不动点分别对应于 $(2,5)$ Virasoro 极小模型，其有效中心电荷分别为 $c_{\text{eff}} = -\frac{22}{5}$ 和 $\frac{2}{5}$，与 $\mu = \frac{9}{20}$ 和 $\frac{1}{20}$ 的值一致。
• 正则化 $L^2$-范数 $\mu$ 通过公式 $\mu = \frac{1}{12}(K-1 - c_{\text{eff}})$ 计算得出，且在 $K=2, N=3$ 情形下已明确验证。
• $\mathcal{M}_{2,3}$ 中 Hitchin 纤维化 $\pi^{-1}(u)$ 的每一根纤维均为射影三次曲线，其中心纤维 $u=0$ 为具有尖点的三次曲线，且包含两个不动点。
• 纤维中的无穷远点对应于 $\mu = \frac{1}{20}$ 的不动点，即中心纤维的尖点。
• 支持如下猜想：$\mu$ 可延拓为 $\mathcal{M}_{2,3}$ 上 $U(1)$-作用的矩映射，且最大值 $\mu = \frac{9}{20}$ 在 $\mathcal{M}^{\text{small}}_{2,3}$ 分层上取得。