[论文解读] $H_D$-Quantum Vertex Algebras and Bicharacters

Iana I. Anguelova, M. J. Bergvelt|ArXiv.org|Jun 11, 2007

Algebraic structures and combinatorial models参考文献 8被引用 17

一句话总结

本文引入了 $H_D$-量子顶点代数，这是一种基于无穷小平移的霍普夫代数 $H_D = \mathbb{C}[D]$ 构建的新一类量子顶点代数，通过引入平移映射来推广平移协变性，并通过辫子映射来描述顶点算子的非交换性。利用博彻尔斯的双特征构造，作者构建了此类代数的一个大类，其中一个例子实现了霍尔-利特尔伍德多项式理论中的量子顶点算子。

ABSTRACT

We define a new class of quantum vertex algebras, based on the Hopf algebra $H_D=\mathbb{C}[D]$ of "infinitesimal translations" generated by $D$. Besides the braiding map describing the obstruction to commutativity of products of vertex operators, $H_D$-quantum vertex algebras have as main new ingredient a "translation map" that describes the obstruction of vertex operators to satisfying translation covariance. The translation map also appears as obstruction to the state-field correspondence being a homomorphism. We use a bicharacter construction of Borcherds to construct a large class of $H_D$-quantum vertex algebras. One particular example of this construction yields a quantum vertex algebra that contains the quantum vertex operators introduced by Jing in the theory of Hall-Littlewood polynomials.

研究动机与目标

• 开发一个量子顶点代数的框架，通过引入平移映射来描述非平凡的平移协变性，从而推广爱廷霍夫-卡赞理论。
• 解决与对称多项式（如霍尔-利特尔伍德多项式）相关的量子顶点算子中标准平移协变性和单变量辫子关系的失效问题。
• 使用博彻尔斯的双特征方法构造量子顶点代数的显式示例，以实现对辫子关系和算子乘积的精确计算。
• 建立 $H_D$-量子顶点代数的一致代数结构，包括辫子局部性、弱结合性以及辫子雅可比恒等式。
• 证明 $H_D$-量子顶点代数的构造能够捕捉对称函数理论中已知的量子顶点算子，特别是与霍尔-利特尔伍德多项式相关的算子。

提出的方法

• 使用无穷小平移的霍普夫代数 $H_D = \mathbb{C}[D]$ 定义 $H_D$-量子顶点代数，引入平移映射以推广顶点算子的标准平移协变性。
• 引入辫子映射 $S^{(\tau)}_{z_1,z_2}$ 以描述顶点算子乘积的非交换性，将经典对易子推广为辫子对易子。
• 利用博彻尔斯的双特征构造生成一大类 $H_D$-量子顶点代数，其中双特征同时编码辫子关系与算子乘积结构。
• 确立辫子雅可比恒等式与辫子博彻尔斯恒等式作为基本公理，推广经典顶点代数中的恒等式。
• 定义场与态的 $n$ 重乘积，引入与辫子结构相容的正规有序乘积与算子乘积展开（OPE）。
• 证明双特征构造产生一个良定义的 $H_D$-双代数结构，并表明所得代数满足弱结合性与 $S$-对易关系。

实验结果

研究问题

• RQ1 如何推广标准顶点代数公理，以容纳不满足平移协变性或单变量辫子关系的量子顶点算子？
• RQ2 在 $H_D$-量子顶点代数中，平移映射的作用是什么？它与经典顶点代数中 $e^{\gamma D}$ 的作用有何不同？
• RQ3 博彻尔斯的双特征方法能否被调整以构造出实现对称函数理论中已知量子顶点算子的 $H_D$-量子顶点代数？
• RQ4 在此框架中，辫子对易子如何定义？它是否满足辫子版本的局部性与雅可比恒等式？
• RQ5 该 $H_D$-量子顶点代数的构造是否能恢复与霍尔-利特尔伍德多项式相关的量子顶点算子？

主要发现

• 该 $H_D$-量子顶点代数框架通过引入平移映射，推广了爱廷霍夫-卡赞理论，从而捕捉了量子顶点算子中标准平移协变性失效的特征。
• 辫子映射 $S^{(\tau)}_{z_1,z_2}$ 并非仅依赖于 $z_1 - z_2$，解决了先前框架中假设该依赖关系所导致的关键局限性。
• 通过双特征构造，作者构建了一大类 $H_D$-量子顶点代数，该构造通过对称群实现，并满足辫子雅可比恒等式。
• 双特征展开在底层向量空间上产生一个良定义的 $H_D$-双代数结构，确保了代数运算的一致性。
• 双特征构造的一个具体示例产生了一个包含景在霍尔-利特尔伍德多项式背景下引入的量子顶点算子的量子顶点代数。
• 该框架支持博彻尔斯恒等式的辫子版本，并定义了一个一致的 $S$-对易子，推广了经典顶点代数中的通常对易子。