Topological hypercovers and \(\mathbb{A}^1\)-realizations (Q1434209): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: math/0111287 / rank | |||
Normal rank |
Latest revision as of 20:24, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topological hypercovers and \(\mathbb{A}^1\)-realizations |
scientific article |
Statements
Topological hypercovers and \(\mathbb{A}^1\)-realizations (English)
0 references
1 July 2004
0 references
The authors define a hypercover of a topological space X as an augmented simplicial space \(U_*\to X\) such that the maps \(U_n\to M^X_nU\) are open covering maps for all \(n\geq 0\). Here \(M^X_nU\) denotes the \(n\)th matching object of \(U_*\) computed in the category of simplicial spaces over \(X\). The main result of this paper asserts that if \(U_*\to X\) is a hypercover then the maps \(\operatorname{hocolim} U_*\to | U_*| \to X\) are both weak equivalences, where \(| U_*| \) denotes geometric realization. As a consequence, topological realization functors for the \(\mathbb{A}^1\)-homotopy theory of schemes over real and complex fields [\textit{J. F. Jardine}, Doc. Math., J. DMV 5, 445--553 (2000; Zbl 0969.19004)] are constructed. An interesting fact, proved and used in the paper, is the following. For topological spaces, the homotopy colimit of a simplicial space \(U_*\) is weakly equivalent to the realization of \(U_*\), even if \(U_n\) are not cofibrant.
0 references
simplicial space
0 references
geometric realization
0 references
homotopy colimit
0 references
model category
0 references