[论文解读] 3-Manifolds and 3d Indices

Tudor Dimofte, Davide Gaiotto+1 more|arXiv (Cornell University)|Dec 21, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 54被引用 65

一句话总结

本文引入了一类新的三维 $σ$-模型，记为 $χ$，其推广了Bloch群，并包含了M5-brane在三维流形上的理论。研究证明，这些理论的拓扑序数（supersymmetric index）是一个与非全纯 $SL(2,\mathbb{C})$ Chern-Simons理论等价的拓扑不变量，其积分路径为一种新形式，揭示了量子场论、拓扑学与代数几何之间通过递推关系和阿莫巴几何的深层联系。

ABSTRACT

We identify a large class R of three-dimensional N=2 superconformal field theories. This class includes the effective theories T_M of M5-branes wrapped on 3-manifolds M, discussed in previous work by the authors, and more generally comprises theories that admit a UV description as abelian Chern-Simons-matter theories with (possibly non-perturbative) superpotential. Mathematically, class R might be viewed as an extreme quantum generalization of the Bloch group; in particular, the equivalence relation among theories in class R is a quantum-field-theoretic "2-3 move." We proceed to study the supersymmetric index of theories in class R, uncovering its physical and mathematical properties, including relations to algebras of line operators and to 4d indices. For 3-manifold theories T_M, the index is a new topological invariant, which turns out to be equivalent to non-holomorphic SL(2,C) Chern-Simons theory on M with a previously unexplored "integration cycle."

研究动机与目标

• 定义一类广义的 $\mathcal{R}$ 类三维 $\mathcal{N}=2$ 超共形场论，包括M5-brane在三维流形 $M$ 上的理论。
• 将 $\mathcal{R}$ 类中理论的超对称序数识别为三维流形的新拓扑不变量。
• 建立该序数与非全纯 $SL(2,\mathbb{C})$ Chern-Simons理论之间的对应关系，其积分路径为此前未被探索的新形式。
• 揭示阿莫巴几何与递推关系在决定序数增长行为中的作用。

提出的方法

• 作者将类 $\mathcal{R}$ 定义为Bloch群的量子推广，对2–3移动封闭，并包含具有非微扰超势能的阿贝尔Chern-Simons-物质理论。
• 通过从量子算符 $\hat{E}_M$ 导出的递推关系，分析 $T_M$ 理论的超对称序数 $\mathcal{I}_M$，这些算符作用于序数并改变能量量子数 $e$。
• 证明序数满足 $q$-形变的递推关系 $\hat{E}_M(\hat{\eta}, \hat{\epsilon}, \hat{\epsilon}_m; q) \mathcal{I}_M = 0$，其中 $\hat{\epsilon} = q^e$，从而将其与经典代数簇 $\mathcal{L}_M$ 联系起来。
• 在经典极限 $q \to 1$ 下，恢复出多项式 $E_M(\eta, \epsilon, \epsilon_m)$，其编码了 $\mathcal{L}_M$ 的阿莫巴几何，特别是沿负 $\text{Re}\,P$ 轴的“触角”结构。
• 分析 $\mathcal{I}_M(0,e;q)$ 在 $q \to 0$ 时的行为以确定其增长速率，若阿莫巴无此类触角，则线性增长被排除。
• 证明多项式 $b_0(x^{-1},1;q)$ 的 $q$-形变可能满足 $\hat{b}_0(q^\alpha,1;q) = 0$，这意味着线性增长仅在阿莫巴具有特定几何特征时才可能发生。

实验结果

研究问题

• RQ1 M5-brane在三维流形上紧化得到的三维 $\mathcal{N}=2$ 超对称共形场论的超对称序数，如何与底流形的拓扑不变量相关联？
• RQ2 类 $\mathcal{R}$ 中序数的精确数学结构是什么？它如何与非全纯 $SL(2,\mathbb{C})$ Chern-Simons理论相联系？
• RQ3 当 $\mathcal{L}_M$ 的阿莫巴满足何种几何条件时，序数在能量量子数 $e$ 上表现出线性或二次增长？
• RQ4 由量子算符 $\hat{E}_M$ 导出的递推关系如何约束序数及其 $q$-形变的结构？
• RQ5 $b_0(x^{-1},1;q)$ 的 $q$-形变在决定序数渐近行为中起到何种作用？

主要发现

• $T_M$ 理论的超对称序数 $\mathcal{I}_M$ 是三维流形 $M$ 的新拓扑不变量，等价于具有新积分路径的非全纯 $SL(2,\mathbb{C})$ Chern-Simons理论。
• 序数满足 $q$-形变的递推关系 $\hat{E}_M(\hat{\eta}, \hat{\epsilon}, \hat{\epsilon}_m; q) \mathcal{I}_M = 0$，该关系对经典代数簇 $\mathcal{L}_M$（由 $\mathcal{L}_M(x,p) = 0$ 定义）进行量子化。
• 线性增长 $\mathcal{I}_M(0,e;q) \sim q^{\alpha e}$ 仅在 $\mathcal{L}_M$ 的阿莫巴沿负 $\text{Re}\,P$ 轴具有触角时才可能发生，因为此时 $b_0(x^{-1},1;q)$ 的非平凡 $q$-形变可满足 $\hat{b}_0(q^\alpha,1;q) = 0$。
• 若阿莫巴无此类触角，则 $b_0(x^{-1},1)$ 为单项式，导致 $\hat{b}_0(x^{-1},1;q)$ 也为单项式，因此 $\hat{b}_0(q^\alpha,1;q) = 0$ 不可能成立，从而排除线性增长。
• 在无此类触角的情况下，序数通常表现出二次增长 $\mathcal{I}_M(0,e;q) \sim q^{\alpha e^2}$，此时递推关系在主导阶次可实现项的完全混合。
• 该递推关系在 $q \to 1$ 时的经典极限恢复出多项式 $E_M(\eta, \epsilon, \epsilon_m)$，其由复共轭方程 $\mathcal{L}_M(x,p) = 0$ 与 $\mathcal{L}_M(\bar{x},\bar{p}) = 0$ 导出，其中 $\eta = \sqrt{=\bar{x}/x}$，$\epsilon = |p|^2$，$\epsilon_m = |x|^2$。