[논문 리뷰] Normal and normally outer automorphisms of free metabelian nilpotent Lie algebras

Şehmus Fındık|arXiv (Cornell University)|2010. 07. 22.

Finite Group Theory Research참고 문헌 9인용 수 4

한 줄 요약

이 논문은 특성 0인 체 위의 자유 메타아벨 노름화 가능 리 대수 $L_{m,c}$에 대한 정규 자동형사상의 군과 정규적으로 외부 자동형사상의 몫군을 특성화한다. 야코비안 행렬 기법과 와이어드 프로덕트에의 임bedding을 사용하여, 정규 자동형사상은 교환자 이상을 통해 지수함수의 수반 작용으로 유도되는 것임을 보이며, $m$과 $c$에 따라 $ \mathrm{N}(L_{m,c})$의 구조가 아벨, 노름화 가능 또는 메타아벨임을 분류한다. 핵심 결과는 수반 표현에서 다항계수를 통해 정규 자동형사상의 완전한 매개화이다.

ABSTRACT

Let L be the free m-generated metabelian nilpotent of class c Lie algebra over a field of characteristic 0. An automorphism f of L is called normal if f(I)=I for every ideal I of the algebra L. Such automorphisms form a normal subgroup N(L) of Aut(L) containing the group of inner automorphisms. We describe the group of normal automorphisms of L and the quotient group of Aut(L) modulo N(L).

연구 동기 및 목표

• 자유 $m$-생성 메타아벨 노름화 가능 리 대수 $L_{m,c}$ (노름화 가능 차수 $c$) 의 정규 자동형사상의 군 $\mathrm{N}(L_{m,c})$ 를 묘사하는 것.
• 정규적으로 외부 자동형사상으로 이루어진 몫군 $\mathrm{Aut}(L_{m,c})/\mathrm{N}(L_{m,c})$ 의 구조를 규명하는 것.
• 자유 군과 자유 메타아벨 노름화 가능 군에서의 결과를 리 대수 설정으로 일반화하여 군과 리 대수 자동형사상 이론 간의 유사성을 확장하는 것.
• 야코비안 행렬 기법을 사용하여 수반 표현에서 다항계수를 통해 정규 자동형사상을 매개화하는 것.

제안 방법

• $L_{m,c}$ 를 와이어드 프로덕트 $A_m \mathrm{wr} B_m$ 에 임베딩하고, 이상 $(A_m \mathrm{wr} B_m)^{c+1}$ 에 대해 몫을 취함으로써 다항식 계수의 부분도함수와 야코비안 행렬의 사용을 가능하게 한다.
• 교환자 이상 $L_{m,c}'$ 에 속하는 $u$ 에 대해 $\exp(\mathrm{ad}u)$ 를 통해 일반화된 내부 자동형사상을 정의하고, 이들이 모든 이상을 보존함을 보인다.
• 자기형사상 $\varphi$ 의 야코비안 행렬 $J(\varphi)$ 를 핵심 불변량으로 사용하여, $\mathrm{IE}(F_m)$ 를 $M_m(K[t_1,\dots,t_m])$ 에 단사적으로 매핑한다.
• $m \geq 3, c \geq 2$ 또는 $m=2, c \geq 4$ 일 때 정규 자동형사상이 $\mathrm{IA}(L_{m,c})$ 에 속하고, 야코비안 행렬의 항들에 대한 다항식 조건을 통해 그 구조를 분석함을 증명한다.
• 임의의 정규 IA-자기형사상을 표준형으로 줄이기 위해 내부 자동형사상 $\phi_1, \dots, \phi_{m-1}$ 의 수열을 구성한다.
• 리 대수에 대한 프라이헤이트사츠 정리와 호프 성질을 적용하여 자유 리 대수에서는 비자명한 정규 자동형사상이 존재하지 않음을 규명하며, 이는 $L_{m,c}$ 에서 더 rich한 구조와 대비된다.

실험 결과

연구 질문

• RQ1 자유 메타아벨 노름화 가능 리 대수 $L_{m,c}$ 의 정규 자동형사상의 군 $\mathrm{N}(L_{m,c})$ 의 구조는 무엇인가?
• RQ2 $\mathrm{N}(L_{m,c})$ 는 교환자 이상에 대해 자명하게 작용하는 자동형사상의 군 $\mathrm{IA}(L_{m,c})$ 와 어떻게 관련이 있는가?
• RQ3 몫군 $\mathrm{Aut}(L_{m,c})/\mathrm{N}(L_{m,c})$ 는 어떤 성질을 가지며, 어떻게 매개화할 수 있는가?
• RQ4 $m$ 과 $c$ 에 어떤 조건이면 $\mathrm{N}(L_{m,c})$ 가 아벨, 차수 2의 노름화 가능 또는 메타아벨가 되는가?
• RQ5 정규 자동형사상의 야코비안 행렬은 그 항들에 대한 다항식 조건으로 완전히 특성화될 수 있는가?

주요 결과

• 모든 $m \geq 3, c = 2$ 에 대해 군 $\mathrm{N}(L_{m,c})$ 는 아벨이다.
• 모든 $m \geq 3, c = 3$ 에 대해 군 $\mathrm{N}(L_{m,c})$ 는 차수 2의 노름화 가능이다.
• 모든 $m \geq 2, c \geq 4$ 또는 $(m,c) = (2,2)$ 에 대해 군 $\mathrm{N}(L_{m,c})$ 는 메타아벨이다.
• $(m,c) = (2,3)$ 일 때 군 $\mathrm{N}(L_{m,c})$ 는 차수 2의 노름화 가능-아벨 군이다.
• 임의의 정규 자동형사상 $\varphi$ 의 야코비안 행렬은 $J(\varphi) = I_m + \sum_{i=1}^m t_i G_i$ 의 형태를 가지며, 여기서 $G_i$ 는 $K[t_1,\dots,t_m]$ 의 항들을 갖는 행렬이면서 특정한 다항식 조건을 만족한다.
• 모든 정규 자동형사상 $\varphi$ 는 교환자 이상에 속하는 $u$ 에 대해 $\exp(\mathrm{ad}u)$ 의 내부 자동형사상의 합성으로 표현 가능하며, 이에 따라 얻어진 야코비안 행렬이 자동형사상을 유일하게 결정한다.