Results 1 
6 of
6
Duality and ProSpectra
, 2004
"... Abstract Cofiltered diagrams of spectra, also called prospectra, have arisen in diverse areas, and to date have been treated in an ad hoc manner. The purpose of this paper is to systematically develop a homotopy theory of prospectra and to study its relation to the usual homotopy theory of spectra ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
Abstract Cofiltered diagrams of spectra, also called prospectra, have arisen in diverse areas, and to date have been treated in an ad hoc manner. The purpose of this paper is to systematically develop a homotopy theory of prospectra and to study its relation to the usual homotopy theory of spectra, as a foundation for future applications. The surprising result we find is that our homotopy theory of prospectra is Quillen equivalent to the opposite of the homotopy theory of spectra. This provides a convenient duality theory for all spectra, extending the classical notion of SpanierWhitehead duality which works well only for finite spectra. Roughly speaking, the new duality functor takes a spectrum to the cofiltered diagram of the SpanierWhitehead duals of its finite subcomplexes. In the other direction, the duality functor takes a cofiltered diagram of spectra to the filtered colimit of the SpanierWhitehead duals of the spectra in the diagram. We prove the equivalence of homotopy theories by showing that both are equivalent to the category of indspectra (filtered diagrams of spectra). To construct our new homotopy theories, we prove a general existence theorem for colocalization model structures generalizing known results for cofibrantly generated model categories.
Profinite Homotopy Theory
 DOCUMENTA MATH.
, 2008
"... We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and prospaces. One motivation is the étale homotopy theory of schemes in which higher profinite étale homotopy g ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and prospaces. One motivation is the étale homotopy theory of schemes in which higher profinite étale homotopy groups fit well with the étale fundamental group which is always profinite. We show that the profinite étale topological realization functor is a good object in several respects.
Topological hypercovers and A¹realizations
, 2004
"... We show that if U ∗ is a hypercover of a topological space X then the natural map hocolim U∗→X is a weak equivalence. This fact is used to construct topological realization functors for the A1homotopy theory of schemes over real and complex fields. In an appendix, we also prove a theorem about co ..."
Abstract
 Add to MetaCart
We show that if U ∗ is a hypercover of a topological space X then the natural map hocolim U∗→X is a weak equivalence. This fact is used to construct topological realization functors for the A1homotopy theory of schemes over real and complex fields. In an appendix, we also prove a theorem about computing homotopy colimits of spaces that are not cofibrant.
An introduction to étale cobordism
, 2007
"... Since étale cobordism is a relatively new cohomology theory for schemes, we give a brief outline of its motivation and known properties and a short cut to its construction. For any details or proofs please see [24], [25] and soon [26]. 1 ..."
Abstract
 Add to MetaCart
Since étale cobordism is a relatively new cohomology theory for schemes, we give a brief outline of its motivation and known properties and a short cut to its construction. For any details or proofs please see [24], [25] and soon [26]. 1
www.elsevier.com/locate/aim Stable étale realization and étale cobordism
, 2006
"... We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an étale topological realization of the stable A1homotopy theory of smooth schemes over a base field of arbitrary characteristic in analogy to the complex realizatio ..."
Abstract
 Add to MetaCart
We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an étale topological realization of the stable A1homotopy theory of smooth schemes over a base field of arbitrary characteristic in analogy to the complex realization functor for fields of characteristic zero. On the other hand we get a natural setting for étale cohomology theories. In particular, we define and discuss an étale topological cobordism theory for schemes. It is equipped with an Atiyah–Hirzebruch spectral sequence starting from étale cohomology. Finally, we construct maps from algebraic to étale cobordism and discuss algebraic cobordism with finite coefficients over an algebraically closed field after inverting a Bott element.