[논문 리뷰] Deformations of Hom-Alternative and Hom-Malcev algebras

Mohamed Elhamdadi, Abdenacer Makhlouf|arXiv (Cornell University)|2010. 06. 12.

Advanced Topics in Algebra참고 문헌 35인용 수 21

한 줄 요약

이 논문은 변형 매개변수 $ t $ 를 포함한 멱급수를 사용하여 Gerstenhaber의 형식적 변형 이론을 Hom-대칭 및 Hom-Malcev 대수로 확장한다. 변형 코homology 군을 구성하고, 대수의 자기형사상들을 이용한 복합 구조를 통한 방법을 도입하여 대칭 및 Malcev 대수를 그들의 Hom-구조로 변형시키는 데 성공한다. 주요 기여는 대수의 자기형사상들을 활용한 형식적 변형을 체계적으로 생성하는 절차이며, 4차원 예제에서의 명시적 계산과 컴퓨터 대수 시스템을 통한 검증을 통해 검증된다.

ABSTRACT

The aim of this paper is to extend Gerstenhaber formal deformations of algebras to the case of Hom-Alternative and Hom-Malcev algebras. We construct deformation cohomology groups in low dimensions. Using a composition construction, we give a procedure to provide deformations of alternative algebras (resp. Malcev algebras) into Hom-alternative algebras (resp. Hom-Malcev algebras). Then it is used to supply examples for which we compute some cohomology invariants.

연구 동기 및 목표

• Gerstenhaber의 형식적 변형 이론을 Hom-대칭 및 Hom-Malcev 대수로 일반화하기.
• 이 대수들에 대해 낮은 차수에서 변형 코homology 군을 구성하기.
• 대칭 및 Malcev 대수를 Hom-대칭 및 Hom-Malcev 대수로 변형시키기 위한 복합 기반 절차 제공하기.
• 컴퓨터 대수 시스템을 사용하여 코homological 불변량을 계산하고 명시적 예제 유도하기.
• 대수의 자기형사상이 유효한 Hom-Malcev 대수 변형을 유도할 조건 설정하기.

제안 방법

• 변형 매개변수 $ t $ 를 포함한 멱급수를 사용하여 Gerstenhaber의 형식적 변형 프레임워크를 Hom-대칭 및 Hom-Malcev 대수로 적응시키기.
• Hom-대칭 및 Hom-Malcev 항등식에 맞게 조정된 코체인 복합체를 통해 변형 코homology 정의하기.
• 복합 구조 적용: Malcev 대수 $ (A, [ , ], \text{id}) $ 가 주어지면 $ [ , ]_t = \alpha_t \circ [ , ] $ 과 $ \alpha_t = \text{id} + \sum_{i \geq 1} t^i \alpha_i $ 를 정의하며, 여기서 $ \alpha_t $ 는 자기형사상이다.
• 정리 5.2 를 적용하여 임의의 자기형사상 $ \alpha_t $ 에 대해 $ (A, \alpha_t \circ [ , ], \alpha_t) $ 가 Hom-Malcev 대수임을 보여주기.
• 형식 2의 $ n $ 번째 유도된 Hom-대수를 $ [ , ]_t^{(n)} = \alpha_t^{2^n - 1} \circ [ , ]_t $ 과 $ \alpha_t^{2^n} $ 으로 정의하고, 이들이 또한 Hom-Malcev 대수임을 증명하기.
• 컴퓨터 대수 시스템을 사용하여 4차원 Hom-대칭 대수에서의 도함수와 2차 코사이클을 계산하여 형식론 검증하기.

실험 결과

연구 질문

• RQ1 형식적 변형 이론은 어떻게 Hom-대칭 및 Hom-Malcev 대수로 확장될 수 있는가?
• RQ2 낮은 차수에서 Hom-대칭 및 Hom-Malcev 대수의 변형을 지배하는 코homology 군은 무엇인가?
• RQ3 대수의 자기형사상들을 이용한 복합 과정을 통해 대칭 및 Malcev 대수의 유효한 형식적 변형이 그들의 Hom-구조로 생성될 수 있는가?
• RQ4 4차원 Hom-대칭 대수에서의 변형의 명시적 형태는 무엇이며, 그들의 코homological 불변량은 무엇인가?
• RQ5 형식 2의 유도된 Hom-대수는 변형 과정에서 Hom-Malcev 항등식을 어떻게 유지하는가?

주요 결과

• 논문은 Hom-대칭 및 Hom-Malcev 대수에 대해 변형 코homology 군을 구성하여, Gerstenhaber의 프레임워크를 비결합적 Hom-구조로 확장한다.
• 복합 기반 변형 절차가 확립된다: Malcev 대수 $ (A, [ , ], \text{id}) $ 에 대해 $ \alpha_t = \text{id} + \sum_{i \geq 1} t^i \alpha_i $ 가 자기형사상이면, $ (A, \alpha_t \circ [ , ], \alpha_t) $ 는 Hom-Malcev 대수의 형식적 변형임을 보여준다.
• 형식 2의 $ n $ 번째 유도된 Hom-대수는 $ [ , ]_t^{(n)} = \alpha_t^{2^n - 1} \circ [ , ]_t $ 과 $ \alpha_t^{2^n} $ 으로 정의되며, 이들이 Hom-Malcev 대수임을 증명하여 변형 과정을 일반화한다.
• 4차원 Hom-대칭 대수에서 명시적 계산을 수행하여 도함수와 코사이클을 컴퓨터 대수 시스템을 사용해 유도한다.
• 예시로 $ \alpha_t $ 가 항등사상의 변형임을 보여주며, $ t^4 $ 차수까지의 명시적 괄호 및 비틀림 사상이 포함된 일차 매개변수 가중 Hom-Malcev 대수의 가중 가중치를 제공한다.
• 절차가 $ [e_0, e_1]_t^{(1)} = [ , ]_t + 2t \alpha_1 \circ [ , ]_t + t^2 \alpha_1^2 \circ [ , ]_t $ 와 해당 $ \alpha_t^2 $ 를 통해 변형 구조가 확인됨을 보여주어 절차의 타당성을 검증한다.