[论文解读] Cherkis bow varieties and Coulomb branches of quiver gauge theories of affine type $A$

Hiraku Nakajima, Yuuya Takayama|arXiv (Cornell University)|Jun 7, 2016

Black Holes and Theoretical Physics参考文献 25被引用 5

一句话总结

本文证明了仿射型A的框架quiver规范理论的Coulomb分支同构于Cherkisbow变体——一种源自Taub-NUT空间上具有循环群作用的ADHM型构造的双复结构代数簇。通过quiver描述与因子分解性质，作者证明Coulomb分支在基空间上双有理同构于bow变体，并利用正规性准则将其同构关系全局化，从而证实了数学物理中的一个猜想，并为quiver变体理论提供了更广泛的框架。

ABSTRACT

We show that Coulomb branches of quiver gauge theories of affine type $A$ are Cherkis bow varieties, which have been introduced as ADHM type description of moduli space of instantons on the Taub-NUT space equivariant under a cyclic group action.

研究动机与目标

• 启动对仿射型A的Cherkisbow变体的代数几何研究，其为quiver变体的推广，源自具有Z/ℓZ对称性的Taub-NUT空间上Instanton模空间。
• 证明仿射型A的框架quiver规范理论的Coulomb分支同构于bow变体，从而证实物理上的一个猜想，并将适用范围扩展至非主导权条件。
• 提供bow变体的quiver描述，以支持代数几何分析（如正规性与分层），这些性质对表示论应用至关重要。

提出的方法

• 通过基于矩阵的代数公式，引入bow变体的quiver描述，以代数方程替代原始ADHM型微分方程（即Nahm方程）。
• 为bow变体M定义一个因子分解态射Ψ: M → Av，其类似于Coulomb分支的因子分解映射，并证明其满足相同的因子分解性质。
• 构造一个在Av上双有理同构Ξ◦: MC ≈99K M，利用[BFN16a, Th. 5.26]中的准则证明其在余维数2内为双正则。
• 证明bow变体M是正规的，且Ψ的所有纤维具有恒定维数，这些是将双有理映射延拓为全局同构的关键条件。
• 通过组合边界对三角形与双向quiver部分中幂零轨道原像的估计，对Ψ的纤维维数进行估计，依赖于[KP79]与[Bie97]的结果。
• 通过连续使用横截切片（广义Slodowy切片）的同构，将Nahm方程解的模空间识别为GL(r) × S，其中S是具有指定尺寸的块矩阵空间。

实验结果

研究问题

• RQ1 仿射型A的框架quiver规范理论的Coulomb分支是否同构于Cherkisbow变体？
• RQ2 bow变体的quiver描述能否用于证明其正规性与分层性质？
• RQ3 Coulomb分支的因子分解结构是否可推广至bow变体？能否用于证明全局同构？
• RQ4 bow变体是否能为研究Coulomb分支（尤其是非主导权情形）提供比quiver变体更自然的框架？
• RQ5 具有n个极点及极点留数μ₁,…,μₙ的Nahm方程解的模空间是否同构于一般线性群与横截切片的积？

主要发现

• 仿射型A的框架quiver规范理论的Coulomb分支MC同构于一个Cherkisbow变体M，证实了物理上的一个猜想，并将适用范围扩展至非主导权情形。
• bow变体的quiver描述使得在许多情形下可证明其正规性，这在原始ADHM/Nahm方程形式中并不直接明显。
• bow变体上的因子分解映射Ψ的纤维具有恒定维数，且满足与Coulomb分支相同的因子分解性质，从而可应用[BFN16a, Th. 5.26]中的准则。
• Ψ在Av中一点上的纤维维数被限制为∑i(wi + 1)v²i + vi，与Coulomb分支纤维的预期维数一致。
• 具有n个极点及留数μ₁,…,μₙ的Nahm方程解的模空间同构于GL(r) × S，其中S是尺寸为μ₁, μ₂, ..., μₙ的块矩阵空间。
• 本文证明广义Slodowy切片S同构于标准Slodowy切片S(μ)，且GL(r) × S(μ) ≅ GL(r) × S，从而解决了文献中的一项不一致问题。