[논문 리뷰] A presentation of the deformed W_{1+\infty} algebra

Noah Arbesfeld, Olivier Schiffmann|arXiv (Cornell University)|2012. 09. 03.

Algebraic structures and combinatorial models참고 문헌 1인용 수 5

한 줄 요약

이 논문은 체르니크 대수의 안정한 극한을 통해만 이전에 정의된 구조를 이제는 드린펠트의 양자 아핀 대수의 새로운 표현과 유사한 새로운 실현을 통해, 변형된 $W_{1+ty}$ 대수의 생성자 및 관계 표현을 제공한다. 주요 결과는 $\textbf{S}\textbf{H}^{\textbf{c}}$ 가 차수 $-1$, $0$, $1$ 에서의 원소들에 의해 생성되며, 명시적인 이차 및 삼차 관계를 만족함을 보여주어, 이전에는 안정한 극한을 통한 정의로만 알려져 있던 대수적 구조를 완전한 대수적 기술로 제공한다.

ABSTRACT

We provide a generators and relation description of the deformed W_{1+\infty}-algebra introduced in previous joint work of E. Vasserot and the second author. This gives a presentation of the (spherical) cohomological Hall algebra of the one-loop quiver, or alternatively of the spherical degenerate double affine Hecke algebra of GL(\infty).

연구 동기 및 목표

• 변형된 $W_{1+ty}$ 대수 $\textbf{S}\textbf{H}^{\textbf{c}}$ 에 대한 구체적인 생성자 및 관계 표현을 제공함으로써, 이 대수가 이전에는 안정한 극한 구조를 통해만 정의되었음을 보완한다.
• 차수 $-1$, $0$, $1$ 에서의 명시적 생성자와 정의 관계를 식별하여 $\textbf{S}\textbf{H}^{\textbf{c}}$ 의 대수적 구조를 명확히 한다.
• $\textbf{S}\textbf{H}^{\textbf{c}}$ 가 하나의 순환 고차원 대수의 구면 코homological Hall 대수와, $GL(\infty)$ 의 구면 탈선화된 이중 아핀 히브 대수와 동형임을 증명한다.
• $\textbf{S}\textbf{H}^{\textbf{c}}$ 의 관련 차수 대수는 특정 생성자들에 대한 자유 다항식 대수임을 확인함으로써, 차수 극한에서 생성자들의 대수적 독립성을 확인한다.
• $\textbf{S}\textbf{H}^{\textbf{c}}$ 가 필터링을 갖는다 할 때, 관련 차수 대수가 자유 가환 다항식 대수와 동형임을 보여주어, 구조적 분류를 가능하게 한다.

제안 방법

• $\textbf{S}\textbf{H}^{\textbf{c}}$ 를 $\text{Sym}(\text{C}^*)$ 의 자기변환 대수 $\text{End}(\text{Sym}(\text{C}^*))$ 의 부분대수로 정의하며, 미분 연산자 $D_{0,l}$, $D_{1,k}$, 그리고 $r \ne 0$ 에 대해 $D_{r,d} = [D_{0,d+1}, D_{r,0}]$ 로 생성된다.
• 차수를 부여하여 $D_{0,l}$ 에는 차수 $0$, $D_{1,k}$ 에는 차수 $1$ 을 부여하고, 고차 수준의 $r$ 에 대해 반복된 교환자 연산을 통해 확장한다.
• $\textbf{S}\textbf{H}^{\textbf{c}}$ 에서 미분 연산자의 차수에 의해 유도되는 필터링을 사용하며, $(d+1)$-중 반복 교환 작용이 0이 되는 것으로 특징지어진다.
• 관련 차수 대수의 기저를 구성하기 위해 생성자 $D'_{r,d} = \text{ad}(D_{0,2})^d(D_{r,0})$ 를 정의한다.
• $gr\textbf{S}\textbf{H}^{\textbf{c}}$ 가 $r \ne 0$, $d \ne 0$ 인 $D'_{r,d}$ 에 대한 자유 다항식 대수와 동형임을 증명한다.
• 교환자 간의 관계와 교환 항등식에서 유도된 행렬 시스템의 가역성에 기반하여, 순서와 차수에 대한 귀납법을 통해 동형을 확립한다.

실험 결과

연구 질문

• RQ1 이전에 체르니크 대수의 안정한 극한을 통해 정의된 변형된 $W_{1+\fty}$ 대수 $\textbf{S}\textbf{H}^{\textbf{c}}$ 는 생성자와 관계로 명시적으로 기술될 수 있는가?
• RQ2 $\text{Sym}(\text{C}^*)$ 상의 미분 연산자에 대해 $\textbf{S}\textbf{H}^{\textbf{c}}$ 의 정확한 생성자 집합과 정의 관계는 무엇인가?
• RQ3 $\textbf{S}\textbf{H}^{\textbf{c}}$ 의 관련 차수 대수는 생성자 $D'_{r,d}$ 에 대한 자유 다항식 대수와 어떻게 관련이 있는가?
• RQ4 $D_{r,0}$ 과 $D_{0,l}$ 간의 교환 관계는 차수 극한에서의 가환성 조건인 $[\tilde{D}_{l,0}, \tilde{D}_{l',0}] = 0$ 을 유도하는가?
• RQ5 $\tilde{\textbf{S}\textbf{H}}^{\textbf{c}}$ 에서 $\textbf{S}\textbf{H}^{\textbf{c}}$ 로의 사상이 동형이며, 필터링과 차수 구조를 유지하는가?

주요 결과

• $\textbf{S}\textbf{H}^{\textbf{c}}$ 는 차수 $-1$, $0$, $1$ 에서의 생성자들에 의해 생성되며, 명시적인 이차 및 삼차 관계를 만족한다.
• $gr\textbf{S}\textbf{H}^{\textbf{c}}$ 는 $r \ne 0$, $d \ne 0$ 인 $D'_{r,d} = \text{ad}(D_{0,2})^d(D_{r,0})$ 에 대한 자유 가환 다항식 대수와 동형이다.
• $\tilde{\textbf{S}\textbf{H}}^{\textbf{c}} \to \textbf{S}\textbf{H}^{\textbf{c}}$ 사상은 순서와 차수에 대한 귀납법을 통해 필터링된 대수로서의 동형임을 보였다.
• $[\tilde{D}_{l,0}, \tilde{D}_{l',0}] = 0$ 이 모든 $l, l'$ 에 대해 성립하며, 이는 유도된 관계 (4.5) 및 (4.6) 과 고차 교환 작용의 소멸성에서 유도된다.
• $U_{r,d} = gr\tilde{\textbf{S}\textbf{H}}^{\textbf{c}}[r,d] / \text{곱} $ 은 1차원이며 $\tilde{D}'_{r,d}$ 로 생성되며, 각 차수에서 이 대수가 이러한 원소들에 의해 생성됨을 증명한다.
• 역행렬을 갖는 행렬 시스템 $M$ 을 포함하는 선형 방정식계에 기반하여, $U_{r,d}$ 내의 모든 교환자 클래스가 $\tilde{D}'_{r,d}$ 의 스칼라 배수로 표현됨을 보여주며, 관련 차수 대수의 구조를 확인한다.