[論文レビュー] 3d Mirror Symmetry and Elliptic Stable Envelopes

Richárd Rimányi, Andrey Smirnov+2 more|arXiv (Cornell University)|Feb 10, 2019

Algebraic structures and combinatorial models参考文献 58被引用数 30

ひとこと要約

本稿は、X = T∗Gr(k,n) として与えられる双対クーヴィー多様体 X × X′ 上に、普遍的な G-不変楕円コホモロジー類「モザー関数」を構成することにより、代数幾何における3次元鏡像対称性と楕円安定包あつかいの間の深い関係を確立する。モザー関数は、X および X′ 上の楕円安定包あつかいに制限され、X 上の等化パラメータと X′ 上のケーラー・パラメータの同一視の下で、それらの制限行列が互いに転置の関係にあることを示し、安定包あつかいおよび楕円コホモロジーのレベルで3次元鏡像対称性を実現する。

ABSTRACT

We consider a pair of quiver varieties (X;X') related by 3d mirror symmetry, where X =T*Gr(k,n) is the cotangent bundle of the Grassmannian of k-planes of n-dimensional space. We give formulas for the elliptic stable envelopes on both sides. We show an existence of an equivariant elliptic cohomology class on X $ imes$ X' (the Mother function) whose restrictions to X and X' are the elliptic stable envelopes of those varieties. This implies, that the restriction matrices of the elliptic stable envelopes for X and X' are equal after transposition and identification of the equivariant parameters on one side with the Kähler parameters on the dual side.

研究の動機と目的

• Nakajima のクーヴィー多様体の枠組みにおいて、X = T∗Gr(k,n) 及びその3次元鏡像双対多様体 X′ に対して、3次元鏡像対称性の明確な数学的実現を達成すること。
• 等化パラメータとGKM理論を用いて、X および X′ 上の楕円安定包あつかいを構成し、特徴づけること。
• X × X′ 上に、X および X′ 上の安定包あつかいを導く普遍的な等化パラメータ付き楕円コホモロジー類「モザー関数」を定義すること。
• X および X′ 上の楕円安定包あつかいの制限行列が、等化パラメータとケーラー・パラメータの双対性の下で互いに転置の関係にあることを証明すること。
• q-差分方程式およびモノドロミーのレベルで双対性を検証し、遷移行列における正則性および極のキャンセルを示すこと。

提案手法

• クーヴィーと関係のモジュライ空間として、X = T∗Gr(k,n) 及びその3次元鏡像双対多様体 X′ をNakajimaのクーヴィー多様体構成により実現する。
• 等化パラメータ付き楕円コホモロジーとGKM理論を用い、局所化およびシータ関数を介して、X および X′ 上の楕円安定包あつかいを計算する。
• X × X′ 上の等化パラメータ付き楕円コホモロジーに属する「モザー関数」を、アーベル化およびヤング図式上の木構造に基づく組合せ論的構成により定義する。
• アーベル化公式を用いて、X′ 上の安定包あつかいをケーラー部と非ケーラー部に分解し、分割のヤング図式からの組合せ論的データを用いる。
• 極の減算定理および q-差分方程式のモノドロミー理論を用い、安定包あつかいと、解の正則基底間の遷移行列を関連付ける。
• ヤング図式内の木構造におけるキャンセル補題および対合対称性を用いて、Tp,pT′λ,µ の正則性を証明し、不必要な極を除去する。

実験結果

リサーチクエスチョン

• RQ1 Nakajima のクーヴィー多様体における楕円安定包あつかいのレベルで、3次元鏡像対称性はどのように実現可能か？
• RQ2 双対多様体 X および X′ 上の安定包あつかいを符号化する、等化パラメータ付き楕円コホモロジーにおける普遍的対象は何か？
• RQ3 X および X′ 上の楕円安定包あつかいの制限行列は、等化パラメータとケーラー・パラメータの双対性の下でどのように関係しているか？
• RQ4 （例：ヤング図式内の木構造など）どのような組合せ論的構造が、X′ 上の安定包あつかいのケーラー部および非ケーラー部を支配するか？
• RQ5 Tp,pT′λ,µ がケーラー・パラメータ ui に関して正則であるのはなぜか？ そして、潜在的な極がどのようにキャンセルされるのか？

主な発見

• X = T∗Gr(k,n) 上の楕円安定包あつかいは、GKM理論およびシータ関数を用いて明示的に構成され、正則な正規化条件を満たす。
• 双対多様体 X′ 上の楕円安定包あつかいは、分割のヤング図式における木構造を用いたアーベル化公式により与えられ、ケーラー部および非ケーラー部からの寄与を含む。
• モザー関数とは、適切なラインバンドル L に対して H^0(X × X′, L) に属する普遍的クラスであり、シータ関数の積として構成され、必要な制限性質を満たす。
• X および X′ 上の楕円安定包あつかいの制限行列は、等化パラメータ（X 上）とケーラー・パラメータ（X′ 上）の同一視の下で、互いに転置の関係にある。
• Tp,pT′λ,µ はケーラー・パラメータ ui に関して正則である。すべての潜在的極 θ(ui/uj) は、ヤング図式内の木構造における対合対称性およびキャンセル補題により相殺される。
• k=1 および n=4 の場合、モザー関数および安定包あつかいの明示的公式が導かれ、シータ関数の恒等式を用いて双対性が検証される。