[论文解读] Non-Locality of Equivariant Star Products on $T*(RP^n)$

Ranee Brylinski|ArXiv.org|Oct 27, 2000

Advanced Topics in Algebra参考文献 2被引用 3

一句话总结

本文研究了实射影空间 $T^*(\mathbb{RP}^n)$ 上等变星积的非局部性，推导出当 $\lambda = \frac{1}{2}$ 且 $n$ 为奇数时，星积 $\star_\lambda$ 的系数 $C_p^\lambda(\cdot,\cdot)$ 的显式公式。结果表明，这些系数通过欧拉向量场项的逆引入了非微分算子，并通过 $\mathbb{CP}^n$ 上新的 $SL_{n+1}(\mathbb{C})$-不变双微分算子 $Z_p$ 表示，证明了仅当 $\lambda = \frac{1}{2}$ 且 $p=1$ 时 $C_p^\lambda$ 才为双微分，其余情况下由于存在 $(E + r)^{-1}$ 项而失效。

ABSTRACT

Lecomte and Ovsienko constructed $SL_{n+1}(R)$-equivariant quantization maps $Q_λ$ for symbols of differential operators on $λ$-densities on $\RP^n$. We derive some formulas for the associated graded equivariant star products $star_λ$ on the symbol algebra $Pol(T*\RP^n)$. These give some measure of the failure of locality. Our main result expresses (for $n$ odd) the coefficients $C_p$ of $star_λ$ when $λ=\half$ in terms of some new $SL_{n+1}(C)$-invariant algebraic bidifferential operators $Z_p$ on $T*\CP^n$ and the operators $(E+\frac{n}{2}\pm s)^{-1}$ where $E$ is the fiberwise Euler vector field and $s\in\{1,2,...,[\frac{p}{2}]\}$.

研究动机与目标

• 分析由 Lecomte-Ovsienko 量化映射导出的符号代数 $\mathrm{Pol}(T^*\mathbb{RP}^n)$ 上等变星积 $\star_\lambda$ 的结构。
• 理解这些星积系数 $C_p^\lambda(\cdot,\cdot)$ 的局部性失效机制，特别是 $\lambda = \frac{1}{2}$ 且 $p \geq 2$ 时 $C_p^\lambda$ 的非双微分性质。
• 在 $T^*\mathbb{CP}^n$ 上构造并表征新的 $SL_{n+1}(\mathbb{C})$-不变代数双微分算子 $Z_p$，以编码 $\lambda = \frac{1}{2}$ 且 $n$ 为奇数时 $C_p^\lambda$ 的非局部结构。
• 建立精确公式，将 $C_p^\lambda(\phi,\psi)$ 表示为 $Z_p$ 与逆欧拉算子 $(E + \frac{n}{2} \pm s)^{-1}$ 的组合，揭示非局部性的代数根源。

提出的方法

• 从 Lecomte-Ovsienko 的 $SL_{n+1}(\mathbb{R})$-等变量化映射 $\mathcal{Q}_\lambda$ 推导星积 $\star_\lambda$，利用 [L-O, §4.5] 中的公式计算系数 $C_p^\lambda(\phi,\psi)$。
• 引入纤维方向的欧拉向量场 $E$，并分析其逆 $E + r$ 在系数中出现所导致的非局部性。
• 通过实达布劳克斯坐标系的解析延拓与复化，构造 $Z_p(\phi,\psi)$ 为 $T^*\mathbb{CP}^n$ 上新的 $SL_{n+1}(\mathbb{C})$-不变双微分算子。
• 利用关系式 $C_p^\lambda(\phi,\psi) = \frac{1}{\prod_{s=1}^{[p/2]} (E' + s)(E' - s + p - d)} Z_p(S_p^{-1}\phi, S_p^{-1}\psi)$，其中 $\lambda = \frac{1}{2}$，$n$ 为奇数，将 $C_p^\lambda$ 表示为 $Z_p$ 与逆欧拉算子的组合。
• 利用 $Z_p$ 的 $SL_{n+1}(\mathbb{C})$-不变性，将其代数延拓至 $T^*\mathbb{CP}^n$，确保全局良定义。
• 通过动量函数 $\mu^x$ 及其量化，推导出 $C_2(\mu^x, \psi)$ 的显式公式，表明其包含 $1/(E'(E'+1))$ 项与四阶微分算子 $L^x$，从而证明非局部性。

实验结果

研究问题

• RQ1 为何等变星积 $\star_\lambda$ 的系数 $C_p^\lambda(\cdot,\cdot)$ 在 $\lambda = \frac{1}{2}$ 且 $p \geq 2$ 时非双微分？
• RQ2 $C_p^\lambda(\phi,\psi)$ 中非局部项的代数结构为何？如何系统地描述它们？
• RQ3 能否将 $\lambda = \frac{1}{2}$ 且 $n$ 为奇数时的非局部系数 $C_p^\lambda(\phi,\psi)$ 表示为 $\mathbb{CP}^n$ 上 $SL_{n+1}(\mathbb{C})$-不变双微分算子的函数？
• RQ4 逆欧拉算子 $(E + r)^{-1}$ 如何导致 $C_p^\lambda$ 的非局部性？其在星积结构中扮演何种角色？
• RQ5 是否存在构造编码 $\lambda = \frac{1}{2}$ 时 $C_p^\lambda$ 非局部部分的双微分算子 $Z_p$ 的规范方法？其总次数为何？

主要发现

• 星积 $\star_\lambda$ 的系数 $C_p^\lambda(\cdot,\cdot)$ 在 $\lambda = \frac{1}{2}$ 且 $p \geq 2$ 时非双微分，这是由于逆欧拉算子 $(E + r)^{-1}$ 的存在，其为非局部算子。
• 当 $\lambda = \frac{1}{2}$ 且 $n$ 为奇数时，系数满足 $C_p^\lambda(\phi,\psi) = \frac{1}{\prod_{s=1}^{[p/2]} (E' + s)(E' - s + p - d)} Z_p(S_p^{-1}\phi, S_p^{-1}\psi)$，其中 $Z_p$ 是总次数为 $-p$ 的新 $SL_{n+1}(\mathbb{C})$-不变双微分算子。
• $Z_2(\phi,\psi)$ 被显式计算并证明为四阶微分算子；当 $\phi = \mu^x$ 时，有 $C_2(\mu^x, \psi) = \frac{1}{E'(E'+1)} L^x(\psi)$，其中 $L^x$ 为四阶算子且不含形如 $E' + c$ 的左因子（$n \geq 2$ 时），从而证明其非局部性。
• $L^x$ 唯一地延拓为 $T^*\mathbb{CP}^n$ 上的代数微分算子，当 $n \geq 2$ 时其阶数为 4，而当 $n=1$ 时其形式不同，阶数为 3。
• 对于 $\phi \in \mathcal{A}^d$，公式 $C_p^\lambda(\phi,\psi) = \frac{1}{\prod_{i=1}^{[p/2]} (E' + i)(E' - i + p - d)} L_p^\phi(\psi)$ 成立，其中 $L_p^\phi$ 为微分算子，且当 $\phi \in \mathcal{R}$（由动量函数生成的代数）时，$L_p^\phi$ 为代数算子。
• 通过复化与 $SL_{n+1}(\mathbb{C})$-不变性构造 $Z_p$，确保 $Z_p$ 不是泊松张量的幂，因其总阶数过大，无法作此解释。