[論文レビュー] Quantum $K$-theory of toric varieties, level structures, and 3d mirror symmetry

Yongbin Ruan, Yaoxiong Wen+1 more|arXiv (Cornell University)|Nov 15, 2020

Algebraic structures and combinatorial models参考文献 23被引用数 4

ひとこと要約

本稿は、有効なレベル構造を備えた新規の $K$-理論的 $I$-関数を用いて、トーリックスタックに対して 3次元 $υ=2$ ミラー対称性を確立する。ミラー写像がケーラー・パラメータと等配分パラメータを入れ替え、量子パラメータ $q$ を逆数にすることにより、ミラー対の $I$-関数が一致することを証明し、3次元物理学における予想を解決するとともに、固定点局所化と $q$-差分方程式を用いて、量子 $K$-理論をトーリックスタックへ拡張する。

ABSTRACT

We introduce a new version of 3d mirror symmetry for toric stacks, inspired by a 3d $\mathcal{N} = 2$ abelian mirror symmetry construction in physics. Given some toric data, we introduce the $K$-theoretic $I$-function with effective level structure for the associated toric stack. When a particular stability condition is chosen, it restricts to the $I$-function for the particular toric GIT quotient. The mirror of a toric stack is defined by the Gale dual of the original toric data. We then proved the mirror conjecture that the $I$-functions of a mirror pair coincide, under the mirror map, which switches Kähler and equivariant parameters, and maps $q\mapsto q^{-1}$.

研究の動機と目的

• 物理から得られる有効なレベル構造を組み込んだ、トーリックスタックに対する 3次元 $υ=2$ ミラー対称性の予想を定式化し、証明すること。
• 個々の GIT 商ではなく、全トーリックスタックに対してグローバルな $K$-理論的 $I$-関数を定義することで、チャネル依存性の問題を解決すること。
• ケーラー・パラメータと等配分パラメータを入れ替え、$q$ を逆数に変換するミラー写像を確立し、ミラー対の $I$-関数が等価であることを証明すること。
• 固定点局所化と $q$-差分方程式を用いて、$I$-関数を修正することで、量子 $K$-理論をトーリックスタックへ拡張すること。
• 異なるチャネル間での $I$-関数の非一意性を解消するために、固定点寄与項がチャネルに依存しないことを証明すること。

提案手法

• クーライ・グラフモジュライ空間を用いて、トーリックスタックに対する $K$-理論的 $I$-関数を定義し、$\mathbb{C}^*$-固定点に局所化された寄与項を扱う。
• 二次形式 $\frac{1}{2}\sum_{j,l} \iota_{ij}\iota_{il}$ を用いて有効なレベル構造を定義し、3次元 $υ=2$ 物理から得られるレベル構造を符号化する。
• 漸近的挙動を扱うために、$\ln z_i \ln U_i|_{\mathbf{p}} / \ln q$ を含む指数型係数を有する修正された $I$-関数 $\widetilde{I}^{\text{eff}}(\mathbf{p})$ を構成する。
• ケーラー・パラメータと等配分パラメータを入れ替え、$q \mapsto q^{-1}$ を行うミラー写像 $\tau$ を導入し、ミラー対間の $I$-関数を写像する。
• $q$-二項係数の恒等式と漸近的解析を用いて、$\tau(\widetilde{I}^{\text{eff}}(\mathbf{p}^!))$ が元の $I$-関数の漸近的形と一致することを示す。
• $q$-差分方程式の解の一意性を用いて、ミラー写像の下でミラー対の $I$-関数が等価であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 異なる GIT チャネルにおいても、固定点が複数のチャネルに現れるにもかかわらず、トーリックスタックの $K$-理論的 $I$-関数は不変のままであるか？
• RQ2 全トーリックスタックに対して、すべてのチャネルからの寄与を統合したグローバルな $I$-関数を定義でき、正しいミラー対称性を捉えられるか？
• RQ3 3次元 $υ=2$ 物理から得られる有効なレベル構造は、$K$-理論的 $I$-関数にどのように作用し、パラメータの双対性の下でミラー対称性を保証するか？
• RQ4 ケーラー・パラメータと等配分パラメータを入れ替え、$q$ を逆数に変換する正確なミラー写像の形は何か？ そして、この写像は $I$-関数の構造を保存するか？
• RQ5 ミラー対のトーリックスタックの $I$-関数は、ミラー写像を施した後も同じ $q$-差分方程式を満たすか？ これにより、等価性が示唆されるか？

主な発見

• 固定点寄与項 $I_{\mathbf{p},\theta}$ は GIT チャネル $\theta$ に依存しないため、トーリックスタック全体に対してグローバルな $I$-関数 $I^{\text{eff}}(\mathfrak{X}) = \sum_{\mathbf{p}} I^{\text{eff}}(\mathbf{p})$ を定義可能である。
• 修正された $I$-関数 $\widetilde{I}^{\text{eff}}(\mathbf{p})$ は指数型係数と $q$-Pochhammer 記号を含み、漸近的挙動と $U_i|_{\mathbf{p}} = q^{\mathbb{Z}}$ における極を適切に扱い、解析的制御を可能にする。
• ミラー写像 $\tau$ の下で、ミラー対のトーリックスタック $\mathfrak{X}^!$ の $I$-関数は、$\tau(\widetilde{I}^{\text{eff}}(\mathbf{p}^!))$ が元の $I$-関数の漸近的形と一致するように変換される（係数項を除く）。
• ミラー対の $I$-関数が同じ $q$-差分方程式を満たすことが示され、解の一意性により、ミラー写像の下で等価であることが結論づけられる。
• $I$-関数 $I^{\text{eff}}(\mathfrak{X})$ はミラー写像に対して不変であり、ケーラー・パラメータと等配分パラメータを入れ替え、$q \mapsto q^{-1}$ を行う。これにより、主なミラー予想が証明される。
• 2次元ミラー対称性におけるチャネル依存性の問題は、個々の GIT 商ではなく全スタックを扱うことで解決され、有効なレベル構造を備えたトーリックスタックについて、この予想が証明される。