[论文解读] Dunkl operator and quantization of $\mathbb{Z}_2$-singularity

Gilles Halbout, Xiang Tang|arXiv (Cornell University)|Aug 28, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 3

一句话总结

本文通过使用包含 $\nZ_2$-对称性的Dunkl算子推广Moyal星积，构建了 $\nZ_2$-辛轨道丛的普遍形变量子化。该研究证实了Dolgushev-Etingof猜想的关键部分，表明形变存在且由不动点子流形的余维2分量参数化，通过Fedosov方法实现了对称性反射代数的全局推广。

ABSTRACT

Let $(X,ω)$ be a symplectic orbifold which is locally like the quotient of a $\mathbb{Z}_2$ action on $ eals^n$. Let $A^{((\hbar))}_X$ be a deformation quantization of $X$ constructed via the standard Fedosov method with characteristic class being $ω$. In this paper, we construct a universal deformation of the algebra $A^{((\hbar))}_X$ parametrized by codimension 2 components of the associated inertia orbifold $\widetilde{X}$. This partially confirms a conjecture of Dolgushev and Etingof in the case of $\mathbb{Z}_2$ orbifolds. To do so, we generalize the interpretation of Moyal star-product as a composition of symbol of pseudodifferential operators in the case where partial derivatives are replaced with Dunkl operators. The star-products we obtain can be seen as globalizations of symplectic reflection algebras.

研究动机与目标

• 在 $\nZ_2$-辛轨道丛 $X = M/\nZ_2$ 上构造星代数 $A^{((\nH))}_{X}$ 的普遍形变。
• 通过用Dunkl算子替代标准偏导数，推广Moyal星积以体现 $\nZ_2$-对称性。
• 证实Dolgushev与Etingof的猜想：星代数的形变无阻碍，且由不动点轨道丛 $\tX$ 的余维2分量参数化。
• 通过Dunkl型伪微分算子的全局化，提供对称性反射代数的全局实现。

提出的方法

• 通过差分-伪微分算子的符号复合，推广Moyal积，其中Dunkl算子取代标准偏导数。
• 定义两族 $\nZ_2$-局部双线性算子，满足结合律与 $\nZ_2$-等变性，从而导出 $\nZ_2$-局部星积。
• 在余维2不动点子流形的管状邻域补集上应用Fedosov的标准方法，此时星积呈局部Moyal型。
• 在余维2不动点子流形附近采用改进的Fedosov构造，使用推广的Moyal积。
• 通过利用标准星积与推广星积的 $\nZ_2$-局部性，确保重叠区域的相容性。
• 使用生成函数与泰勒展开计算星积中的系数，通过 $\nZ_2$-对称生成函数 $1/(1-x)^{s+1}$ 与 $1/(1+x)^{s+1}$ 识别组合结构。

实验结果

研究问题

• RQ1 能否在 $\nZ_2$-轨道丛上构造星代数 $A^{((\nH))}_{X}$ 的普遍形变，且由不动点轨道丛的余维2分量参数化？
• RQ2 如何通过Dunkl算子推广Moyal星积以体现 $\nZ_2$-对称性？
• RQ3 推广的星积是否能产生与 $\nZ_2$-作用相容的一致、结合的形变量子化？
• RQ4 能否通过Fedosov方法将此构造全局推广至紧致辛轨道丛？
• RQ5 当 $M = \nR^{2n}$ 时，所得形变量子化是否同构于对称性反射代数的形式版本？

主要发现

• 构造了星代数 $A^{((\nH))}_{X}$ 的普遍形变，参数化为 $H^0(M^\nG_2/\nZ_2)((\nH))$，证实了 $\nZ_2$-轨道丛上Dolgushev-Etingof猜想的关键部分。
• 推广的星积具有结合性与 $\nZ_2$-局部性，其结合性由生成函数 $1/(1-x)^{\nL_0+n_0+1}(1+x)^{\nL_1+n_1}$ 导出的组合系数决定。
• 星积展开中的系数 $c_\nu$ 被识别为包含 $a(x,1/t)$ 与 $t^{m+n}/(1 - t p_1)^{\nL_0 + n_0 + 1}(1 + t p_1)^{\nL_1 + n_1}$ 的洛朗级数乘积的 $t^0$-系数。
• 算子-符号积公式被证明等价于迭代差分算子 $\nD^{m+n}$ 的作用，其在对称点组上的取值反映了 $\nZ_2$-对称性。
• 当 $M = \nR^{2n}$ 时，所得星积为对称性反射代数的形式版本，实现了这些代数的全局实现。
• 该构造在开集重叠区域实现了标准Fedosov量子化与推广Moyal积之间的相容性，确保了全局形变的良定义性。