[논문 리뷰] Cohomology theory in 2-categories

Hiroyuki Nakaoka|ArXiv.org|2008. 11. 17.

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

한 줄 요약

이 논문은 아벨 범주에 대한 2-카테고리적 일반화로, 대칭 카테고리적 군의 2-카테고리(SCG)를 일반화하는 상대적으로 정확한 2-카테고리라고 불리는 것을 제안한다. 저자는 자가쌍대적이고 공리적인 프레임워크를 구축함으로써, 순수하게 다이어그램 기반의 방법을 사용하여 임의의 짧은 상대적으로 2-정확한 복합체의 열에서 장기 공액계 2-정확한 수열을 구성한다. 주요 기여는 2-카테고리에서 통합적이고 쌍대 친화적인 코homology 이론을 제공하며, SCG는 중심적인 예시이다.

ABSTRACT

Recently, symmetric categorical groups are used for the study of the Brauer groups of symmetric monoidal categories. As a part of these efforts, some algebraic structures of the 2-category of symmetric categorical groups $\mathrm{SCG}$ are being investigated. In this paper, we consider a 2-categorical analogue of an abelian category, in such a way that it contains $\mathrm{SCG}$ as an example. As a main theorem, we construct a long cohomology 2-exact sequence from any extension of complexes in such a 2-category. Our axiomatic and self-dual definition will enable us to simplify the proofs, by analogy with abelian categories.

연구 동기 및 목표

• 대칭 카테고리적 군의 2-카테고리(SCG)를 핵심 예시로 포함하는 2-카테고리적 아벨 범주에 대한 일반화를 개발하기 위해.
• 2-카테고리에서의 호모로지 대수학을 위한 자가쌍대적이고 공리적인 프레임워크를 제공하여, 쌍대성을 통해 증명을 단순화하기 위해.
• SCG에서 짧은 상대적으로 2-정확한 복합체의 열로부터 코homology 2-정확한 수열을 구성하는 방법을 더 넓은 범주로 일반화하기 위해.
• 고차원 카테고리적 호모로지 프레임워크를 통해 대칭 모노이드 카테고리에서의 브라우어 군과 피카르 군의 연구를 통합하기 위해.

제안 방법

• 자기쌍대 공리를 갖는 상대적으로 정확한 2-카테고리로서, 아벨 범주에 대한 2차원적 일반화를 정의하여 증명의 대칭성을 보장한다.
• 1-세포에 대한 두 가지 표준적인 분해 체계를 수립: 하나는 완전히 코faithful하고 faithfule한 사상으로 구성되며, 다른 하나는 코faithful하고 완전히 faithfule한 사상으로 구성된다.
• 상대적으로 정확한 2-카테고리 내의 복합체에 대해 상대적인 2-정확성의 개념을 도입하여, 이전의 SCG 정의를 일반화한다.
• 다이어그램 기반 기법을 사용하여, 임의의 짧은 상대적으로 2-정확한 복합체의 열로부터 장기 코homology 2-정확한 수열을 구성한다.
• 프레임워크 전반에 걸쳐 쌍대성을 활용하여 증명을 단순화하며, 아벨 범주에서의 고전적 호모로지 대수학을 모방한다.
• 2차원 다이어그램 보조정리(예: 삼각형 보조정리의 쌍대형)를 사용하여 분해와 정확한 수열 내의 2-세포의 호환성을 다룬다.

실험 결과

연구 질문

• RQ1 대칭 카테고리적 군의 2-카테고리(SCG)가 자연스러운 예가 되는 2-카테고리적 아벨 범주의 일반화를 정의할 수 있는가?
• RQ2 고전적 호모로지 대수학에서의 장기 정확한 수열은 2-카테고리의 맥락으로 어떻게 일반화될 수 있는가?
• RQ3 2-카테고리가 아벨 범주에서의 코homology 이론과 유사한 이론을 지지하기 위한 필수 및 충분한 조건은 무엇인가?
• RQ4 쌍대성이 증명의 단순화와 구성의 대칭성 보장을 위해 프레임워크에 어떻게 통합될 수 있는가?
• RQ5 코homology 2-정확한 수열의 구성 방법은 SCG에서 유도된 다른 2-카테고리, 예를 들어 군 작용이나 이항함수를 갖는 카테고리에 적용될 수 있는가?

주요 결과

• 논문은 상대적으로 정확한 2-카테고리 내에서 임의의 짧은 상대적으로 2-정확한 복합체의 열로부터 장기 코homology 2-정확한 수열을 구성하며, 이는 SCG에서의 결과를 일반화한다.
• 프레임워크는 자가쌍대적이며, 대칭적인 증명이 가능하고, 커널과 코커널과 같은 쌍대 구성의 처리를 단순화한다.
• 모든 상대적으로 정확한 2-카테고리에서 적절한 분해 체계가 존재한다: 모든 1-세포는 완전히 코faithful하고 faithfule한 사상 또는 코faithful하고 완전히 faithfule한 사상으로 두 가지 다른 방식으로 분해된다.
• 장기 코homology 2-정확한 수열의 구성은 기저 집합론적 구조에 의존하지 않고 순수하게 다이어그램적 추론에 의존한다.
• 2-카테고리 SCG는 상대적으로 정확한 2-카테고리의 모델 예시로 나타나며, 이는 프레임워크의 적용 가능성에 대한 타당성을 입증한다.
• 프레임워크는 $γ$-SMod, SCG × SCG, 그리고 이항함수의 2-카테고리 등 다른 2-카테고리로의 일반화를 지원하며, 광범위한 적용 가능성을 시사한다.