[논문 리뷰] A relative theory of universal central extensions

J. M. Casas, Tim Van der Linden|arXiv (Cornell University)|2009. 08. 26.

Advanced Topics in Algebra참고 문헌 35인용 수 5

한 줄 요약

이 논문은 반아벨 범주에서 보편 중심 확장을 위한 통합적이고 상대적인 범주론적 프레임워크를 개발하며, 군, 리 대수, 기타 대수적 구조에 대한 고전적 결과를 일반화한다. 주요 기여는 중심 확장의 복합이 닫혀 있는 조건 (UCE)이 표준 인식 정리가 성립하기 위해 필수적이고도 충분함을 규명한 것으로, 리브니츠 대수와 같은 특정 범주에서 그 조건이 실패함을 보여주는 반례를 제시한다.

ABSTRACT

Basing ourselves on Janelidze and Kelly's general notion of central extension, we study universal central extensions in the context of semi-abelian categories. Thus we unify classical, recent and new results in one conceptual framework. The theory we develop is relative to a chosen Birkhoff subcategory of the category considered: for instance, we consider groups vs. abelian groups, Lie algebras vs. vector spaces, precrossed modules vs. crossed modules and Leibniz algebras vs. Lie algebras. We consider a fundamental condition on composition of central extensions and give examples of categories which do, or do not, satisfy this condition.

연구 동기 및 목표

• 다양한 대수적 범주(예: 군, 리 대수, 프리크로스드 모듈)에서 보편 중심 확장에 관한 고전적이고 최근의 결과들을 하나의 개념적 프레임워크로 통합하는 것.
• 제날리즈와 켈리의 중심 확장에 대한 상대 이론을 충분한 프로젝티브를 갖는 반아벨 범주로 확장하여 호모로지적 접근을 가능하게 하는 것.
• 중심 확장의 복합이 닫혀 있는 조건 (UCE)을 식별하고 형식화하여 표준 인식 정리가 성립하기 위한 핵심 조건으로 규명하는 것.
• 보편 중심 확장가 존재하고, 그것이 Birkhoff 부분범주에 대한 완전성과 프로젝티브성에 의해 특징지워지는 조건을 명확히 하는 것.
• 이전 문헌에서의 모순을 해결하기 위해, 예를 들어 호모-리브니츠 대수의 범주에서 조건 (UCE)가 실패하는 지점을 규명하는 것.

제안 방법

• 제날리즈와 켈리의 상대 중심 확장 이론에 기반한 범주론적 갈로아 이론적 접근을, 점지된 바르-정확한 군자르 범주에서 적용하는 것.
• 반아벨 범주 A의 선택된 Birkhoff 부분범주 B에 대한 상대적 중심 확장의 개념을 도입하여, 아벨화와 같은 절대 사례를 일반화하는 것.
• Birkhoff 부분범주에 대한 완전한 대상들을 정의하고, 프로젝티브가 존재할 경우 모든 완전한 대상이 보편 중심 확장을 갖는다는 것을 증명하는 것.
• 조건 (UCE) 도입: 상대적 의미에서 f와 g가 중심 확장이면 f∘g 역시 중심이어야 함; 이 조건이 핵심 정리에 대해 필수적이고도 충분함을 보여주는 것.
• 비아벨 유도 함자 등의 반아벨 호모로지 이론을 사용하여 중첩된 Birkhoff 부분범주 내의 호모로지 군 간의 관계를 규명하고 보편 확장을 특징짓는 것.
• 예를 들어 호모-리브니츠 대수와 군 환의 경우에 대해 명시적인 반례를 구성하여 (UCE)의 실패를 입증함으로써 이전 문헌의 주장에 내재된 결함을 드러내는 것.

실험 결과

연구 질문

• RQ1 두 상대 중심 확장의 복합이 중심일 수 있는 범주론적 조건은 무엇인가? (즉, 조건 (UCE)가 성립하는 조건은 무엇인가?)
• RQ2 보편 중심 확장가 Birkhoff 부분범주에 대한 완전성과 프로젝티브성에 의해 보편적으로 특징지워질 수 있는가?
• RQ3 중첩된 Birkhoff 부분범주 내의 상대 호모로지 군 간의 관계는 어떻게 되며, 이는 보편 확장의 구조에 대해 무엇을 드러내는가?
• RQ4 어떤 고전적 결과들이 상대적 맥락에서 실패하는가? 예를 들어 호모-리브니츠 대수의 범주에서 그러한 실패는 무엇을 의미하는가?
• RQ5 보편 중심 확장에 대한 표준 인식 정리가 성립하기 위해 필요한 최소한의 범주론적 가정은 무엇인가?

주요 결과

• 조건 (UCE)—중심 확장의 복합이 닫혀 있는 것—은 보편 중심 확장의 표준적 특징화가 완전성과 프로젝티브성에 의해 성립하기 위해 필수적이며 충분하다.
• 호모-리브니츠 대수의 범주에서 조건 (UCE)는 실패하며, 이는 이전 논문(참고문헌 [18]의 정리 6.3)에서 정리 1.11의 모든 조건이 동치임을 주장한 바를 무효화한다.
• 비자명한 C-작용을 가진 Z/p^kZ-모듈의 무한 직합을 사용한 반례를 구성하여, M이 b-완전함에도 불구하고 H₂(M, b) ≅ Z/p ≠ 0임을 보이고, 승법-by-p 사상이 보편 b-중심 확장임을 입증한다.
• 무한 순환군 C에 대한 정수 군환 R = Z[C] 위의 R-모듈의 범주에서는 조건 (UCE)가 성립한다. 이는 Birkhoff 부분범주가 자명한 C-모듈로 구성되어 있고, b-완전한 M에 대해 H₂(M, b) ≠ 0 이기 때문이다.
• 이 이론은 반아벨 범주에서 충분한 프로젝티브와 조건 (UCE)를 갖는 경우, 중심 확장이 보편적임은 그 정의역이 모든 중심 확장에 대해 완전하고 프로젝티브일 때에만 성립함을 규명한다.
• 논문은 스미스-휴 조건, 작용 표현 가능성, 무어 범주가 (UCE)를 특징짓는 데 관련이 있을 수 있음을 규명하지만, 아직 간단한 특징화는 제공되지 않는다.