[论文解读] $K$-theoretic Coulomb branches of quiver gauge theories and cluster varieties

Gus Schrader, Alexander Shapiro|arXiv (Cornell University)|Oct 7, 2019

Algebraic structures and combinatorial models被引用 4

一句话总结

本文构建了一个与3d $\mathcal{N}=4$ quiver gauge理论相关的丛代数quiver $Q_{\Gamma}$，并证明了由等变 $K$-理论的点和装扮过的极小单极子算符生成的 $K$-理论Coulomb分支子代数 $\mathscr{A}'_q$，可单射地嵌入到相应丛簇的正则函数的量化代数中。该结果为Gaiotto的猜想提供了有力证据，即 $K$-理论Coulomb分支携带量子丛结构。

ABSTRACT

Let $\\mathscr{A}_q$ be the $K$-theoretic Coulomb branch of a $3d$ $\\mathcal{N}=4$ quiver gauge theory with quiver $\\Gamma$, and $\\mathscr{A}'_q \\subseteq \\mathscr{A}_q$ be the subalgebra generated by the equivariant $K$-theory of a point together with the dressed minuscule monopole operators $M_{\\varpi_{i,1},f}$ and $M_{\\varpi^*_{i,1},f}$. In this paper, we construct an associated cluster algebra quiver $\\mathcal{Q}_\\Gamma$ and provide an embedding of the subalgebra $\\mathscr{A}'_q$ into the quantized algebra of regular functions on the corresponding cluster variety.

研究动机与目标

• 研究3d $\mathcal{N}=4$ quiver gauge理论中 $K$-理论Coulomb分支的量子丛结构。
• 检验Gaiotto的猜想：这些Coulomb分支携带量子丛簇结构。
• 从规范quiver $\Gamma$ 构造一个quiver $Q_\Gamma$，使得 $\mathscr{A}'_q$ 嵌入到关联丛簇的量子丛代数中。
• 证明 $\mathscr{A}'_q$ 的生成元——等变 $K$-理论类和装扮单极子算符——在任意丛中映射为洛朗多项式，从而确保其全局正则性。

提出的方法

• 通过将 $\Gamma$ 每个节点的相对论性开放Coxeter-Toda系统对应的丛quiver进行粘合，构造quiver $Q_\Gamma$，利用Toda格点与仿射Grassmannian的 $K$-理论之间的关系。
• 利用先前工作 [SS18] 中的 $b$-Whittaker变换对量子Toda哈密顿量进行对角化，并将特征函数实现为谱参数的对称函数。
• 将 $K$-理论Coulomb分支 $\mathscr{A}_q$ 嵌入到作用于变量 $w_{i,n}$ 的 $q$-差分算子代数中，其中 $i$ 索引节点，$n$ 遍历 $\dim V_i$。
• 通过 $Y(\lambda_0; \lambda_1, \dots, \lambda_M)$ 和 $\mathscr{E}_k(\lambda, J)$ 定义丛坐标，以丛变量的洛朗多项式形式表达单极子算符。
• 建立从 $\mathscr{A}'_q$ 到由 $Q_\Gamma$ 标记的丛簇的量子丛图的单射代数同态，表明所有生成元均落在全局正则函数代数中。
• 通过具体例子验证该嵌入：$\Gamma = (4), (3,1), (2,2), (2,1,1)$，将单极子算符映射为 $q$-形变的 $Y$-函数，并在各丛中检查其洛朗性质。

实验结果

研究问题

• RQ1 3d $\mathcal{N}=4$ quiver gauge理论的 $K$-理论Coulomb分支是否具有量子丛结构？
• RQ2 由等变 $K$-理论的点和装扮极小单极子算符生成的子代数 $\mathscr{A}'_q$ 是否可嵌入到一个量化丛代数中？
• RQ3 该嵌入下 $\mathscr{A}'_q$ 的像是否包含在丛簇上的全局正则函数代数中？
• RQ4 相对论性Toda系统的丛结构与quiver gauge理论的 $K$-理论Coulomb分支之间有何关系？
• RQ5 对于给定的带框架quiver $\Gamma$，精确的quiver $Q_\Gamma$ 是什么，它实现了该理论的丛结构？

主要发现

• $K$-理论Coulomb分支的子代数 $\mathscr{A}'_q$ 可单射地嵌入到与 $Q_\Gamma$ 相关的丛簇的正则函数的量化代数中。
• 生成元 $\mathscr{A}'_q$，包括等变 $K$-理论类和装扮单极子算符 $M_{\varpi_{i,1},f}$、$M_{\varpi^*_{i,1},f}$，在任意丛中均映射为洛朗多项式，确认了其全局正则性。
• quiver $Q_\Gamma$ 通过将 $\Gamma$ 每个节点的Toda系统quiver粘合而成，反映了Toda格点在仿射Grassmannian的 $K$-理论中的作用。
• 对分区 $(4)$、$(3,1)$、$(2,2)$ 和 $(2,1,1)$ 的显式计算表明，单极子算符映射为具有丛间洛朗结构的 $q$-形变 $Y$-函数。
• $b$-Whittaker变换来自 [SS18]，是关键技术工具，使得量子Toda哈密顿量的对角化成为可能，并将特征函数实现为谱参数的对称函数。
• 该结果支持了Gaiotto的猜想：3d $\mathcal{N}=4$ 理论的 $K$-理论Coulomb分支是量子丛簇，为该结构提供了部分但具体的实现。