[论文解读] Functorial quantization and the Guillemin-Sternberg conjecture

N.P. Landsman|ArXiv.org|Jul 29, 2003

Advanced Operator Algebra Research参考文献 36被引用 5

一句话总结

本文提出了几何量子化的函子式表述，通过 Kasparov 的 KK-理论将几何量子化与形变量子化统一起来，从而将 Guillemin-Sternberg 猜想推广至非紧致群和李群胚。关键贡献在于，'量子化与约化可交换' 成为函子性的自然推论，该猜想被重新表述为等价于等变 K-理论中的等式，并通过狄拉克算子的指标理论与解析装配映射得到验证。

ABSTRACT

We propose that geometric quantization of symplectic manifolds is the arrow part of a functor, whose object part is deformation quantization of Poisson manifolds. The `quantization commutes with reduction' conjecture of Guillemin and Sternberg then becomes a special case of the functoriality of quantization. In fact, our formulation yields almost unlimited generalizations of the Guillemin--Sternberg conjecture, extending it, for example, to arbitrary Lie groups or even Lie groupoids. Technically, this involves symplectic reduction and Weinstein's dual pairs on the classical side, and Kasparov's bivariant K-theory for C*-algebras (KK-theory) on the quantum side.

研究动机与目标

• 将几何量子化与形变量子化统一为单一的函子式框架。
• 将 Guillemin-Sternberg 猜想推广至紧致群与流形之外的情形。
• 利用 C*-代数与 K-理论工具，为 '量子化与约化可交换' 提供严格的数学表述。
• 通过对偶对与李群胚作用，将该猜想扩展至辛约化。
• 通过解析装配映射与等变指标，建立经典约化之量子类比。

提出的方法

• 将几何量子化表述为函子的箭头部分，形变量子化作为对象部分。
• 使用 Kasparov 的双不变 K-理论（KK-理论）描述量子可观测量及其态射。
• 将具有 G-作用的辛流形的量子化表示为 C*(G) 中狄拉克算子的等变指标，属于 K0(C*(G))。
• 应用解析装配映射，将经典对偶对与 KK-理论中的量子元素联系起来。
• 利用 Atiyah 的 L²-指标定理计算非紧致群的指标，特别是离散无限群的情形。
• 将叶状流形之间的广义映射解释为 KK-理论类，从而对叶状丛的余切丛对偶对进行量子化。

实验结果

研究问题

• RQ1 Guillemin-Sternberg 猜想能否推广至非紧致辛流形与非紧致李群？
• RQ2 如何将 '量子化与约化可交换' 理解为函子性的自然结果，而非独立的猜想？
• RQ3 KK-理论与解析装配映射在连接经典辛约化与量子可观测量中起何作用？
• RQ4 如何利用指标理论一致地定义非紧致群作用的量子化？
• RQ5 能否在函子式框架下，通过 KK-理论描述叶状流形之间广义映射的量子化？

主要发现

• 当原始空间的量子化被解释为 C*(G) 中狄拉克算子的 G-指标（属于 K0(C*(G))) 时，广义的 Guillemin-Sternberg 猜想对非紧致群成立。
• 对于离散无限群 Γ，该猜想退化为涉及迹与约化群 C*-代数的等式：G-index(D+)0 = tr∘π*∘G-index(D+)。
• 对偶对 T*F1 ← T*Mf → T*F2 的量子化由 KK-类 f! ∈ KK(C*(G(V1,F1)), C*(G(V2,F2))) 给出，该类具有函子性。
• 量子化函子性意味着量子约化运算自然地与通过对偶对实现的经典约化相容。
• 该构造可推广至李群胚，其中辛约化与量子化通过解析装配映射相关联。
• 本文直接建立了经典对偶对概念与量子 KK-理论类概念之间的联系，统一了几何与代数量子化。