[论文解读] Theta-functions on noncommutative tori

Albert Schwarz|ArXiv.org|Jul 25, 2001

Advanced Algebra and Geometry参考文献 9被引用 7

一句话总结

本文引入广义的 theta-函数，称为“theta-向量”，作为非交换环面上投影模中的全纯元素，提供了经典 theta-函数的非交换推广。该理论简化了经典结果，并通过 Morita 等价双模的张量积与 Grassmann 代数上的 Berezin 积分，建立了与 Manin 的量子化 theta-函数之间的联系。

ABSTRACT

Ordinary theta-functions can be considered as holomorphic sections of line bundles over tori. We show that one can define generalized theta-functions as holomorphic elements of projective modules over noncommutative tori (theta-vectors). The theory of these new objects is not only more general, but also much simpler than the theory of ordinary theta-functions. It seems that the theory of theta-vectors should be closely related to Manin's theory of quantized theta-functions, but we don't analyze this relation.

研究动机与目标

• 通过将 theta-向量定义为非交换环面上投影模中的全纯截面，发展 theta-函数的非交换推广。
• 通过转向非交换设定，使结构更加清晰，从而简化经典 theta-函数理论。
• 建立 theta-向量与非交换环面上 Morita 等价双模上复结构之间的对应关系。
• 探索 theta-向量理论与 Manin 的量子化 theta-函数理论之间的联系，特别是通过双模的张量积。
• 利用 Grassmann 代数上的 Berezin 积分，提供 theta-向量的 K-理论解释。

提出的方法

• 通过光滑函数上的星积定义非交换环面 $T_{\theta}^d$，其乘法由反称矩阵 $\theta^{\alpha\beta}$ 控制。
• 将 $T_{\theta}^d$ 的元素表示为傅里叶级数 $f = \sum f_{\vec{n}} U_{\vec{n}}$，其中 $U_{\vec{n}}$ 满足 $U_{\vec{n}}U_{\vec{m}} = e^{\pi i \vec{n}^t \theta \vec{m}} U_{\vec{n}+\vec{m}}$。
• 利用规范对易关系 $[\nabla_\alpha, \nabla_\beta] = 2\pi i \omega_{\alpha\beta}$ 的不可约表示，构造 $T_{\theta}^d$ 上的投影模，其中 $\omega$ 为非退化的反称张量。
• 将 theta-向量定义为这些模中的全纯元素，其与由满足 $[\nabla_\alpha, U_\beta] = 2\pi i \delta_{\alpha\beta} U_\beta$ 的联络 $\nabla_\alpha$ 所诱导的复结构相容。
• 利用 $SO(d,d,\mathbb{Z})$ 对三元组 $(\theta, \hat{\theta}, g)$ 的作用，对基本双模进行分类，并定义对应于 $g$-矩阵复合的双模张量积。
• 在含 $2g$ 个生成元的 Grassmann 代数上应用 Berezin 积分，通过 $K$-理论类 $\mu(\mathcal{E})$ 的最高次项系数计算 theta-向量空间的秩。

实验结果

研究问题

• RQ1 如何通过投影模将经典 theta-函数推广到非交换环面？
• RQ2 复结构与联络在定义非交换环面上全纯截面（theta-向量）时起什么作用？
• RQ3 在非交换设定中，Morita 等价双模的张量积如何对应于 $SO(d,d,\mathbb{Z})$ 变换的复合？
• RQ4 theta-向量空间的 $K$-理论解释是什么？它如何通过 Berezin 积分计算？
• RQ5 theta-向量如何与 Manin 的量子化 theta-函数理论相关联，特别是通过部分乘法运算？

主要发现

• theta-向量被定义为非交换环面上投影模中的全纯元素，作为经典 theta-函数在线丛全纯截面意义上的非交换推广。
• 在基本 $(T_\theta, T_{\hat{\theta}})$-双模中，theta-向量空间对应于 $K$-理论类 $\mu(\mathcal{E}) = S(g) \cdot 1$ 的 Berezin 积分，其中 $S(g)$ 是 $SO(d,d,\mathbb{Z})$ 的旋量表示。
• theta-向量空间的维数由 $\mu(\mathcal{E})$ 的最高次项系数决定，该系数通过 Grassmann 积分获得，为整数。
• 双模的张量积 $\mathcal{E} \otimes \mathcal{E}'$ 对应于 $g$-矩阵的复合，产生一个新的双模 $\mathcal{E}''$，并在 theta-向量空间上诱导出明确的映射 $\mathcal{H} \otimes \mathcal{H}' \to \mathcal{H}''$。
• theta-向量理论提供了一个比经典 theta-函数理论更简洁的框架，自然地与非交换几何及模上的复结构相联系。
• 该构造暗示了发展复非交换几何的路径，可能通过 Connes 的框架与非交换代数几何建立联系。