[論文レビュー] Seiberg-Witten geometry, modular rational elliptic surfaces and BPS quivers

Horia Magureanu|arXiv (Cornell University)|Mar 7, 2022

Black Holes and Theoretical Physics参考文献 139被引用数 7

ひとこと要約

本稿は、4次元 N=2 量子場理論の Seiberg-Witten 幾何とモジュラーな有理楕円的表面との間の体系的対応を、PSL(2,Z) の部分群によるクーロン枝の分類によって確立する。同定されたモジュラー関数の閉形式表現を、合同部分群および非合同部分群に対して導出し、モノドロミー群の基本領域に基づく BPS クワイアーモデルを直接構成する新しい規定を提唱する。クワイアーモディフィケーション（変異）は、これらの基本領域の変化として解釈される。主たる貢献は、SW 幾何から BPS クワイアーモデルを幾何的・自動形式的に決定する手法であり、非可変特異点を有する理論へも拡張可能である。

ABSTRACT

We study the Coulomb branches of the rank-one 4d $\mathcal{N} = 2$ quantum field theories, including the KK theories obtained from the circle compactification of the 5d $\mathcal{N}= 1$ $E_n$ Seiberg theories. The focus is set on the relation between their Seiberg-Witten geometries and rational elliptic surfaces, with more attention being given to the modular surfaces, which we completely classify using the classification of subgroups of the modular group ${ m PSL}(2,\mathbb{Z})$. We derive closed-form expressions for the modular functions for all congruence and some of the non-congruence subgroups associated with these geometries. Moreover, we show how the BPS quivers of these theories can be determined directly from the fundamental domains of the monodromy groups and study how changes of these domains can be interpreted as quiver mutations. This approach can also be generalized to theories whose Coulomb branches contain `undeformable' singularities, leading to known quivers of such theories.

研究の動機と目的

• PSL(2,Z) の部分群を用いて、ランク1の4次元 N=2 モジュラークーロン枝を完全に分類すること。
• PSL(2,Z) の合同および非合同部分群のモジュラー関数の閉形式表現を導出すること、特に Γ0(N) や Γ1(N) のタイプに当てはまらない非標準的タイプを含むこと。
• Seiberg-Witten 幾何におけるモノドロミー群の基本領域から BPS クワイアーモデルを幾何的規定によって構成することを確立すること。
• クワイアーモディフィケーション（変異）を、基本領域の分解の変化として解釈し、非可変特異点を有する理論へ一般化すること。

提案手法

• 有限指数部分群 Γ ⊂ PSL(2,Z) を用いてモジュラーな有理楕円的表面を分類し、指数、カスプ幅、楕円的点の数の分類を用いる。
• 部分群とペアの置換 (σS, σR) 間の同型を用いて基本領域を符号化し、cusp 幅を決定する σT = σSσR を導出する。
• η-商およびシータ関数を用いて、特にガロア理論的接続を介して非合同部分群に対して、モジュラー関数 f(τ) の閉形式表現を導出する。
• 有理カスプ τ = q/m ∈ ℚ をモノドロミー群の生成子を介して BPS 電荷 (m, −q) にマッピングし、カスプ構造と単粒子 BPS 状態スペクトルの関連を確立する。
• SW 幾何における特異ファイバーから BPS クワイアーモデルを構成し、クワイアーモディフィケーション（変異）が基本領域の分解の変化に対応することを示す。
• 領域に基づく規定を拡張することで、非可変特異点を有する理論に対してもクワイアーモデル構成を一般化する。

実験結果

リサーチクエスチョン

• RQ1 PSL(2,Z) の部分群を用いて、すべてのランク1 4次元 N=2 モジュラークーロン枝を体系的に分類する方法は何か？
• RQ2 PSL(2,Z) の非合同部分群のモジュラー関数の閉形式表現は何か、特に Γ0(N) や Γ1(N) のタイプに当てはまらないものについて？
• RQ3 Seiberg-Witten 幾何におけるモノドロミー群の基本領域から直接 BPS クワイアーモデルを導出する方法は何か？
• RQ4 クワイアーモディフィケーション（変異）は、モジュラー群の基本領域の分解の変化としてどのように対応するか？
• RQ5 非可変特異点を含む理論に対しても、クワイアーモデル構成を一般化できるか？

主な発見

• 本稿は、47個のモジュラーな有理楕円的表面を完全に分類し、そのうち22個が合同部分群、11個が非合同部分群であり、指数 ≤12 である。
• すべての合同部分群のモジュラー関数に対して、η-商およびシータ関数を用いて閉形式表現が導出された。非標準的タイプ（例：2a, 3C, 4A0, 5A0）を含む。
• 非合同部分群に対しては、ガロア理論的アプローチを用いてモジュラー形式を構成し、標準的なモジュラー関数の分数乗数を含む。これは11個中2つのグループに対して有効である。
• 有理カスプ τ = q/m を BPS 電荷 (m, −q) に正確にマッピングする規定が確立され、カスプ構造と BPS スペクトルの関連が明確になった。
• 非可変特異点を有する理論に対してもクワイアーモデル構成が一般化され、それらのケースに対して既知のクワイアーモデルが得られた。
• クワイアーモディフィケーション（変異）は、基本領域の分解の変化として解釈され、モジュラー群作用の文脈における変異ダイナミクスの幾何的実現が得られた。