[논문 리뷰] A new class of Z-graded Lie conformal algebras of infinite rank

Guangzhe Fan, Qiufan Chen외 1명|arXiv (Cornell University)|2014. 11. 29.

Advanced Topics in Algebra참고 문헌 9인용 수 3

한 줄 요약

이 논문은 무한 계수의 새로운 $Χ$-등급 리 순환 대수류 $Χ\mathcal{W}(a,c)$를 도입하며, $λ$-브라켓 $[L_i{}_{\lambda}L_j] = ((ai+c)\partial + (a(i+j)+2c)\lambda)L_{i+j}$로 정의된다. 이는 순환 도수의 전반적인 분류를 제공하며, 비자명한 기저가 없는 1차원 중심 확장과 랭크-1 순환 모듈러스를 포함한다. 비자명한 기저가 없는 랭크-1 모듈러스는 오직 $\mathcal{C\!W}(0,c)$에서 존재하며, 그 완전한 분류가 제공된다.

ABSTRACT

In this paper, a new class of $\Z$-graded Lie conformal algebras $\CW(a,c)$ of infinite rank is constructed. The conformal derivations and one-dimensional central extensions of $\CW(a,c)$ are completely determined. And all conformal modules of rank one over $\CW(a,c) (a eq0)$ are proved to be trivial and all such nontrivial (irreducible) modules over $\CW(0,c)$ are classified.

연구 동기 및 목표

• 기존의 루프 바이라소르 및 블록 유형 대수를 일반화하는 새로운 무한 계수의 $Χ$-등급 리 순환 대수의 가족을 구성하는 것.
• $Χ\mathcal{W}(a,c)$의 순환 도수 대수를 체계적으로 연구하여, 외부 도수의 존재 조건을 규명하는 것.
• $Χ\mathcal{W}(a,c)$ 위에서 모든 비자명한(기저가 없는) 랭크-1 순환 모듈러스를 분류하고, 그 존재 조건을 정확히 규명하는 것.
• 모든 1차원 중심 확장을 계산하여, 전체적인 구조적 분류를 제공하는 것.

제안 방법

• 대수 $Χ\mathcal{W}(a,c)$는 기저 $\{L_i \mid i \in \u03a7\}$를 가진 $Χ[\partial]$-모듈로 구성되며, $λ$-브라켓 $[L_i{}_{\lambda}L_j] = ((ai+c)\partial + (a(i+j)+2c)\lambda)L_{i+j}$로 정의되며, 순환 공리들을 만족한다.
• 순환 도수는 도수 $\phi_{\lambda}$에 대한 자코비 항등식을 풀어, 계수 $a_m(L_i,L_j)$에 대한 함수 방정식 시스템을 도출함으로써 분석된다.
• 랭크-1 순환 모듈러스의 분류는 $\mathcal{C\!W}(a,c)$가 랭크 1의 자유 $Χ[\partial]$-모듈러스 위에서 작용하는 방식을 분석함으로써 이루어지며, 순환 모듈러스 공리가 사용된다.
• 1차원 중심 확장은 2형 코호몰로지 $\phi_{\lambda}$에 대한 코호몰로지 조건을 풀어 계산되며, $\lambda$ 및 $\mu$에 대한 차수 분석을 통해 $\phi_{\lambda}$의 형태를 제약한다.
• 분석은 $a=0$과 $a\neq0$의 경우로 나뉘며, 계수 $a_m$의 구조와 유도되는 제약 조건에서 서로 다른 행동을 보인다.
• 스키우-대칭성과 자코비 항등식을 체계적으로 적용하여 자유 매개변수의 수를 줄이고 계수 함수에 대한 함수 방정식을 유도한다.

실험 결과

연구 질문

• RQ1 어떤 $(a,c)$ 값에 대해 $\mathcal{C\!W}(a,c)$가 비자명한 순환 도수를 가지며, 외부 도수 공간의 차원은 얼마인가?
• RQ2 $\mathcal{C\!W}(a,c)$ 위에서 비자명한 기저가 없는 랭크-1 순환 모듈러스가 존재하는 조건은 무엇이며, 그 완전한 분류는 어떻게 이루어지는가?
• RQ3 $\mathcal{C\!W}(a,c)$의 1차원 중심 확장은 무엇이며, 매개변수 $a$와 $c$에 따라 어떻게 달라지는가?
• RQ4 $\mathcal{C\!W}(a,c)$의 구조는 루프 바이라소르 및 블록 유형 대수와 같은 기존의 리 순환 대수들을 어떻게 통합하거나 일반화하는가?

주요 결과

• 만약 $a^{-1}c \notin \u03a7$이면 $\mathcal{C\!W}(a,c)$의 순환 도수는 내부 도수이며, 그렇지 않으면 외부 순환 도수 공간은 1차원이다.
• $a \neq 0$인 경우 $\mathcal{C\!W}(a,c)$ 위의 모든 랭크-1 순환 모듈러스는 자명하며, 즉 작용이 0이다.
• $\mathcal{C\!W}(0,c)$의 경우, 모든 비자명한 기저가 없는 랭크-1 순환 모듈러스는 완전히 분류되며, $c$에 대한 특정 조건에서만 존재한다.
• $\mathcal{C\!W}(a,c)$의 1차원 중심 확장은 $a=0$이 아닐 경우 자명하며, $a=0$이면 특정한 코호몰로지 형태를 가진 비자명한 확장이 존재한다.
• $a \neq 0$이면 중심 확장은 $c \neq 0$이면 자명하고, 비자명한 확장은 오직 $a=0$이고 $c \neq 0$일 때만 존재하며, 확장 매개변수 $\Delta = a_0(L_1,L_{-1})$로 주어진다.
• $\phi_{\lambda}(L_i,L_j)$의 구조는 계수 함수 $A(i+j)$와 $B(i+j)$에 의해 완전히 결정되며, $a \neq 0$이면 $B=0$이고, $a=0$이면 $B$는 임의이다.