[論文レビュー] Equivalences between weight modules via $\mathcal{N}=2$ coset constructions

Ryo Sato|arXiv (Cornell University)|May 8, 2016

Algebraic structures and combinatorial models参考文献 33被引用数 7

ひとこと要約

本稿は、$χ\mathfrak{sl}_2$ ヒルベルト代数および $χ=2$ スーパーヒルベルト代数の重み付き許容的モジュールのブロック間におけるカテゴリカル同値を、$χ=2$ コセット構成を用いて確立する。重み付き許容的モジュールを一般化された枠組みとして導入し、スペクトルフローと可換な同値を証明し、対応する $χ\mathfrak{sl}_2$ モジュールの特徴関数を用いて $χ=2$ モジュールの新しい特徴関数を導出する。中央電荷 $c=3(1-2p'/p)$ における許容的モジュールの既知の公式の再証明も含む。本研究は、以前の物理的直感に基づくコセット同値の数学的厳密な基礎を提供する。

ABSTRACT

In this paper we introduce a variant of weight modules for certain conformal vertex superalgebras as an appropriate framework of the $\mathcal{N}=2$ supersymmetric coset construction. We call them weight-wise admissible modules. Motivated by the work of Feigin-Semikhatov-Tipunin, we give (block-wise) categorical equivalences between the categories of weight-wise admissible modules over $\widehat{\mathfrak{sl}}_{2}$ and the $\mathcal{N}=2$ superconformal algebra, induced by the coset construction. As an application, we obtain some character formulae of modules over the $\mathcal{N}=2$ superconformal algebra.

研究の動機と目的

• 物理学文献で示唆された $χ\mathfrak{sl}_2$ の重みモジュールと $χ=2$ スーパーヒルベルト代数の間の同値性に対して、数学的に厳密な枠組みを提供すること。
• 特に非正則な状況において、頂点超代数の通常モジュールの一般化として、重み付き許容的モジュールを定義し、それらを研究すること。
• コセット構成を用いて、$χ\mathfrak{sl}_2$ および $χ=2$ SCA の重み付き許容的モジュールのカテゴリのブロックごとの明示的でカテゴリカルな同値を構成すること。
• 既知の $χ\mathfrak{sl}_2$ 特徴関数データを活用し、同値性を介して $χ=2$ モジュールの新しい特徴関数を導出すること。
• 構成された同値がスペクトルフローと可換であることを確立し、基礎となるリー（超）代数の自己同型がモジュール関手に対応することを示すこと。

提案手法

• 重み付き許容的モジュールの概念を導入し、これは $χ$-モジュールとしてのヘイゼンベルク・フォック・モジュールの直和に分解する、コンformal な頂点超代数 $V$ における弱モジュールとして定義される。
• このようなモジュールのカテゴリ $χ_V$ を定義し、ヘイゼンベルク重み分解に基づくブロックへの分解を示す。
• $V$ を $χ\mathfrak{sl}_2$ VOA と自由フェルミオンの VOSA のテンソル積とし、$V$ 内のヘイゼンベルク頂点部分代数 $W$ の可換環 ${\sf{Com}}(W,V)$ を用いてコセット構成を構成する。
• 既知の同型 ${\sf{Com}}(W,V) \cong \chi=2$ VOSA を用い、二つの代数のモジュール間の関手的対応を誘導する。
• 頂点演算子値の形式的級数 $\Delta(h;z)$ を用いてスペクトルフロー関手 $\Delta^\theta$ を定義し、コセット同値とその整合性を証明する。
• 誘導されたブロック間の関手が $\bb{C}$-線形アーベルカテゴリの同値であり、リー（超）代数レベルでのスペクトルフロー関手と自然同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 物理学文献で提唱された $χ\mathfrak{sl}_2$ の重みモジュールと $χ=2$ スーパーヒルベルト代数の間の同値性に対して、数学的に厳密な枠組みを確立できるか？
• RQ2 コセット構成の文脈において、重みモジュールを不規則または非正則な場合に一般化する方法は何か？
• RQ3 $χ=2$ コセット構成によって誘導されるカテゴリカル同値は、スペクトルフローと可換か？
• RQ4 同値性を介して、既知の $χ\mathfrak{sl}_2$ 特徴関数から $χ=2$ モジュールの特徴関数を導出できるか？
• RQ5 リー（超）代数レベルでのスペクトルフロー自己同型と、誘導されたモジュール関手との正確な関係は何か？

主な発見

• 本稿は、$χ\mathfrak{sl}_2$ および $χ=2$ スーパーヒルベルト代数の重み付き許容的モジュールのカテゴリの間で、明示的かつブロックごとのカテゴリカル同値を構成した。
• 同値がスペクトルフローと可換であることが示され、両代数に定義されたスペクトルフロー関手と可換であることを意味する。
• 対応する $χ\mathfrak{sl}_2$ モジュールの特徴関数データを転送することで、$χ=2$ SCA 上の重み付き許容的モジュールの新しい特徴関数が導出された。
• 特徴関数は、中央電荷 $c=3(1-2p'/p)$ における許容的 $χ=2$ モジュールの既知の結果を再現し、[FSST99] に掲載された公式の再証明も含む。
• 重み付き許容的モジュールの枠組みは、正則な場合の通常モジュールを一般化し、コセット構成における不規則モジュールを一貫した設定で扱える。
• 同値関手が、リー（超）代数レベルでのスペクトルフロー自己同型の引き戻しと自然同型であることが示され、物理的期待と整合していることが確認された。