[논문 리뷰] Determination of the 2- cocycles for the three point Witt algebra

Elizabeth Jurisich, Renato A. Martins|arXiv (Cornell University)|2014. 10. 20.

Advanced Differential Equations and Dynamical Systems참고 문헌 1인용 수 4

한 줄 요약

이 논문은 $R = \mathbb{C}[t,t^{-1},u]/(u^2 - t^2 - 4t)$일 때 3점 위트 대수 $\mathfrak{Der}(R)$의 2-코호모로지에 대한 명시적 공식을, $\mathfrak{Der}(S)$, $S = \mathbb{C}[s,s^{-1},(s-1)^{-1}]$와의 동형사상에 의해 유도함으로써 도출한다. 여기서 코호모로지들은 이미 알려져 있다. 주요 기여는 조합 항등식, 특히 Chu–Vandermonde 합성법을 활용한 이러한 코호모로지의 폐쇄형 계산으로, 이는 보편 중심 확장과 표현 이론에서의 3점 바이라소르 대수를 구성하는 데 기여한다.

ABSTRACT

We provide formulas for computing the cocycles on a 3-point Witt algebra Der(R), using an isomorphism between two 3-point algebras Der(R) and Der(S), where the cocycle is already defined. These cocycles can be used to construct universal central extensions and the 3-point Virasoro, which are useful for the representation theory of a 3-point current algebra. The computations determining the cocycles on Der(R) involve elegant applications of the Chu-Vandermonde convolution and other identities for sums of binomial coefficients.

연구 동기 및 목표

• R = \mathbb{C}[t,t^{-1},u]/(u^2 - t^2 - 4t)일 때 3점 위트 대수 $\mathfrak{Der}(R)$의 명시적 2-코호모로지 공식을 계산하여 중심 확장과 3점 바이라소르 대수를 구성하는 데 기여한다.
• Bre91에서 제기된 문제를 해결하기 위해, $\mathfrak{Der}(S)$에서 코호모로지가 알려져 있는 $\mathfrak{Der}(R)$에서의 명시적 코호모로지 계산을 동형사상 $f: R \to S$를 통해 수행한다. 여기서 $S = \mathbb{C}[s,s^{-1},(s-1)^{-1}]$이다. [CGLZ14]에서 유래된 결과를 활용한다.
• derived 코호모로지가 $\mathfrak{Der}(R)$에서 0과 코호모로지가 아님을 확인하여, 이들이 3점 전류 대수의 표현 이론에서 비자명하고 유용함을 확인한다.

제안 방법

• R에서 S로의 환 동형사상 $f: R \to S$를 $f(t) = s^{-1}(s-1)^2$, $f(u) = s - s^{-1}$로 정의하고, 그 역 $\phi: S \to R$를 이용하여 $\mathfrak{Der}(S)$에서 알려진 코호모로지를 $\mathfrak{Der}(R)$로 이전한다.
• $\mathfrak{Der}(R)$의 기저를 $d_n = t^n u D$, $e_n = t^n D$로 정의하며, 여기서 $D = (t+2)\partial_u + u\partial_t$이며, 코호모로지를 이 기저를 통해 표현한다.
• $\mathfrak{Der}(S)$에서의 알려진 코호모로지 $\phi_1, \phi_2$를 동형사상에 의해 $\mathfrak{Der}(R)$로의 풀백을 적용하여, $\mathfrak{Der}(R)$에서의 $\bar{\phi}_1, \bar{\phi}_2$를 유도한다.
• 생성 함수와 조합 항등식—특히 Chu–Vandermonde 합성법과 이항 계수 합 항등식—을 사용하여 인덱스에 대한 합을 단순화하고 평가한다.
• 이항 계수 항등식을 활용한 직접 계산을 통해 유도된 형태의 반대칭성과 코호모로지 조건(자코비 항등식)을 검증한다.
• $\bar{\phi}_1(e_k, e_l)$, $\bar{\phi}_1(e_k, d_l)$, $\bar{\phi}_1(d_k, d_l)$ 및 $\bar{\phi}_2$에 대한 유사한 표현식을 유도하여, 이들이 $k, l$과 크로네커 델타에 대해 명시적으로 어떻게 의존하는지 밝힌다.

실험 결과

연구 질문

• RQ1 R = \mathbb{C}[t,t^{-1},u]/(u^2 - t^2 - 4t)일 때 3점 위트 대수 $\mathfrak{Der}(R)$의 2-코호모로지에 대한 명시적 공식은 무엇인가?
• RQ2 S = \mathbb{C}[s,s^{-1},(s-1)^{-1}]일 때 $\mathfrak{Der}(S)$에서 알려진 코호모로지를, $f: R \to S$로 주어진 환 동형사상을 통해 $\mathfrak{Der}(R)$로 어떻게 이전할 수 있는가?
• RQ3 결과적으로 $\mathfrak{Der}(R)$에서의 풀백 코호모로지를 계산하기 위해 필요한 조합 항등식은 무엇이며, 이들은 표현식을 어떻게 단순화하는가?
• RQ4 결과적으로 $\mathfrak{Der}(R)$에서의 코호모로지가 비자명한가(즉, 0과 코호모로지가 아님을 의미함), 그리고 2-코호모로지 조건을 만족하는가?
• RQ5 $\mathfrak{Der}(R)$에서 두 코호모로지 $\bar{\phi}_1$과 $\bar{\phi}_2$ 사이의 정확한 관계는 무엇이며, 이들은 $\mathfrak{Der}(S)$에서 알려진 코호모로지와 어떻게 관련되어 있는가?

주요 결과

• $\mathfrak{Der}(R)$에서 첫 번째 코호모로지 $\bar{\phi}_1$는 $k,l \in \mathbb{Z}$에 대해 $\bar{\phi}_1(e_k, e_l) = 6(-1)^{k+l}2^{k+l}(k-1)kl\frac{(2k+2l-3)!!}{(k+l+1)!}$를 만족하며, 이는 $k+l=0$ 및 $k+l=1$에서만 비영이 된다.
• 두 번째 코호모로지 $\bar{\phi}_2$는 $\bar{\phi}_2(e_k, e_l) = -2\bar{\phi}_1(e_k, e_l)$이며, $\bar{\phi}_2(e_k, d_l) = 0$를 만족하여 두 코호모로지 간의 선형 의존성이 드러난다.
• $d_k, d_l$ 성분에 대해 $\bar{\phi}_1(d_k, d_l)$는 이항 계수와 $(m^3 - m)$ 항을 포함하는 합으로 주어지며, $k+l=0$ 또는 $k+l=1$일 때만 비자명한 값을 갖는다. 결과적으로 $-6(k^3 - k)\delta_{k+l,0} - 12k(k-1)(2k-1)\delta_{k+l,1}$이 된다.
• $\bar{\phi}_1(d_k, d_l)$는 비자명하고 반대칭적이며, 이중 합으로 표현되며 이항 계수와 부호 요소를 포함한다. 최종적으로 Chu–Vandermonde 항등식을 통해 단순화된다.
• $\bar{\phi}_2(d_k, d_l)$는 $\bar{\phi}_2(d_k, d_l) = -2\bar{\phi}_1(d_k, d_l)$를 만족하여, 두 코호모로지가 $d$-기저 요소에서 $-2$의 인자로 선형 의존함을 보여준다.
• 계산 결과, $\mathfrak{Der}(R)$에서의 풀백 코호모로지 $\bar{\phi}_1, \bar{\phi}_2$는 잘 정의되어 있으며, 반대칭적이며 2-코호모로지 조건을 만족함을 확인하였고, 조합 항등식을 통해 명시적 공식이 도출되었다.