프로토가법자와 파생 토션 이론 및 동차동류

초록

프로토가법자는 비아벨리안 범주에서 가법함수의 역할을 대신하도록 정의된 개념이다. 본 논문에서는 프로토가법자의 기본 성질을 탐구하고, 특히 토션 이론, 갈루아 이론, 동차동류 및 팩터화 시스템과의 연관성을 분석한다. 프로토가법적 토션‑프리 반사자가 고차 확장의 범주에서 파생 토션 이론의 사슬을 유도함을 보이며, 이를 통해 고차 중심 확장의 갈루아 구조와 비아벨리안 파생함수의 호프 공식들을 간단히 기술한다. 그룹, 콤팩트 그룹, 반아벨리안 범주의 내부 군동형 등 다양한 예제가 제시된다.

상세 분석

프로토가법자(protoadditive functor)는 아벨리안 범주에서의 가법함수(additive functor)를 일반화한 개념으로, 합성곱과 푸시아웃을 보존하면서도 정확히 가법성을 요구하지 않는다. 이 논문은 먼저 프로토가법자의 정의를 재정립하고, 그가 보존하는 구조—특히 정규 에피와 모노, 그리고 2‑단계 정규 사상—를 상세히 검토한다. 핵심적인 결과는 프로토가법적 반사자(reflector)가 토션‑프리 서브카테고리를 형성할 때, 그 반사자는 자동적으로 토션 이론(torsion theory)의 ‘토션‑프리’ 부분을 제공한다는 점이다. 이러한 토션‑프리 반사자는 고차 확장(high‑extension) 범주, 즉 사슬식 확장(central extensions)의 반복된 구조 위에 자연스럽게 파생 토션 이론의 사슬을 만든다. 구체적으로, 1‑차 토션 이론에서 얻은 토션‑프리 반사자를 적용하면, 2‑차 확장 범주에서 새로운 토션 이론이 정의되고, 이 과정을 무한히 반복하여 n‑차 확장까지 확장할 수 있다.

이와 같은 사슬은 기존의 반아벨리안 동차동류(semi‑abelian higher central extensions)와 직접적인 연관성을 가진다. 기존 연구에서는 중심 확장을 정의하기 위해 ‘정규’과 ‘중심성’이라는 두 조건을 동시에 만족시켜야 했지만, 프로토가법적 반사자를 이용하면 중심성 조건을 완화하면서도 동일한 동차동류 구조를 얻을 수 있다. 특히, 반사자가 Birkhoff 서브카테고리(즉, 반사자가 완전하고 반사된 객체가 서브카테고리 안에 닫혀 있는 경우)를 통과하거나, 더 일반적으로 프로토가법적 반사자를 거쳐 갈 때, 고차 중심 확장의 정의가 크게 단순화된다.

논문은 또한 이러한 구조를 이용해 비아벨리안 파생함수(derived functors)의 호프 공식(Hopf formula)을 고차 수준에서 명시적으로 기술한다. 전통적인 호프 공식은 2‑차 동차동류에 대한 동형군을 표현하는데 사용되었으나, 여기서는 프로토가법적 반사자를 통해 n‑차 동차동류에 대한 동형군을 ‘핵심 교차’와 ‘공동체’의 조합으로 나타낸다. 이 공식은 계산적 효율성을 크게 높이며, 특히 그룹 이론과 위상수학에서의 실제 계산에 유용하다.

마지막으로, 논문은 구체적인 예시들을 제시한다. 그룹 범주에서는 전통적인 중앙 확장과 동일한 결과를 재현하고, 콤팩트 그룹에서는 토션‑프리 반사자가 연속성(continuity)과 완비성(completeness)을 보존함을 보인다. 또한, 반아벨리안 범주의 내부 군동형(internal groupoids)에서는 프로토가법적 반사자를 통해 내부 중심 확장의 구조를 완전하게 기술한다. 이러한 예시들은 프로토가법자와 파생 토션 이론이 다양한 비아벨리안 상황에서 얼마나 보편적으로 적용될 수 있는지를 입증한다.