내부 객체 작용과 동형 사상 범주에서의 교환 효과

초록

이 논문은 유한히 완비된 동형 사상 범주 𝔠에서 객체 G와 A에 대한 내부 작용을 정의하고, 이를 G 위의 점(분할 확장)과 일대일 대응시킨다. 교차 효과(cross‑effect) 이론을 활용해 고차 교환자를 정의하고, 모든 적절한 부분 객체가 전체 객체 E의 “공액 작용”을 물려받는 것을 보인다. 반아벨 범주에서는 두 부분 객체 X, Y에 대해 X가 X∨Y에서 적절하면 A의 자체 공액 작용을 Y에 제한한 것이 X를 안정화한다는 조건과 동등함을 증명한다. 또한 Bourn‑Janelidze가 제시한 모나드 𝕋_G‑대수와 점 사이의 동형성을 새로운 공액 작용 관점에서 재구성한다.

상세 분석

논문은 먼저 유한히 코콤플리트하고 동형 사상(정확히는 정규·정밀)인 범주 𝔠를 가정한다. 이러한 범주에서는 커널·코커널이 존재하고, “점”(split extension)이라는 구조가 G 위에 정의된다. 저자는 G와 A에 대한 내부 작용을 “𝔠‑내부 작용”이라 명명하고, 이를 두 단계의 동형 사상으로 연결한다. 첫 번째 단계는 작용을 점으로 변환하는 과정으로, 작용 구조를 이용해 A→A⋉G 형태의 반쯤 직합(semi‑direct product) 객체를 만든다. 두 번째 단계는 점을 다시 작용으로 되돌리는 역과정이며, 이때 핵심은 교차 효과(cross‑effect)라는 함자론적 도구이다. 교차 효과는 두 변수 함자의 비선형성을 측정하는 범주적 일반화이며, 여기서는 작용의 결합법칙과 단위법칙을 교차 효과의 2차·3차 항으로 기술한다. 특히, 작용의 두 공리(연결성, 단위성)를 기존의 두 공리 대신 세 개의 교차 효과 공리로 대체함으로써, 그룹 이론에서의 전통적 작용 개념을 범주 전반에 확장한다.

다음으로 저자는 “공액 작용(conjugation action)”을 일반화한다. 기존 Bourn‑Janelidze의 결과는 객체 E가 자기 자신에 대해 공액 작용을 갖는다는 것이었지만, 여기서는 E의 모든 적절한 부분 객체 K(= ker f)도 E에 의해 자연스럽게 작용받는다는 것을 보인다. 이 작용은 K↪E와 E↠G 사이의 분할 구조를 이용해 정의되며, 교차 효과를 통해 그 일관성을 검증한다.

반아벨(semiexact) 범주에서는 두 부분 객체 X, Y⊆A에 대해 X가 X∨Y(최소 상위)에서 적절(proper)하다는 조건을 “A의 자체 공액 작용을 Y에 제한했을 때 X가 안정(stable)한다”는 조건과 동치임을 증명한다. 이는 전통적인 교환자(commutator) 이론을 범주적 관점에서 재해석한 것으로, 교차 효과를 이용해 고차 교환자를 정의하고, 이들이 적절성 조건과 정확히 맞물리는 것을 보인다.

마지막으로, Bourn‑Janelidze가 제시한 모나드 𝕋_G에 대한 알게베라(𝕋_G‑algebra)와 점 사이의 동형성을, 위에서 구축한 내부 작용과 교차 효과 공리를 이용해 새로운 증명으로 제공한다. 기존 증명은 복잡한 내부 동형 사상 구조를 사용했지만, 여기서는 작용의 교차 효과적 성질만으로 충분함을 보여, 범주론적 구조를 보다 직관적으로 이해할 수 있게 한다. 전체적으로 이 논문은 동형 사상 범주에서 작용 이론을 교차 효과와 연결함으로써, 전통적인 군 작용·공액 작용을 일반화하고, 고차 교환자와 모나드‑점 동형성 사이의 깊은 관계를 밝히는 중요한 기여를 한다.