[论文解读] Functional equations for quantum theta functions

Yu. I. Manin|ArXiv.org|Jul 31, 2003

Advanced Topics in Algebra参考文献 9被引用 9

一句话总结

本论文通过证明Rieffel在量子环面上的投影模中定义的theta向量的标量积生成量子theta函数，从而建立了经典theta函数函数方程的量子类比，这些量子theta函数在量子化形式上的特殊正交群作用下满足函数方程，通过量子环面的莫里塔等价性推广了经典的模变换。

ABSTRACT

Quantum theta functions were introduced by the author in [Ma1]. They are certain elements in the function rings of quantum tori. By definition, they satisfy a version of the classical functional equations involving shifts by the multiplicative periods. This paper shows that for a certain subclass of period lattices (compatible with the quantization form), quantum thetas satisfy an analog of another classical functional equation related to an action of the metaplectic group upon the (half of) the period matrix. In the quantum case, this is replaced by the action of the special orthogonal group on the quantization form, which provides Morita equivalent tori. The argument uses Rieffel's approach to the construction of (strong) Morita equivalence bimodules and the associativity of Rieffel's scalar products.

研究动机与目标

• 建立经典函数方程（0.4）的量子类比，将其中的施瓦茨群作用替换为在量子化形式上的特殊正交群作用。
• 阐明量子theta函数与单位酉量子环面$C^*$-代数上的投影模中theta向量之间的关系。
• 证明Rieffel的theta向量标量积可生成量子theta函数，从而在表示论构造与非交换几何之间架起桥梁。
• 通过将格子嵌入海森堡群来表征作为theta向量标量积出现的量子theta函数子类。
• 通过量子环面的强莫里塔等价性，将经典theta函数的模变换推广至非交换设置。

提出的方法

• 利用Rieffel的框架，通过将格子嵌入向量海森堡群，构造量子环面之间的强莫里塔等价双模。
• 将Rieffel的标量积构造应用于单位酉量子环面的$C^{ty}$-环上的投影模中的theta向量。
• 利用Rieffel标量积的结合性，在莫里塔等价的量子环面之间推导出量子theta函数之间的函数方程。
• 在格子$D$上引入取值于$\mathbb{C}^*$的乘子系统$\alpha(g,h)$，通过涉及$c_h$和$\psi_0$的上闭链条件确保其反对称性。
• 将量子theta函数构造为格子元素$h \in D$上的和，加权因子为厄米形式$H$的指数和特征$\overline{c}_h \overline{l}_h(a)$。
• 利用$D_0$（到$F \times \widehat{F}$的投影的核）的作用，验证标量积在乘子系统下的不变性，确保其属于量子theta函数空间。

实验结果

研究问题

• RQ1 如何将经典theta函数的函数方程（0.4）推广至量子设置？
• RQ2 量子theta函数与量子环面上投影模中theta向量之间的精确关系是什么？
• RQ3 能否证明Rieffel的theta向量标量积可生成量子theta函数，且在何种条件下成立？
• RQ4 在函数方程的背景下，特殊正交群在量子化形式上的作用与量子环面的莫里塔等价性有何关联？
• RQ5 所有量子theta函数是否均可通过具有常曲率厄米联络的环面投影模中theta向量的标量积获得？

主要发现

• 标量积${}_{D}\langle f_{T,a}, f_{T,b} \rangle$是位于$\Gamma(\mathcal{L})$空间中的量子theta函数，其中$\mathcal{L}$是由$C_g$和$x_g$定义的乘子系统。
• 这些标量积构成$\Gamma(\mathcal{L})$的一组基，其维数为$[D:D_0] = (\text{card } F)^2$，与有限群$F \times \widehat{F}$上独立函数的数量一致。
• 标量积在$D_0$作用下保持不变，由等式$C_g e_{D,\alpha}(g) x_g^*(\Theta_{a,b}) = \Theta_{a,b}$所证实，确认其在量子环面代数中的良好定义性。
• 函数方程通过莫里塔等价双模实现，其中在适当真空向量作用后，两个莫里塔等价量子环面中的量子theta函数完全一致。
• 该构造通过$SO(n,n;\mathbb{Z})$在量子化形式上的作用，将经典theta函数变换（0.4）推广至非交换设置。
• 该结果扩展了Manin和Rieffel的前期工作，表明量子theta函数自然地作为海森堡模背景下Rieffel的theta向量标量积出现。