[論文レビュー] A note on symmetric orderings

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

Advanced Algebra and Geometry被引用数 1

ひとこと要約

本稿は、完成化されたウェイル代数 Ân における対称順序付けの普遍的性質を確立する：任意の n-組の元 Xi ∈ Ân が ∂i における任意の斉次反対称多項式によって定義されるとき、積 X_{i₁}⋯X_{i_k} のすべての置換に関する和は、真空状態 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.

研究の動機と目的

• 特定の実現にとどまらない、完成化ウェイル代数 Ân における対称順序付け性質の一般化を図ること。
• 任意の n-組の元 Xi ∈ Ân が、∂i における次数 (K−1) の斉次反対称多項式から構成される場合、Fock作用に関して対称順序付けが保たれることを確立すること。
• 非可換積 X_{α_{σ(1)}}⋯X_{α_{σ(k)}} のすべての置換に関する和が、真空 1 に作用すると、k! 倍の可換単項式 x^{α₁}⋯x^{α_k} を回復することを示すこと。
• 係数 AN が反対称性および斉次性を満たす限り、そのべき級数展開の具体的な係数に依存しないで、この結果が成り立つことの証明。
• 対称化積によって定義される写像 ẽ: k[x₁,…,xₙ] → Ân が、いつ injective であるか、あるいはその像に同型であるかを明確にすること。

提案手法

• Xi ∈ Ân を、xi に加えて、∂j における係数が ∂₁,…,∂ₙ における次数 (K−1) の斉次多項式で、i,j に関して反対称であるべき級数として定義する。
• Ân が多項式代数 k[x₁,…,xₙ] に作用する Fock作用 ⊲ を用いる。ここで、xi は乗法作用、∂j は偏微分作用として作用する。
• 積の因子数 k に関する帰納法を用い、k=1 の場合は 1 に作用する微分が消えるため自明である。
• Σ(k) の置換に関する和を、1 番目の因子の位置を示す i と残りの置換を表す ρ との間の双対写像 (i,ρ) ↦ σ によって再インデックス化する。
• p_{N−1,l}^{ij}(∂) が i,j に関して反対称であることを利用し、対称単項式と反対称係数の i,j に関する縮約が消えることを示す。
• ∂s(x^{α₁}⋯x^{α_k}) が s が積に現れる変数と一致する場合にのみ非ゼロであり、微分作用の構造を活用して、対称-反対称縮約に帰着すること。

実験結果

リサーチクエスチョン

• RQ1 係数 p_{K−1,l}^{ij}(∂) がどのような条件下で、完成化ウェイル代数における対称順序付け性質が成立するか。
• RQ2 U(g) を Ân に埋め込むための普遍的公式を、ベルヌーイ数ではなく任意の係数 AN に一般化できるか。
• RQ3 任意の Xi ∈ Ân が反対称多項式係数を持つ場合、対称化積 ∑_{σ∈Σ(k)} X_{α_{σ(1)}}⋯X_{α_{σ(k)}} が 1 に作用すると、常に k! x^{α₁}⋯x^{α_k} を得るか。
• RQ4 対称化写像 ẽ: k[x₁,…,xₙ] → Ân の像の代数的構造は何か。また、いつ injective となるか。
• RQ5 係数多項式の反対称性が、微分作用において非対称項のキャンセルをどのように保証するか。

主な発見

• 任意の関数 α: {1,…,k} → {1,…,n} に対して、和 ∑_{σ∈Σ(k)} X_{α_{σ(1)}}⋯X_{α_{σ(k)}} ⊲1 は k! x^{α₁}⋯x^{α_k} に等しく、対称順序付け性質が証明される。
• この結果は、ベルヌーイ数から導かれるものに限らず、任意の ∂₁,…,∂ₙ における次数 (K−1) の斉次反対称多項式 p_{K−1,l}^{ij}(∂) に対して成り立つ。
• ˜e: k[x₁,…,xₙ] → Ân を ˜e(x^{α₁}⋯x^{α_k}) = ∑_{σ∈Σ(k)} X_{α_{σ(1)}}⋯X_{α_{σ(k)}} で定義する写像は、well-defined かつ k-線形である。
• 底体 k が特徴数 0 のとき、正規化写像 e(x^{α₁}⋯x^{α_k}) = (1/k!)∑_{σ∈Σ(k)} X_{α_{σ(1)}}⋯X_{α_{σ(k)}} は injective であり、その像は k[x₁,…,xₙ] に同型である。
• ˜e の像は、非可換代数 k⟨X₁,…,Xₙ⟩ の k-線形部分空間ではあるが、PBW型の失敗のため、一般には部分代数ではない。
• P ↦ P⊲1 で与えられる射影写像 π: k⟨X₁,…,Xₙ⟩→k[x₁,…,xₙ] は、char k = 0 のとき k-線形なセクション e を持ち、k⟨X₁,…,Xₙ⟩ = Ker π ⊕ Im e が成り立つ。