[论文解读] Extended vertex operator algebras and monomial bases

Boris Feigin, Tetsuji Miwa|ArXiv.org|Jan 17, 1999

Algebraic structures and combinatorial models参考文献 6被引用 18

一句话总结

该论文通过将 $\rhd\text{sl}_2$ 电流与自由场顶点算子结合，将 $\rhd\text{sl}_2$ 作用代数在水平 $k$ 下推广为扩展的顶点算子代数 $A_k$，作为对 Clifford 代数框架的推广。通过使用具有指定零点条件的斜对称/对称多项式，基于路径模型分析与特征标匹配，建立了不可约表示的单项式基，证明了线性无关性与张成性质。

ABSTRACT

We present a vertex operator algebra which is an extension of the level $k$ vertex operator algebra for the $\hat{sl}_2$ conformal field theory. We construct monomial basis of its irreducible representations.

研究动机与目标

• 将 $\rhd\text{sl}_2$ 在水平 $k$ 下的顶点算子代数通过引入互化算子和自由场算子，推广为保持局部性与代数结构的局部代数结构。
• 通过双空间的多项式实现，将半无限楔形构造推广至更高水平。
• 利用组合路径模型，为扩展代数的不可约表示建立单项式基。
• 通过特征标匹配与对偶向量分析，证明基向量的线性无关性与张成性。
• 通过权重与对称性约束，刻画表示空间 $\r\to\text{sl}_2 \rtimes \text{free field}$ 的结构。

提出的方法

• 将扩展的顶点算子代数 $A_k$ 构造为由 $V \otimes \mathbb{C}[z,z^{-1}]$ 与 $V^* \otimes \mathbb{C}[z,z^{-1}]$ 生成的代数的商，其中 $V \simeq \mathbb{C}^{k+1}$，以确保局部性。
• 将对偶空间 $\Lambda^s U_n$ 实现为在 $t_j, z_j$ 上的斜对称或对称多项式空间，其在 $t_j$ 上的次数 $\leq k$，且在 $t_i = t_j, z_i = z_j$ 时具有 $k$ 阶零点。
• 定义路径模型 $\mathcal{P}_{r,r+2l}$，其由满足正规排序条件与最高权态的渐近条件的序列 $(a_j, n_j)$ 构成。
• 利用路径向量 $\omega_p = \varphi_{a_1,n_1} \varphi_{a_2,n_2} \cdots$ 生成表示空间，其权重由相对于参考路径的偏离决定。
• 通过与对偶向量的配对证明线性无关性：$\langle \omega^*_1(\kappa) \otimes \cdots \otimes \omega^*_k(\kappa), v_\rho \omega^{(k)}_{r,r} \rangle = c_\rho \delta_{\kappa,\rho}$。
• 通过特征标比较证明张成性：$\chi(\mathcal{P}_{r,r+2l}) = \chi_{r,r+2l}$，利用已知的特征标公式与乘积 $\prod_{n=1}^\infty (1 - e^{-n\delta})^{-1}$。

实验结果

研究问题

• RQ1 能否在保持局部性与代数结构的前提下，将 $\r\to\text{sl}_2$ 在水平 $k$ 下的顶点算子代数扩展为包含互化算子的形式？
• RQ2 如何通过具有指定对称性与零点条件的多项式实现，将半无限楔形构造推广至更高水平？
• RQ3 何种组合路径模型可描述扩展代数不可约表示的单项式基？
• RQ4 如何通过与对偶向量的配对证明基向量的线性无关性？
• RQ5 路径模型是否能张成整个表示空间，通过特征标匹配得以确认？

主要发现

• 扩展的顶点算子代数 $A_k$ 被构造为 $\r\to\text{sl}_2$ 电流代数与自由场顶点算子结合的局部扩展。
• 对偶空间 $\Lambda^s U_n$ 被实现为在 $t_j, z_j$ 上的对称或斜对称多项式空间，其在 $t_j$ 上的次数 $\leq k$，且在 $t_i = t_j, z_i = z_j$ 时具有 $k$ 阶零点。
• 通过满足正规排序与渐近条件的路径 $p \in \mathcal{P}_{r,r+2l}$ 索引的路径向量 $\omega_p = \varphi_{a_1,n_1} \varphi_{a_2,n_2} \cdots$，构造了不可约表示的单项式基。
• 通过与对偶向量的非退化配对，证明了基向量的线性无关性：$\langle \omega^*_1(\kappa) \otimes \cdots \otimes \omega^*_k(\kappa), v_\rho \omega^{(k)}_{r,r} \rangle = c_\rho \delta_{\kappa,\rho}$。
• 路径模型张成了整个表示空间 $\pi_r \otimes \mathcal{H}_{(r+2l)/\sqrt{2k}}$，通过特征标匹配得以确认：$\chi(\mathcal{P}_{r,r+2l}) = \chi_{r,r+2l}$。
• 特征标公式 $\chi(\mathcal{P}_{r,r+2l}) = \chi(\mathcal{P}^{\text{red}}_{r,r+2l}) / \prod_{n=1}^\infty (1 - e^{-n\delta})$ 通过已知的特征标恒等式结果，确认了张成性质。