[論文レビュー] Standard bases for the universal associative conformal envelopes of Kac--Moody conformal algebras

P. S. Kolesnikov, R. A. Kozlov|arXiv (Cornell University)|Sep 25, 2020

Algebraic structures and combinatorial models参考文献 28被引用数 5

ひとこと要約

本稿では、局所性レベルN = 3におけるKac–Moody conformal代数の普遍的結合的 conformal包あたえのGröbner–Shirshov基底を構成し、関連する次数代数と自由可換 conformal代数の間のPoincaré–Birkhoff–Witt型同型を確立する。この基底はリー代数構造および不変形式に依存せず、N = 3における自由可換 conformal代数の線形基底を可能にする。

ABSTRACT

We study the universal enveloping associative conformal algebra for the central extension of a current Lie conformal algebra at the locality level $N=3$. A standard basis of defining relations for this algebra is explicitly calculated. As a corollary, we find a linear basis of the free commutative conformal algebra relative to the locality $N=3$ on the generators.

研究の動機と目的

• 局所性レベルN = 3におけるKac–Moody conformal代数の普遍的結合的 conformal包の定義関係の標準的（Gröbner–Shirshov）基底を計算すること。
• 局所性境界N = 3における自由可換 conformal代数の線形基底を導出すること。
• 普遍包の関連次数代数に対するPoincaré–Birkhoff–Witt定理の類似を確立すること。
• 書き換え規則の主要部がリー代数の積表および不変形式に依存しないことを示すこと。
• N = 3の基底に追加の関係を加えることで、結果を局所性レベルN = 2に拡張すること。

提案手法

• 結合的 conformal代数におけるGröbner–Shirshov基底法を用い、定義関係を結合的代数上の書き換え規則として扱う。
• 書き換え系を用いてconformal単項式を簡約し、すべての合成が0に還元されることを確認することで、基底の完全性を検証する。
• conformal代数をC[∂]-加群として、λ積を伴うpseudoテンソルカテゴリM∗(C[∂])を用いてモデル化する。
• 書き換え規則下での終端単項式を特定することで、自由可換 conformal代数の線形基底を導出する。
• 普遍包の関連次数代数を計算し、N = 3における自由可換 conformal代数と同型であることを証明する。
• N = 3の基底にLa₂b → 0などの関係を追加し、中心拡張に対応する調整を加えることで、N = 2への拡張を実行する。

実験結果

リサーチクエスチョン

• RQ1 局所性レベルN = 3におけるKac–Moody conformal代数の普遍的結合的 conformal包の構造は何か？
• RQ2 この包に対して、基礎となるリー代数および不変形式に依存しない明示的なGröbner–Shirshov基底を計算できるか？
• RQ3 局所性境界N = 3における自由可換 conformal代数の線形基底は何か？
• RQ4 N = 3における普遍包の関連次数代数は、PBW定理と同様に自由可換 conformal代数と同型であるか？
• RQ5 局所性境界をN = 3からN = 2に低下させたとき、普遍包の構造はどのように変化するか？

主な発見

• 局所性レベルN = 3におけるKac–Moody conformal代数の普遍的結合的 conformal包に対して、完全なGröbner–Shirshov基底が構成された。
• N = 3における自由可換 conformal代数の線形基底は、順序付き添え字とz, uに関する制約を満たす形の単項式Lx₁⁰⋯Lxn⁰Ly₁¹⋯Lym¹Lzuで構成される。
• N = 3における普遍包の関連次数代数は、自由可換 conformal代数Com Conf(X₁, N = 3) ⊕ keと同型であり、PBW型定理を証明した。
• 書き換え規則の主要部がリー代数構造および不変形式に依存しないことから、基底の普遍性が示された。
• N = 2のGröbner–Shirshov基底は、Laₙb → 0およびRaₙb → 0（n ≥ 2）の関係を追加し、中心項に対応する調整を加えることで得られた。
• N = 2における自由可換 conformal代数の線形基底は、添え字の順序制約を満たす単項式Lx₁⁰⋯Lxn⁰∂szおよびLx₁⁰⋯Lxn⁰Ly₁zで構成される。