非有理レベルでのリー超代数の圏の対応を証明する
The Kazhdan-Lusztig category of $\mathfrak{osp}_{1|2n}$ at irrational levels
この論文をやさしく読む
ひとことで言うと
特定のリー超代数について、非有理レベルの頂点作用素超代数と量子群の加群の圏が対応することを証明した。
何に役立つ？
頂点作用素代数や量子群の表現論、関連する双対性を研究する際の理論的な基盤になる。具体的な物理実験への適用は要旨にない。
この研究の面白いところ
二種類の圏同値を示し、圏を使った貼り合わせから、先行研究で必要とされた混合カーネルの代数まで構成する。
どこまで分かった？
対象は osp(1|2n) の非有理レベルと、示された条件を満たす対応先である。任意のレベルに関する主張ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
リー超代数 osp(1|2n) の非有理レベルにおけるKazhdan–Lusztig対応を証明する。すなわち、レベル k∈C∖Q の osp(1|2n) のアフィン頂点作用素超代数に対する有限長の偶通常加群の圏 KL_k^ev(osp(1|2n)) が、パラメータ q=exp(πi/(2k+2n+1)) を持つ osp(1|2n) の量子群に対する有限次元の偶ウェイト加群の圏と、組みひも付きテンソル圏として同値であることを示す。また、KL_k^ev(osp(1|2n)) は、レベル ℓ の so(2n+1) のアフィン頂点作用素代数に対する、最上位が非スピノル型の有限長通常加群の圏 KL_ℓ^ns(so(2n+1)) とも、組みひも付きテンソル圏として同値であることを証明する。ここでレベルは 1/(ℓ+2n−1)=1/(2k+2n+1)+1（2Zを法として）を満たす。その結果、テンソル圏を介して頂点作用素（超）代数を貼り合わせることにより、単純な共形頂点（超）代数の新しい族をいくつか構成する。その中には、第一著者がLinshaw、Nakatsuka、Satoと行った先行研究で、ある種のFeigin–Frenkel型双対性の証明に欠けていた、混合カーネルの頂点作用素代数も含まれる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We prove the Kazhdan-Lusztig correspondence for the Lie superalgebra $\mathfrak{osp}_{1|2n}$ at irrational levels, that is, we show the category $\mathrm{KL}_k^{\rm ev}(\mathfrak{osp}_{1|2n})$ of finite-length even ordinary modules for the affine vertex operator superalgebra of $\mathfrak{osp}_{1|2n}$ at level $k \in \mathbb{C} \setminus \mathbb{Q}$ is braided tensor equivalent to the category of finite-dimensional even weight modules for the quantum group of $\mathfrak{osp}_{1|2n}$ at parameter $q = e^{\pi i/(2k+2n+1)}$. We also prove that ${\rm KL}_k^{\rm ev}(\mathfrak{osp}_{1|2n})$ is braided tensor equivalent to the category ${\rm KL}_\ell^{\rm ns}(\mathfrak{so}_{2n+1})$ of finite-length ordinary modules with non-spinorial top level for the affine vertex operator algebra of $\mathfrak{so}_{2n+1}$ at level $\ell$ such that $ \frac{1}{\ell+ 2n-1} = \frac{1}{2k+2n+1} + 1 \ \ ({\rm mod}\ 2\mathbb Z).$ Consequently, by gluing vertex operator (super)algebras via tensor categories, we construct a few new families of simple conformal vertex (super)algebras, including the mixed kernel VOAs that were the missing ingredient for proving certain Feigin-Frenkel type dualities in previous work of the first-named author with Linshaw, Nakatsuka, and Sato.
著者のコメント
24 pages
arXiv ID: 2609.28094 ／ 要約の誤りについて