[논문 리뷰] More on five commutator identities

Гурам Донадзе, M. Ladra|ArXiv.org|2007. 03. 21.

Geometric and Algebraic Topology참고 문헌 9인용 수 3

한 줄 요약

이 논문은 군에서의 무게 4 교환자에 대한 모든 가능한 보편 관계를 생성하는 다섯 개의 보편 교환자 항등식—Ellis의 추측을 증명한다. 승법 리 대수와 비아벨 텐서 곱을 사용하여, 자유 승법 리 대수에서 하위 중심 급수로의 전성사가 무게 4에서 동형사상임을 확립함으로써, n=4인 경우 추측을 확인한다.

ABSTRACT

It is proved that the five well-known identities universally satisfied by commutators in a group generate all universal commutator identities for commutators of weight 4.

연구 동기 및 목표

• 모든 군에서 무게 4 교환자 간의 모든 보편 관계를 생성하는 다섯 개의 표준 교환자 항등식이 Ellis의 추측을 확인한다.
• 이전의 n=2 및 n=3에 대한 증명을 호모로지 대수학과 비아벨 텐서 곱 기법을 사용하여 n=4의 경우로 확장한다.
• 자연 전성사 $\Gamma_4(P) \to \gamma_4(P)$ 가 무게 4에서 동형사상임을 확립한다.
• 비아벨 텐서 곱 $[P,P]_{\text{ab}} \otimes P_{\text{ab}}$ 에서의 관계가 무게 4 교환자의 모든 보편 항등식을 포괄함을 보여준다.
• $\theta_4$ 의 핵을 다섯 기본 항등식에서 유도된 생성자들로 구조적으로 기술한다.

제안 방법

• 다섯 개의 공리—반대칭성, 코너지 변환 불변성, Hall-Witt 유형 항등식—을 사용하여 승법 리 대수의 구조를 형식화한다.
• $\mathcal{L}(P)$ 를 군 $P$ 위의 자유 승법 리 대수로 정의하며, $\Gamma_n(P)$ 는 반복된 교환자로 생성된 무게 $n$의 원소들로 구성된다.
• 비아벨 텐서 곱 $[P,P]_{\text{ab}} \otimes P_{\text{ab}}$ 를 사용하여 무게 4 교환자 간의 관계를 모델링하며, 그 아벨 성질을 활용한다.
• $\theta_3^{-1} \widetilde{\otimes} P: \gamma_3(P) \otimes P \to \Gamma_4(P)/\Gamma_4'(P)$ 의 호모모르피즘을 구성하여 $\widetilde{\theta_4}$ 의 핵을 분석한다.
• 특정 텐서 관계의 이미지에 의해 생성되는 핵이 있음을 보여, $\widetilde{\theta_4}$ 가 단사임을 증명한다. 이들에는 $[\gamma_2(P),\gamma_2(P)] \otimes P$ 와 $\gamma_3(P) \otimes \gamma_2(P)$ 가 포함된다.
• $\Gamma_4'(P)$ 모odulo의 합동식과 Hall-Witt 항등식을 사용하여 복잡한 교환자 표현을 단순한 원소로 줄이며, 핵심 관계들이 $\Gamma_4'(P)$ 에 속해 있음을 확인한다.

실험 결과

연구 질문

• RQ1 다섯 개의 표준 보편 교환자 항등식이 임의의 군에서 무게 4 교환자 간의 모든 보편 관계를 생성하는가?
• RQ2 P 가 자유군일 때 자연 전성사 $\theta_4: \Gamma_4(P) \to \gamma_4(P)$ 는 동형사상인가?
• RQ3 $\theta_4$ 의 핵이 다섯 기본 항등식과 그 결과들로 완전히 기술될 수 있는가?
• RQ4 비아벨 텐서 곱 $[P,P]_{\text{ab}} \otimes P_{\text{ab}}$ 는 어떻게 무게 4 교환자의 보편 관계를 캡슐화하는가?
• RQ5 $[y, {}^{y^{-1}}[x,y]] \otimes x$ 와 $[^{y^{-1}}[x,y], x] \otimes {}^x y$ 와 같은 관계들은 부분군 $\Gamma_4'(P)$ 모odulo에서 영이 되는가?

주요 결과

• 다섯 개의 표준 교환자 항등식은 임의의 군에서 무게 4 교환자 간의 모든 보편 관계를 생성한다.
• P 가 자유군일 때 전성사 $\theta_4: \Gamma_4(P) \to \gamma_4(P)$ 는 동형사상이며, 이는 n=4인 경우 Ellis의 추측을 확인한다.
• $\widetilde{\theta_4}: \Gamma_4(P)/\Gamma_4'(P) \to \gamma_4(P)/[\gamma_3(P), \gamma_2(P)]$ 의 핵은 자명하므로 $\widetilde{\theta_4}$ 는 단사이다.
• $\theta_3^{-1} \widetilde{\otimes} P$ 는 잘 정의되어 있으며 전사이며, 그 핵은 $\widetilde{\theta_4}$ 의 코어를 제거하는 데 필요한 관계와 정확히 일치한다.
• 표현 $([y, {}^{y^{-1}}[x,y]] \otimes x)([^{y^{-1}}[x,y], x] \otimes {}^x y)$ 와 유사한 식들은 $\Gamma_4(P)/\Gamma_4'(P)$ 에서 항등원으로 매핑되며, 이는 그것들이 $\Gamma_4'(P)$ 에 속해 있음을 확인한다.
• $\Gamma_4'(P)$ 모odulo의 합동식을 통해 복잡한 교환자 표현을 단순한 원소로 줄일 수 있으며, 이는 주어진 관계에 대해 항등식 집합이 닫혀 있음을 검증한다.