[논문 리뷰] Classifying theory for simplicial parametrized groups

Danny Stevenson|arXiv (Cornell University)|2012. 03. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 4

한 줄 요약

이 논문은 기저 공간 B 위의 단순형 군 G의 섬유별 기하학적 실현을 구조군으로 갖는 매개변수화된 주군의 다발의 동형류를 분류하기 위해, 비아벨 코hom올로지 클래스 H(B, G)가 이를 분류한다는 것을 보여줌으로써, 단순형 매개변수화된 군에 대한 분류 이론을 수립한다. 핵심 결과는 B와 G에 적절한 조건이 만족될 경우 H(B, G)와 이러한 다발의 동형류 집합 사이의 동형사상이 존재한다는 것이다. 이는 고전적인 주군 다발의 분류를 단순형 군의 호모토피적 설정으로 확장한 것이다.

ABSTRACT

In this paper we describe a classifying theory for families of simplicial topological groups. If $B$ is a topological space and $G$ is a simplicial topological group, then we can consider the non-abelian cohomology $H(B,G)$ of $B$ with coefficients in $G$. If $G$ is a topological group, thought of as a constant simplicial group, then the set $H(B,G)$ is the set of isomorphism classes of principal $G$ bundles, or $G$ torsors, on $B$. For more general simplicial groups $G$, the set $H(B,G)$ parametrizes the set of equivalence classes of higher $G$ torsors on $B$. In this paper we consider a more general setting where $G$ is replaced by a simplicial group in the category of spaces over $B$. The main result of the paper is that under suitable conditions on $B$ and $G$ there is an isomorphism between $H(B,G)$ and the set of isomorphism classes of fiberwise principal bundles on $B$, with structure group $|G|$ given by the fiberwise geometric realization of $G$.

연구 동기 및 목표

• 비아벨 코호몰로지에 의한 고전적 주 G-다발의 분류를 단순형 매개변수화된 군의 설정으로 확장하기.
• 비아벨 코호몰로지 클래스 H(B, G)와 G의 섬유별 기하학적 실현으로 주어진 구조군을 갖는 매개변수화된 주군 다발의 동형류 사이의 대응을 수립하기.
• 국소 호모토피 이론을 이용한 단순형 프레샤브의 콤���스에 기반한 호모토피론적 프레임워크를 제공하여 비틀린 구조와 코체이를 분석하기.
• 적절한 조건—예를 들어 B가 국소 콤���스 하우스도르프 공간이고 G가 잘 섹션되고 프리브라인일 경우—하에 코호몰로지 집합 H(B, G)가 매개변수화된 맥락에서의 고차 토르서를 분류한다는 것을 증명하기.

제안 방법

• B 위의 단순형 프레샤브의 모델 범주 구조를 이용하여, 근처의 약한 호모토피 동치를 통한 약한 동치를 정의한다.
• B 위의 단순형 프레샤브 범주 내부에서 국소 호모토피 이론을 적용하며, 그로텐디크 위상과 국소 피브레이션을 사용한다.
• 단순형 군의 분류 공간을 모델링하기 위해 W-구성법을 활용하여 프리브라인성과 코호몰로지 분류와의 호환성을 확보한다.
• 섬유별 기하학적 실현 함자 |·|를 사용하여 매개변수화된 공간 내의 단순형 군에서 B 위의 위상군으로의 전환을 가능하게 하여 다발 분류를 실현한다.
• 국소 약한 약성 조건을 적용하고 d0의 핵에 추가 분해를 구성하여 핵심 부분 대상의 섬유별 수축 가능성을 증명한다.
• 지지되는 군의 수열이 분할 정확성을 가지는 것으로부터 유도되는 피브레이션 수열을 이용하여 코호몰로지의 장대 정렬 시퀀스를 수립한다.

실험 결과

연구 질문

• RQ1 G가 B 위의 공간의 범주에서 단순형 군일 때, 비아벨 코호몰로지 H(B, G)는 어떻게 고차 G-토르서를 분류할 수 있는가?
• RQ2 기저 공간 B와 단순형 군 G에 대해 어떤 조건이 H(B, G)가 매개변수화된 주군 다발의 동형류를 분류하도록 보장하는가?
• RQ3 G의 섬유별 기하학적 실현은 어떻게 매개변수화된 다발의 분류 공간의 구조를 포괄하는가?
• RQ4 W-구성법은 매개변수화된 맥락에서 기하학적 실현 함자와 어떻게 상호작용하여 분류 피브레이션을 도출하는가?
• RQ5 d0의 핵의 수축 가능성은 코호몰로지와 다발 분류 사이의 동형사상 수립에 있어 어떤 역할을 하는가?

주요 결과

• G의 섬유별 기하학적 실현으로 주어진 구조군을 갖는 매개변수화된 주군 다발의 동형류 집합과 비아벨 코호몰로지 집합 H(B, G) 사이에 자연스러운 동형사상이 존재한다.
• B 위의 단순형 프레샤브 범주에서 p: W|Dec G| → WG는 국소 피브레이션이며, 이는 코호몰로지의 장대 정렬 시퀀스를 사용할 수 있도록 한다.
• 단순형 군 Dec0G의 미분 d0의 핵은 섬유별 수축 가능하고, 프리브라인이며 잘 섹션되어 있으며, 이는 특정 코호몰로지 클래스의 자명성을 보장한다.
• B가 국소 콤팩트 하우스도르프이고 각 Gn이 섬유별 수축 가능할 경우, [1, WG]는 자명하다. 이는 모든 이러한 다발이 자명하다는 것을 의미한다.
• 사상 [1, W|Dec G|] ։ [1, WG]의 전성과 [1, W|G|]의 자명성으로부터 [1, WG]가 자명하다는 것이 도출되며, 이는 주요 동형사상의 증명에 필수적이다.
• ker(d0)에 추가 분해가 존재함으로써, 그 섬유별 기하학적 실현이 섬유별 수축 가능해지며, 이는 증명의 핵심 기술적 단계이다.