[论文解读] Towards a mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories, II

Alexander Braverman, Michael Finkelberg+1 more|arXiv (Cornell University)|Jan 14, 2016

Black Holes and Theoretical Physics参考文献 27被引用 20

一句话总结

本文通过基于仿射格拉斯曼流形的模堆叠的上同调，以 $\mathbb{C}^\times$-作用下的仿射代数簇形式，为具有余切型物质（$\mathbf{M} = \mathbf{N} \oplus \mathbf{N}^*$）的 3D $\mathcal{N}=4$ 规范理论中的库仑分支提供了数学定义。关键贡献在于通过几何方法在上同调上构造了交换乘法，从而将库仑分支实现为函数的谱。

ABSTRACT

Consider the $3$-dimensional $\mathcal N=4$ supersymmetric gauge theory associated with a compact Lie group $G_c$ and its quaternionic representation $\mathbf M$. Physicists study its Coulomb branch, which is a noncompact hyper-Kähler manifold with an $\mathrm{SU}(2)$-action, possibly with singularities. We give a mathematical definition of the Coulomb branch as an affine algebraic variety with $\mathbb C^ imes$-action when $\mathbf M$ is of a form $\mathbf N\oplus\mathbf N^*$, as the second step of the proposal given in arXiv:1503.03676.

研究动机与目标

• 为具有余切型四元数物质的 3D $\mathcal{N}=4$ 规范理论中的库仑分支提供一个严格的数学定义。
• 在与复射影直线 $\mathbb{P}^1$ 上的全纯 $G$-丛及其截面相关的模堆叠的上同调上定义一个交换代数结构，以普通上同调与紧支集代替临界上同调。
• 通过贝利松-布里尔丹德格拉斯曼流形的背景，实现量子希尔伯特空间的几何实现。
• 在 3d TQFT 的框架下，构造一个与物理中 $3d$ TQFT 融合过程相对应的上同调群乘法。

提出的方法

• 使用一对 $(\mathscr{P}, s)$ 的模堆叠，其中 $\mathscr{P}$ 是全纯 $G$-丛，$s$ 是 $\mathscr{P} \times_G \mathbf{N}$ 上的截面，将库仑分支定义为该模堆叠的紧支集上同调环的谱。
• 将原始模堆叠替换为基于非分离概形 $\tilde{D}$ 的新模堆叠，该概形通过在穿孔圆盘上粘合两个形式圆盘得到，以利用仿射格拉斯曼流形几何的技术。
• 通过纤维积图和恰当上推的构造，在上同调上定义卷积积，其灵感来自带有两个孔的 3-球的 $3d$ TQFT 图像。
• 应用导出范畴中的基变换定理与恰当基变换，验证卷积积的结合性与良定义性。
• 利用贝利松-布里尔丹德格拉斯曼流形的结构，将卷积与库仑分支上的乘法联系起来。
• 推测新模堆叠的紧支集上同调与原始临界上同调同构，且保持分次维数。

实验结果

研究问题

• RQ1 当物质表示为余切型时，如何以数学上严格的方式定义 3D $\mathcal{N}=4$ 规范理论中的库仑分支？
• RQ2 库仑分支上函数空间的交换乘法的几何起源是什么？
• RQ3 能否用更小的模堆叠的普通上同调与紧支集代替物理定义中使用的临界上同调？
• RQ4 带有两个边界分量的 3-流形的 $3d$ TQFT 图像如何与仿射格拉斯曼流形上的卷积结构相关联？
• RQ5 新模堆叠的上同调是否与原始临界上同调同构，且保持分次维数？

主要发现

• 在余切型假设下，库仑分支被严格定义为 $\mathbb{P}^1$ 上 $G$-丛及其截面的模堆叠的紧支集上同调环的谱。
• 通过基于贝利松-布里尔丹德格拉斯曼流形的卷积图，该上同调环上构造了交换乘法。
• 该构造在几何上受到启发：一个带有边界球面对的 3-球被解释为在形式圆盘上的时间演化。
• 在模堆叠替换后，上同调群的分次维数保持不变，支持了与原始临界上同调同构的猜想。
• 通过导出范畴中的基变换定理，证明了乘法的结合性，详细的图追踪确认了拉回与上推的相容性。
• 作者推测新模堆叠的上同调自然同构于临界上同调，从而在物理与数学定义之间架起桥梁。