[논문 리뷰] Simplicial principal bundles in parametrized spaces

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

Homotopy and Cohomology in Algebraic Topology참고 문헌 35인용 수 10

한 줄 요약

이 논문은 고정된 기저 공간 $B$ 위에서 매개변수화된 설정에서 주어진 군 $G$의 주(bundle)을 분류하기 위한 단순형(simplicial) 접근을 개발한다. 여기서는 섬유별 기하학적 실현(fiberwise geometric realization)을 사용하여 매개변수화된 군에 대해 곱을 보존하는 분류 공간 함수자(classifying space functor)를 구성한다. 핵심 결과는 매개변수화된 주 $G$-_bundle의 동형류와 분류 공간 $BG$로의 섬유별 호환류 사이의 전단사 대응을 확립하며, 고전적인 단순형 분류 공간 이론을 매개변수화된 맥락으로 확장한다.

ABSTRACT

In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor for groups in the category of spaces over a fixed space B. Additionally, we prove that the fiberwise geometric realization functor sends a large class of simplicial parametrized principal bundles to ordinary parametrized principal bundles. As an application we show that the fiberwise geometric realization of the universal simplicial principal bundle for a simplicial group G in the category of spaces over B gives rise to a parametrized principal bundle with structure group |G|.

연구 동기 및 목표

• 고정된 기저 공간 $B$ 위에서 고전적인 단순형 분류 공간 이론을 매개변수화된 맥락으로 확장하기 위해.
• 매개변수화된 군에 대해 곱을 보존하는 분류 공간 함수자 $B(-)$ 를 구성하기 위해.
• 단순형 매개변수화된 주(bundle)의 섬유별 기하학적 실현이 일반적인 매개변수화된 주(bundle)를 유도함을 증명하기 위해.
• 구축된 분류 공간을 사용하여 매개변수화된 주(bundle)에 대한 분류 정리를 확립하기 위해.
• 표준적인 호모토피 이론의 가정을 반영하여 잘 섹션화된, 피브라션 조건을 만족하는 매개변수화된 군에 이 이론이 적용되도록 보장하기 위해.

제안 방법

• 저자들은 고정된 기저 공간 $B$ 위의 공간들의 범주 $\mathscr{K}_{/B}$ 에서 일하며, May와 Sigurdsson의 $f$-모델 구조를 사용한다.
• 매개변수화된 군과 단순형 매개변수화된 군을 각각 $\mathscr{K}_{/B}$ 와 $s\mathscr{K}_{/B}$ 내부의 군으로 정의한다.
• 매개변수화된 군 $G$ 의 분류 공간에 대한 표준적인 단순형 모델을 구성하고, 그 섬유별 기하학적 실현이 $BG$ 를 유도한다.
• 적절한 조건(피브라션 및 적절한 성질) 하에서 섬유별 기하학적 실현 함수자가 주(bundle)의 구조를 보존함을 보였다.
• Lillig 조건과 $\bar{f}$-코프리즘 성질을 $\mathscr{K}_{/B}$ 에서 검증하고, 섬유별 NDR 쌍과 푸시아웃-곱 정리들을 활용한다.
• 주요 기술적 도구는 $\mathscr{K}_{/B}$ 내의 양호한 단순형 대상이 적절함(proper)임을 증명함으로써 기하학적 실현과 단순형 구조 간의 호환성을 보장하는 것이다.

실험 결과

연구 질문

• RQ1 고전적인 단순형 분류 공간 구성 방법을 기저 공간 $B$ 위의 매개변수화된 맥락으로 어떻게 일반화할 수 있는가?
• RQ2 단순형 매개변수화된 주(bundle)의 섬유별 기하학적 실현이 잘 정의된 일반적인 매개변수화된 주(bundle)가 되기 위해 어떤 조건이 필요한가?
• RQ3 매개변수화된 맥락에서 매개변수화된 군에 대한 분류 공간 함수자 $B(-)$ 는 곱을 보존하는가?
• RQ4 매개변수화된 맥락에서 분류 정리가 성립하기 위해 필요한 피브라션 및 섹션 조건은 무엇인가?
• RQ5 단순형 매개변수화된 군 $G$ 에 대한 유일한 단순형 주(bundle)의 섬유별 기하학적 실현이 $|G|$ 에 대한 분류 공간을 유도하는가?

주요 결과

• 잘 섹션화되고 피브라션 조건을 만족하는 매개변수화된 군 $G$ 에 대해, 분류 공간 함수자 $B(-)$ 는 범주 $\mathscr{K}_{/B}$ 내에서 곱을 보존한다.
• 적절한 단순형 대상 $M$ 과 각 수준에서 수렴 가능한 $G_n$-bundle 을 갖는 단순형 매개변수화된 주(bundle) $P$ 의 섬유별 기하학적 실현은 국소적으로 평탄한 매개변수화된 주 $|G|$-bundle 을 유도한다.
• 단순형 매개변수화된 군 $G$ 에 대한 유일한 단순형 주(bundle)의 실현은 $|G|$ 에 대한 분류 공간을 유도하며, 고전 이론과의 일관성을 확인한다.
• 모든 양호한 단순형 대상은 $\mathscr{K}_{/B}$ 내에서 적절함(proper)이므로, 기하학적 실현과 단순형 구조 간의 호환성이 보장된다.
• $\mathscr{K}_{/B}$ 에서 $\bar{f}$-코프리즘에 대해 Lillig 조건이 성립하여, 적절성과 주요 분류 결과의 증명이 가능해진다.
• 주요 분류 정리는, 파라콤팩트인 $M$ 과 피브라션, 잘 섹션화된 $G$ 에 대해, $H^1(M,G)_{\mathscr{K}_{/B}} \simeq [M,BG]_{\mathscr{K}_{/B}}$ 의 전단사 대응를 확립한다.