[論文レビュー] On the triplet vertex algebra W(p)

Dražen Adamović, Antun Milas|ArXiv.org|Jul 12, 2007

Algebraic structures and combinatorial models参考文献 23被引用数 27

ひとこと要約

本稿では、三重項頂点代数 𝒲(p) が C₂-有限であるが、非有理的であることを示しており、これは非可約かつ対数的モジュールの存在によるものである。これにより、有限表現型であることが証明される。Zhuの可換代数および頂点作用素の技法を用いて、著者らはすべての非可約 𝒲(p)-モジュールを分類し、通常モジュールのブロック分解を記述し、dim(A(𝒲(p))) の上界を計算する。p が素数のとき、A(𝒲(p)) を完全に特定する。

ABSTRACT

We study the triplet vertex operator algebra $\mathcal{W}(p)$ of central charge $1-\frac{6(p-1)^2}{p}$, $p \geq 2$. We show that $ rip$ is $C_2$-cofinite but irrational since it admits indecomposable and logarithmic modules. Furthermore, we prove that $ rip$ is of finite-representation type and we provide an explicit construction and classification of all irreducible $\mathcal{W}(p)$-modules and describe block decomposition of the category of ordinary $ rip$-modules. All this is done through an extensive use of Zhu's associative algebra together with explicit methods based on vertex operators and the theory of automorphic forms. Moreover, we obtain an upper bound for ${ m dim}(A(\mathcal{W}(p)))$. Finally, for $p$ prime, we completely describe the structure of $A( rip)$. The methods of this paper are easily extendable to other $\mathcal{W}$-algebras and superalgebras.

研究の動機と目的

• 三重項頂点代数 𝒲(p) のすべての非可約モジュールを分類すること。これは非有理的だが C₂-有限である。
• Zhu可換代数 A(𝒲(p)) の構造を特定し、その次元の上界を求める。
• 頂点作用素代数の技法を用いて、非有理的であるにもかかわらず 𝒲(p) が有限表現型であることを証明すること。
• 通常 𝒲(p)-モジュールの圏のブロック分解を記述すること。
• p が素数のとき、明示的な多項式構成と表現論的技法を用いて A(𝒲(p)) を完全に特徴づけること。

提案手法

• 代表的な手法として Zhu の可換代数 A(V) を用い、𝒲(p) の表現論を分析する。
• 頂点作用素の構成および自動形式の理論を用いて、モジュール構造を研究する。
• ラグランジュ補間および変数変換 t を用いて、モジュール作用を記述する明示的多項式 H_p(t) および q(x) を導出する。
• 超幾何級数の和分技法を用いて A_p(0) および A_p(1) を計算し、A_p(t) の再帰的関係を確立して非消滅性を証明する。
• 𝒲(p) の Vir-モジュール構造を活用し、H*F と重み空間上の多項式作用の関係を導く。
• 対称性 A_p(2p-2-t) = A_p(t) を用いて、解析領域を [0, p] ∩ ℤ に縮小する。

実験結果

リサーチクエスチョン

• RQ1 三重項頂点代数 𝒲(p) は非有理的であるが、有限表現型であると言えるか？
• RQ2 一般の p に対して Zhu 可換代数 A(𝒲(p)) の構造は何か？ その次元は上界で抑えられるか？
• RQ3 𝒲(p) の非可約モジュールはどのように明示的に分類できるか？ 通常モジュールの圏のブロック分解は何か？
• RQ4 A(𝒲(p)) 内での H による F への作用は、well-defined な多項式 q(x) を導くか？ すべての i に対して q(h_{i,1}) ≠ 0 であるか？
• RQ5 p が素数のとき、A(𝒲(p)) の正確な構造は何か？ また、これは単位根における量子群とどのように関係するか？

主な発見

• 𝒲(p) は C₂-有限であるが非有理的であり、非可約かつ対数的モジュールを許容する。
• 𝒲(p) は有限表現型である。これは、Zhu代数 A(𝒲(p)) が有限次元であるためである。
• 明示的構成および多項式解析を通じて、dim(A(𝒲(p))) の上界が確立される。
• p が素数のとき、A(𝒲(p)) の構造は完全に記述され、明示的多項式 H_p(t) および q(x) が導出される。
• 多項式 q(x) がすべての i に対して h_{i,1} で非消滅であることが示され、モジュール作用における非退化性が保証される。
• 再帰的関係および対称性 A_p(2p-2-t) = A_p(t) を用いて、すべての t ∈ [0, 2p-2] ∩ ℤ に対して A_p(t) < 0 であることを証明し、q(h_{i,1}) ≠ 0 が確認される。