[論文レビュー] 3d Mirror Symmetry and Quantum $K$-theory of Hypertoric Varieties

Andrey Smirnov, Zijun Zhou|arXiv (Cornell University)|May 29, 2020

Algebraic Geometry and Number Theory参考文献 54被引用数 15

ひとこと要約

本稿は、量子K理論を用いて、3次元ミラー対称性をハイパートーリック多様体に対して確立する。鏡像対のq差分方程式が、ケーラー・パラメータと等配分パラメータを交換し、逆極化を行うと等価であることを証明する。頂点関数と楕円的安定包絡を用いて、鏡像頂点関数が楕円的安定包絡構成によって関連づけられることを示し、K理論的quasimap設定における3次元ミラー対称性の数学的実現を提供する。

ABSTRACT

Following the idea of Aganagic--Okounkov \cite{AOelliptic}, we study vertex functions for hypertoric varieties, defined by $K$-theoretic counting of quasimaps from $\mathbb{P}^1$. We prove the 3d mirror symmetry statement that the two sets of $q$-difference equations of a 3d hypertoric mirror pairs are equivalent to each other, with Kähler and equivariant parameters exchanged, and the opposite choice of polarization. Vertex functions of a 3d mirror pair, as solutions to the $q$-difference equations, satisfying particular asymptotic conditions, are related by the elliptic stable envelopes. Various notions of quantum $K$-theory for hypertoric varieties are also discussed.

研究の動機と目的

• 量子K理論の枠組みにおいて、ハイパートーリック多様体の3次元ミラー対称性を確立すること。
• パラメータ交換および逆極化の下で、鏡像対の頂点関数を楕円的安定包絡によって関連付けること。
• ケーラー・パラメータと等配分パラメータを交換した場合に、鏡像対のq差分方程式が等価であることを証明すること。
• ハイパートーリック設定におけるPSZ量子K理論と除法的量子K理論の関係を明確にすること。
• K理論におけるquasimap数え上げを通じて、ボルテックス分配関数および3次元ホロモーフィックブロックの数学的実現を提供すること。

提案手法

• P^1からハイパートーリック多様体へのquasimapのK理論的数え上げを通じて、バニシングおよびキャップド頂点関数を構成する。
• PSZ量子K理論フレームワークにおける接続およびキャッピング作用素を用いて、頂点関数のq差分方程式を導出する。
• 楕円的安定包絡の理論を適用し、パラメータ双対性の下で鏡像対の頂点関数を関連付ける。
• 局所化技術を用いて、等配分パラメータの関数として、バニシング頂点関数およびその漸近的挙動を計算する。
• 変数変換κ_vtxを用いて、頂点関数の漸近的極限を楕円関数およびq-Pochhammer記号に関連付ける。
• q-二項定理を用いて漸近的極限を評価し、鏡像対称性の記述を導出する。

実験結果

リサーチクエスチョン

• RQ1 3次元ハイパートーリック鏡像対のq差分方程式は、パラメータ交換および逆極化の下でどのように関係しているか？
• RQ2 量子K理論における鏡像対の頂点関数の正確な関係は何か？
• RQ3 楕円的安定包絡は、鏡像ハイパートーリック多様体の頂点関数の双対性をどのように媒介するか？
• RQ4 頂点関数の漸近的極限は、鏡像対称性の確立において果たす役割は何か？
• RQ5 ハイパートーリック設定において、PSZ量子K理論と除法的量子K理論の関係は何か？

主な発見

• 3次元ハイパートーリック鏡像対のq差分方程式は、ケーラー・パラメータと等配分パラメータを交換し、逆極化を行うと等価である。
• 鏡像対の頂点関数は楕円的安定包絡によって関連づけられ、一方の頂点関数の漸近的極限がパラメータ双対性の下で鏡像頂点関数と一致する。
• バニシング頂点関数の漸近的極限は、楕円Pochhammer記号の比の積として表現され、鏡像頂点関数の形と一致する。
• α(p) → 0 の下での頂点関数の漸近的挙動は、q-二項恒等式およびPochhammer記号の漸近的性質を用いて明示的に計算された。
• q差分方程式および頂点関数のレベルで鏡像対称性の記述が確認され、量子K理論フレームワークにおける双対性が裏付けられた。
• 本構成は、K理論におけるquasimap数え上げを通じて、3次元ホロモーフィックブロックおよびボルテックス分配関数の数学的実現を提供する。