[论文解读] BPS states and the P=W conjecture

Wu-yen Chuang, Duiliu-Emanuel Diaconescu+1 more|arXiv (Cornell University)|Feb 9, 2012

Algebraic Geometry and Number Theory参考文献 40被引用 6

一句话总结

本文提出了一套弦理论框架，将M理论在局域Calabi-Yau三fold上的BPS态与Hitchin模空间的上同调联系起来，通过精细Gopakumar-Vafa不变量实现了P=W猜想的物理实现。研究证明，受SL(2)ₗ × ℂ×ᵣ作用控制的D2-D0膜模空间的上同调结构，可重现精细不变量的HRV公式，从而通过物理对偶性为P=W猜想提供了强有力证据。

ABSTRACT

A string theoretic framework is presented for the work of Hausel and Rodriguez-Vilegas as well as de Cataldo, Hausel and Migliorini on the cohomology of character varieties. The central element of this construction is an identification of the cohomology of the Hitchin moduli space with BPS states in a local Calabi-Yau threefold. This is a summary of several talks given during the Moduli Space Program 2011 at Isaac Newton Institute.

研究动机与目标

• 通过弦理论与BPS态计数，为代数几何中的P=W猜想提供物理实现。
• 通过局域Calabi-Yau三fold上的M理论紧化，将Hitchin模空间的上同调与精细Gopakumar-Vafa不变量联系起来。
• 在五维量子场论中，建立上同调的 perverse 过滤与BPS态自旋多重态之间的对应关系。
• 证明精细不变量的HRV公式可自然地从局域曲线几何中D2-D0膜模空间的上同调结构中导出。

提出的方法

• 将紧化于局域Calabi-Yau三fold上的M理论中的BPS态，实现为稳定纯维层模空间的上同调类。
• 利用Hitchin纤维化在Hitchin模空间上同调上定义 perverse 过滤，将其与P=W猜想联系起来。
• 应用相对硬Lefschetz定理与分解定理，构造上同调上的SL(2)ₗ × ℂ×ᵣ作用，其中上同调类的cup积与相对正则类生成提升算符。
• 通过perverse过滤的分次，将精细BPS不变量定义为SL(2)ₗ × ℂ×ᵣ不可约表示的维数。
• 引入变量替换，将精细Gopakumar-Vafa生成函数映射至HRV公式，证明在上同调定义下两者等价。
• 证明生成函数(4.3)的相等性源于P=W猜想，从而为此猜想提供了物理证据。

实验结果

研究问题

• RQ1 如何将M理论紧化于Calabi-Yau三fold上的BPS态，物理地实现为层模空间的上同调类？
• RQ2 在P=W猜想的背景下，Hitchin模空间上同调的 perverse 过滤起什么作用？
• RQ3 上同调上的SL(2)ₗ × ℂ×ᵣ作用如何对应于五维BPS态的自旋多重态？
• RQ4 能否从局域曲线几何中D2-D0膜模空间的上同调结构推导出精细Gopakumar-Vafa不变量？
• RQ5 HRV公式与精细GV展开之间的等价性是否为P=W猜想提供了证据？

主要发现

• 精细Gopakumar-Vafa不变量被实现为SL(2)ₗ × ℂ×ᵣ不可约表示的维数，其重数d(jₗ,jᵣ)等于精细BPS简并度N(Y,β,jₗ,jᵣ)。
• 局域曲线上D2-D0膜模空间的上同调携带SL(2)ₗ × ℂ×ᵣ作用，其中ℂ×ᵣ作为SL(2)ᵣ的Cartan子群出现，源于非紧性。
• P=W猜想意味着精细不变量的生成函数与HRV公式一致，如变量替换(qt)⁻¹, (zt²)ᵍ⁻¹T, t所示。
• 通过Qⁱʲ = Ker(ω^{d−i+1})的上同调定义，得到Nᵣ(jₗ,l) = dim(Q^{d−2jₗ,0;d+l})，将代数几何与物理不变量联系起来。
• 局域几何中SL(2)ᵣ对称性的缺失源于非紧性，但缺失的自旋多重态组分预期将来自紧致Calabi-Yau紧化。
• 在变量替换下，精细GV展开与HRV公式的等价性确认了此情境中P=W猜想的成立，提供了强有力的物理证据。