[論文レビュー] $K$-theoretic Coulomb branches of quiver gauge theories and cluster varieties

Gus Schrader, Alexander Shapiro|arXiv (Cornell University)|Oct 7, 2019

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿では、3次元 $χ=4$ クイバーゲージ理論に関連するクラスター代数クイバー $Q_{Γ}$ を構成し、同定された等化 $K$-理論的クーロンブランチ部分代数 $τ'_q$（点の等化 $K$-理論とドレスアップされた最小単位モノポール演算子によって生成）が、対応するクラスタ多様体上の正則関数の量子化代数に単射的に埋め込まれることを証明する。この結果は、$K$-理論的クーロンブランチが量子クラスタ構造を有することを示唆するガイオットの予想に対する強い証拠を提供する。

ABSTRACT

Let $\\mathscr{A}_q$ be the $K$-theoretic Coulomb branch of a $3d$ $\\mathcal{N}=4$ quiver gauge theory with quiver $\\Gamma$, and $\\mathscr{A}'_q \\subseteq \\mathscr{A}_q$ be the subalgebra generated by the equivariant $K$-theory of a point together with the dressed minuscule monopole operators $M_{\\varpi_{i,1},f}$ and $M_{\\varpi^*_{i,1},f}$. In this paper, we construct an associated cluster algebra quiver $\\mathcal{Q}_\\Gamma$ and provide an embedding of the subalgebra $\\mathscr{A}'_q$ into the quantized algebra of regular functions on the corresponding cluster variety.

研究の動機と目的

• 3次元 $\mathcal{N}=4$ クイバーゲージ理論における $K$-理論的クーロンブランチの量子クラスタ構造を調査すること。
• これらのクーロンブランチが量子クラスタ多様体構造を有することを示唆するガイオットの予想を検証すること。
• ゲージクイバー $\Gamma$ から、$\mathscr{A}'_q$ が関連クラスタ多様体の量子クラスタ代数に埋め込まれるようなクイバー $Q_\Gamma$ を構成すること。
• 生成子である等化 $K$-理論類およびドレスアップされたモノポール演算子が、任意のクラスタでランチの多項式に写像されることを示し、グローバル正則性を保証すること。

提案手法

• 各ノードに対して相対論的オープンコクセター＝トーダ系から得られるクラスタクイバーを用い、トーダ格子がアフィングラスマンジャンの $K$-理論と関係することを踏まえて、$\Gamma$ の各ノードに対応するクラスタクイバーを貼り合わせることでクイバー $Q_\Gamma$ を構成する。
• 先行研究 [SS18] における $b$-ホイットェイカー変換を用いて、量子トーダハミルトニアンを対角化し、スペクトルパラメータにおける対称関数として固有関数を実現する。
• $K$-理論的クーロンブランチ $\mathscr{A}_q$ を、変数 $w_{i,n}$（$i$ はノードをインデックスし、$n$ は $\dim V_i$ を走る）に作用する $q$-差分作用素の代数に埋め込む。
• クラスタ座標を $Y(\lambda_0; \lambda_1, \dots, \lambda_M)$ および $\mathscr{E}_k(\lambda, J)$ で定義し、モノポール演算子をクラスタ変数におけるランチ多項式として表現する。
• クイバー $Q_\Gamma$ でラベル付けられたクラスタ多様体の量子クラスタチャートへの $\mathscr{A}'_q$ への単射代数準同型を確立し、すべての生成子がグローバル正則関数に写ることを示す。
• 具体例 $(4), (3,1), (2,2), (2,1,1)$ における明示的計算により埋め込みを検証し、モノポール演算子がクラスタ間でランチ構造を有する $q$-変形 $Y$-関数に写ることを確認する。

実験結果

リサーチクエスチョン

• RQ1 3次元 $\mathcal{N}=4$ クイバーゲージ理論の $K$-理論的クーロンブランチは、量子クラスタ構造を有するか？
• RQ2 点の等化 $K$-理論とドレスアップされた最小単位モノポール演算子によって生成される部分代数 $\mathscr{A}'_q$ は、量子クラスタ代数に埋め込まれるか？
• RQ3 埋め込みによる $\mathscr{A}'_q$ の像は、クラスタ多様体上のグローバル正則関数の代数に含まれるか？
• RQ4 相対論的トーダ系のクラスタ構造は、クイバーゲージ理論の $K$-理論的クーロンブランチとどのように関係するか？
• RQ5 与えられたフレームドクイバー $\Gamma$ に対して、クラスタ構造を実現する正確なクイバー $Q_\Gamma$ は何か？

主な発見

• $K$-理論的クーロンブランチの部分代数 $\mathscr{A}'_q$ が、$Q_\Gamma$ に関連するクラスタ多様体上の正則関数の量子化代数に単射的に埋め込まれる。
• $\mathscr{A}'_q$ の生成子（等化 $K$-理論類およびドレスアップされたモノポール演算子 $M_{\varpi_{i,1},f}$, $M_{\varpi^*_{i,1},f}$ を含む）が、任意のクラスタでランチ多項式に写され、グローバル正則性が確認される。
• $Q_\Gamma$ は、$\Gamma$ の各ノードに対応するトーダ系クイバーを貼り合わせることで構成され、トーダ格子がアフィングラスマンジャンの $K$-理論に果たす役割を反映している。
• 分割 $(4)$, $(3,1)$, $(2,2)$, $(2,1,1)$ に対する明示的計算により、モノポール演算子がクラスタ間でランチ構造を有する $q$-変形 $Y$-関数に写されることを確認した。
• [SS18] における $b$-ホイットェイカー変換は、量子トーダハミルトニアンの対角化を可能にし、スペクトルパラメータにおける対称関数として固有関数を実現する重要な技術的道具である。
• 本結果は、3次元 $\mathcal{N}=4$ 理論の $K$-理論的クーロンブランチが量子クラスタ多様体であるというガイオットの予想を支持しており、構造の部分的だが明確な実現を提供する。