[논문 리뷰] A general framework for homotopic descent and codescent

Kathryn Hess|arXiv (Cornell University)|2010. 01. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 28

한 줄 요약

이 논문은 단순화된 구조를 갖춘 범주를 사용하여 $∞$-범주적 프레임워크를 개발하여 호모토피적 강하와 강하를 통합하고, 고전적인 예인 애드엄스 및 애드엄스-노빅로프 스펙트럴 시퀀스를 일반화하는 스펙트럴 시퀀스를 도출한다. 주요 기여는 유도된 (코)완비성에 의한 호모토피적 (코)강하의 특성화이며, 반만델의 정리와 유사한 조건들이 호모토피적 (코)강하를 보장한다.

ABSTRACT

In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can be viewed as $\infty$-category-theoretic, as our framework is constructed in the universe of simplicially enriched categories, which are a model for $(\infty, 1)$-categories. We provide general criteria, reminiscent of Mandell's theorem on $E_{\infty}$-algebra models of $p$-complete spaces, under which homotopic (co)descent is satisfied. Furthermore, we construct general descent and codescent spectral sequences, which we interpret in terms of derived (co)completion and homotopic (co)descent. We show that a number of very well-known spectral sequences, such as the unstable and stable Adams spectral sequences, the Adams-Novikov spectral sequence and the descent spectral sequence of a map, are examples of general (co)descent spectral sequences. There is also a close relationship between the Lichtenbaum-Quillen conjecture and homotopic descent along the Dwyer-Friedlander map from algebraic K-theory to étale K-theory. Moreover, there are intriguing analogies between derived cocompletion (respectively, completion) and homotopy left (respectively, right) Kan extensions and their associated assembly (respectively, coassembly) maps.

연구 동기 및 목표

• ∞-범주에서의 강하와 완비성 문제를 위한 일반적인 호모토피 이론적 프레임워크를 개발하기 위해.
• 고전적 강하 및 강하 이론을 유도된 완비성과 호모토피적 (코)강하와 통합하기 위해.
• 유도된 (코)완비성의 관점에서 해석 가능한 일반적인 강하 및 강하 스펙트럴 시퀀스를 구성하기 위해.
• 유명한 스펙트럴 시퀀스—비안정 및 안정 애드엄스, 애드엄스-노빅로프, 그리고 강하 스펙트럴 시퀀스—가 제안된 일반 프레임워크의 특수한 경우임을 보여주기 위해.
• 리히텐바움-퀴렌 추측과 대수적 K-이론에서 에탈 K-이론으로 가는 드위어-프리들랜더 사상에 沿한 호모토피적 강하 사이의 관계를 명확히 하기 위해.

제안 방법

• 호모토피 이론적 구성이 가능하도록 단순화된 구조를 갖춘 범주를 통해 $(∞,1)$-범주를 모델링하기 위해.
• 모나드와 코모나드에 대한 (코)대수의 정의에 Eilenberg-Moore 구성법을 사용하고, 적절한 조건 하에서 단순화된 구조가 유지됨을 보장하기 위해.
• 반만델의 정리(특히 $E_{\infty}$-대수의 모델링에 의한 $p$-완비 공간에 대한)를 영감으로 삼아, 유도된 (코)완비성에 기반한 호모토피적 (코)강하의 조건을 설정하기 위해.
• 유도된 (코)완비성 설정에서 호모토피 군을 계산하는 도구로 일반적인 강하 및 강하 스펙트럴 시퀀스를 구성하기 위해.
• 기존의 예제들—예를 들어 애드엄스 및 애드엄스-노빅로프 스펙트럴 시퀀스—에 이 프레임워크를 적용하고, 유도된 코완비성 및 등식 추측과의 관계를 규명하기 위해.
• 포스트니코프 표현과 Eilenberg-Moore 범주에서의 모델 범주 구조를 사용하여 유도된 (코)완비성 함자들의 존재를 보장하기 위해.

실험 결과

연구 질문

• RQ1 단순화된 구조를 갖춘 범주로 모델링된 $∞$-범주에서, 언제 호모토피적 강하 또는 강하가 성립하는가?
• RQ2 유도된 (코)완비성의 관점에서 일반적인 강하 및 강하 스펙트럴 시퀀스는 어떻게 구성되고 해석될 수 있는가?
• RQ3 애드엄스 및 애드엄스-노빅로프와 같은 고전적 스펙트럴 시퀀스들이 제안된 일반 프레임워크의 특수한 경우로 나타나는 정도는 어느 정도인가?
• RQ4 리히텐바움-퀴렌 추측과 대수적 K-이론에서 에탈 K-이론으로 가는 드위어-프리들랜더 사상에 沿한 호모토피적 강하 사이의 관계는 무엇인가?
• RQ5 유도된 코완비성과 호모토피 케인 확장 간의 관계는 무엇이며, 특히 그들의 어셈블리 및 코어셈블리 맵을 통해 어떻게 연결되는가?

주요 결과

• 논문은 반만델의 정리(특히 $E_{\infty}$-대수의 모델링에 의한 $p$-완비 공간에 대한)와 유사한 형태로, 유도된 (코)완비성에 기반한 호모토피적 강하 및 강하의 일반 기준을 확립한다.
• 유도된 (코)완비성과 호모토피적 (코)강하를 해석할 수 있는 일반적인 강하 및 강하 스펙트럴 시퀀스를 구성하여 통합적인 계산 도구를 제공한다.
• 비안정 및 안정 애드엄스 스펙트럴 시퀀스, 애드엄스-노빅로프 스펙트럴 시퀀스, 그리고 사상의 강하 스펙트럴 시퀀스는 모두 일반 프레임워크의 특수한 경우로 밝혀졌다.
• 리히텐바움-퀴렌 추측과 대수적 K-이론에서 에탈 K-이론으로 가는 드위어-프리들랜더 사상에 沿한 호모토피적 강하 사이의 밀접한 관계가 규명되었다.
• 이 프레임워크는 유도된 코완비성과 호모토피 왼쪽 케인 확장 사이의 이중성, 그리고 완비성과 오른쪽 케인 확장 사이의 이중성을 각각 어셈블리 맵과 코어셈블리 맵를 통해 드러낸다.
• 포스트니코프 표현과 피브란시 조건을 포함한 조건 하에서, (코)대수의 Eilenberg-Moore 범주의 모델 범주 구조를 구성하여, 유도된 (코)완비성 함자들의 존재를 보장한다.