[论文解读] Triangular dynamical r-matrices and quantization

Ping Xu|ArXiv.org|May 1, 2000

Advanced Data Compression Techniques被引用 4

一句话总结

本文证明了非退化的三角形动力r-矩阵——即满足反对称性和正则性的经典动力杨-Baxter方程的解——在 $\mathfrak{h}^* \times G$ 上诱导出辛泊松结构，并通过费多索夫方法证明其可量化。关键结果是此类量化的分类由相对李代数上同调 $ H^2(\mathfrak{g}, \mathfrak{h})[[\hbar]] $ 给出，推广了德林费尔德对非动力三角形r-矩阵的量化方法。

ABSTRACT

We provide a general study for triangular dynamical r-matrices using Poisson geometry. We show that a triangular dynamical r-matrix always gives rise to a regular Poisson manifold. Using the Fedosov method, we prove that non-degenerate (i.e., the corresponding Poisson manifolds are symplectic) triangular dynamical r-matrices (over $ \frakh^* $ and valued in $\wedge^{2}\frakg$) are quantizable, and the quantization is classified by the relative Lie algebra cohomology $H^{2}(\frakg, \frakh)[[\hbar ]]$. We also generalize this quantization method to splittable triangular dynamical r-matrices, which include all the known examples of triangular dynamical r-matrices. Finally, we arrive a conjecture that the quantization for an arbitrary triangular dynamical r-matrix is classified by the formal neighbourhood of this r-matrix in the modular space of triangular dynamical r-matrices. The dynamical r-matrix cohomology is introduced as a tool to understand such a modular space.

研究动机与目标

• 解决一般经典三角形动力r-矩阵的量化问题，特别是非退化（辛）情形下的问题。
• 通过泊松几何与费多索夫的星积构造，将德林费尔德对三角形李双代数的量化方法推广至动力情形。
• 对非退化三角形动力r-矩阵的所有可能量化进行分类，并识别出参数化它们的上同调不变量。
• 研究三角形动力r-矩阵可约化为非退化形式（即所谓的“可分裂”r-矩阵）的条件，从而使得可使用相同方法进行量化。

提出的方法

• 利用泊松几何证明，三角形动力r-矩阵 $ r: \mathfrak{h}^* \to \wedge^2 \mathfrak{g} $ 在 $ \mathfrak{h}^* \times G $ 上诱导出一个正则的、关于 $ G \times H $-作用不变的泊松结构。
• 应用费多索夫方法在辛流形 $ \mathfrak{h}^* \times G $ 上构造星积，使用无挠辛联络和一个Weyl曲率形式 $ \Omega \in Z^2(M)[[\hbar]] $。
• 在Weyl代数丛上构造一个费多索夫联络 $ D = -\delta + \partial + \frac{i}{\hbar}[\gamma, \cdot] $，其中 $ \gamma \in \Gamma W_3 \otimes \Lambda^1 $，并满足 $ D^2 a = -\frac{i}{\hbar}[\Omega, a] $。
• 施加条件 $ \delta^{-1}\gamma = 0 $，并通过递推方程 $ \gamma_{n+1} = \delta^{-1}(\partial\gamma_n + \frac{i}{\hbar}\gamma_n^2) + \delta^{-1}\tilde{\Omega} $ 唯一确定 $ \gamma $。
• 利用由在 $ y = 0 $ 处取值定义的同构 $ \sigma: W_D \to C^\infty(M)[[\hbar]] $，将光滑函数提升为平行截面，并定义星积。
• 证明费多索夫星积的空间与 $ Z^2(M)[[\hbar]] $ 之间存在双射关系，且量化的分类通过上同调不变量对应于 $ H^2(\mathfrak{g}, \mathfrak{h})[[\hbar]] $。

实验结果

研究问题

• RQ1 非退化三角形动力r-矩阵是否可量化？若可量化，其方法为何？
• RQ2 非退化三角形动力r-矩阵的所有可能量化的分类为何？
• RQ3 在何种条件下，一般三角形动力r-矩阵可被约化为非退化形式（即“可分裂”）？
• RQ4 费多索夫方法如何将德林费尔德的量化程序推广至动力情形？
• RQ5 何种上同调不变量控制此类r-矩阵的量化模空间？

主要发现

• 非退化三角形动力r-矩阵在 $ \mathfrak{h}^* \times G $ 上诱导出辛泊松结构，且在左$ G $-作用与右$ H $-作用下不变。
• 费多索夫方法在该辛流形上系统地构造了星积，从而实现了对r-矩阵的量化。
• 所有此类量化的空间由相对李代数上同调群 $ H^2(\mathfrak{g}, \mathfrak{h})[[\hbar]] $ 分类，该群参数化了可能的形变。
• 该构造对非退化及可分裂的三角形动力r-矩阵均有效，扩展了其适用范围，不仅限于非退化情形。
• 费多索夫联络 $ D $ 由一个辛联络和一个Weyl曲率 $ \Omega \in Z^2(M)[[\hbar]] $ 唯一确定，从而保证了星积的存在性与唯一性。
• 同构 $ \sigma: W_D \to C^\infty(M)[[\hbar]] $ 允许将量子可观测量代数识别为流形上的形式幂级数。