[논문 리뷰] Projective and injective objects in symmetric categorical groups

Teimuraz Pirashvili|arXiv (Cornell University)|2010. 07. 01.

Algebraic structures and combinatorial models참고 문헌 6인용 수 4

한 줄 요약

이 논문은 대칭 카테고리적 군의 2-category가 호모토피 카테고리의 코homological 묘사에 기반하여 충분한 프로젝티브 및 인젝티브 대상이 있음을 증명한다. 아벨 군으로의 타입 함수를 사용하고 자유 및 나누어 떨어지는 아벨 군을 통한 업그레이드를 통해 저자들은 프로젝티브 및 인젝티브 대상의 존재를 증명하며, 이는 임의의 카테고리적 링에 대한 카테고리적 모듈로까지 확장된다.

ABSTRACT

We prove that the 2-category of symmetric categorical groups have enough projective and injective objects. This was conjectured by Bourn and Vitale in 2002 and was anounced recently by Fang Huang, Shao-Han Chen, Wei Chen and Zhu-Jun Zheng in arXiv:1006.4677 with wrong proof.

연구 동기 및 목표

• 문헌 [1]에서 제기된 추측을 해결한다: 대칭 카테고리적 군의 아벨 2-카테고리가 충분한 프로젝티브 대상을 갖는가?
• 문헌 [3]에서 잘못된 증명을 수정하면서도, 대칭 카테고리적 군 내의 프로젝티브 및 인젝티브 대상 존재에 대한 정확하고 독창적인 증명을 제공한다.
• 기저 전환과 딜로기의 응용을 통해, 임의의 카테고리적 링에 대한 카테고리적 모듈로 결과를 확장한다.
• 특정 카테고리적 링에 대한 오른쪽 카테고리적 모듈의 2-카테고리와 대칭 카테고리적 군의 2-카테고리 사이의 2-동치를 확립한다.

제안 방법

• 대칭 카테고리적 군을 삼중항 $ (A_0, A_1, \alpha) $로 매핑하는 타입 함수 $\mathrm{type}: \mathbf{Ho} \to \mathfrak{Types} $ 를 사용한다. 여기서 $ A_0 = \pi_0(S), A_1 = \pi_1(S), \alpha \in \hom(A_0/2A_0, A_1) $.
• 문헌 [8]의 코homological 묘사를 적용하여 $ \pi_0(\mathbf{Hom}(S_1, S_2)) $ 가 $ \mathop{\sf Ext}(\pi_0(S_1), \pi_1(S_2)) $ 와 $ \mathfrak{Types}(\mathrm{type}(S_1), \mathrm{type}(S_2)) $ 를 포함하는 짧은 정확한 수열에 놓임을 보인다.
• 각 $ \mathbb{A} \in \mathfrak{Types} $ 에 대해 $ \mathrm{type}(H(\mathbb{A})) = \mathbb{A} $ 를 만족하는 대칭 카테고리적 군 $ H(\mathbb{A}) $ 를 구성한다. 이는 존재성 및 동치에 관하여 유일성에 기반한다.
• 자유 아벨 군 $ P $ 를 사용하여 $ f_0: P \to \pi_0(S) $ 의 에피모르피즘을 타입 카테고리로 업그레이드하고, 이를 대칭 카테고리적 군으로 업그레이드하여 프로젝티브 대상을 구성한다.
• 나누어 떨어지는 아벨 군 $ Q $ 를 사용하여 단사 사상 $ g_1: \pi_1(S) \to Q $ 를 업그레이드하고, 등식 $ \pi_1(\mathbf{Hom}(S_1, S_2)) \cong \hom(\pi_0(S_1), \pi_1(S_2)) $ 를 통해 인젝티브 대상의 존재를 확보한다.
• 2-수반성과 요네다 보조정리를 적용하여, 임의의 카테고리적 링 $ \mathbb{R} $ 에 대해 카테고리적 오른쪽 $ \mathbb{R} $-모듈의 카테고리가 충분한 프로젝티브 및 인젝티브 대상을 갖는다는 것을 보인다.

실험 결과

연구 질문

• RQ1 대칭 카테고리적 군의 2-카테고리가 충분한 프로젝티브 대상을 갖는가?
• RQ2 대칭 카테고리적 군의 2-카테고리가 충분한 인젝티브 대상을 갖는가?
• RQ3 대칭 카테고리적 군 내의 프로젝티브 및 인젝티브 대상 존재성은 임의의 카테고리적 링에 대한 카테고리적 모듈로 확장될 수 있는가?
• RQ4 특정 카테고리적 링에 대한 오른쪽 카테고리적 모듈의 2-카테고리와 대칭 카테고리적 군의 2-카테고리 사이에 2-동치가 존재하는가?

주요 결과

• 자유 아벨 군에서 타입 카테고리로의 에피모르피즘 업그레이드를 통해 구성된 대칭 카테고리적 군의 2-카테고리가 충분한 프로젝티브 대상을 갖는다.
• 나누어 떨어지는 아벨 군으로의 단사 사상 업그레이드를 통해 구성된 대칭 카테고리적 군의 2-카테고리가 충분한 인젝티브 대상을 갖는다.
• 대칭 카테고리적 군 내의 충분한 프로젝티브 및 인젝티브 대상의 존재는 [8]에서 확립된 $ \pi_0(\mathbf{Hom}(S_1, S_2)) $ 와 $ \pi_1(\mathbf{Hom}(S_1, S_2)) $ 의 코homological 묘사에 기반한다.
• 임의의 카테고리적 링 $ \mathbb{R} $ 에 대해 카테고리적 오른쪽 $ \mathbb{R} $-모듈의 2-카테고리가 기저 전환과 2-수반성을 통해 충분한 프로젝티브 및 인젝티브 대상을 갖는다.
• 객체가 $ \mathbb{Z} $, 각 객체에서의 자동사상군이 $ \mathbb{Z}/2\mathbb{Z} $ 이며, 교환 법칙의 동치 사상이 $ \epsilon_{n+m} $ 로 주어지는 대칭 카테고리적 군 $ \mathbb{H} $ 는 소형 프로젝티브 생성자이다.
• 대칭 카테고리적 군의 2-카테고리와 카테고리적 링 $ \mathbf{Hom}(\mathbb{H}, \mathbb{H}) $ 에 대한 오른쪽 카테고리적 모듈의 2-카테고리 사이에 요네다 임베딩과 2-수반성을 통해 2-동치가 존재한다.