[논문 리뷰] On weak maps between 2-groups

Behrang Noohi|ArXiv.org|2005. 06. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 22인용 수 29

한 줄 요약

이 논문은 2군 사이의 약한 사상에 대한 코호몰로지 표현 없이도 명시적인 기술을 제공하는 새로운 대수적 구조인 '버터플라이(butterfly)'를 도입하여, 교차 모듈러의 약한 사상에 대한 군개체를 구축한다. 저자들은 버터플라이의 복합을 정의하여, 점을 가진 연결된 2형 호모토피 유형의 2-category와 비등가인 2-카테고리(비등가)를 구성함으로써, 코호몰로지 계산이 번거로운 2군의 작용과 고차 게르베 이론을 체계적으로 연구할 수 있도록 한다.

ABSTRACT

We give an explicit handy (and cocycle-free) description of the groupoid of weak maps between two crossed-modules in terms of certain digrams of groups which we we call a {\em butterflies}. We define composition of butterflies and this way find a bicategory that is naturally biequivalent to the 2-category of pointed homotopy 2-types. We indicate how certain standard notions of 2-group theory (e.g., kernels, cokernels, extension of 2-groups, and so on) find a simple description in terms of butterflies. We also discuss braided and abelian butterflies.

연구 동기 및 목표

• 약한 사상의 코호몰로지 표현 없이도 2군 간의 약한 사상을 명시적이고 구체적으로 기술함으로써, 일관성 조건으로 인해 기존에 다루기 어려웠던 문제를 해결하고자 한다.
• 이러한 사상에 대해 복합 연산을 정의함으로써, 교차 모듈러의 구조에 2-카테고리의 구조를 부여하고, 점을 가진 연결된 2형 호모토피 유형의 호모토피 카테고리를 모델링하고자 한다.
• 기존의 코호몰로지 방법이 번거로운 기하적 설정, 예를 들어 스택, 게르베, 주 2-_bundle에 대한 적용을 가능하게 하고자 한다.
• 그리고 그 이론을 그로텐디크 사이트 위에서의 상대적 설정으로 일반화하여, 리 2군과 2군 스킴에의 응용을 가능하게 하고자 한다.
• 2군의 2-카테고리의 네크와 점을 가진 연결된 2형 호모토피 유형의 호모토피 카테고리 사이의 호모토피 동치를 확립하고자 한다.

제안 방법

• 교차 모듈러 간의 약한 사상을 코호몰로지 없이 기술할 수 있는 새로운 대수적 대상인 '버터플라이'의 개념을 도입한다.
• 버터플라이의 복합을 정의하여, 교차 모듈러를 대상으로 하고 버터플라이를 사상으로 가지는 2-카테고리를 구성한다.
• 네트워크 함자(nerve functor)를 사용하여 2군개체를 단순형 집합으로 변환하고, 2군개체의 네크가 칸 복합체임을 보이며, 2차까지의 호모토피 군을 보존함을 보인다.
• 단순형 집합에 대해 화이트헤드 2군개체 함자 W를 적용하여 2군개체를 복구함으로써, 단순형 집합과 2군개체 사이에 쿠릴렌 쌍대함수 관계를 수립한다.
• 2군개체의 유도된 사상 2군개체가 그들의 네크의 단순형 사상 공간과 자연스럽게 호모토피 동치임을 보이며, 이는 구성의 호모토피 정당성을 검증한다.
• 네크 함자가 2군의 호모토피 카테고리와 점을 가진 연결된 호모토피 2형 유형의 카테고리 사이의 동치를 유도함을 확립한다.

실험 결과

연구 질문

• RQ1 약한 사상의 코호몰로지 표현의 복잡성에서 벗어나 2군 간의 약한 사상을 어떻게 기술할 수 있는가?
• RQ2 약한 사상을 모델링하는 새로운 대수적 대상을 사용하여 교차 모듈러의 카테고리에 2-카테고리의 구조를 정의할 수 있는가?
• RQ3 버터플라이의 카테고리의 호모토피적 의미는 무엇이며, 점을 가진 공간의 호모토피 2-카테고리와 어떻게 관련이 있는가?
• RQ4 이 프레임워크를 어떻게 응용하여 스택 위의 2군 작용을 분류하고, 2주어진 2-_bundle에서의 구조 2군의 변화를 연구할 수 있는가?
• RQ5 이 구성은 리 2군이나 그로텐디크 사이트 위에서의 2군 스킴과 같은 기하적 설정으로 얼마나 일반화할 수 있는가?

주요 결과

• 두 교차 모듈러 사이의 약한 사상의 군개체는 버터플라이를 통해 명시적으로 기술되며, 이는 코호몰로지 표현이 없고 함자론적인 모델을 제공한다 (정리 8.4).
• 버터플라이의 복합은 교차 모듈러의 카테고리에 2-카테고리의 구조를 정의하며, 이는 점을 가진 연결된 2형 호모토피 유형의 2-카테고리와 비등가이다.
• 2군개체에서 단순형 집합으로의 네크 함자가 2차까지의 호모토피 군을 보존하며, 2군의 호모토피 카테고리와 점을 가진 연결된 호모토피 2형 유형의 카테고리 사이의 동치를 유도한다.
• 2군개체의 유도된 사상 2군개체는 자연스럽게 그들의 네크의 단순형 사상 공간과 호모토피 동치이며, 이는 구성의 호모토피 정당성을 검증한다.
• 이 프레임워크를 통해 약한 사상을 엄격한 사상으로의 변환을 통해 스택 위의 2군 작용을 체계적으로 분류할 수 있으며, 일관성 문제를 피할 수 있다.
• 이 이론은 그로텐디크 사이트 위에서의 상대적 설정으로 일반화되며, 리 2군과 2군 스킴에의 응용을 가능하게 한다.