[논문 리뷰] On the algebraic variety of Hom-Lie algebras

Elisabeth Remm, Michel Goze|arXiv (Cornell University)|2017. 06. 08.

Advanced Topics in Algebra참고 문헌 2인용 수 6

한 줄 요약

이 논문은 영 characteristic의 대수적으로 닫힌 체 위에서 $ n $-차원 Hom-Lie 대수의 집합이 아핀 공간 $ \mathbb{K}^{n^2(n-1)/2} $ 내의 대수적 부분다양체임을 증명한다. $ n=3 $일 때는 모든 비대칭 대수들이 Hom-Lie임을 보이고, $ n=4 $일 때는 Hom-Lie 대수들이 초다양체임을 밝힌다. 또한 Hom-Lie 대수와 관련된 유일한 이항 이차 작동법은 Lie 작동법임을 규명하여, Hom-Lie 대수들이 Lie 대수를 초월해 다른 이차 작동법을 일반화하지 못함을 보여준다.

ABSTRACT

The set HLie(n) of the n-dimensional Hom-Lie algebras over an algebraically closed field of characteristic zero is provided with a structure of algebraic subvariety of the affine plane of dimension n^2(n-1)/2}. For n=3, these two sets coincide, for n=4 it is an hypersurface in K^{24}. For n>4, we describe the scheme of polynomial equations which define HLie(n). We determine also what are the classes of Hom-Lie algebras which are P-algebras where P is a binary quadratic operads.

연구 동기 및 목표

• 비대칭 대수들의 공간 내에서 $ n $-차원 Hom-Lie 대수의 집합이 대수적 부분다양체임을 확립하기.
• 차원 $ n=3 $과 $ n=4 $에서 Hom-Lie 대수를 분류하여, 모든 3차원 비대칭 대수가 Hom-Lie임을 보이고, $ \mathcal{H}Lie_4 $ 가 $ \mathbb{K}^{24} $ 내의 초다양체임을 보이기.
• 어느 이항 이차 작동법 $ \mathcal{P} $ 가 대수들이 Hom-Lie 대수임을 만족하는지 확인하기.
• Hom-Jacobi 항등식을 표현하는 행렬 $ M_\mu $ 의 핵을 분석하여 Hom-Lie 대수의 배경이 되는 작동법적 구조를 규명하기.

제안 방법

• 구조 상수 $ C_{i,j}^k $ 를 사용하여 $ n $-차원 Hom-Lie 대수를 표현하고, 이를 비대칭 대수의 공간에 통합함으로써 $ \mathbb{K}^{n^2(n-1)/2} $ 에 매립하기.
• 순환 합 $ \circlearrowleft_{x,y,z} \mu(\mu(x,y),\alpha(z)) = 0 $ 를 사용하여 Hom-Jacobi 항등식을 정의하고, 이를 행렬 $ M_\mu $ 에 코딩함으로써 유효한 Hom-Lie 구조를 결정하는 핵을 도출하기.
• 대칭군 $ \sum_n $ 의 작용을 이용하여 $ M_\mu $ 의 핵 내의 $ \sum_n $-불변 관계를 식별하고, 이를 작동법적 구조로 이끌기.
• $ n=3 $ 과 $ n=4 $ 에서 $ M_\mu $ 의 핵을 분석하여, $ \mathcal{H}Lie_n $ 이 대수적 다양체로 정의되는 다항식 방정식을 유도하기.
• 특히 $ f = \text{Id} $ 인 경우를 포함한 $ \ker M_\mu $ 내의 자기사상 $ f $ 의 역할을 분석하여, Hom-Jacobi 항등식이 고전적 Jacobi 항등식으로 줄어드는 조건을 규명하기.
• 비대칭 곱에 대해 $ \mathcal{F}(E)(3) $ 와 $ \mathcal{P}(3) $ 의 구조를 연구하고, 이항 이차 작동법 중에서 유일하게 Hom-Lie 대수와 호환되는 것은 Lie 작동법임을 규명하기.

실험 결과

연구 질문

• RQ1 어느 차원 $ n $ 에서 $ n $-차원 Hom-Lie 대수의 다양체가 비대칭 대수들의 공간의 진부분다양체가 되는가?
• RQ2 $ n=3 $ 과 $ n=4 $ 에서 $ \mathcal{H}Lie_n $ 의 기하적 구조는 어떻게 되며, $ n \geq 5 $ 일 때는 어떻게 다를까?
• RQ3 어느 이항 이차 작동법 $ \mathcal{P} $ 가 $ \mathcal{P} $-대수들이 Hom-Lie 대수임을 만족하는가?
• RQ4 Hom-Jacobi 항등식은 작동법적 구조로 해석될 수 있는가? 만약 가능하다면, 어떤 작동법이 이와 호환되는가?
• RQ5 왜 $ M_\mu $ 의 핵은 Hom-Lie 대수의 맥락에서 이항 이차 작동법 중에서 오직 Lie 작동법만을 도출하는가?

주요 결과

• $ n=3 $ 일 때, 모든 3차원 비대칭 대수는 Hom-Lie 대수이며, 이는 $ \mathcal{H}Lie_3 = \mathcal{SA}lg_3 $ 를 의미한다.
• $ n=4 $ 일 때, 집합 $ \mathcal{H}Lie_4 $ 는 $ \mathbb{K}^{24} $ 내의 초다양체를 이룬다. 이는 Hom-Jacobi 항등식에서 유도된 네 개의 독립된 다항식 방정식으로 정의된다.
• $ n \geq 5 $ 일 때, 다양체 $ \mathcal{H}Lie_n $ 은 Hom-Jacobi 항등식을 코딩하는 다항식 방정식의 체계로 정의되며, 논문에서는 전체 체계가 명시적으로 나열되지 않는다.
• Hom-Lie 대수의 $ \mathcal{P} $-대수임을 만족하는 오직 유일한 이항 이차 작동법은 Lie 작동법 $ \mathcal{L}ie $ 이며, 이는 $ f = \text{Id} $ 의 경우에 해당한다.
• $ M_\mu $ 의 핵에는 오직 Lie 작동법만이 $ \sum_3 $-불변 구조로 존재한다. 다른 잠재적 자기사상 $ f $ 는 자명하거나 불변 관계가 아니므로, 다른 이항 이차 작동법은 배제된다.
• $ \ker M_\mu $ 내의 $ v_f $ 를 분석한 결과, 오직 $ a_1 = b_2 = c_3 = d_4 = 1 $ 이고 $ f = \text{Id} $ 인 경우에만 비자명한 $ \sum_3 $-불변 체계가 도출되며, 이는 Lie 작동법이 유일한 후보임을 확인한다.