[论文解读] 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.

研究动机与目标

• 对非有理但 C₂-有限的三元组顶点代数 𝒲(p) 的所有不可约模进行分类。
• 确定 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 的作用是否导致一个良定义的多项式 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 处满足 q(h_{i,1}) ≠ 0，确保模作用的非退化性。
• 利用递推关系和对称性 A_p(2p-2-t) = A_p(t)，证明了对所有 t ∈ [0, 2p-2] ∩ ℤ 有 A_p(t) < 0，从而确认了 q(h_{i,1}) ≠ 0。