[논문 리뷰] A note on a free group. The decomposition of a free group functor through the category of heaps

Bernard Rybołowicz|arXiv (Cornell University)|2021. 01. 12.

Geometric and Algebraic Topology인용 수 2

한 줄 요약

이 논문은 군에 힙을 할당하는 함자에 대한 왼쪽 수반 함자를 도입하여, 자유 군 함자가 힙의 범주를 통해 분해됨을 보여준다. 힙의 범주에서 쌍대곱을 구성함—구체적으로, 집합 X에 대한 자유 힙과 싱글턴 힙의 쌍대곱—을 통해, 싱글턴 원소에서의 추적(retract)이 자유 군을 얻게 되며, 이는 기존의 집합론적 자유 군 구성 방식을 대체하는 대수적 재해석을 제공한다.

ABSTRACT

This note aims to introduce a left adjoint functor to the functor which assigns a heap to a group. The adjunction is monadic. It is explained how one can decompose a free group functor through the previously introduced adjoint and employ it to describe a slightly different construction of free groups.

연구 동기 및 목표

• 군에 힙을 할당하는 함자에 대한 왼쪽 수반 함자를 구성하기.
• 기존의 집합론적 자유 군 구성 방식(생성집합에 역원과 항등원을 분리합집합으로 확장함)을 힘으로 재해석하는 대수적 접근법을 제공하기.
• 자유 군 함자가 힙의 범주를 거쳐서의 함자 합성으로서 유도됨을 보여주기.
• 항등원과 역원이 힙 이론적 구성에서 추적과 쌍대곱을 통해 자연스럽게 어떻게 유도되는지 명확히 하기.

제안 방법

• 각 힙 H에 대해 $\mathrm{Gr}_*(H) := G(H \sqcup \{\ast\}; \ast)$ 라 정의된 함자 $\mathbf{Gr} : \mathbf{Heap} \to \mathbf{Grp}$ 를 정의하되, 이는 H와 싱글턴 힙의 쌍대곱의 $\ast$-추적이다.
• 힙의 범주에서 쌍대곱의 보편 성질을 이용하여 $\mathrm{Grp}(\mathbf{Gr}(H), G)$ 와 $\mathbf{Heap}(H, H(G))$ 사이의 자연스러운 동형사상을 정의한다.
• 잊혀진 함자 $U_{\mathbf{Heap}}$ 가 왼쪽 수반 함자 $H : \mathbf{Set} \to \mathbf{Heap}$ (자유 힙 함자) 를 지닌다는 사실을 활용하여 $\mathbf{Gr} \circ H$ 를 구성한다.
• 수반의 보편 성질을 통해 $\mathbf{Gr} \circ H$ 가 표준 자유 군 함자 $G : \mathbf{Set} \to \mathbf{Grp}$ 와 자연스럽게 동형임을 보여준다.
• 힙의 범주에서 $H(X \sqcup \{\ast\}) \cong H(X) \sqcup H(\{\ast\})$ 이며, $H$ 가 쌍대곱을 보존한다는 사실을 이용한다.
• 집합 $X$ 에 대한 자유 군을 $X \sqcup \{\ast\}$ 에 대한 자유 힙의 $\ast$-추적으로 구성하며, 이때 역원은 자유 힙에 속한 $w$ 에 대해 $[\ast, w, \ast]$ 로 표현된다.

실험 결과

연구 질문

• RQ1 힙화 함자 $H: \mathbf{Grp} \to \mathbf{Heap}$ 에 대한 왼쪽 수반 함자를 구성할 수 있는가?
• RQ2 기존의 자유 군 구성 방식을 힙을 이용한 대수적 재해석으로 어떻게 바라볼 수 있는가?
• RQ3 자유 군 함자가 힙의 범주를 거쳐서의 함자 합성으로 분해되는가?
• RQ4 쌍대곱과 추적의 맥락에서 힙 이론적 구성에서 항등원과 역원의 대수적 의미는 무엇인가?

주요 결과

• 함자 $\mathbf{Gr} : \mathbf{Heap} \to \mathbf{Grp}$ 는 $\mathbf{Gr}(H) = G(H \sqcup \{\ast\}; \ast)$ 로 정의되며, 이는 함자 $H: \mathbf{Grp} \to \mathbf{Heap}$ 의 왼쪽 수반이다.
• 함자 $H$ 가 동형사를 반영하고 $H$-분할된 평행 쌍의 쌍대중심화를 보존하므로, 수반 $\mathbf{Gr} \dashv H$ 는 모나딕이다.
• $\mathbf{Gr} \circ H : \mathbf{Set} \to \mathbf{Grp}$ 는 표준 자유 군 함자 $G$ 와 동형이며, 이는 자유 군 함자가 힙의 범주를 통해 분해됨을 증명한다.
• 모든 집합 $X$ 에 대해, $X$ 에 대한 자유 군은 $\mathbf{Heap}$ 에서의 $H(X) \sqcup \{\ast\}$ 의 $\ast$-추적과 동형이며, 즉 $G(X) \cong \mathbf{Gr}(H(X))$ 이다.
• 이 구성에서 항등원은 싱글턴 힙 $\{\ast\}$ 에 대응하며, 역원은 자유 힙에 속한 $w$ 에 대해 자연스럽게 $[\ast, w, \ast]$ 로 나타난다.
• 이 구성은 생성집합에 역원과 항등원을 분리합집합으로 추가하는 기존의 집합론적 확장을, 힙의 범주에서의 쌍대곱과 추적의 보편 성질을 통해 순수한 대수적 해석으로 제공한다.