[論文レビュー] 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モデル物理学が予測した正確な形を確認する。安定商のモジュライ空間における局所化技術を用いて、従来にない第3の項を含む正則異常方程式を導出し、射影空間上の無限個のねじれ理論へと拡張する。これには、Euler類を用いて定義される形式的5次曲面が含まれており、真の5次曲面理論と同じ方程式を満たすことが示された。

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モデル物理学が予測した正則異常方程式の正確な形が、安定商不変量に対して成立することを検証すること。
• 正則異常方程式を、射影空間上の無限個のねじれ理論へと拡張すること。これには、Euler類を用いて定義される形式的5次曲面が含まれる。
• 形式的5次曲面理論が真の5次曲面理論と同じ正則異常方程式を満たすことを示すことにより、より深い幾何的関係性を示すこと。

提案手法

• 著者たちは、安定商のモジュライ空間における局所化技術を用いて不変量を計算し、正則異常方程式を導出する。
• 生成関数に新たな降下挿入 $\tilde{\tau}_1(H)$ を導入し、異常方程式に従来にない第3の項を追加する。
• 証明は、新しい挿入を含むように拡張された局所化公式に依拠し、生成関数の形で頂点、辺、脚の寄与を明示的に計算する。
• 鍵となるステップは、$H^2$ を挿入した脚の寄与の $X$-微分が、別の挿入 $\tilde{\tau}_1(H)$ の脚の寄与と正確な代数的恒等式によって関連づけられることを示すことである。
• 恒等式 $L^3 = C_1^2 C_2$ を用いて微分を関連付け、異常方程式の第3項における係数 $-1/3$ を確立する。
• この手法は、$a,b,c,\delta$ の挿入を含むすべての系列に一般化され、降下挿入の完全な依存関係が得られる。

実験結果

リサーチクエスチョン

• RQ1 Bモデルにおける正則異常方程式の正確な形が、局所 $\mathbb{P}^2$ 上の安定商不変量に対しても成立するか？
• RQ2 正則異常方程式は $\tilde{\tau}_1(H)$ の形の挿入を含めるように拡張可能か？ もしそうなら、その結果得られる方程式の構造はどのようなものか？
• RQ3 射影空間上のねじれ理論（例えば、複素数のEuler類によって定義される形式的5次曲面）は、それらの物理的類似物と同じ正則異常方程式を満たすか？
• RQ4 単一の引き戻された降下挿入を含む正則異常方程式の第3項の出現に、幾何的説明は存在するか？
• RQ5 両者とも同じ正則異常方程式を満たすという事実を踏まえ、形式的5次曲面の安定商不変量と真の5次曲面のそれらの関係はいかなるものか？

主な発見

• 著者たちは、すべての生成数において、$K\mathbb{P}^2$ 上の安定商不変量に対する正則異常方程式の直接的な幾何的証明を提供し、Bモデル物理学が予測した正確な形を確認した。
• 正則異常方程式には、$\tilde{\tau}_1(H)$ の挿入を含む、従来にない第3の項が含まれており、これは $H^2$ を挿入した $X$-微分による脚の寄与から生じる。
• 第3項における係数 $-1/3$ は、$L^3 = C_1^2 C_2$ を含む正確な代数的恒等式から得られ、脚の寄与の微分を関連付ける。
• Euler類を用いて定義される形式的5次曲面理論は、真の5次曲面理論と同じ正則異常方程式を満たす。
• 形式的5次曲面の安定商不変量はBモデルの系列と一致しており、両者の理論が正則異常方程式を保存する変換によって関係づけられている可能性を示唆する。
• この手法は、射影空間上の無限個のねじれ理論へと一般化され、安定商理論における正則異常方程式の広範なフレームワークを確立した。