[논문 리뷰] On Isomorphism Classes and Invariants of Low Dimensional Complex Filiform Leibniz Algebras (PART 1)

I. S. Rakhimov, Sharifah Kartini Said Husain|ArXiv.org|2007. 10. 01.

Advanced Topics in Algebra참고 문헌 8인용 수 9

한 줄 요약

이 논문은 이전에 수립된 분해의 첫 번째 클래스에서 차원 8 이하의 복소수 비-리 대수의 필리폼 Leibniz 대수를 완전히 분류한다. 이를 위해 [6]에서 제안한 불변량 기반의 동형 기준을 적용하여 차원 8에서 25개의 동형류를 도출하고, $ n $ 차원에서의 동형류 수에 대한 추측 공식 $ N_n = n^2 - 7n + 17 $ 을 제안한다. 이 공식은 $ n = 8 $ 과 $ n = 9 $ 에서 검증되었다.

ABSTRACT

The paper aims to investigate the classification problem of low dimensional complex none Lie filiform Leibniz algebras. There are two sources to get classification of filiform Leibniz algebras. The first of them is the naturally graded none Lie filiform Leibniz algebras and the another one is the naturally graded filiform Lie algebras. Here we do consider Leibniz algebras appearing from the naturally graded none Lie filiform Leibniz algebras. This class can be splited into two subclasses. However, isomorphisms within each class there were not investigated. Before U.D.Bekbaev and I.S.Rakhimov suggested an approach to the isomorphism problem in terms of invariants. This paper presents an implementation of their result in low dimensional cases. Here we give the complete classification of complex none Lie filiform Leibniz algebras in dimensions at most 8 from the first class of the above mentioned result and give a hypothetic formula for the number of isomorphism classes in finite dimensional case.

연구 동기 및 목표

• 문헌 [4]에서 제시된 분해의 첫 번째 클래스로부터 차원 8 이하의 모든 복소수 비-리 대수의 필리폼 Leibniz 대수의 동형류를 분류하는 것.
• 문헌 [6]에서 제시된 불변량 기반의 동형 기준을 구현하여 낮은 차원에서 비동형 대수를 구별하는 것.
• 차원 8에서의 동형류에 대한 대표원의 완전한 목록을 제공하여 총 25개의 서로 다른 대수를 도출하는 것.
• 유한 차원 복소수 비-리 대수의 필리폼 Leibniz 대수에서의 동형류 수에 대한 일반 공식을 제안하는 것.
• 향후 연구에서 두 번째 클래스의 대수를 분류하는 데 기초를 마련하는 것.

제안 방법

• GL_n(\field{C})-작용에 대한 불변량을 기반으로 한 [6]의 동형 기준을 활용하여 대수의 동치성을 판단하는 것.
• A(A+B) ≠ 0 조건을 만족하는 매개변수 A와 B를 포함한 변환 법칙을 적용하여 동형 대수의 구조 상수를 연결하는 것.
• 이중 합과 이항계수를 포함한 재귀 공식을 사용하여 원래의 $ \beta_k $ 에 대해 변환된 구조 상수 $ \beta_t $ 를 계산하는 것.
• 각 차원에서 매개변수 $ \theta, \beta_3, \beta_4, \beta_5, \beta_6 $ 에 대한 다항식 방정식의 연립방정식을 푸는 것으로 분류 문제를 축소하는 것.
• 첫 번째 클래스에 속하는 대수들이 매개변수 $ (\beta_3, \beta_4, \beta_5, \beta_6, \theta) $ 로 정의되며, 동형 조건을 적용하여 중복된 매개변수를 제거하는 것.
• 매개변수를 고정하고 변환 법칙에 따라 동치 여부를 점검함으로써 비동형 대수를 체계적으로 나열하여 차원 8에서 총 25개의 서로 다른 동형류를 도출하는 것.

실험 결과

연구 질문

• RQ1 분해의 첫 번째 클래스에서 차원 8의 복소수 비-리 대수의 필리폼 Leibniz 대수의 동형류는 총 몇 개인가?
• RQ2 차원 8 이하의 복소수 비-리 대수의 필리폼 Leibniz 대수의 동형류에 대한 대표원의 완전한 집합은 무엇인가?
• RQ3 첫 번째 클래스의 $ n $ 차원 복소수 비-리 대수의 필리폼 Leibniz 대수에서의 동형류 수에 대한 일반 공식을 유도할 수 있는가?
• RQ4 문헌 [6]에서 제시한 불변량이 낮은 차원의 비동형 대수를 효과적으로 구별하는 데 어떻게 기여하는가?
• RQ5 $ \beta_3, \beta_4, \beta_5, \beta_6, \theta $ 매개변수들이 동형류 유형을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 분해의 첫 번째 클래스에서 차원 8의 복소수 비-리 대수의 필리폼 Leibniz 대수는 정확히 25개의 동형류가 존재한다.
• 이 25개의 동형류에 대한 대표원의 완전한 목록이 명시적으로 제시되었으며, 각 대수의 비영 구조 상수 곱셈 법칙이 기재되어 있다.
• 공식 $ N_n = n^2 - 7n + 17 $ 은 $ n $ 차원에서의 동형류 수를 나타내는 추측 공식으로 제안되었으며, $ n = 8 $ 과 $ n = 9 $ 에서 검증되었다.
• 문헌 [6]에서 제시한 불변량 기반의 동형 기준은 중복 없이 차원 8의 모든 대수를 성공적으로 분류하였다.
• 분류 결과에 따르면 동형류 수가 차원에 대해 이차적으로 증가하며, 제안된 공식과 일치함을 확인하였다.
• 대수들은 $ (\beta_3, \beta_4, \beta_5, \beta_6, \theta) $ 로 완전히 매개변수화되어 있으며, 동형은 $ A, B $ 의 작용에 의해 결정되며, 이때 $ A(A+B) \neq 0 $ 이다.