[논문 리뷰] On satellites in arbitrary categories

George Janelidze|ArXiv.org|2008. 09. 09.

Space Satellite Systems and Control참고 문헌 3인용 수 7

한 줄 요약

이 논문은 임의의 범주에서 위상수학적 개념을 일반화하기 위해, 두 개의 범주로의 다이어그램을 갖춘 그래프로 구성된 프레임워크를 도입한다. 오른쪽 위상수학적 함자와 왼쪽 위상수학적 함자 사이에 오른쪽 위상수학적 함자가 왼쪽 위상수학적 함자에 왼쪽 수반된다는 것을 증명하고, 오른쪽 또는 왼쪽 수반 함자가 존재하는 함자들이 이러한 위상수학적 개념을 유지함을 보이며, 범주론적 맥락에서 호모로지 대수학의 기초를 마련한다.

ABSTRACT

We generalize the definition of satellites with respect to presheaves (and copresheaves) with trace in the sense of Inassaridze; a presheaf with trace is replaced by a graph with a pair of diagrams defined on it. We show that the right satellite functor is left adjoint to the left satellite functor, and that a functor having a right (left) adjoint preserves right (left) satellites. In particular cases the construction of satellites is given.

연구 동기 및 목표

• 고전적인 위상수학 개념을 아벨 범주를 초월하여 임의의 범주로 확장하기.
• 원천 범주와 목표 범주로의 다이어그램을 갖춘 그래프를 사용하여 위상수학 구조를 체계화하기.
• 왼쪽 위상수학 함자와 오른쪽 위상수학 함자 사이의 수반성 확립하기.
• 수반 함자를 갖는 함자들이 위상수학적 구조를 유지함을 보여주기.
• 예를 들어 집합과 아벨 군과 같은 구체적인 사례에서 위상수학의 명시적 구성 제공하기.

제안 방법

• 범주 $\underline{S}(\underline{X},\underline{Y})$ 를 도입하여, 함자 $F: \underline{S} \to \underline{X}$ 와 $G: \underline{S} \to \underline{Y}$ 를 갖춘 그래프 $\underline{S}$ 의 집합으로 정의하며, 사상들이 이 함자들과 가환하도록 한다.
• 범주를 반전시켜 $\underline{S}(\underline{X},\underline{Y})^\circ \approx \underline{S}(\underline{Y}^\circ, \underline{X}^\circ)$ 라는 동형을 통해 이중성 관계를 정의하며, 반대 범주에서의 다이어그램을 연결한다.
• 함자 $T: \underline{X} \to \underline{A}$ 와 $V: \underline{Y} \to \underline{A}$ 에 대해, 쌍대곱과 몫 구조를 사용하여 이중함자 $\underline{S}^1 T$ 와 $\underline{S}_1 V$ 를 구성한다.
• 오른쪽 위상수학 $\underline{Y} \cdot \underline{S} \cdot T$ 는 $\underline{Y}$-사상, $F$-섬세화, $G$-섬세화, $T$-값의 쌍대곱의 몫으로 정의되며, 자연성 조건을 강제하는 동치관계가 포함된다.
• 유일성의 성질을 보장하기 위해 연결 사상 $\delta(S): T(X) \to \underline{Y} \cdot \underline{S} \cdot T(Y)$ 와 $\vartheta(S)$ 를 정의하며, 이로 인해 생기는 쌍이 우수성을 갖는다.
• $\underline{A} = \text{Sets}$ 에 적용하고, 자유 대수와 몫을 통해 다항대수의 다양체(예: 아벨 군)로 확장한다.

실험 결과

연구 질문

• RQ1 위상수학 개념은 아벨 범주를 초월하여 임의의 범주로 어떻게 일반화할 수 있는가?
• RQ2 왼쪽과 오른쪽 위상수학 함자 사이의 범주론적 이중성은 무엇이며, 반대 범주를 통해 어떻게 표현되는가?
• RQ3 오른쪽 위상수학 함자가 왼쪽 위상수학 함자에 왼쪽 수반되는 조건은 무엇인가?
• RQ4 집합과 아벨 군과 같은 구체적인 범주에서 위상수학 구성은 어떻게 명시적으로 실현될 수 있는가?
• RQ5 수반 함자와 위상수학 구성 간의 상호작용은 어떠한가, 그리고 어떤 유지 성질을 갖는가?

주요 결과

• 오른쪽 위상수학 함자 $\underline{S}^1$ 는 왼쪽 위상수학 함자 $\underline{S}_1$ 에 왼쪽 수반되며, 이는 구성에서 기본적인 이중성을 확립한다.
• 오른쪽(또는 왼쪽) 수반 함자를 갖는 함자들은 오른쪽(또는 왼쪽) 위상수학을 유지함으로써, 수반 함자와의 호환성을 보장한다.
• $\underline{A} = \text{Sets}$ 인 경우, 오른쪽 위상수학 $\underline{Y} \cdot \underline{S} \cdot T$ 는 $\underline{Y}$-사상과 $F$, $G$ 의 섬세화의 쌍대곱의 몫으로 구성되며, 자연성 조건을 강제하는 동치관계가 포함된다.
• 연결 사상 $\delta(S): T(X) \to \underline{Y} \cdot \underline{S} \cdot T(Y)$ 는 유일성을 갖는다. 따라서 쌍 $(T, \delta, \underline{Y} \cdot \underline{S} \cdot T)$ 는 오른쪽 우수성을 갖는다.
• 아벨 군과 같은 다항대수의 다양체의 경우, 자유 대수와 최소 몫을 통해 위상수학 구성이 올라가며, 이로 인해 우수성 성질이 유지된다.
• 왼쪽 위상수학은 함자 $\underline{Y} \cdot \underline{S} \cdot T$ 와 사상 $\vartheta$ 를 통해 구성되며, 이는 $V$ 와 함께 왼쪽 우수성을 갖는 쌍을 유도한다.