[论文解读] Stable quotients and the holomorphic anomaly equation

Hyenho Lho, Rahul Pandharipande|arXiv (Cornell University)|Feb 20, 2017

Algebraic Geometry and Number Theory参考文献 21被引用 5

一句话总结

本文為局部 $\mathbb{P}^2$ 上穩定商不變量的全純異常方程提供了直接的幾何證明，確認了 B 模型物理所預測的精確形式。透過在穩定商模空間上使用局部化技術，作者推導出一個包含新型三階插入項的全純異常方程，將方程推廣至射影空間上的無限多類扭理論，包括以複向量叢的歐拉類定義的形式五次型，並證明其滿足與真實五次型理論相同的方程。

ABSTRACT

We study the fundamental relationship between stable quotient invariants and the B-model for local CP2 in all genera. Our main result is a direct geometric proof of the holomorphic anomaly equation in the precise form predicted by B-model physics. The method yields new holomorphic anomaly equations for an infinite class of twisted theories on projective spaces. An example of such a twisted theory is the formal quintic defined by a hyperplane section of CP4 in all genera via the Euler class of a complex. The formal quintic theory is found to satisfy the holomorphic anomaly equations conjectured for the true quintic theory. Therefore, the formal quintic theory and the true quintic theory should be related by transformations which respect the holomorphic anomaly equations.

研究动机与目标

• 建立局部 $\mathbb{P}^2$ 上穩定商不變量在所有基因數下的全純異常方程的直接幾何證明。
• 驗證 B 模型物理所預測的全純異常方程的精確形式在穩定商不變量上成立。
• 將全純異常方程推廣至射影空間上的無限多類扭理論，包括以歐拉類定義的形式五次型。
• 證明形式五次型理論滿足與真實五次型理論相同的全純異常方程，暗示存在更深遠的幾何關聯。

提出的方法

• 作者在穩定商模空間上使用局部化技術計算不變量，並推導出全純異常方程。
• 他們在生成函數中引入一項新型下撫插入項 $\tilde{\tau}_1(H)$，該插入項在異常方程中貢獻了一個全新的第三項。
• 證明依賴於將局部化公式擴展以包含此新插入項，並以生成函數的形式明確計算頂點、邊與腿的貢獻。
• 關鍵步驟在於證明帶有插入項 $H^2$ 的腿貢獻的 $X$-微分，可透過精確的代數恆等式與另一種插入項 $\tilde{\tau}_1(H)$ 的腿貢獻關聯。
• 作者使用恆等式 $L^3 = C_1^2 C_2$ 來連結微分並建立異常方程第三項中的係數 $-1/3$。
• 該方法被推廣至包含插入項 $a,b,c,\delta$ 的所有系列，並完整保留了對下撫插入項的依賴性。

实验结果

研究问题

• RQ1 B 模型的全純異常方程，以其精確形式，是否在局部 $\mathbb{P}^2$ 上的穩定商不變量上成立？
• RQ2 全純異常方程能否推廣至包含插入項 $\tilde{\tau}_1(H)$ 的情形？若可，其結果方程的結構為何？
• RQ3 射影空間上的扭理論——例如以複向量叢的歐拉類定義的形式五次型——是否滿足與其物理對應理論相同的全純異常方程？
• RQ4 是否存在對全純異常方程中第三項（涉及單一拉回下撫插入項）出現的幾何解釋？
• RQ5 在兩者均滿足相同全純異常方程的前提下，形式五次型的穩定商不變量與真實五次型的穩定商不變量之間有何關係？

主要发现

• 作者為 $K\mathbb{P}^2$ 上穩定商不變量在所有基因數下提供了全純異常方程的直接幾何證明，確認了 B 模型物理所預測的精確形式。
• 全純異常方程包含一個新型的第三項，其涉及插入項 $\tilde{\tau}_1(H)$，該項源自於帶有 $H^2$ 插入項的腿貢獻的 $X$-微分。
• 第三項中的係數 $-1/3$ 來自於涉及 $L^3 = C_1^2 C_2$ 的精確代數恆等式，該恆等式連結了腿貢獻的微分。
• 以 $\mathbb{P}^4$ 上複向量叢的歐拉類定義的形式五次型理論，滿足與真實五次型理論相同的全純異常方程。
• 形式五次型的穩定商不變量與 B 模型系列相符，暗示兩者理論透過保持全純異常方程的變換相互關聯。
• 該方法可推廣至射影空間上的無限多類扭理論，為穩定商理論中的全純異常方程建立了一個廣泛的框架。