[论文解读] Berezin quantization of noncommutative projective varieties

Andreas Andersson|arXiv (Cornell University)|Jun 4, 2015

Geometry and complex manifolds参考文献 87被引用 6

一句话总结

本文提出了一种利用有限维希尔伯特空间的子积系统，对非交换射影簇进行贝雷津量化的新型框架，实现了具有凯勒几何与代数几何结构的非交换流形的构造。该研究对光滑与奇异射影簇实现了严格量化解，并在一般情形下证明了阿夫森猜想，同时通过紧致矩阵量子群的方法将该方法应用于量子齐性空间。

ABSTRACT

We use operator algebras and operator theory to obtain new result concerning Berezin quantization of compact Kähler manifolds. Our main tool is the notion of subproduct systems of finite-dimensional Hilbert spaces, which enables all involved objects, such as the Toeplitz operators, to be very conveniently expressed in terms of shift operators compressed to a subspace of full Fock space. This subspace is not required to be contained in the symmetric Fock space, so from finite-dimensional matrix algebras we can construct noncommutative manifolds with extra structure generalizing that of a projective variety endowed with a positive Hermitian line bundle and a canonical Kähler metric in the class of the line bundle. Even in the commutative setting these constructions are very fruitful. Firstly, we show that the algebra of smooth functions on any smooth projective variety can be quantized in a strong sense of inductive limits, as was previously only accomplished for homogeneous manifolds. In this way the Kähler manifold is recovered exactly from quantization and not just approximately. Secondly, we obtain a strict quantization also for singular varieties. Thirdly, we show that the Arveson conjecture is true in full generality for shift operators compressed to the subspace of symmetric Fock space associated with any homogeneous ideal. For noncommutative examples we consider homogeneous spaces for compact matrix quantum groups which generalize $q$-deformed projective spaces, and we show that these can be obtained as the cores of Cuntz--Pimsner algebras constructed solely from the representation theory of the quantum group. We also discuss interesting connections with noncommutative random walks.

研究动机与目标

• 开发一种利用算子代数与算子理论对非交换射影簇进行贝雷津量化的通用框架。
• 将严格量化推广至奇异射影簇，克服以往方法仅适用于光滑或齐性情形的局限性。
• 在一般情形下，对与齐性理想相关的福克空间子空间上压缩的移位算子，证明阿夫森猜想。
• 通过紧致矩阵量子群的表示理论，将非交换流形构造为矩阵代数的归纳极限。
• 通过算子理论方法，在非交换设定下统一复结构、赫米特结构与凯勒结构。

提出的方法

• 利用有限维希尔伯特空间的子积系统，在压缩福克空间设定中编码托普利茨算子与移位算子的结构。
• 通过矩阵代数 $\mathcal{B}(\mathfrak{H}_m)$ 的归纳极限，定义非交换射影簇 $\mathbb{M}$ 上连续函数的非交换 $C^*$-代数 $C(\mathbb{M})$。
• 通过全福克空间子空间上的投影 $P^{(m)}$ 构造托普利茨算子，推广相干态投影。
• 应用库恩茨-平斯纳代数，将量子齐性空间 $\mathbb{G}/\mathbb{K}$ 实现为基于紧致矩阵量子群表示理论构建的代数的核心。
• 利用协变符号与全托普利茨映射，将 $\mathbb{M}$ 上的经典函数与 $\mathfrak{H}_m$ 上的算子关联，实现量化的途径。
• 利用射影极限与修正内积，定义 $\mathcal{O}_{\mathfrak{H}}$ 上的状态，并在极限中恢复经典流形。

实验结果

研究问题

• RQ1 贝雷津量化能否以严格、精确的方式扩展至奇异射影簇，而非近似？
• RQ2 阿夫森猜想是否对与齐性理想相关的全对称福克空间子空间上压缩的移位算子在一般情形下成立？
• RQ3 非交换射影簇能否作为保持凯勒与代数结构的矩阵代数的归纳极限被构造？
• RQ4 紧致矩阵量子群的量子齐性空间如何作为由表示理论导出的库恩茨-平斯纳代数的核心出现？
• RQ5 离散量子群的马汀边界与通过归纳极限构造的非交换流形 $\mathbb{M}$ 之间存在何种关系？

主要发现

• 任何光滑射影簇上的光滑函数代数均可作为归纳极限严格量化，在极限中精确恢复经典凯勒流形，而非近似。
• 奇异射影簇的严格量化得以实现，扩展了以往仅限于光滑或齐性情形的结果。
• 对任意齐性理想相关的对称福克空间子空间上压缩的移位算子，阿夫森猜想在一般情形下被证明。
• 对于紧致矩阵量子群，量子齐性空间 $C(\mathbb{G}/\mathbb{K})$ 可作为 $\mathbb{G}$-表示的子积系统导出的矩阵代数的归纳极限实现。
• $C^*$-代数 $C(\mathbb{S}_{\mathbb{G}})$ 的总空间非交换圆丛同构于归纳极限 $\mathcal{O}^{(0)}_{\mathfrak{H}}$，推广了经典圆丛构造。
• 当 $\mathbb{G} = \mathrm{SU}_q(2)$ 时，归纳极限 $\mathcal{B}_\infty$ 与波德莱斯球面 $\mathbb{S}^2_q$ 的 $C^*$-代数一致，并与对偶量子群的已知马汀边界相匹配。