The purpose of this paper is to establish in Theorem 13.13 a spectral sequence from the motivic cohomology of a smooth variety X over a field F to the algebraic K-theory of X: E p,q 2 = Hp−q (X, Z(−q)) = CH −q (X, −p − q) ⇒ K−p−q(X). (13.13.1) Such a spectral sequence was conjectured by A. Beilinson [Be] as a natural analogue of the Atiyah-Hirzebruch spectral sequence from the singular cohomology to the topological K-theory of a topological space. The expectation of such a spectral sequence has provided much of the impetus for the development of motivic cohomology (e.g., [B1], [V2]) and should facilitate many computations in algebraic K-theory. In the special case in which X equals SpecF, this spectral sequence was established by S. Bloch and S. Lichtenbaum [B-L]. Our construction depends crucially upon the main result of [B-L], the existence of an exact couple relating the motivic cohomology of the field F to the multirelative K-theory of coherent sheaves on standard simplices over F (recalled as Theorem 5.5 below). A major step in generalizing the work of Bloch and Lichtenbaum is our reinterpretation of their spectral sequence in terms of the “topological filtration ” on the K-theory of the standard cosimplicial scheme ∆ • over F. We find that the spectral sequence arises from a tower of Ω-prespectra K( ∆ • ) = K 0 ( ∆ • ) ← − K 1 ( ∆ • ) ← − K 2 ( ∆ • ) ← − · · · Thus, even in the special case in which X equals SpecF, we obtain a much clearer understanding of the Bloch-Lichtenbaum spectral sequence which is essential for purposes of generalization. Following this reinterpretation, we proceed using techniques introduced by V. Voevodsky in his study of motivic cohomology. In order to do this, we provide an equivalent formulation of K-theory spectra associated to coherent sheaves on X with conditions on their supports K q ( ∆ • × X) which is functorial in X. We then Partially supported by the N.S.F. and the N.S.A.

Abstract. Begin with a small category C. The goal of this short note is to point out that there is such a thing as a ‘universal model category built from C’. We describe applications of this to the study of homotopy colimits, the Dwyer-Kan theory of framings, to sheaf theory, and to the homotopy theory of schemes. Contents

The notion of motivic functors refers to a motivic homotopy theoretic analog of continuous functors. In this paper we lay the foundations for a homotopical study of these functors. Of particular interest is a model structure suitable for studying motivic functors which preserve motivic weak equivalences and a model structure suitable for motivic stable homotopy theory. The latter model is Quillen equivalent to the category of motivic symmetric spectra. There is a symmetric monoidal smash product of motivic functors, and all model structures constructed are compatible with the smash product in the sense that we can do homotopical algebra on the various categories of modules and algebras. In particular, motivic cohomology

Abstract. We compare Friedlander’s definition of étale homotopy for simplicial schemes to another definition involving homotopy colimits of pro-simplicial sets. This can be expressed as a notion of hypercover descent for étale homotopy. We use this result to construct a homotopy invariant functor from the category of simplicial presheaves on the étale site of schemes over S to the category of pro-spaces. After completing away from the characteristics of the

Abstract. We study applications of Atiyah-Hirzebruch spectral sequences for motivic cobordisms found by Hopkins and Morel. 1.

We prove a motivic Landweber exact functor theorem. The main result shows the assignment given by a Landweber-type formula involving the MGL-homology of a motivic spectrum defines a homology theory on the motivic stable homotopy category which is representable by a Tate spectrum. Using a universal coefficient spectral sequence we deduce formulas for operations of certain motivic Landweber exact spectra including homotopy algebraic K-theory. Finally we employ a Chern character between motivic spectra in order to compute rational algebraic cobordism groups over fields in terms of rational motivic cohomology groups and the Lazard ring.

Abstract. Let GC be the algebraic group over C corresponding a simply connected Lie group G. The algebraic cobordism Ω(GC) defined by Levine and Morel is showed isomorphic to MU ∗-subalgebra of MU ∗ (G) with some modulous and is computed explicitely. 1.

Abstract. Let BG be the classifying space of a compact Lie group G. Some examples to compute the motivic cohomology H∗, ∗ (BG; Z/p) are given, by comparing with H ∗ (BG; Z/p), CH ∗ (BG) and BP ∗ (BG). 1.

The Verdier hypercovering theorem is a traditional and widely used method of approximating the morphisms [X, Y] between two objects in homotopy categories of simplicial sheaves and presheaves by simplicial homotopy classes of maps.

In this work we construct from ground up a homotopy theory of C ∗-algebras. This is achieved in parallel with the development of classical homotopy theory by first introducing an unstable model structure and second a stable model structure. The theory makes use of a full fledged import of homotopy theoretic techniques into the subject of C ∗-algebras. The spaces in C ∗-homotopy theory are certain hybrids of functors represented by C ∗-algebras and spaces studied in classical homotopy theory. In particular, we employ both the topological circle and the C ∗-algebra circle of complex-valued continuous functions on the real numbers which vanish at infinity. By using the inner workings of the theory, we may stabilize the spaces by forming spectra and bispectra with respect to either one of these circles or their tensor product. These stabilized spaces or spectra are the objects of study in stable C ∗-homotopy theory. The stable homotopy category of C ∗-algebras gives rise to invariants such as stable homotopy groups and bigraded cohomology and homology theories. We