This paper is an exposition of the ideas and methods of Cisinksi, in the context of A-presheaves on a small

Abstract. We give a model structure on the category of simplicial presheaves on some essentially small Grothendieck site T. When T is the Nisnevich site it specializes to a proper simplicial model category with the same weak equivalences as in [MV], but with fewer cofibrations and consequently more fibrations. This allows a simpler proof of the comparison theorem of [V2], one which makes no use of ∆-closed classes. The purpose of this note is to introduce different model structures on the categories of simplicial presheaves and simplicial sheaves on some essentially small Grothendieck site T and to give some applications of these simplified model categories. In particular, we prove that the stable homotopy categories SH((Sm/k)Nis, A 1) and SH((Sch/k)cdh, A 1) are equivalent. This result was first proven by Voevodsky in [V2] and our proof uses many of his techniques, but it does not use his theory of ∆-closed classes developed in [V3]. 1. The local projective model structure on presheaves We first recall some of the other well-known model structures on simplicial presheaves. Definition 1.1. A map f: X → Y of simplicial presheaves (or sheaves) is a local weak equivalence if f ∗ : π0(X) → π0(Y) induces an isomorphism of associated sheaves and, for all U ∈ T, f ∗ : πn(X, x) → πn(Y, f(x)) induces an isomorphism of associated sheaves on T/U for any choice of basepoint x ∈ X(U). The map f is a sectionwise weak equivalence (respectively sectionwise fibration) if for all U ∈ T, the map f(U) : X(U) → Y (U) is a weak equivalence (respectively Kan fibration) of simplicial sets. Heller [He] discovered a model structure on simplicial presheaves whose weak equivalences are the sectionwise weak equivalences. We will refer to his model structure as the injective model structure. Date: January 11, 2001. I would like to thank Dan Isaksen for his many helpful suggestions, and I thank my adviser Peter May for his encouragement and careful reading of many drafts. I am also grateful to Vladimir Voevodsky for noticing an error in an earlier version and for his work that inspired this note. 1 2 BENJAMIN BLANDER

Abstract. We use hypercovers to study the homotopy theory of simplicial presheaves. The main result says that model structures for simplicial presheaves involving local weak equivalences can be constructed by localizing at the hypercovers. One consequence is that the fibrant objects can be explicitly described in terms of a hypercover descent condition. These ideas are central to constructing realization functors on the homotopy theory of schemes [DI1, Is]. We give a few other applications for this new description of the homotopy theory of simplicial presheaves. Contents

Abstract not found

Abstract not found

Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain complex of G-valued singular cochains on X. An alternative is to regard H n (•, G) as a representable functor on the homotopy category

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts. In this first part we investigate a notion of higher topos. For this, we use S-categories (i.e. simplicially enriched categories) as models for certain kind of ∞-categories, and we develop the notions of S-topologies, S-sites and stacks over them. We prove in particular, that for an S-category T endowed with an S-topology, there exists a model

The purpose of this paper is to develop some additional techniques for the weak n-categories defined by Tamsamani in [27] (which he calls n-nerves). The goal is to be able to define the internal Hom(A, B) for two n-nerves A and B, which should itself be an n-nerve. This in turn is for defining the n + 1-nerve nCAT of all n-nerves conjectured in

Abstract not found

Abstract. We prove a blow-up formula for cyclic homology which we use to show that infinitesimal K-theory satisfies cdh-descent. Combining that result with some computations of the cdh-cohomology of the sheaf of regular functions, we verify a conjecture of Weibel predicting the vanishing of algebraic K-theory of a scheme in degrees less than minus the dimension of the scheme, for schemes essentially of finite type over a field of characteristic zero.