[论文解读] A note on symmetric orderings

Zoran Škoda|arXiv (Cornell University)|Jan 28, 2020

Advanced Algebra and Geometry被引用 1

一句话总结

本文在完成的 Weyl 代数 Ân 中建立了对称排序的普遍性质：对于任意由 ∂i 中的齐次反对称多项式定义的 Ân 中的 n 元组元素 Xi，所有排列下乘积 Xi₁⋯Xik 的和作用于真空态 1 时，结果为 k! 倍的可交换单项式 xα₁⋯xαk。该结果推广了早期关于普遍包络代数的研究，并为形变量子化与非交换几何中的对称排序提供了稳健的框架。

ABSTRACT

Let $\hat{A}_n$ be the completion by the degree of a differential operator of the $n$-th Weyl algebra with generators $x_1,\ldots,x_n,\partial^1,\ldots,\partial^n$. Consider $n$ elements $X_1,\ldots,X_n$ in $\hat{A}_n$ of the form $$ X_i = x_i + \sum_{K = 1}^\infty \sum_{l = 1}^n\sum_{j = 1}^n x_l p_{ij}^{K-1,l}(\partial)\partial^j, $$ where $p^{K-1,l}_{ij}(\partial)$ is a degree $(K-1)$ homogeneous polynomial in $\partial^1,\ldots,\partial^n$, antisymmetric in subscripts $i,j$. Then for any natural $k$ and any function $i : \{1,\ldots,k\} o\{1,\ldots,n\}$ we prove $$ \sum_{\sigma \in \Sigma(k)} X_{i_{\sigma(1)}}\cdots X_{i_{\sigma(k)}} riangleright 1 = k! \,x_{i_1}\cdots x_{i_k}, $$ where $\Sigma(k)$ is the symmetric group on $k$ letters and $ riangleright$ denotes the Fock action of the $\hat{A}_n$ on the space of (commutative) polynomials.

研究动机与目标

• 将完成的 Weyl 代数 Ân 中的对称排序性质推广至超越特定实现形式的更广泛情形。
• 确立任意 n 元组元素 Xi ∈ Ân（由 ∂i 中的任意 (K−1) 次齐次反对称多项式构造）在 Fock 作用下保持对称排序的性质。
• 证明所有排列下非交换乘积 Xασ(1)⋯Xασ(k) 的和作用于真空态 1 时，可恢复 k! 倍的可交换单项式 xα₁⋯xαk。
• 证明该结果对任意满足反对称性与齐次性的系数 AN 的幂级数展开均成立，无论其具体取值如何。
• 阐明映射 ẽ: k[x1,…,xn] → Ân（由对称化乘积定义）为单射或同构于其像的条件。

提出的方法

• 将元素 Xi ∈ Ân 定义为 xi 加上一个以 ∂j 为变量的幂级数，其系数为 ∂1,…,∂n 中次数为 (K−1) 的齐次多项式，且在 i,j 上反对称。
• 使用 Ân 在多项式代数 k[x1,…,xn] 上的 Fock 作用 ⊲，其中 xi 作为乘法算子，∂j 作为偏微分算子。
• 对乘积中因子的个数 k 进行归纳，k=1 的基础情形因 1 上导数为零而显然成立。
• 通过双射 (i,ρ) ↦ σ 重排 Σ(k) 所有排列的求和，其中 i 标记第一个因子的位置，ρ 为其余因子的排列。
• 利用 pN−1,l_ij(∂) 在 i,j 上的反对称性，证明对称单项式与反对称系数的 i,j 合并项为零。
• 利用 ∂s(xα₁⋯xαk) 仅在 s 与乘积中某变量匹配时非零的性质，并借助导数作用的结构，将问题约化为对称-反对称项的合并。

实验结果

研究问题

• RQ1 在何种系数 pK−1,l_ij(∂) 条件下，完成的 Weyl 代数中对称排序性质成立？
• RQ2 能否将 U(g) 嵌入 Ân 的普遍公式推广至任意系数 AN 而非伯努利数？
• RQ3 对任意选择的 Xi ∈ Ân（其系数为反对称多项式），对称化乘积 ∑σ∈Σ(k) Xασ(1)⋯Xασ(k) 作用于 1 是否恒等于 k!xα₁⋯xαk？
• RQ4 对称化映射 ẽ: k[x1,…,xn] → Ân 的像具有何种代数结构？其在何种条件下为单射？
• RQ5 系数多项式的反对称性如何确保导数作用中非对称项的相消？

主要发现

• 对任意函数 α: {1,…,k} → {1,…,n}，有 ∑σ∈Σ(k) Xασ(1)⋯Xασ(k) ⊲1 = k! xα₁⋯xαk，从而证明了对称排序性质。
• 该结果对任意 ∂1,…,∂n 中 (K−1) 次齐次反对称多项式 pK−1,l_ij(∂) 成立，不仅限于由伯努利数导出的情形。
• 由 ˜e(xα₁⋯xαk) = ∑σ∈Σ(k) Xασ(1)⋯Xασ(k) 定义的映射 ˜e: k[x1,…,xn] → Ân 是良定义的且为 k-线性。
• 当基域 k 的特征为 0 时，归一化映射 e(xα₁⋯xαk) = (1/k!)∑σ∈Σ(k) Xασ(1)⋯Xασ(k) 是单射，其像同构于 k[x1,…,xn]。
• 映射 ˜e 的像是非交换代数 k⟨X1,…,Xn⟩ 中的一个 k-线性子空间，但通常不是子代数，原因在于 PBW 型失败。
• 投影映射 π: k⟨X1,…,Xn⟩→k[x1,…,xn] 定义为 P ↦ P⊲1，当 char k = 0 时存在 k-线性截面 e，因此有 k⟨X1,…,Xn⟩ = Ker π ⊕ Im e。