[논문 리뷰] Universal central extensions of $\mathfrak{sl}(m, n, A)$ of small rank over associative superalgebras

Xabier García‐Martínez, M. Ladra|arXiv (Cornell University)|2014. 05. 15.

Advanced Topics in Algebra참고 문헌 10인용 수 3

한 줄 요약

이 논문은 결합수준 $m+n=3,4$에서 미해결이었던 경우들인 $\mathfrak{sl}(2,1,A)$, $\mathfrak{sl}(3,1,A)$, $\mathfrak{sl}(2,2,A)$를 포함하여, 결합수준이 $m+n \geq 3$인 모든 경우에 대해, 결합수준이 $m+n=3,4$인 경우에 대해 $\mathfrak{sl}(m,n,A)$ 및 $\mathfrak{st}(m,n,A)$의 보편 중심확장과 두 번째 호모로지 군을 완전히 분류한다. 슈퍼 2-코사이클과 준동형 구조를 이용하여, 이 경우들에서 $\mathfrak{st}(m,n,A)$가 $\mathfrak{sl}(m,n,A)$의 보편 중심확장임을 입증하고, 순환호모로지와 $mA + [A,A]$를 포함한 아이디얼에 대한 몫을 이용하여 $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ 및 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$의 명시적 기술을 제공한다. 이 결과들은 이전의 $m+n \geq 3$에 대한 연구를 통합하고 완성한다. 주요 기여는 이러한 모든 슈퍼대수에 대해 두 번째 호모로지의 완전한 특성화이다.

ABSTRACT

We complete the solution of the problem of finding the universal central extension of the matrix superalgebras $\mathfrak{sl}(m, n, A)$ where $A$ is an associative superalgebra and computing $H_2\big(\mathfrak{sl}(m, n, A)\big)$. The Steinberg Lie superalgebra $\mathfrak{st}(m, n, A)$ has a very important role and we will also find out $H_2\big(\mathfrak{st}(m, n, A)\big)$. In Chen and Sun (arXiv:1311.7079, 2013) it is solved the problem where $m+n \geq 5$ and in Chen and Guay (Algebr. Represent. Theory, 2013) it is solved when $n=0$, so here we work out the three remaining cases $\mathfrak{sl}(2, 1, A), \mathfrak{sl}(3, 1, A)$ and $\mathfrak{sl}(2, 2, A)$.

연구 동기 및 목표

• 결합수준 $m+n=3,4$에서 이전에 해결되지 않은 $\mathfrak{sl}(m,n,A)$ 및 $\mathfrak{st}(m,n,A)$의 보편 중심확장 분류를 완료한다.
• 모든 $m+n \geq 3$에 대해 $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ 및 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$를 계산하여 슈퍼대수 구조에서 두 번째 호모로지의 특성화를 완성한다.
• 남은 세 경우인 $\mathfrak{sl}(2,1,A)$, $\mathfrak{sl}(3,1,A)$, $\mathfrak{sl}(2,2,A)$에서 $\mathfrak{st}(m,n,A)$가 $\mathfrak{sl}(m,n,A)$의 보편 중심확장임을 입증한다.
• 결합수준 $m+n \geq 5$ 또는 $n=0$인 경우에 대해 이전 연구의 결과를 통합하여, 모든 $m+n \geq 3$에 대해 완전한 프레임워크를 구축한다.

제안 방법

• 보편성의 검증을 위해 슈퍼 2-코사이클을 통한 $\rho: \mathfrak{st}(m,n,A)^\sharp \to \widetilde{\mathfrak{st}}(m,n,A)$라는 리 슈퍼대수 준동형을 구성한다.
• 스테인베르크 슈퍼대수 $\mathfrak{st}(m,n,A)$를 보편 중심확장으로 사용하며, 슈퍼트레이스와 괄호 항등식에서 유도된 특정 관계를 만족하는 생성자 $F_{ij}(a)$를 포함한다.
• 맵 $v_{ijkl}(a)$에 대한 코사이클 조건 (C1)–(C3)의 검증을 포함한다. 이는 반대칭성, 그레이드 자코비 항등식, 슈퍼대수의 교환자에 대한 불변성을 포함한다.
• 보편 중심확장의 핵을 두 번째 호모로지 군을 통해 명시적으로 계산하며, 등장사상 $\ker(\rho) \cong \operatorname{H}_2(\mathfrak{sl}(m,n,A))$를 이용한다.
• 패리티 전환 함자 $\Pi$와 몫대수 $A_m = A / (mA + [A,A])$를 활용하여 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$의 구조를 기술한다.
• 논문 [3], [4] 및 본 연구의 결과를 융합하여, 모든 $m+n \geq 3$에 대해 $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ 및 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$의 완전한 분류를 도출한다.

실험 결과

연구 질문

• RQ1 결합수준이 $m+n=3$인 경우, $\mathfrak{sl}(2,1,A)$의 보편 중심확장은 무엇인가? $A$는 결합수준이 3인 슈퍼대수이다.
• RQ2 $\mathfrak{sl}(3,1,A)$ 및 $\mathfrak{st}(3,1,A)$의 호모로지 군 $\operatorname{H}_2$의 구조는 어떻게 되는가?
• RQ3 $\mathfrak{sl}(2,2,A)$ 및 $\mathfrak{st}(2,2,A)$의 두 번째 호모로지 군은 슈퍼대수 $A$에 따라 어떻게 달라지는가?
• RQ4 $\mathfrak{sl}(m,n,A)$의 보편 중심확장은 모든 $m+n \geq 3$에 대해 완전히 특성화될 수 있는가?
• RQ5 작은 결합수준의 경우, $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$와 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$ 사이의 정확한 관계는 무엇인가?

주요 결과

• $\mathfrak{sl}(2,1,A)$의 보편 중심확장은 $\mathfrak{st}(2,1,A)$이며, $\operatorname{H}_2(\mathfrak{st}(2,1,A)) = 0$이다.
• $\mathfrak{sl}(3,1,A)$의 경우, 보편 중심확장은 $\mathfrak{st}(3,1,A)$이며, $\operatorname{H}_2(\mathfrak{st}(3,1,A)) = \Pi(A_2)^6$이다. 여기서 $A_2 = A / (2A + [A,A])$이다.
• $\mathfrak{sl}(2,2,A)$의 경우, 보편 중심확장은 $\mathfrak{st}(2,2,A)$이며, $\operatorname{H}_2(\mathfrak{st}(2,2,A)) = A_2^4 \oplus A_0^2$이다. 여기서 $A_2 = A / (2A + [A,A])$이고, $A_0 = A / (0A + [A,A])$이다.
• $m+n \geq 5$ 또는 $m=2,n=1$인 경우, $\mathfrak{sl}(m,n,A)$의 두 번째 호모로지 군은 $\operatorname{HC}_1(A)$이다. 나머지 경우는 $\operatorname{HC}_1(A) \oplus \operatorname{H}_2(\mathfrak{st}(m,n,A))$이다.
• 모든 $m+n \geq 3$에 대해 $\operatorname{H}_2(\mathfrak{sl}(m,n,A))$ 및 $\operatorname{H}_2(\mathfrak{st}(m,n,A))$의 완전한 분류가 이제 완료되었으며, 순환호모로지와 몫대수를 이용한 명시적 공식이 제시되었다.
• 이 결과들은 이전의 $m+n \geq 5$ 또는 $n=0$인 경우에 대한 $\mathfrak{sl}(m,n,A)$ 연구를 통합하고 확장하여, 이러한 슈퍼대수의 호모로지 특성화를 완성한다.