[논문 리뷰] Homology of Lie algebra of supersymmetries

M. V. Movshev, Albert Schwarz외 1명|arXiv (Cornell University)|2010. 11. 22.

Advanced Topics in Algebra참고 문헌 7인용 수 10

한 줄 요약

이 논문은 초대칭의 초리 대수와 D=10 및 D=6에서의 초로앙크레 대수의 코homology와 호모로지 군을 고스트 변수를 사용한 리 대수 코homology를 통해 계산한다. 코homology 군을 정규 표현으로 분해하고, 다항식 환 위에서의 생성자를 식별하며, Hochschild-Serre 스펙트럴 시퀀스를 적용하여 초로앙크레 대수 코homology를 초대칭 대수 코homology의 L-불변 성분을 통해 계산한다.

ABSTRACT

We study the homology and cohomology groups of super Lie algebra of supersymmetries and of super Poincare algebra. We discuss in detail the calculation in dimensions D=10 and D=6. Our methods can be applied to extended supersymmetry algebra and to other dimensions.

연구 동기 및 목표

• D=10 및 D=6에서의 초대칭의 초리 대수와 초로앙크레 대수의 코homology와 호모로지 군을 계산한다.
• 최고 무게 레이블을 사용하여 각각 so(10) 및 so(6)의 표현으로서 코homology 군을 기술한다.
• 짝수 고스트 변수의 다항식 환 위에서의 모듈로로 코homology의 유한한 생성자 집합을 식별한다.
• 텐서곱 법칙을 통해 경계 항을 분석함으로써 미분에 의해 생존하는 코homology 클래스를 규명한다.
• Hochschild-Serre 스펙트럴 시퀀스를 활용하여 초대칭 대수 코homology의 L-불변 성분을 중심으로 초로앙크레 대수 코homology를 계산한다.

제안 방법

• 초리 대수의 항법 상수를 사용하여 고스트 변수의 다항식 함수 대수 위에서 미분 d를 정의하고, d² = 0을 만족시킨다.
• 짝수 고스트 t^α와 홀수 고스트 c^m의 차수에 의한 이중 그레디에이션을 사용하고, k = m + 2n으로 재정의하여 미분 작용을 분리한다.
• 초로앙크레 대수 코homology를 계산하기 위해 Hochschild-Serre 스펙트럴 시퀀스를 적용하여, 정규리 대수의 코homology와 초대칭 대수 코hom로의 L-불변 코homology의 텐서곱으로 표현한다.
• 스핀어 표현 S ⊗ [i,j,p,q]의 텐서곱 공식을 사용하여 코homology 클래스 위에서의 미분 작용을 계산하고, 경계 항을 식별한다.
• 최대 전파 원리에 기반한 차수 세기와 귀납적 증명을 통해 코homology 군의 분해를 검증한다.
• 경계 항(빨간색, 위에 가로줄)과 경계로 사라지는 항(파란색, 아래줄)을 구분하여, 코homology에 기여하는 것은 비경계 항뿐임을 보장한다.

실험 결과

연구 질문

• RQ1 D=10 및 D=6에서 초대칭의 초리 대수의 코homology 군은 정규리 대수 so(10) 및 so(6)의 표현으로 어떻게 표현되는가?
• RQ2 미분 d는 코체인 복합체 위에서 어떻게 작용하며, 어떤 성분이 비자명한 코homology 클래스로 생존하는가?
• RQ3 코homology는 다항식 환 C[t^1, ..., t^α] 위에서의 모듈로로 어떻게 구조화되어 있는가?
• RQ4 초대칭 대수 코homology의 어떤 성분이 정규리 대수의 작용에 대해 불변이며, 초로앙크레 대수 코homology에 어떻게 기여하는가?
• RQ5 Hochschild-Serre 스펙트럴 시퀀스는 초대칭 대수 코homology로부터 초로앙크레 대수 코homology를 계산하는 데 어떤 역할을 하는가?

주요 결과

• D=10에서 초대칭의 초리 대수 코homology H^{k,n}은 so(10)의 기약 표현으로 분해되며, H^{k,0} = [0,0,0,0,k], H^{k,1} = [0,0,0,1,k-3], ... , H^{k,5} = [0,0,0,0,k-12]까지 성립한다.
• k=4일 때, H^{4,1}에 추가로 스칼라 항 [0,0,0,0,0]이 나타나 일반 패턴에 대한 비자명한 수정을 나타낸다.
• 코homology는 C[t^1,...,t^α] 위에서의 모듈로로 표현되며, H^{1,0}과 H^{2,1}이 생성자로 작용하고, 나머지 모든 클래스는 다항식 곱셈으로 표현 가능하다.
• D=6에서는 초로앙크레 대수 코homology가 (m,n) = (0,0) 및 (2,1)에서만 비영이 되며, 이는 자명한 표현과 랭크-2 대칭 텐서 표현에 해당한다.
• D=10에서는 초로앙크레 대수 코homology에 대한 유일한 비자명한 기여는 (m,n) = (0,0), (2,1), (2,5)에서 발생하며, (2,5)는 코homology 모듈로에서 최고 무게 [0,0,0,0,2]에 해당한다.
• 경계 항은 텐서곱 법칙과 귀납적 증명을 통해 식별되며, 비자명한 코homology 클래스로 생존하는 것은 특정 기약 표현 성분뿐임을 확인한다.