[논문 리뷰] Internal object actions in homological categories

Manfred Hartl, Bruno Loiseau|arXiv (Cornell University)|2010. 02. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 7

한 줄 요약

이 논문은 유한 코코 completeness를 갖는 호모로지 범주에서 내부 작용의 새로운 최소 형식을 제안하며, 자연스러운 사상 $A+G \to A\times G$ 의 핵 $(A|G)$ 를 사용하여, 이러한 작용과 $G$ 위의 분리 확장(포인트) 사이의 함자적 동치를 확립한다. 주요 기여는 환경 대상에 의한 코너지 작용에 대해 안정된 것들로 하위대상이 정의되는 것인데, 이는 호모로지 범주 중에서 준아벨 범주를 완전히 특성화한다.

ABSTRACT

Let $G$ and $A$ be objects of a finitely cocomplete homological category $\mathbb C$. We define a notion of an (internal) action of $G$ of $A$ which is functorially equivalent with a point in $\mathbb C$ over $G$, i.e. a split extension in $\mathbb C$ with kernel $A$ and cokernel $G$. This notion and its study are based on a preliminary investigation of cross-effects of functors in a general categorical context. These also allow us to define higher categorical commutators. We show that any proper subobject of an object $E$ (i.e., a kernel of some map on $E$ in $\mathbb C$) admits a "conjugation" action of $E$, generalizing the conjugation action of $E$ on itself defined by Bourn and Janelidze. If $\mathbb C$ is semi-abelian, we show that for subobjects $X$, $Y$ of some object $A$, $X$ is proper in the supremum of $X$ and $Y$ if and only if $X$ is stable under the restriction to $Y$ of the conjugation action of $A$ on itself. This amounts to an elementary proof of Bourn and Janelidze's functorial equivalence between points over $G$ in $\mathbb C$ and algebras over a certain monad $\mathbb T_G$ on $\mathbb C$. The two axioms of such an algebra can be replaced by three others, in terms of cross-effects, two of which generalize the usual properties of an action of one group on another.

연구 동기 및 목표

• 유한 코코 completeness를 갖는 호모로지 범주에서 $G$ 가 $A$ 에 작용하는 최소의, 함자적 동치를 갖는 내부 작용의 정의를 제시하여, 준직접곱의 일반화를 목표로 한다.
• 준아벨 범주에서 $\mathbb{T}_G$-대수와 $G$ 위의 포인트 사이의 동치를, 베크의 기준을 피하는 원시적 증명을 제공한다.
• 객체가 자신의 적절한 하위대상에 작용하는 코너지 작용을 일반화하여, 부른과 자네리드제의 작업을 확장한다.
• 준직접곱의 보편 성질을 코너지 작용으로 향한 보편 변환으로서 형식화한다.
• 준아벨 범주를 유한 코코 completeness를 갖는 호모로지 범주 중에서 하위대상이 코너지 작용에 대해 안정된 것들로 완전히 특성화하는 것으로 정의한다.

제안 방법

• 내부 작용을 $(A|G) \to A$ 라는 사상으로 정의하며, 여기서 $(A|G)$ 는 자연스러운 사상 $A+G \to A\times G$ 의 핵이다. 이는 군론적 교환자 구성의 일반화이다.
• 특히 항등 함자의 두 번째 교차효과를 활용하여, 함수의 교차효과를 기본 도구로 삼아 $\mathbb{T}_G$-대수의 공리를 세 부분으로 분해한다.
• 작용의 첫 번째 두 공리는 각각 $G$ 가 $A$ 에 대해 자기형사상으로 작용하고, 군 작용의 일반적인 결합법칙을 따르는 것으로 해석된다.
• 세 번째 공리, 즉 삼중 교차효과를 포함하는 공리는 군에서는 자명하지만 일반 범주에서는 비자명하다.
• 객체 $E$ 가 적절한 하위대상 $X \to E$ 에 작용하는 코너지 작용은 기존의 군론적 코너지 작용을 일반화한다.
• 교차효과 기계를 사용하여, $\mathbb{T}_G$-대수와 $G$ 위의 포인트 사이의 동치를 순수 범주론적이고 원시적인 방식으로 재증명한다.

실험 결과

연구 질문

• RQ1 호모로지 범주에서 $\mathbb{T}_G$-대수의 프레임워크를 넘어서, 최소 자료를 사용해 내부 작용을 어떻게 정의할 수 있는가?
• RQ2 호모로지 범주에서 객체가 자신의 적절한 하위대상에 작용하는 코너지 작용의 범주론적 일반화는 무엇인가?
• RQ3 하위대상이 코너지 작용에 대해 안정되어 있다는 것이, 호모로지 범주 중에서 준아벨 범주를 특성화하는 데 어떤 의미를 갖는가?
• RQ4 교차효과를 통한 $\mathbb{T}_G$-대수의 공리들은 어떻게 분해되며, 그것들은 범주론적으로 어떤 의미를 갖는가?
• RQ5 베크의 기준을 사용하지 않고, 교차효과와 보편 성질 뿐만을 사용하여, $G$ 위의 포인트와 $\mathbb{T}_G$-대수 사이의 동치를 재증명할 수 있는가?

주요 결과

• 모든 유한 코코 completeness를 갖는 호모로지 범주에서, 사상 $(A|G) \to A$ 를 통한 내부 작용의 개념은 $G$ 위의 포인트(분리 확장)와 함자적으로 동치이다.
• 객체 $E$ 가 적절한 하위대상 $X \to E$ 에 작용하는 코너지 작용은 잘 정의되어 있으며, 기존의 군론적 코너지 작용을 일반화한다.
• 준아벨 범주에서, 하위대상 $X$ 가 $X$ 와 $Y$ 의 상한에서 적절할 때, 그리고 오직 그 때에만 $A$ 가 자신에게 작용하는 코너지 작용을 $Y$ 에 제한했을 때 $X$ 가 안정되어 있음을 보여주며, 이는 보편적 특성화를 제공한다.
• $\mathbb{T}_G$-대수의 세 공리는 교차효과를 통해 재해석될 수 있다: 첫 번째 두 공리는 자기형사상과 결합법칙 조건을 나타내며, 세 번째는 비자명한 삼중 교차효과 조건이다.
• 하위대상이 코너지 작용에 대해 안정되어 있다는 조건은, 유한 코코 completeness를 갖는 호모로지 범주 중에서 준아벨 범주를 완전히 특성화한다.
• 논문은 베크의 기준을 사용하지 않고, 교차효과와 보편 성질 뿐만을 사용하여, 준아벨 범주에서 $\mathbb{T}_G$-대수와 $G$ 위의 포인트 사이의 동치를 원시적이고 순수 범주론적으로 재증명한다.