[논문 리뷰] Gradings, smash products and Galois coverings of a small category

Claude Cibils, John MacQuarrie|arXiv (Cornell University)|2012. 03. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 5

한 줄 요약

이 논문은 군oids의 그룹화와 스매시 곱 생성법을 사용하여 소형 연결 범주에 대한 갈로아 코팅을 구성하는 범주론적 프레임워크를 수립한다. 이는 범주 𝔅의 갈로아 코팅의 범주가 그 기본 군oids Q𝔅의 효과적 그룹화의 범주와 동치임을 증명하며, 스매시 곱을 통해 유니버설 코팅을 명시적으로 구성할 수 있게 하며, 카일리 그래프를 사용한 구체적 예시를 제시한다.

ABSTRACT

In this paper we develop the theory of coverings of a small connected category B. We show that the category of Galois coverings of B is equivalent to the category of Galois coverings of its fundamental groupoid. Making use of effective gradings of B we explicitly construct Galois coverings through a smash product analogous to the one considered in the linear case. In particular, the universal cover of B can be obtained from its fundamental groupoid.

연구 동기 및 목표

• 소형 연결 범주에 대한 코팅 이론을 개발하여, 체 위의 선형 범주에서의 개념을 확장한다.
• 범주 𝔅의 갈로아 코팅과 그 기본 군oids Q𝔅의 갈로아 코팅 사이의 관계를 규명하고, 이들의 범주가 동치임을 보인다.
• 효과적 그룹화를 기반으로 한 스매시 곱을 사용하여 갈로아 코팅을 명시적으로 구성한다.
• 유니버설 코팅을 기본 군oids에 대한 스매시 곱으로 특성화한다.
• 두 개의 객체와 그 사이의 임의의 사상이 존재하는 범주에 대해 카일리 그래프가 유니버설 코팅을 기하학적으로 기술하는 데 어떻게 기여하는지 보여준다.

제안 방법

• 소형 범주 𝔅의 기본 군oids를 구성하기 위해 분수 범주 Q𝔅를 사용하며, 이는 임의의 객체에서의 기본 군과 동형이다.
• 군oids의 그룹화를 𝔅에서 군oids로의 함자를 정의하여, k-범주에서의 선형 군oids 그룹화를 일반화한다.
• 스매시 곱 생성법을 콤마 범주로 정의하여, 군oids의 그룹화로부터 𝔅의 코팅을 유도한다.
• 그룹화로부터 유도된 코팅이 연결임은 물론 그룹화가 전사 함자에 의해 Q𝔅를 통해 인자화될 때에만 성립함을 증명한다 (이를 효과적 그룹화라 부른다).
• Q𝔅의 유니버설 성질을 적용하여, 그룹화가 효과적이고 유니버설일 경우 스매시 곱 생성법이 유니버설 코팅을 유도함을 보인다.
• 자유 군의 카일리 그래프를 사용하여 두 개의 객체와 그 사이의 임의의 사상이 존재하는 범주의 유니버설 코팅을 기하학적으로 기술한다.

실험 결과

연구 질문

• RQ1 갈로아 코팅을 그룹화와 같은 대수적 구조를 사용하여 소형 범주에 대해 체계적으로 어떻게 구성할 수 있는가?
• RQ2 범주와 그 기본 군oids 간의 갈로아 코팅 사이의 정확한 관계는 무엇인가?
• RQ3 범주의 군oids 그룹화가 연결된 코팅을 유도하기 위한 조건은 무엇인가?
• RQ4 범주론적 생성법을 사용하여 소형 범주의 유니버설 코팅을 어떻게 명시적으로 기술할 수 있는가?
• RQ5 카일리 그래프는 범주의 유니버설 코팅을 어떻게 기하학적으로 시각화하고 구성하는 데 기여하는가?

주요 결과

• 소형 연결 범주 𝔅의 갈로아 코팅의 범주는 그 기본 군oids Q𝔅의 갈로아 코팅의 범주와 동치이다.
• 모든 𝔅의 갈로아 코팅은 자유 군 작용에 대한 궤도 범주와 동형이며, 이는 표준 형태를 제공한다.
• 효과적 그룹화로부터 유도된 스매시 곱 생성법은 𝔅의 갈로아 코팅을 유도하며, 모든 이러한 코팅은 이 방식으로 유도된다.
• 기본 군oids Q𝔅 자체는 효과적 그룹화이며, 스매시 곱 𝔅#_{b₀}Q𝔅는 𝔅의 유니버설 코팅을 제공한다.
• 두 개의 객체와 x에서 x₀로 향하는 사상 E가 존재하는 범주 𝔐_E에 대해, 유니버설 코팅은 E∖{α}에서 생성되는 자유 군의 카일리 그래프의 이중화이며, 화살표는 역사상으로 레이블이 붙는다.
• 이 생성법은 기저 객체의 선택과 무관하며, 기본 군oids에 의해 완전히 결정됨을 보여준다.