[논문 리뷰] Infinitesimal deformations of symmetric simple modular Lie algebras and Lie superalgebras

Sofiane Bouarroudj, Pavel Grozman외 1명|arXiv (Cornell University)|2008. 07. 18.

Algebraic structures and combinatorial models참고 문헌 18인용 수 9

한 줄 요약

이 논문은 복소수 폐쇄체의 양의 특성수에서 대칭 단순 모듈라 리 대수와 리 초대수를 다루며, SuperLie Mathematica 패키지를 사용하여 무한소 변형을 연구한다. 모든 기저 코호몰로지가 적분 가능함을 보이며, 짝수 코호몰로지는 항상 적분 가능하지 않다; 그러나 적분 가능할 경우 전역 변형은 매개수에 대해 선형이 된다. 특성 2에서 3차원 단순 리 대수는 서로 동형이 아닌 연속적인 1차원 가중치 가중치를 가진 변형을 허용하며, Chebochko가 이전에 발견한 20개의 무한소 변형에서 유래한 두 전역 변형을 통해 특정 G(2)의 변형이 나타남을 보였다.

ABSTRACT

Abstract. Over algebraically closed fields of positive characteristic, infinitesimal deformations of simple finite dimensional symmetric (the ones that with every root have its opposite of the same multiplicity) Lie algebras and Lie superalgebras are described for small ranks. The results are obtained by means of the Mathematica based code SuperLie. The infinitesimal deformation given by any odd cocycle is integrable. The moduli of the deformations form, in general, a supervariety. Not each even cocycle is integrable; but for those that are integrable, the global deforms (the results of deformations) are linear with respect to the parameter. In characteristic 2, the simple 3-dimensional Lie algebra admits a parametric family of non-isomorphic simple deforms. Some of Shen’s ”variations of G(2) theme ” are interpreted as two global deforms corresponding to the several of the 20 infinitesimal deforms first found by Chebochko; we give their explicit form. 1.

연구 동기 및 목표

• 대수적으로 닫힌 양의 특성수체 위에서 낮은 랭크의 대칭 단순 유한차원 리 대수와 리 초대수의 무한소 변형을 분류하는 것.
• 무한소 변형 중 어떤 것이 적분 가능한지 결정하고, 그로 인한 전역 변형 대수의 구조를 기술하는 것.
• 기존에 알려진 G(2)의 변형을 이전에 식별된 무한소 변형에서 기인하는 전역 변형으로 해석하는 것.
• 변형의 모듈리 공간을 분석하여 일반적으로 초다양체(supermanifold)를 이룬다는 것을 보여주는 것.

제안 방법

• 연구는 Mathematica에 구현된 SuperLie 컴퓨터 대수 시스템을 사용하여 대칭 모듈라 리 대수와 초대수의 코호몰로지 및 변형 데이터를 계산한다.
• 무한소 변형은 리 대수의 고정 모듈러스에 대한 코호몰로지 분석을 통해 분석되며, 기저 및 짝수 코호몰로지에 초점을 맞춘다.
• 코호몰로지의 적분 가능성은 변형이 형식적 멱급수 변형으로 확장 가능한지 여부를 점검하여 평가된다.
• 변형의 모듈리 공간의 구조를 연구하여, 기저 매개수의 존재로 인해 일반적으로 초다양체(supermanifold)임을 보였다.
• 적분 가능한 짝수 코호몰로지에 대응하는 전역 변형의 명시적 형태를 유도하였으며, 이들이 변형 매개수에 대해 선형임을 보였다.
• 기존의 G(2) 변형은 Chebochko의 20개의 무한소 변형에서 기인한 두 특별한 전역 변형과 일치시켜 재해석하였다.

실험 결과

연구 질문

• RQ1 대칭 모듈라 리 대수와 초대수의 무한소 변형 중 어떤 것이 적분 가능하며, 그로 인한 전역 변형의 구조는 어떻게 되는가?
• RQ2 변형의 모듈리 공간은 어떻게 행동하며, 일반적으로 초다양체(supermanifold)를 형성하는 이유는 무엇인가?
• RQ3 기존에 알려진 G(2)의 변형은 이전에 식별된 무한소 변형에서 체계적으로 유도될 수 있는가?
• RQ4 대칭 모듈라 리 대수의 변형 이론에서 기저 코호몰로지와 짝수 코호몰로지의 역할은 무엇인가?
• RQ5 특성 2에서, 특히 낮은 랭크의 경우에서 서로 동형이 아닌 연속적인 가중치 가중치를 가진 단순 변형의 가중치 가중치는 어떤 형태로 나타나는가?

주요 결과

• 기저 코호몰로지에서 유도된 모든 무한소 변형은 적분 가능하며, 이는 이러한 경우에 전역 변형의 존재를 보장한다.
• 적분 가능한 짝수 코호몰로지의 경우, 그로 인한 전역 변형은 변형 매개수에 대해 선형이므로 단순한 대수적 구조를 가진다.
• 특성 2에서 3차원 단순 리 대수는 서로 동형이 아닌 연속적인 1차원 매개수 가중치 가중치를 가진 단순 변형을 허용한다.
• 변형의 모듈리 공간은 일반적으로 초다양체(supermanifold)를 이룬다. 이는 변형 매개수의 초대수적 성격을 반영한다.
• Shen의 'G(2) 테마의 변형' 중 일부는 Chebochko의 20개의 무한소 변형에서 기인한 두 전역 변형과 명시적으로 대응됨을 보였다.
• 이 G(2) 관련 변형을 실현하는 두 전역 변형의 명시적 형태를 제공하였으며, 그들의 대수적 구조를 확인하였다.