[논문 리뷰] On the Cohomology of the Lie Superalgebra of Contact Vector Fields on $S^{1|2}$

Boujemaâ Agrebaoui, Nizar Ben Fraj외 1명|HAL (Le Centre pour la Communication Scientifique Directe)|2006. 03. 23.

Advanced Topics in Algebra인용 수 15

한 줄 요약

이 논문은 초원주 $S^{1|2}$ 위의 접벡터장의 리 초대수 ${\mathcal{K}}(2)$의 첫 번째 코homology 공간을 초퍼시프소디오퍼레이터 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 계수로 계산한다. Ovsienko와 Roger의 영감을 받은 스펙트럴 시퀀스 기법을 사용하여, 이 공간이 10차원이며 순수하게 짝수임을 증명하며, 모든 10개의 동치류에 대한 명시적 기저 코사이클을 제공한다.

ABSTRACT

We investigate the first cohomology space associated with the embedding of the Lie superalgebra $\cK(2)$ of contact vector fields on the (1,2)-dimensional supercircle $S^{1\mid 2}$ in the Lie superalgebra $\cSΨ\cD \cO(S^{1\mid 2})$ of superpseudodifferential operators with smooth coefficients. Following Ovsienko and Roger, we show that this space is ten-dimensional with only even cocycles and we give explicit expressions of the basis cocycles.

연구 동기 및 목표

• 초원주 $(1,2)$-차원 초원주 위의 접벡터장의 리 초대수에 대해 첫 번째 코homology 공간 $H^1({\mathcal{K}}(2), {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2}))$ 를 계산하는 것.
• Ovsienko와 Roger의 $S^{1|1}$ 경우에 대한 방법을 $S^{1|2}$ 경우로 확장하여 스펙트럴 시퀀스와 필터링된 모듈을 사용하는 것.
• 1-코사이클의 공간을 분류하고, 그들이 짝수인지 홀수인지 판단하는 것, 특히 코homology 공간의 구조에 초점을 맞추는 것.
• 코homology 공간의 기저를 명시적으로 제공하여 모든 비자명한 코사이클을 특성화하는 것.
• 삽입 ${\mathcal{K}}(2) \hookrightarrow {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 의 다항식 변형의 분류에 기여하는 것.

제안 방법

• 초대수 리 대수 코hom올로지의 스펙트럴 시퀀스 방법을 채택하여, 초퍼시프소디오퍼레이터의 순서에 따라 필터링된 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 에 적용하는 것.
• 스펙트럴 시퀀스의 $E_1$-페이지를 계산하기 위해 $\mathrm{Grad}^p({\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2}))$ 를 사용하며, $E_1^{p,q} = H^{p+q}({\mathcal{K}}(2), \mathrm{Grad}^p({\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})))$ 를 식별하는 것.
• 후보 코사이클 $\Upsilon_1, \ldots, \Upsilon_{10}$ 이 차례로 작용하는 미분 $d_r$ 에서 어떻게 행동하는지 분석하여, $E_\infty$-페이지까지 생존하는 것들을 결정하는 것.
• 코사이클을 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 에 올려 미분의 주요 항을 추출하여 $d_1$ 을 기호적으로 계산하는 것.
• 가중 밀도 이론을 $S^{1|2}$ 에 적용하여 코homological 구조의 모델로 사용하며, $S^{1|1}$ 경우와 유사성을 도출하는 것.
• 초퍼스칼라곱과 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 내의 합성 법칙을 $x$, $\theta_i$, $\xi$, $\bar{\theta}_i$ 에 대한 편미분을 통해 정의하는 것.

실험 결과

연구 질문

• RQ1 첫 번째 코homology 공간 $H^1({\mathcal{K}}(2), {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2}))$ 의 차원과 페어리티 구조는 무엇인가?
• RQ2 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 내의 1-코사이클 중에서 ${\mathcal{K}}(2)$ 작용에 대해 비자명하고 선형 독립인 것은 무엇인가?
• RQ3 스펙트럴 시퀀스의 미분 $d_r$ 이 후보 코사이클에 어떻게 작용하며, $E_\infty$-페이지까지 생존하는 것은 무엇인가?
• RQ4 코homology 공간이 명시적으로 구성된 짝수 코사이클로 생성될 수 있으며, 홀수 코사이클은 존재하는가?
• RQ5 삽입 ${\mathcal{K}}(2) \hookrightarrow {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 의 다항식 변형에 있어서의 구조는 무엇인가?

주요 결과

• 첫 번째 코homology 공간 $H^1({\mathcal{K}}(2), {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2}))$ 는 10차원이다.
• 전체 코homology 공간은 순수하게 짝수이며, 홀수 코사이클은 존재하지 않는다.
• 공간은 각각 $F$, 그 도함수, 그리고 연산자 $\eta_i$, $\xi$, $\zeta_i$ 를 포함한 특정 공식으로 정의된 10개의 명시적 1-코사이클 $\Theta_1, \ldots, \Theta_{10}$ 의 동치류로 생성된다.
• $\Theta_1, \Theta_2, \Theta_3$ 는 스펙트럴 시퀀스에서 차수 $-1$ 에 위치하고, $\Theta_4, \ldots, \Theta_9$ 는 차수 $0$, $\Theta_{10}$ 은 차수 $1$ 에 위치한다.
• 스펙트럴 시퀀스 분석을 통해 10개의 코사이클 모두가 $E_\infty$-페이지까지 생존함을 확인하여, 선형 독립성과 비자명성을 확인한다.
• 이전의 $S^{1|1}$ 작업을 일반화하며, 코homology 공간에 대한 완전한 기저를 제공하며, 삽입 ${\mathcal{K}}(2) \to {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 의 다항식 변형의 분류를 뒷받침한다.