[논문 리뷰] Classifying spaces and fibrations of simplicial sheaves

Matthias Wendt|arXiv (Cornell University)|2010. 09. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 39인용 수 7

한 줄 요약

이 논문은 사이ม플리셜 셰이브의 사이트 위에서 피브레이션을 분류하는 데 두 가지 프레임워크를 수립한다: 한쪽은 점을 가진 피브레이션에 대해 브라운 표현 가능성을 활용하여 점을 가진 분류 공간 $B^fF$를 얻고, 다른 한쪽은 호모토피 자기동치의 모노이드 위에서 바르 구조를 사용하여 점을 갖지 않는 분류 공간 $B(*, \operatorname{hAut}_\bullet(F), *)$를 얻는 것이다. 핵심 결과는 단순히 사이트 위의 사이클리셜 셰이브 $X$ 위에서 국소적으로 평탄한 피브레이션의 동치류와 각각의 분류 공간으로부터의 호모토피 클래스 사이에 자연스러운 전단사 사상이 존재한다는 것이다.

ABSTRACT

In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves. One construction proceeds via Brown representability and provides a classification in the pointed model category. The second construction is given by the classifying space of the monoid of homotopy self-equivalences of a simplicial sheaf and provides the unpointed classification.

연구 동기 및 목표

• 사이트 위의 사이클리셜 셰이브의 호모토피 범주에서 피브레이션에 대한 분류 이론을 개발하는 것.
• 기존에 사이클리셜 세트와 위상공간에서 사용된 고전적 분류 공간 구성법을 사이클리셜 셰이브의 맥락으로 확장하는 것.
• 다른 호모토피 기법을 사용하여 점을 가진 및 점을 갖지 않는 분류 결과를 모두 수립하는 것: 브라운 표현 가능성과 바르 구조.
• 단지 사이클리셜 세트가 아니라 사이클리셜 셰이브를 통한 내부 분류를 제공함으로써 $Α^1$-호모토피 이론에의 적용 가능성을 열어두는 것.
• 국소적으로 평탄한 피브레이션과 그에 상응하는 분류 공간으로의 호모토피 클래스 사이에 자연스러운 전단사 사상이 존재함을 증명하는 것.

제안 방법

• 사이클리셜 셰이브의 점을 가진 모델 범주에서 브라운 표현 가능성을 적용하여, 피브러가 $F$인 피브레이션을 위한 점을 가진 분류 공간 $B^fF$를 구성한다.
• 점을 갖지 않는 분류 공간을 사이클리셜 셰이브인 $F$의 호모토피 자기동치의 모노이드 위에서 바르 구조 $B(*, \operatorname{hAut}_\bullet(F), *)$로 구성한다.
• 모든 피브러가 $F$와 호모토피 유형을 갖는다는 조건을 일반화하기 위해 그로텐디크 위상에서의 국소 평탄성의 개념을 도입한다.
• 원래 레즈크에 의해 제안된 호모토피 분배법칙을 적용하여 피브레이션의 붙임을 정당화하고, 표현 가능성 조건을 만족시키도록 한다.
• 초커버링을 사용하여 호모토피 범주 안의 사상들을 표현하고, 주어진 피브레이션으로부터의 분류 사상은 주로화를 통해 구성한다.
• 호모토피 클래스의 사상과 피브레이션의 동치류 사이에 자연스러운 변환을 수립하고, 초커버링의 호모토피 불변성과 명시적 구성에 의해 전단사성을 증명한다.

실험 결과

연구 질문

• RQ1 고전적인 사이클리셜 세트에서의 피브레이션 분류는 어떻게 사이트 위의 사이클리셜 셰이브로 일반화될 수 있는가?
• RQ2 고정된 피브러 $F$를 갖는 피브레이션과 관련된 피브러 함수가 사이클리셜 셰이브의 호모토피 범주에서 표현 가능해지기 위한 조건은 무엇인가?
• RQ3 피브러 $F$의 호모토피 자기동치의 모노이드 위에서 수행하는 바르 구조는 사이클리셜 셰이브 범주에서 점을 갖지 않는 피브레이션을 어떻게 분류하는가?
• RQ4 호모토피 분배법칙은 사이클리셜 셰이브 맥락에서 피브레이션의 붙임과 분류 공간의 구성에 어떻게 기여하는가?
• RQ5 점을 가진 분류 이론과 점을 갖지 않는 분류 이론은 특히 $\pi_0\operatorname{hAut}_\bullet(F)$의 작용을 통해 어떻게 관련되어 있는가?

주요 결과

• 점을 가진 분류 공간 $B^fF$는 루트가 있는 동치에 관해, 사이클리셜 셰이브 $X$ 위에서 국소적으로 평탄한 피브레이션의 동치류와 점을 가진 호모토피 클래스 $[X, B^fF]$ 사이에 자연스러운 전단사 사상을 제공한다.
• 점을 갖지 않는 분류 공간 $B(*, \operatorname{hAut}_\bullet(F), *)$는 동치에 관해, 사이클리셜 셰이브 $X$ 위에서 국소적으로 평탄한 피브레이션의 동치류와 점을 갖지 않는 호모토피 클래스 $[X, B(*, \operatorname{hAut}_\bullet(F), *)]$ 사이에 자연스러운 전단사 사상을 제공한다.
• 두 분류 공간은 $\pi_0\operatorname{hAut}_\bullet(F)$의 작용을 통해 관련되어 있다: 점을 가진 분류 집합에서 이 작용에 의해 얻어진 몫이 점을 갖지 않는 분류 집합이 된다.
• 이 구성은 호모토피 분배법칙에 크게 의존하며, 이는 호모토피 극한과 코어가 교환 가능하게 하여 초커버링 위에서 피브레이션의 붙임을 가능하게 한다.
• 분류 사상은 초커버링의 평탄화와 주로화를 통해 구성되며, 교차 위에서의 전이 자료는 $\operatorname{hAut}_\bullet(F)$로의 사상으로 이어지고, 결과적으로 바르 구조로의 사상으로 이어진다.
• 피브레이션과 분류 공간으로의 사상 사이의 전단사성은 두 자연스러운 변환의 합성 결과가 양방향에서 항등사상이 됨을 보여줌으로써 증명되며, 이는 초커버링의 호모토피 불변성에 기반한다.