[논문 리뷰] A note on symmetric orderings

Zoran Škoda|arXiv (Cornell University)|2020. 01. 28.

Advanced Algebra and Geometry인용 수 1

한 줄 요약

이 논문은 완비화된 Weyl 대수 Ân 내에서 대칭 순서화에 대한 보편 성질을 확립한다: 임의의 동차 반대칭 다항식 pK−1,l_ij(∂)를 통해 정의된 Â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 내에서 특정 실현을 초월해 대칭 순서화 성질을 일반화하는 것.
• Fock 작용 하에서, 임의의 차수 (K−1)의 동차 반대칭 다항식 pK−1,l_ij(∂)를 통해 구성된 Ân 내의 임의의 n개 원소 Xi ∈ Ân 가 대칭 순서화를 유지함을 보장하는 것.
• 비가환 곱 Xασ(1)⋯Xασ(k)의 모든 순열에 대한 합이 진공 1에 작용할 때 k!배의 교환 다항식 xα₁⋯xαk를 회복함을 보여주는 것.
• 특정 계수 AN의 멱급수 전개가 반대칭성과 동차성을 만족하는 한, 이 결과가 계수의 구체적 값에 관계없이 성립함을 보여주는 것.
• symmetrized products로 정의된 사상 ẽ: k[x1,…,xn] → Ân 이 이미지 위에서 단사 또는 동형사상이 되는 조건을 명확히 하는 것.

제안 방법

• Xi ∈ Ân 를 xi에, ∂j 에 대한 멱급수의 계수로 차수 (K−1)의 동차 다항식을 가지며, i,j 에 대해 반대칭인 다항식을 갖는 것으로 정의한다.
• Ân 이 다항식 대수 k[x1,…,xn] 에 작용하는 Fock 작용 ⊲ 을 사용한다. 여기서 xi 는 곱셈으로, ∂j 는 편미분으로 작용한다.
• 곱의 인자 수 k 에 대한 귀납법을 적용하며, 기저 사례 k=1 은 1에 대한 도함수가 0이므로 자명하다.
• 모든 순열에 대한 합을 재정렬하기 위해, i 는 첫 번째 인자의 위치를 나타내고, ρ 는 나머지 인자들을 순열하는 데 사용되는 이중사상 (i,ρ) ↦ σ 를 도입한다.
• pN−1,l_ij(∂) 가 i,j 에 대해 반대칭임을 이용하여, 대칭 다항식과 반대칭 계수의 i,j 에 대한 수축이 0이 됨을 보인다.
• ∂s(xα₁⋯xαk) 는 s 가 곱에 포함된 변수와 일치할 때만 0이 아니며, 도함수 작용의 구조를 이용해 대칭-반대칭 수축으로 단순화한다.

실험 결과

연구 질문

• 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 symmetrization 사상 ẽ: 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: k[x1,…,xn] → Ân 이 정의된 바, ˜e(xα₁⋯xαk) = ∑σ∈Σ(k) Xασ(1)⋯Xασ(k) 는 잘 정의되어 있고 k-선형이다.
• 기저 체 k 가 특성 0을 가진다면, 정규화된 사상 e(xα₁⋯xαk) = (1/k!)∑σ∈Σ(k) Xασ(1)⋯Xασ(k) 는 단사이며, 그 상은 k[x1,…,xn] 와 동형이다.
• ˜e 의 상은 비가환 대수 k⟨X1,…,Xn⟩ 의 k-선형 부분공간이지만, PBW 유형의 실패로 인해 반드시 부분대수는 아니다.
• P ↦ P⊲1 인 사영 사상 π: k⟨X1,…,Xn⟩→k[x1,…,xn] 은 char k = 0 일 때 k-선형 단면 e 를 가지며, 따라서 k⟨X1,…,Xn⟩ = Ker π ⊕ Im e 라고 분해된다.