[논문 리뷰] The analogs of the Riemann tensor for exceptional structures on supermanifolds

Pavel Grozman, Dimitry Leites외 1명|ArXiv.org|2005. 09. 22.

Algebraic structures and combinatorial models참고 문헌 23인용 수 8

한 줄 요약

이 논문은 Weisfeiler grading 하에 있는 15개의 예외적 단순 무한차원 벡터성 리 초군수대수에 대해 $ i = 0,1,2 $에 대해 $ H^i(\frak{g}_{-}; \frak{g}) $의 코homology를 계산한다. 주요 결과로는 $ H^2 $이 초다양체의 비완전적 분포를 가지는 비홀로노믹 곡률 텐서의 값의 공간으로 식별되며, 이는 $ \frak{ksle}(9|6;2) $ 초군수대수와 같이 $ \dim H^2 = (140|140) $인 예외적 케이스에서 비영인 곡률을 드러내며, 비홀로노믹 구조에 대한 초군수의 곡률에 해당하는 초기하학적 해석을 제공한다.

ABSTRACT

H. Hertz called any manifold M with a given nonintegrable distribution {\it nonholonomic}. Vershik and Gershkovich stated and R. Montgomery proved that the space of germs of any nonholonomic distribution on M with an open and dense orbit of the diffeomorphism group is either (1) of codimension one or (2) an Engel distribution. No analog of this statement for supermanifolds is formulated yet, we only have some examples: our list (an analog of E.Cartan's classification) of simple Lie superalgebras of vector fields with polynomial coefficients and a particular (Weisfeiler) grading contains 16 series similar to contact ones and 11 exceptional algebras preserving nonholonomic structures. Here we compute the cohomology corresponding to the analog of the Riemann tensor for the SUPERmanifolds corresponding to the 15 exceptional simple vectorial Lie superalgebras, 11 of which are nonholonomic. The cohomology for analogs of the Riemann tensor for the manifolds with an exceptional Engel manifolds are computed in math.RT/0202213.

연구 동기 및 목표

• 비홀로노믹 초다양체에 대해 고전적 리만 곡률의 개념을 리 초군수대수 코hom로 확장하기.
• 비홀로노믹 분포를 유지하는 예외적 단순 벡터성 리 초군수대수에 대해 곡률 유사 불변량을 분류하고 계산하기.
• 고전적 경우에서 R. Montgomery의 결과에 대한 초기하학적 초군수 해석 제공하기.
• 비재조합적, 무한차원 리 초군수대수를 연구하기 위해 SuperLie와 같은 계산 도구의 필수성 입증하기.
• Weisfeiler grading에서 $ \frak{g}_{-} $-모듈의 코hom로 곡률 이론의 기초 마련하기.

제안 방법

• 예외적 단순 벡터성 리 초군수대수의 Weisfeiler grading을 사용하여 $ i = 0,1,2 $에 대해 리 초군수대수 코homology $ H^i(\frak{g}_{-}; \frak{g}) $ 계산하기.
• 비완전적 분포를 가진 초다양체에 대해 $ H^2(\frak{g}_{-}; \frak{g}) $를 비홀로노믹 곡률 텐서의 값의 공간으로 해석하기.
• 비재조합적 및 무한차원 초군수대수의 경우에 특히, Mathematica 내 SuperLie 패키지를 사용하여 코homology 계산 수행하기.
• $ \frak{g}_0 $-모듈 구조 분석을 통해 코homology 내의 기약 성분과 그 차원 식별하기.
• 비홀로노믹 분포의 기하학을 연구하기 위해 Spencer 코hom로 및 Cartan 연장 기법 적용하기.
• 수작업 계산 결과(예: Poletaeva)와의 비교를 통해 계산 방법의 타당성 검증하기.

실험 결과

연구 질문

• RQ1 비홀로노믹 초다양체에 대한 리만 곡률 텐서의 초기하학적 초군수 해석은 무엇인가?
• RQ2 코homology $ H^2(\frak{g}_{-}; \frak{g}) $는 예외적 초다양체 기하학에서 곡률 정보를 어떻게 코딩하는가?
• RQ3 15개의 예외적 단순 벡터성 리 초군수대수 중에서 비영인 비홀로노믹 곡률을 지닌 것은 무엇인가?
• RQ4 완전 분해 가능성이 없는 환경에서 비재조합적, 무한차원 리 초군수대수의 코homology를 SuperLie 패키지가 신뢰성 있게 계산할 수 있는가?
• RQ5 $ \frak{ksle}(9|6;2) $ 초군수대수의 곡률 공간의 차원과 구조는 무엇인가?

주요 결과

• $ \frak{ksle}(9|6;2) $ 초군수대수의 경우, $ \dim H^2(\frak{g}_{-}; \frak{g}) = (140|140) $이며, 이는 비홀로노믹 곡률 불변량의 풍부한 공간을 나타낸다.
• $ H^2 $는 15개의 예외적 초군수대수 중 11개에서 비자명하며, 이는 예외적 비홀로노믹 초다양체에서 곡률이 영이 아님을 확인한다.
• $ H^2 $의 $ \frak{g}_0 $-모듈 분해는 차원 $ (8|6) $, $ (0|1) $, $ (160|160) $의 기약 성분 포함하며, 곡률 불변량의 다층적 구조를 보여준다.
• $ \frak{ksle}(9|6;2) $의 경우 $ H^0 $의 차원은 $ (140|140) $이며, $ \frak{sl}(3) \oplus \frak{sl}(2) $에 대해 최고 무게 벡터들이 여러 기약 표현을 생성한다.
• $ \frak{ksle}(9|6;2) $의 $ H^1 $ 코homology는 차원 $ (8|8) $이며, 짝수 및 홀수 최고 무게는 각각 $ (0,0,1) $, $ (1,0,1) $, $ (0,0,1) $, $ (0,1,1) $이다.
• 결과는 SuperLie를 통한 컴퓨터 보조 계산이 비재조합적, 무한차원 리 초군수대수를 연구할 때 기존 방법이 실패하는 상황에서 필수적임을 확인한다.