[논문 리뷰] Dual Lie Bialgebras of Witt and Virasoro Types

Guang’ai Song, Yucai Su|arXiv (Cornell University)|2013. 06. 04.

Algebraic structures and combinatorial models참고 문헌 13인용 수 6

한 줄 요약

이 논문은 원측 워드 대수, 워드 대수, 바이라소르 대수에서 코알제브라의 제한된 쌍대를 구성함으로써, 이들에 대한 이중 리 대수의 구조를 조사한다. 이중성과 코배경 삼각형 구조에 기반한 새로운 접근 방식을 사용하여, 매개변수 $n$, $k$, $ε$에 따라 달라지는 명시적인 괄호 공식을 가진 $τ$-차원 리 대수 $τ[ε, ε^{-1}]$ 위에서 새로운 무한차원 리 대수를 도출한다. 이는 리 대수의 맥락에서 이전에 알려지지 않은 대수적 구조를 드러낸다.

ABSTRACT

Structures of dual Lie bialgebras on the one sided Witt algebra, the Witt algebra and the Virasoro algebra are investigated. As a result, we obtain some infinite dimensional Lie algebras.

연구 동기 및 목표

• 원측 워드 대수, 워드 대수, 바이라소르 대수에 대한 이중 리 대수의 구조를 탐구하며, 이들은 유한차원이 아니므로 자가쌍대성을 갖지 않는다.
• 유한차원에서의 고전적 이중성에도 불구하고, 코배경 삼각형 리 대수의 쌍대화가 새로운, 비동형의 리 대수를 생성하는지 조사한다.
• 워드 및 바이라소르 유형의 제한된 쌍대 코알제브라를 통해 새로운 무한차원 리 대수를 분류하고 구성한다.
• 이중 워드 및 바이라소르 대수에서 코배경 삼각형 리 대수의 구조를 분류하는 열린 문제를 해결하기 위해 그들의 쌍대를 분석한다.

제안 방법

• 유한여부의 부분공간에서 0이 되는 함수들을 포괄하는 제한된 쌍대 공간 $τ^\circ$를 사용하여 $τ[x]$ 및 $τ[x^{\pm 1}]$의 제한된 쌍대 코알제브라를 구성한다.
• 원래 리 대수의 쌍대와의 비퇴화 이중선형형식 $π \cdot, \cdot \rangle$에 의한 이중성 쌍대를 적용하여, 리 괄호와 코괄호 사이의 호환성을 확보한다.
• 클래식 양버스트 방정식(CYBE)을 만족하는 $r \in L \otimes L$를 사용하여 $\delta(x) = x \cdot r$의 코배경 구조를 정의함으로써 삼각형 리 대수의 구조를 설정한다.
• 기존 코알제브라의 구조상수를 포함하는 $A_{ij}$를 사용하여 $τ = τ[ε, ε^{-1}]$ 위에서의 쌍대 리 대수 괄호를 공식 $[\varepsilon^i, \varepsilon^j] = A_{ij} - A_{ji}$를 통해 유도한다.
• 매개변수화된 생성자 $X = \ell_0 x + \ell x^n$ 및 $Y = k_0 x^{2-n} + kx + k_1 x^n$을 사용하여 쌍대 괄호를 정의하며, $τ_0, k_0, k_1$는 $k, \ell, n$에 따라 표현된다.
• 기존의 괄호 계수를 명시적으로 계산함으로써 괄호의 타당성을 검증하고, 이는 Theorem 4.9로 이어지며, 쌍대 리 대수 괄호의 완전한 매개변수화 공식을 제공한다.

실험 결과

연구 질문

• RQ1 워드나 바이라소르 대수와 같이 무한차원인 대수에서 코배경 삼각형 리 대수의 쌍대화가 새로운, 비동형의 리 대수의 구조를 만들어내는가?
• RQ2 원측 워드 대수의 제한된 쌍대 코알제브라의 구조적 성질은 무엇이며, 이는 유한차원 쌍대의 경우와 어떻게 다를까?
• RQ3 바이라소르 대수에서 리 대수의 쌍대화가 여전히 코배경 삼각형일 조건은 무엇인가?
• RQ4 워드 및 바이라소르 대수에서의 쌍대 리 대수의 구조는 이전에 문헌에서 분류된 바 없는 새로운 무한차원 리 대수를 생성하는가?
• RQ5 매개변수 $n$, $k$, $ε$는 $τ[ε, ε^{-1}]$ 위에서 괄호의 구조와 결과로 얻어지는 리 대수에 어떻게 영향을 미치는가?

주요 결과

• 원측 워드 대수의 쌍대 리 대수는 $n \in \mathbb{Z}$, $n \neq 1$, $k, \ell \in \mathbb{F}^*$에 따라 매개변수화된 Theorem 4.9에 의해 정의된 괄호를 가진 새로운 무한차원 리 대수 $τ[ε, ε^{-1}]$를 생성한다.
• 일반적으로 $i=1$, $j \neq 1, 2-n, n$일 때, 괄호 $[\varepsilon, \varepsilon^j]$는 $-k\delta_{j,2-n}\varepsilon^{2-n} - k\delta_{j,n}\varepsilon^n - \frac{k\ell}{2}(2n-j-1)\varepsilon^{j-n+1} + \frac{k}{2(n-1)^2\ell}(3-j-2n)\varepsilon^{j+n-1}$로 주어진다.
• 일반적으로 $i=2-n$, $j \neq 1, 2-n, n$일 때, 괄호 $[\varepsilon^{2-n}, \varepsilon^j]$는 $-\frac{k\ell}{2}(n-1)\delta_{j,n}\varepsilon^{2-n} - \frac{k}{2}\delta_{j,n}\varepsilon + \frac{k(j-1)}{2(n-1)^2\ell}\varepsilon^j + \frac{k(2n-j-1)}{2(n-1)}\varepsilon^{j-n+1}$로 주어진다.
• 일반적으로 $i=n$, $j \neq 1, 2-n, n$일 때, 괄호 $[\varepsilon^n, \varepsilon^j]$는 $\frac{k(2n+j-3)}{2(n-1)}\varepsilon^{j+n-1} + \frac{k\ell}{2}(1-j)\varepsilon^j$로 주어지며, 이는 $j$와 $n$에 대한 비자명한 의존성을 보인다.
• 결과로 얻어진 $τ = τ[ε, ε^{-1}]$ 위의 리 대수는 새로운 것으로서 표준 워드나 바이라소르 대수와 동형이 아니며, Remark 4.10에 의해 확인된다.
• 이러한 구성은 무한차원 리 대수의 쌍대화가 유한차원 이중성에서는 새로운 구조를 생성하지 못하더라도, 새로운 리 대수를 생성할 수 있음을 확인한다.