[논문 리뷰] The second homology group of current Lie algebras

Pasha Zusmanovich|arXiv (Cornell University)|2008. 08. 01.

Algebraic structures and combinatorial models참고 문헌 8인용 수 10

한 줄 요약

이 논문은 특성 $ p \neq 2 $ 인 체 위의 리 대수 $ L $ 와 교환 법칙을 만족하는 결합 대수 $ A $ 에 대해, 커런트 리 대수 $ L \otimes A $ 의 두 번째 호모로지 군 $ H_2(L \otimes A) $ 에 대한 완전한 분해 공식을 수립한다. 호프 공식과 호모로지 대수 기법을 사용하여, $ H_2(L) \otimes A $, $ B(L) \otimes HC_1(A) $, 그리고 $ L $ 과 $ A $ 의 아벨화 및 대칭/반대칭 곱의 토판 항목을 포함하는 동치 항들과의 이sov미즘을 증명하며, 기존의 카크-무디 대수의 중심 확장을 일반화한다.

ABSTRACT

This is an old paper put here for archeological purposes. We derive a general formula expressing the second homology of a Lie algebra of the form L\otimes A with coefficients in the trivial module through homology of $L$, cyclic homology of $A$, and other invariants of $L$ and $A$. This is achieved by using the Hopf formula expressing the second homology of a Lie algebra in terms of its presentation. We also derive a similar formula for the associated Lie algebra of the tensor product of two associative algebras.

연구 동기 및 목표

• 기존의 아핀 카크-무디 대수의 중심 확장을 임의의 커런트 리 대수 $ L \otimes A $ 로 일반화하기 위해.
• 두 번째 호모로지 군 $ H_2(L \otimes A) $ 가 $ L $ 과 $ A $ 의 불변량에 대해 완전한 분해를 제공하기 위해.
• 특성 $ p \neq 2 $ 인 체 위에서 유효한 일반적인 이sov미즘을 유도함으로써, 이전의 부분적인 결과들을 통합하고 확장하기 위해.
• 비가환 결합 대수로의 공식 확장을 위해 $ (A \otimes B)^{(-)} $ 의 리 대수 구조를 활용하기 위해.

제안 방법

• 자유 리 대수 $ \mathcal{L} $ 를 사용한 표현 $ 0 \to I \to \mathcal{L} \to L \to 0 $ 에 대해 호프 공식 $ H_2(L) \simeq ([\mathcal{L}, \mathcal{L}] \cap I)/[\mathcal{L}, I] $ 을 사용한다.
• 기본 순환을 아벨화에서 분리하기 위해 호프 공식의 개선된 형태를 $ H_2^{\text{ess}}(L) $ 에 적용한다.
• 자유 리 대수와 그 이상의 텐서곱을 사용하여 커런트 대수 $ L \otimes A $ 의 표현을 구성한다.
• 정확한 수열의 분석을 위해 다이어그램 추적과 3×3 보조정리를 활용하여 호모로지 및 코호모로지 이론을 분석한다.
• 비가환 경우에 대해, 사이클 공간에서 직접 계산하고 미분의 상을 몫으로 취해 $ H_2((A \otimes B)^{(-)}) $ 를 계산한다.
• 이sov미즘 $ H_2((A \otimes B)^{(-)}) \simeq F(A,B) \oplus F(B,A) $ 를 사용하며, 여기서 $ F $ 는 순환 호모로지와 토판 항목을 포함하는 특정 호모로지 성분을 나타낸다.

실험 결과

연구 질문

• RQ1 특성 $ p \neq 2 $ 인 체 위에서 커런트 리 대수 $ L \otimes A $ 의 두 번째 호모로지 군 $ H_2(L \otimes A) $ 의 구조는 어떠한가?
• RQ2 기존의 아핀 카크-무디 대수의 중심 확장을 일반화하는 $ H_2(L \otimes A) $ 공식은 어떻게 작용하는가?
• RQ3 비가환 결합 대수로의 $ H_2(L \otimes A) $ 의 분해는 $ (A \otimes B)^{(-)} $ 의 리 대수 구조를 통해 어떻게 확장될 수 있는가?
• RQ4 순환 호모로지 $ HC_1(A) $, 코인variants $ B(L) $, 그리고 $ T(A) $ 와 같은 토판 부분군은 분해에서 어떤 역할을 하는가?

주요 결과

• 두 번째 호모로지 군 $ H_2(L \otimes A) $ 는 다음과 같은 표준 이sov미즘을 갖는다: $ H_2(L) \otimes A \oplus B(L) \otimes HC_1(A) \oplus \wedge^2(L/[L,L]) \otimes \ker(S^2(A) \to A) \oplus S^2(L/[L,L]) \otimes T(A) $.
• 만약 $ L = [L,L] $ 이면, $ \wedge^2(L/[L,L]) $ 와 $ S^2(L/[L,L]) $ 항목이 사라지며 공식이 단순화된다.
• 수정이 약간 필요한 후, $ B = M_n(K) $ 일 때 $ H_2(sl_n(A)) \simeq HC_1(A) $ 라는 기존의 이sov미즘을 공식이 복원한다.
• 비가환 결합 대수 $ A $ 와 $ B $ 에 대해, $ (A \otimes B)^{(-)} $ 의 두 번째 호모로지 군은 $ F(A,B) \oplus F(B,A) $ 로 분해되며, 여기서 $ F $ 는 순환 호모로지와 토판 부분군을 포함하는 방식으로 정의된다.
• $ T(A) $ 는 $ a,b,c \in A $ 에 대해 $ ab \wedge c + ca \wedge b + bc \wedge a $ 의 형태로 생성되며, $ A $ 내의 반대칭 관계를 포착한다.
• 호프 공식과 다이어그램 추적에 기반한 증명 기법은 이전 방법들과는 다릅니다. 이는 특성 $ p \neq 2 $ 인 체 위에서 유효한 새로운 통합적 접근법을 제공한다.