[논문 리뷰] Second cohomology of Lie rings and the Schur multiplier

Max Horn, Seiran Zandi|arXiv (Cornell University)|2013. 10. 01.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 Lie 링 L과 자명한 L-모듈 A에 대해 두 번째 코homology 군 $ H^2(L,A) $의 명시적 구성법을 제공하며, 코homology 클래스와 중심 확장의 동치류 사이의 일대일 대응을 확립한다. 주요 결과로는 유한 Lie 링에 대해 $ H^2(L,\bbC^*) \to (F^2 \bigcap R)/[F,R] $임을 보이며, Schur multiplier $ M(L) $을 $ H^2(L,\bbC^*) $로 식별함으로써 군 이론과 리 대수 이론의 결과와 유사성을 보인다.

ABSTRACT

We exhibit an explicit construction for the second cohomology group $H^2(L, A)$ for a Lie ring $L$ and a trivial $L$-module $A$. We show how the elements of $H^2(L, A)$ correspond one-to-one to the equivalence classes of central extensions of $L$ by $A$, where $A$ now is considered as an abelian Lie ring. For a finite Lie ring $L$ we also show that $H^2(L, \C^*) \cong M(L)$, where $M(L)$ denotes the Schur multiplier of $L$. These results match precisely the analogue situation in group theory.

연구 동기 및 목표

• Lie 링 L과 자명한 L-모듈 A에 대해 두 번째 코homology 군 $ H^2(L,A) $의 명시적 기술을 제공하는 것.
• A를 아벨 리 링으로 간주할 때, $ H^2(L,A) $의 원소들과 L에 대한 A를 중심으로 하는 확장의 동치류 사이의 전단사 대응을 확립하는 것.
• 유한 Lie 링 L에 대해 Schur multiplier $ M(L) $이 $ H^2(L,\bbC^*) $와 동형임을 증명하여 군 이론과 리 대수 이론에서 알려진 결과를 확장하는 것.
• 리 링과 $ k $-리 대수 사이의 차이를 명확히 하여, 리 링에 대한 결과가 직접적으로 리 대수 이론에 적용되지 않는 이유를 보여주는 것. 이는 자유 대상과 모듈 구조의 차이 때문임.
• 제시형식 $ L = F/R $를 사용하여 리 링에 대한 Hopf 공식의 유사체를 수립하는 것. 여기서 F는 자유이고 R는 아이디얼임.

제안 방법

• 다섯 개의 공리에 의해 코사이클 $ (f,g) \to Z^2(L,A) $를 정의: f에 대한 이원선형성 유사 조건, $ f(x,x)=0 $에서의 반대칭성, f와 g를 포함하는 자코비 유사 항등식, 그리고 g에 대한 대칭성과 가환성.
• 함수 $ t: L \to A $를 통해 코 boundary $ (f,g) $를 정의하며, $ t(0)=0 $을 만족한다. 이때 $ f(x,y) = -t([x,y]) $, $ g(x,y) = t(x)+t(y)-t(x+y) $로 정의되며, 이는 $ B^2(L,A) $를 이룬다.
• 코homology 군을 몫 $ H^2(L,A) = Z^2(L,A)/B^2(L,A) $로 구성하며, 코homology 클래스 $ \bar{(f,g)} $는 확장의 동치류를 나타낸다.
• 제시형식 $ L = F/R $를 사용하여 중심 확장 $ 0 \to A \to L^* \to L \to 0 $과 코homology 클래스 사이의 대응을 lifting 사상 $ \theta: F/[F,R] \to L^* $를 통해 확립한다.
• 전도 사상 $ \text{Hom}(R/[F,R], \bbC^*) \to H^2(L,\bbC^*) $를 사용하여 전성(onto)을 보이며, 확장과 코homology 클래스 사이의 연결 고리를 확립한다.
• 레마 6.4를 적용하여 $ L $이 유한할 경우 $ F^2 \bigcap R / [F,R] $가 유한함을 보이고, $ \text{Hom}(K,\bbC^*) $를 통한 쌍대성에 의해 $ H^2(L,\bbC^*) \to (F^2 \bigcap R)/[F,R] $를 식별한다.

실험 결과

연구 질문

• RQ1 Lie 링 L과 자명한 L-모듈 A에 대해, 두 번째 코homology 군 $ H^2(L,A) $를 어떻게 명시적으로 구성할 수 있는가?
• RQ2 A를 아벨 리 링으로 간주할 때, $ H^2(L,A) $의 원소들과 L에 대한 A를 중심으로 하는 확장의 동치류 사이의 정확한 대응은 무엇인가?
• RQ3 유한 Lie 링 L에 대해 $ H^2(L,\bbC^*) $는 Schur multiplier $ M(L) $과 어떻게 관련되어 있으며, 이는 군 이론의 유사체와 일치하는가?
• RQ4 구조적 유사성에도 불구하고, 리 링에 대한 결과가 리 대수 이론에 대한 결과를 직접적으로 함의하지 않는 이유는 무엇인가?
• RQ5 제시형식 $ L = F/R $를 사용하여, Schur multiplier에 대한 Hopf 공식을 리 링으로 확장할 수 있는가? 그 결과로 $ H^2(L,\bbC^*) $에 대한 표현은 무엇인가?

주요 결과

• Lie 링 L과 자명한 L-모듈 A에 대해 두 번째 코homology 군 $ H^2(L,A) $는 코사이클 $ (f,g) $가 다섯 개의 공리를 만족하고, 함수 $ t: L \to A $로부터 유도되는 코boundary를 통해 $ Z^2(L,A)/B^2(L,A) $로 명시적으로 구성된다.
• 코homology 군 $ H^2(L,A) $의 클래스와 A를 아벨 리 링으로 간주할 때의 중심 확장의 동치류 사이에는 자연스러운 일대일 대응이 존재한다.
• 유한 Lie 링 $ L = F/R $에서 F가 자유일 때, $ H^2(L,\bbC^*) \to (F^2 \bigcap R)/[F,R] $이며, 이는 제시형식을 통해 Schur multiplier를 명시적으로 표현한 것이다.
• Schur multiplier $ M(L) = H_2(L,\bbZ) $는 $ H^2(L,\bbC^*) $와 동형임을 확인하여, 리 링 버전의 Schur multiplier가 군 이론적 및 리 대수 이론적 유사체와 일치함을 입증한다.
• L가 유한할 경우 $ F^2 \bigcap R / [F,R] $의 유한성에 기반하여 $ H^2(L,\bbC^*) $가 또한 유한함을 보여주는 결과가 도출된다. 이는 레마 6.4에 의해 확인된다.
• 결과 $ H^2(L,\bbC^*) \to (F^2 \bigcap R)/[F,R] $는 전도 사상과 $ \text{Hom}(K,\bbC^*) $를 통한 쌍대성에 의해 유도되며, $ K = R/[F,R] $이다. 이는 레마 6.3에서 유도된 전도 사상의 전성에 의존한다.