[논문 리뷰] On $[A,A]/[A,[A,A]]$ and on a $W_n$-action on the consecutive commutators of free associative algebra

Boris Feigin, Boris Shoikhet|ArXiv.org|2006. 10. 12.

Advanced Topics in Algebra참고 문헌 1인용 수 7

한 줄 요약

이 논문은 $n$개의 생성자를 갖는 자유 아소시아티브 대수 $A_n$에 대해 몫 $[A_n, A_n]/[A_n, [A_n, A_n]]$의 구조를 조사하며, 이가 $ℂ^n$ 위의 닫힌 짝수 차수 미분형식의 직합과 동형임을 보인다. 또한 $A_n$의 하부 중심 급수의 관련 리 대수는 $ℂ^n$ 위의 다항형 벡터장의 리 대수 $W_n$에 자연스러운 작용을 가지며, 그 중심에 대한 몫은 이 $W_n$-작용을 그대로 유지한다. 주요 기여는 $[A_n, A_n]/[A_n, [A_n, A_n]]$의 명시적 계산으로, 이는 $\Omega^{2}_{\text{closed}}(\mathbb{C}^n) \oplus \Omega^{4}_{\text{closed}}(\mathbb{C}^n) \oplus \cdots$로 표현되며, 연속된 교환자에 대한 $W_n$-모듈러 구조의 규명이다.

ABSTRACT

We consider the lower central filtration of the free associative algebra $A_n$ with $n$ generators as a Lie algebra. We consider the associated graded Lie algebra. It is shown that this Lie algebra has a huge center which belongs to the cyclic words, and on the quotient Lie algebra by the center there acts the Lie algebra $W_n$ of polynomial vector fields on $\mathbb{C}^n$. We compute the space $[A_n,A_n]/[A_n,[A_n,A_n]]$ and show that it is isomorphic to the space $Ω^2_{closed}(\mathbb{C}^n) \oplus Ω^4_{closed}(\mathbb{C}^n) \oplus Ω^6_{closed}(\mathbb{C}^n) \oplus ...$.

연구 동기 및 목표

• 자유 아소시아티브 대수 $A_n$의 $n$개의 생성자를 갖는 몫 공간 $[A_n, A_n]/[A_n, [A_n, A_n]]$을 계산하기.
• 리 대수로서의 $A_n$의 하부 중심 급수를 연구하고, 그 관련 리 대수를 분석하기.
• $\mathbb{C}^n$ 위의 다항형 벡터장의 리 대수 $W_n$이 관련 리 대수의 중심에 대한 몫에 자연스러운 작용을 가지는지 확인하기.
• $[A_n, A_n]/[A_n, [A_n, A_n]]$와 $ℂ^n$ 위의 닫힌 짝수 차수 미분형식의 직합 사이의 동형관계를 확립하기.
• 작은 $k$와 $n=2,3$에 대해 연속된 교환자 공간 $A_{n,k} = [A_n, \ldots, A_n]$($k$중)가 $W_n$-모듈러 구조를 지닌다는 것을 보이며, 그 구조가 알려진 $W_n$-모듈러 특성과 어떻게 일치하는지 분석하기.

제안 방법

• 다항형 대수 $\mathbb{C}[x_1, \ldots, x_n]$의 자유 해상($\text{free resolution}$)을 이중 그라스만 대수를 통해 모델링하여 고차 유도 함자를 기술하기.
• 생성자들의 이중 공간인 $V$에 대해, $\Omega^\bullet = S^\bullet(V) \otimes \Lambda^\bullet(V)$인 드 레함 복합체에 $\mathbb{Z}_2$-등급 파아송 대수의 구조를 정의하며, 이는 $[\omega_1, \omega_2] = (-1)^{\deg \omega_1} \cdot 2d\omega_1 \wedge d\omega_2$로 주어진다.
• 이 파아송 대수를 제품 $\omega_1 * \omega_2 = \omega_1 \wedge \omega_2 + (-1)^{\deg \omega_1} d\omega_1 \wedge d\omega_2$를 통해 양자화하여, 대수 $\Omega(V)_*$를 얻는다.
• 몫 $B = A_n / A_n[A_n, [A_n, A_n]]A_n$를 양자화된 대수의 짝수 부분인 $\Omega^{\text{even}}(V)_*$로 식별한다.
• 사상 $\theta: [A_n, A_n]/[A_n, [A_n, A_n]] \to [\Omega^{\text{even}}(V)_*, \Omega^{\text{even}}(V)_*]$가 닫힌 짝수 차수 미분형식의 공간으로의 동형임을 증명한다.
• 특성 다항식을 $τ\mathfrak{gl}_n$-표현으로부터 유도된 공인식 $W_n$-모듈러와 일치시키는 방식으로, $k=3,4,5$ 및 $n=2,3$에 대해 $W_n$-모듈러 구조가 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 자유 아소시아티브 대수 $A_n$의 $n$개의 생성자를 갖는 몫 $[A_n, A_n]/[A_n, [A_n, A_n]]$의 구조는 무엇인가?
• RQ2 하부 중심 급수의 관련 리 대수는 $ℂ^n$ 위의 다항형 벡터장의 리 대수 $W_n$에 자연스러운 작용을 가지는가?
• RQ3 $[A_n, A_n]/[A_n, [A_n, A_n]]$은 $ℂ^n$ 위의 닫힌 짝수 차수 미분형식의 직합과 동형인가?
• RQ4 연속된 교환자 공간 $A_{n,k}$는 $W_n$-모듈러 구조를 지닐 수 있으며, 만약 그렇다면 이 구조는 알려진 $W_n$-모듈러 특성과 어떻게 일치하는가?
• RQ5 $W_n$-모듈러 $A_{n,k}$의 특성은 $τ\mathfrak{gl}_n$-표현으로부터 유도된 공인식 모듈러의 특성과 어떻게 일치하는가?

주요 결과

• 몫 $[A_n, A_n]/[A_n, [A_n, A_n]]$는 $\Omega^{2}_{\text{closed}}(\mathbb{C}^n) \oplus \Omega^{4}_{\text{closed}}(\mathbb{C}^n) \oplus \Omega^{6}_{\text{closed}}(\mathbb{C}^n) \oplus \cdots$와 동형이며, 이는 함자 $A \mapsto A/[A, [A, A]]$에 대한 고차 아벨리안화 공간을 명시적으로 계산한 것이다.
• $B = A_n / A_n[A_n, [A_n, A_n]]A_n$는 양자화된 드 레함 대수의 짝수 부분인 $\Omega^{\text{even}}(V)_*$와 동형이며, 생성자에 대한 항등사상이 성립한다.
• 사상 $\theta: [A_n, A_n]/[A_n, [A_n, A_n]] \to [\Omega^{\text{even}}(V)_*, \Omega^{\text{even}}(V)_*]$는 동형이며, $[\Omega^{\text{even}}(V)_*, \Omega^{\text{even}}(V)_*]$는 양의 차수를 갖는 닫힌 짝수 차수 미분형식의 공간과 일치한다.
• $[A_n, A_n]/[A_n, [A_n, A_n]]$는 항등식 $[A_n, [A_n, A_n]] = [A_n, A_n] \cap (A_n \cdot [A_n, [A_n, A_n]] \cdot A_n)$를 만족하여 몫 구성의 일관성을 확인한다.
• $n=2$일 때, $\dim A_{2,3}^\ell = 2(\ell - 2)$ ($3 \leq \ell \leq 9$)이 성립하며, 이는 2차원 $τ\mathfrak{gl}_2$-표현에서 유도된 $W_2$-모듈러의 특성과 일치한다.
• $n=3$일 때, $A_{3,3}^\ell$의 특성은 8차원 기약 표현에 대응하는 영이드 다이어그램을 가진 $τ\mathfrak{gl}_3$-표현에서 유도된 공인식 $W_3$-모듈러와 일치하며, $A_{3,4}^\ell$는 두 개의 이러한 모듈러의 합과 일치한다. 특성 차이는 높은 차수에서 다시 공인식 모듈러에 대응한다.