[论文解读] A Note on Quantum Geometric Langlands Duality, Gauge Theory, and Quantization of the Moduli Space of Flat Connections

Anton Kapustin|ArXiv.org|Nov 20, 2008

Black Holes and Theoretical Physics参考文献 16被引用 14

一句话总结

本论文通过蒙托宁-欧文对偶性，基于Hitchin模空间上A-brane范畴与平坦联络模空间上扭曲D-模范畴之间的关系，建立了量子几何朗兰兹对偶性的规范场论推导。结果表明，当量子参数为纯虚数且与约化普朗克常数成反比时，该对偶性成立，并可推广至具有抛物结构的有分支情形。

ABSTRACT

Montonen-Olive duality implies that the categories of A-branes on the moduli spaces of Higgs bundles on a Riemann surface C for a pair of Langlands-dual groups are equivalent. We reformulate this as a statement about categories of B-branes on the quantized moduli spaces of flat connections for these groups. We show that it implies the statement of the Quantum Geometric Langlands duality with a purely imaginary ``quantum parameter'' which is proportional to the inverse of the Planck constant of the gauge theory. The ramified version of the story is also considered.

研究动机与目标

• 通过N=4超对称规范理论与拓扑扭转，提供量子几何朗兰兹对偶性的物理推导。
• 将Hitchin模空间上A-brane的范畴与平坦Gℂ-联络模空间上扭曲D-模的范畴联系起来。
• 证明当量子参数为纯虚数且与约化普朗克常数成正比时，该对偶性成立。
• 将对偶性推广至具有表面算符与抛物结构的有分支情形。
• 通过参数τ及其对偶，阐明B场与复结构在对偶性中的作用。

提出的方法

• 通过N=4超对称规范理论的拓扑扭转，构造一对具有规范群G与L G的拓扑量子场论。
• 通过参数q = θ/2π，将Hitchin模空间MH(G,C)上A-brane的范畴与BunG(C)上扭曲D-模的导出范畴相等化。
• 应用蒙托宁-欧文对偶性，通过对偶关系τ ↔ -1/(n𝔤 τ) 与 θ ↔ -1/θ，关联MH(G,C)与MH(L G,C)上A-brane范畴。
• 在点p₁,…,pₛ处引入表面算符以实现有分支情形，从而导出抛物Higgs丛与局部系统的模空间。
• 以τ、αₖ与ηₖ表示抛物Higgs丛模空间上Kähler形式与B场的上同调类。
• 将边界可观测量代数的量子化实现为具有第一陈类与Imτ ⋅ (−e ⊕ ⊕αₖ* + i(Imτ)⁻¹ηₖ)成正比的线丛上的全纯微分算子，从而导出量子参数q。

实验结果

研究问题

• RQ1 如何通过蒙托宁-欧文对偶性，从规范理论推导出量子几何朗兰兹对偶性？
• RQ2 在平坦联络模空间的量子化背景下，量子参数q的物理意义是什么？
• RQ3 该对偶性如何推广至具有抛物结构与表面算符的有分支情形？
• RQ4 B场与复结构在对偶性中起什么作用？它们与规范理论参数有何关联？
• RQ5 平坦Gℂ-联络模空间的量子化如何与具有纯虚量子参数的扭曲D-模相关联？

主要发现

• 当量子参数满足qL = -1/(n𝔤 q)时，BunG(C)上扭曲D-模的导出范畴与BunL G(C)上扭曲D-模的导出范畴等价，其中n𝔤 = 1,2,3，取决于Dynkin图。
• 量子参数被识别为q = θ/2π，而在对偶理论中，qL = -1/(n𝔤 q)，对应于量子 regime 中的纯虚参数。
• 在具有表面算符的有分支情形中，当ImLτ = 1/(n𝔤 Imτ)且抛物参数满足Lαₖ = ηₖ、Lηₖ = -αₖ时，对偶性成立。
• B场的上同调类为[B/2π] = (-Reτ) ⊕ ⊕ηₖ，Kähler形式满足[ωI/2π] = e ⊕ (-⊕αₖ*)，二者对对偶性结构至关重要。
• 边界可观测量的量子化代数被实现为具有第一陈类与Imτ ⋅ (−e ⊕ ⊕(αₖ* + i(Imτ)⁻¹ηₖ))成正比的线丛上的全纯微分算子，从而编码了量子参数。
• 在经典极限（大Imτ）下，恢复几何朗兰兹对偶性；而量子 regime 对应于具有复参数q的完整QGL对偶性。