[논문 리뷰] A comparison of deformations and geometric study of associative algebras varieties

Abdenacer Makhlouf|ArXiv.org|2006. 01. 31.

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

한 줄 요약

이 논문은 결합 법칙을 만족하는 대수에 대한 여러 변형 이론—형식적, 비환류, 전역, 섭동—을 비교하며, $\mathrm{Alg}_n$의 기하학적 구조와 연관지운다. 고정된 대수는 열린 궤도와 대응하며, 그 아르티노 클로처는 기약 성분을 정의한다. 고정된 대수의 수는 기약 성분의 수에 대한 하한을 제공하며, 차원 6까지의 분류 결과로 확인된다.

ABSTRACT

The aim of this paper is to give an overview and to compare the different deformation theories of algebraic structures. We describe in each case the corresponding notions of degeneration and rigidity. We illustrate these notions with examples and give some general properties. The last part of this work shows how these notions help in the study of associative algebras varieties. The first and popular deformation approach was introduced by M. Gerstenhaber for rings and algebras using formal power series. A noncommutative version was given by Pinczon and generalized by F. Nadaud. A more general approach called global deformation follows from a general theory of Schlessinger and was developed by A. Fialowski in order to deform infinite dimensional nilpotent Lie algebras. In a Nonstandard framework, M.Goze introduced the notion of perturbation for studying the rigidity of finite dimensional complex Lie algebras. All these approaches has in common the fact that we make an "extension" of the field. These theories may be applied to any multilinear structure. We shall be concerned in this paper with the category of associative algebras.

연구 동기 및 목표

• 결합 법칙을 만족하는 대수에 대한 다양한 변형 이론—형식적, 비환류, 전역, 섭동—을 비교하고 대비한다.
• 이러한 변형 프레임워크가 $n$차원 결합 법칙을 만족하는 대수의 대수적 다양체 $\mathrm{Alg}_n$의 기하학적 구조에 어떻게 기여하는지 조사한다.
• 고정성, 붕괴, 그리고 $\mathrm{Alg}_n$ 내 기약 성분 사이의 관계를 설정한다.
• 기약 성분을 분류하고 고정된 대수를 식별하기 위해 아이디포턴트 불변량을 활용한 계산 프레임워크를 제공한다.

제안 방법

• 형식적 변형을 통해 멱급수와 호흐실트 코hom올로지를 사용하여 무한소 변형을 분석한다.
• 스헬링거의 프레임워크를 통한 전역 변형 이론을 적용하여 베르수얼 변형을 구축하고 모듈리 공간을 연구한다.
• 유한 차원 대수의 고정성을 연구하기 위해 비표준 프레임워크에서 무한소 요소를 사용한 섭동 이론을 적용한다.
• $GL(n,\mathbb{K})$의 $\mathrm{Alg}_n$ 위의 작용을 통해 동형류와 궤도를 정의한다.
• 섭동에 대해 선형 독립적인 아이디포턴트의 불변량을 적용하여 기약 성분을 탐지한다.
• 제르스텐하버-지아쿠린토 조건을 통한 호환 가능한 변형을 활용: 두 변형이 같은 성분에 속하려면 $[F,H]_G$ 가 코바운더리여야 한다.

실험 결과

연구 질문

• RQ1 형식적, 비환류, 전역, 섭동 이론 등 다양한 변형 이론이 $\mathrm{Alg}_n$의 기하학을 기술하는 데 얼마나 효과적인가?
• RQ2 대수의 고정성과 $\mathrm{Alg}_n$ 내 궤도의 구조 사이의 관계는 무엇인가?
• RQ3 붕괴와 섭동을 어떻게 활용하여 $\mathrm{Alg}_n$의 기약 성분을 식별할 수 있는가?
• RQ4 아이디포턴트 요소는 섭동 불변성에 의해 기약 성분을 어떻게 구분하는가?
• RQ5 두 변형이 호환 가능하다고 간주할 수 있는 조건은 무엇이며, 이는 공통의 기약 성분과 어떻게 관련되는가?

주요 결과

• 차원 $n$에서의 고정된 결합 법칙을 만족하는 대수의 수는 $\mathrm{Alg}_n$의 기약 성분 수에 대한 하한을 제공한다.
• 차원 2에서 6까지의 기약 성분 수는 각각 1, 2, 5, 10, 그리고 21보다 크며, 차원 6에서는 21개의 고정된 대수가 존재한다.
• 선형 독립적인 아이디포턴트의 수에 대한 불변량은 섭동에 대해 유지되며, 이는 기약 성분의 알고리즘적 탐지에 기여한다.
• 제르스텐하버-지아쿠린토 호환 조건—$[F,H]_G$ 가 코바운더리여야 함—은 두 변형이 같은 기약 성분에 속하기 위해 필수적이다.
• 기하학적 다양체 $\mathrm{Alg}_n$을 정의하는 매개변수의 점점 증가하는 수는 $\frac{4n^3}{27} + O(n^{8/3})$이며, 기약 성분의 수는 큰 $n$에 대해 $\exp(n) < \mathrm{alg}_n < \exp(n^4)$ 를 만족한다.
• 차원 $p = n$ 에서부터 $p = 1$ 까지 아이디포턴트의 수를 세는 기반으로 한 컴퓨터 보조 절차는 $\mathrm{Alg}_n$의 모든 기약 성분을 성공적으로 계산한다.