[논문 리뷰] The inner automorphism 3-group of a strict 2-group

David Roberts, Urs Schreiber|arXiv (Cornell University)|2007. 08. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 21

한 줄 요약

이 논문은 임의의 스트릭트 2군 G(2)에 대해 내부자기동형 3군 INN₀(G(2))를 도입하며, G(2) → INN₀(G(2)) → BG(2)의 짧은 정합수열에 들어간다는 것을 보여준다. 이 구성은 G(2) 위의 항등사상의 매핑 콘에서 유래되며, INN₀(G(2))가 수축 가능하고 G(2)-2-_bundle에 대해 보편적이라는 것이 입증된다. 이는 전통적인 INN(G)를 통한 보편 G-_bundle의 일반화이다.

ABSTRACT

Any group $G$ gives rise to a 2-group of inner automorphisms, $\mathrm{INN}(G)$. It is an old result by Segal that the nerve of this is the universal $G$-bundle. We discuss that, similarly, for every 2-group $G_{(2)}$ there is a 3-group $\mathrm{INN}(G_{(2)})$ and a slightly smaller 3-group $\mathrm{INN}_0(G_{(2)})$ of inner automorphisms. We describe these for $G_{(2)}$ any strict 2-group, discuss how $\mathrm{INN}_0(G_{(2)})$ can be understood as arising from the mapping cone of the identity on $G_{(2)}$ and show that its underlying 2-groupoid structure fits into a short exact sequence $G_{(2)} o \mathrm{INN}_0(G_{(2)}) o ΣG_{(2)}$. As a consequence, $\mathrm{INN}_0(G_{(2)})$ encodes the properties of the universal $G_{(2)}$ 2-bundle.

연구 동기 및 목표

• 임의의 스트릭트 2군 G(2)에 대해 내부자기동형 3군 INN₀(G(2))를 정의하고 특성화하는 것.
• INN₀(G(2))가 2군의 순서열 G(2) → INN₀(G(2)) → BG(2)에 들어간다는 것을 확립하는 것.
• INN₀(G(2))가 수축 가능하고 G(2)-2-_bundle의 구조를 보편적으로 표현한다는 것을 보여주는 것.
• INN₀(G(2))가 G(2) 위의 항등사상의 매핑 콘과 관련되어 있음을 보여주며, 호모토피적 해석을 제공하는 것.
• INN(G)를 통한 전통적 보편 G-_bundle 구성 방식을 3군을 사용한 고차 카테고리적 2-_bundle로 일반화하는 것.

제안 방법

• G(2)의 항등 교환 모듈러스의 매핑 콘에서 유도된 3군으로서 INN₀(G(2))를 구성하는 것.
• 이중 뉴버 구조를 사용해 G(2)를 이중 단순형 집합 NG(2)로 표현한 후, décalage 함자 Dec₁을 적용하여 수축 가능한 단순형 집합을 얻는 것.
• 결과적으로 얻어진 INN₀(G(2))의 뉴버가 N'G(2)와 BG(2)와 함께 정합수열에 들어가는 Dec₁NG(2)와 동형임을 보이는 것.
• décalage 구성에 의해 INN₀(G(2))의 2군의 순서열이 BG(2)의 탄성 2카테고리와 동치임을 보여주는 것.
• 2교환 모듈러스의 구조를 사용해 INN₀(G(2))의 3군을 개체, 사상, 2사상으로 명시적으로 묘사하는 것.
• 이중 단순형 집합의 décalage와 실현을 통해 INN₀(G(2))의 뉴버가 약한 수축 가능함을 보여주어 INN₀(G(2))가 수축 가능함을 증명하는 것.

실험 결과

연구 질문

• RQ1 군에서 2군으로의 내부자기동형의 개념을 어떻게 일반화할 수 있는가?
• RQ2 스트릭트 2군 G(2)에 대해 내부자기동형 3군 INN₀(G(2))의 구조는 어떠한가?
• RQ3 INN₀(G(2))는 보편 G(2)-2-_bundle와 BG(2)의 분류 2군의 순서열과 어떻게 관련되어 있는가?
• RQ4 INN₀(G(2))의 구성은 G(2) 위의 항등사상의 매핑 콘으로 해석될 수 있는가?
• RQ5 INN₀(G(2))의 호모토피적 의미, 특히 수축 가능성과 보편성 측면에서 무엇인가?

주요 결과

• 내부자기동형 3군 INN₀(G(2))는 2군의 순서열 G(2) → INN₀(G(2)) → BG(2)에 들어가는 3군으로 구성된다.
• INN₀(G(2))는 2군의 순서열로서 수축 가능하며, 이는 그가 자명한 2군과 동치임을 의미하며, 이는 그 뉴버가 약한 수축 가능하다는 것을 뜻한다.
• 3군 INN₀(G(2))는 G(2)의 이중 뉴버의 décalage의 뉴버로 자연스럽게 유도되며, 즉 N(INN₀(G(2))) ≅ Dec₁NG(2)이다.
• INN₀(G(2))의 구성은 G(2)의 항등 교환 모듈러스의 매핑 콘과 동치이며, 이는 호모토피적 해석을 제공한다.
• |N(INN₀(G(2)))|는 수축 가능하며, |N(INN₀(G(2)))| ≃ |NG(2)| = BG(2)임을 확인하여 그 보편 2-_bundle로서의 역할을 뒷받침한다.
• INN₀(G(2))의 2교환 모듈러스 구조는 명시적으로 묘사되며, 이중 교환 모듈러스 H → G의 항등사상에서 유래된 교환 정사각형이 형성된다.