[论文解读] Deformation quantization for actions of the affine group

Pierre Bieliavsky|ArXiv.org|Sep 7, 2007

Advanced Topics in Algebra参考文献 11被引用 5

一句话总结

本文提出了一种适用于仿射群 $\pi \simeq ax+b$ 在弗雷歇代数上作用的通用形变公式（UDF），在光滑向量空间 $\mathbb{A}^\infty$ 上构造了一族拓扑结合代数结构。该形变基于一个涉及典型三角形面积相位函数 $S_{\text{can}}$ 的振荡积分，关键结果为形变乘积 $\star^\Theta_\theta$ 具有结合性，将外尔量化推广至具有双曲几何联系的非平坦对称空间。

ABSTRACT

We define a universal deformation formula (UDF) for the actions of the affine group on Frechet algebras. More precisely, starting with any associative Frechet algebra which the affine group acts on in a strongly continuous and isometrical manner, the UDF produces a family of topological associative algebra structures on the space of smooth vectors of the action deforming the initial product. The deformation field obtained is based over an infinite dimensional parameter space naturally associated with the space of pseudo-differential operators on the real line. This note also presents some geometrical aspects of the UDF and in particular its relation with hyperbolic geometry.

研究动机与目标

• 开发仿射群 $\mathbb{S} = ax + b$ 在弗雷歇代数上的强连续等距作用的通用形变公式（UDF）。
• 通过引入辛对称空间的几何结构，将外尔量化推广至非欧几里得对称空间，超越平面情形。
• 利用与对称空间中三角形面积相关的相位函数，对光滑向量 $\mathbb{A}^\infty$ 上的代数乘积进行形变。
• 将形变结构与双曲几何联系起来，特别是通过双曲平面上的典型相位 $S_{\text{can}}$。
• 基于辛对称空间及其关联的李代数三元组，为形变量化提供几何基础。

提出的方法

• 通过群变量上的振荡积分构造UDF，使用从对称空间中测地三角形的辛面积导出的相位函数 $S_{\text{can}}$。
• 形变乘积 $a \star^\Theta_\theta b$ 通过核函数 $K(e,g_1,g_2)$ 和来自 $C^\infty(\mathbb{R})$ 的权函数 $\Theta$ 定义，确保在 $\mathbb{A}_\infty$ 中收敛。
• 该方法依赖于辛对称空间的几何性质：测地对称下的不变性与三角形面积的可加性。
• 通过操纵重积分并利用测度在群作用与对称性下的不变性，证明 $\star^\Theta_\theta$ 的结合性。
• 利用 $\mathbb{S}$ 在 $\mathbb{A}$ 上的作用 $\alpha$，将乘积拉回到群代数，然后通过 $\mathcal{E}_\theta(\mathbb{S}) \hat{\otimes} \mathbb{A}_\infty$ 上的扭曲卷积进行形变。
• 结合性证明通过表明 $ (a \star b) \star c $ 与 $ a \star (b \star c) $ 均简化为包含核 $K$ 与相位 $S_{\text{can}}$ 的同一重积分表达式，利用对称性与变量替换完成。

实验结果

研究问题

• RQ1 如何将外尔量化推广至非欧几里得对称空间（具有仿射群作用）以超越平面情形？
• RQ2 相位函数 $S$ 需满足何种几何条件，才能在不依赖算子表示的前提下，确保积分层面形变乘积的结合性？
• RQ3 辛对称空间的结构——特别是双曲平面与余伴随轨道——如何支持仿射群的通用形变公式？
• RQ4 典型相位 $S_{\text{can}}$ 在形变中如何编码底层对称空间的几何信息？
• RQ5 能否基于振荡积分与群作用，在光滑向量空间 $\mathbb{A}_\infty$ 上内在地构造形变量化？

主要发现

• 由于 $\Theta$ 的光滑性与核的衰减性质，形变乘积 $a \star^\Theta_\theta b$ 对所有 $a,b \in \mathbb{A}_\infty$ 均定义良好，属于 $\mathbb{A}_\infty$ 中的元素。
• 形变乘积 $\star^\Theta_\theta$ 具有结合性，证明方法为：$ (a \star b) \star c $ 与 $ a \star (b \star c) $ 均简化为包含核 $K$ 与相位 $S_{\text{can}}$ 的同一重积分表达式。
• 结合性证明依赖于辛对称空间的几何公理：对称性 $S(x,s_x(y),z) = -S(x,y,z)$ 与可加性 $S(x,y,m) + S(y,z,m) + S(z,x,m) = S(x,y,z)$。
• 该形变基于与实轴上伪微分算子自然关联的参数空间，扩展了经典外尔量化框架。
• 该构造建立了形变量化与双曲几何之间的联系，特别是通过双曲平面 $\mathbb{D} = SL(2,\mathbb{R})/SO(2)$ 上的典型相位 $S_{\text{can}}$。
• UDF 为仿射群作用的形变量化提供了一个通用框架，适用于任意具有强连续等距作用的弗雷歇代数。