# 6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not

Size: px
Start display at page:

Download "6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not"

Transcription

1 6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky s formulation of A 1 -homotopy theory. Earlier, when considering the algebraic singular complex and the relationship between its cohomology and that of etale cohomology, we utilized two Grothendieck topologies of Voevodsky (the h and the qf h topologies). We now consider Grothendieck topologies which are completely decomposed ; in other words, each covering {U i X} in these topologies has the property that for every point x X there is some u in some U i mapping to x such that the induced map on residue fields k(x) k(u) is an isomorphism. The completely decomposed version of of the h-topology is the cdh-topology whereas the completely decomposed version of the etale topology is the Nisnevich topology (considered many years earlier by Nisnevich [5]). Definition 6.1. A Nisnevich covering {U i X} of a scheme X is an etale covering with the property that every for every point x X there exists some u x U i mapping to x inducing an isomorphism k(x) k(u x ) of residue fields. Such coverings determine the Nisnevich topology on the category of Sch/k of schemes of finite type over k. The cdh-topology is the minimal Grothendieck topology of Sch/k for which Nisnevich coverings are coverings in this topology as are pairs {i Y : Y X, π : X X} consisting of a closed immersion i Y and a proper map π such that π restricted to π 1 (X X) is an isomorphism. Examples of cdh-coverings which are not Nisnevich coverings include the closed immersion X red X, the closed covering of a reducible variety by its irreducible components, and abstract blow-ups (see below). It is instructive to observe that the localization of a scheme X at a point x X is the spectrum of the local ring O X,x if we consider the Zariski topology, is the spectrum of the henselization of O X,x if we consider the Nisnevich topology, and is the the spectrum the strict henselization of O X,x if we consider the etale topology. The role of the Nisnevich topology can be seen in the following fundamental result of Voevodsky, a result whose analogue for the Zariski topology is not valid. Theorem 6.2. [10, 3.1.3] For any X (Sch/k), denote by L(X) : (SmCor/k) Ab be the representable presheaf with transfers which sends Y to the free abelian group of finite correspondences from Y X. Then if {U i X} is a Nisnevich cover and if U = i U i, then the complex L(U X U X U) L(U X U) L(X) is an exact sequence of Nisnevich sheaves with transfer. Proof. The essence of the proof is that any finite surjective map Spec A Spec R with R henselian admits a splitting, so that the above complex of sheaves splits locally. The local splittings give local homotopy contracting maps. Observe that the above argument does not apply if we replace the Nisnevich topology by the Zariski topology. One can identify the fundamental role of the Nisnevich coverings in a somewhat different manner. Namely, if Y X is a regular closed embedding of smooth 1

2 2 varieties of dimension e, d = e + c, then this embedding is locally in the Nisnevich topology isomorphic to the linear embedding of affine spaces (1, 0) : A e A e A c = A d. This is proved by observing that any point of Y admits a Zariski open neighborhood U X together with an etale map U A d such that the U Y maps to A e A d. Another special property of the Nisnevich topology is described in the following fundamental result of Voevodsky [9, 5.3]: if F is a presheaf with transfers, then U HNis i (U, F Nis) admits a natural structure of a presheaf with transfers. The cdh-topology is particularly useful for incorporating blow-ups: an abstract blowup of a scheme X consists of a nowhere dense closed immersion i Y : Y X together with a proper surjective map π : X X with the property that p 1 (X Y ) red (X Y ) red is an isomorphism. In particular, any abstract blowup yields a cdh-covering. Voevodsky has another theorem [9, 5.19] asserting that for any abelian Nisnevich sheaf one obtains a long exact sequence associated to the abstract blow-up of a smooth scheme along a smooth closed subscheme. Finally, one can often replace Nisnevich cohomology by Zariski cohomology thanks to a difficult theorem of Voevodsky [9, 5.7] asserting that if F is a homotopy invariant presheaf with transfers, then HZar i (X, F Zar) HNis i (X, F Nis) is an isomorphism. This leads to [9, 5.11] asserting that if F is a presheaf with transfers whose associated sheaf F Nis vanishes, then h i (F ( )) Zar = Motivic cohomology. Given an algebraic variety, we define its Voevodsky motive as follows, inspired by the previous discussion of Suslin homology. Definition 6.3. Let X be a quasi-projective variety over k and let c equi (X, 0) : (Sm/k) Ab be the presheaf taking a smooth variety U to c equi (X, 0)(U), the abelian group of finite correspondences from U to X. We define the motive of X, M(X) by M(X) C (c equi (X, 0)) : (Sm/k) op C (Ab) (where C (c equi (X, 0)) sends a smooth variety U to the normalized chain complex of the simplicial abelian group c equi (X, 0)(U )). Remark 6.4. c equi (X, 0) is actually a sheaf for the qfh topology; in particular, it is a presheaf with transfers. Remark 6.5. If X is normal, then the Suslin complex Sus (X) equals the evaluation of M(X) on Spec k. Thus, the homology of Sus (X), which we studied earlier and called the algebraic singular complex of X, can be seen as the homological counter-point of motivic cohomology as defined below. Definition 6.6. For a given q > 0, define F q to be the sum of the q natural embeddings c equi ((A 1 {0}) q 1, ) c equi ((A 1 {0}) q, 0) and define Z(q) = C (c equi ((A 1 {0}) q, 0)/F q )[ q]. (we view Z(q) as the motive of the q-fold smash product of G m ). If X is a smooth quasi-projective variety over k, then we define the motivic cohomology of X by H p (X, Z(q)) H p Zar (X, Z(q)).

3 3 For X not necessarily smooth, we consider the sheafification of Z(q) in the cdhtopology (to incorporate resolution of singularities) and define motivic cohomology by H p (X, Z(q)) H p cdh (X, Z(q) cdh). Suslin and Voevodsky verify that the presheaves c equi (X, 0) satisfy numerous good formal properties. These apply more generally to the qf h-sheaves z equi (X, r) : (Sm/k) Ab sending a smooth variety U to the free abelian group on the integral closed subschemes of U X which are dominant with r-dimensional fibres onto some component of U. property Proposition 6.7. [7, 4.37] Let X be a smooth variety over k and let {U, V X} be a Zariski open covering. Then the short exact sequence of sheaves 0 c equi (U V, 0) c equi (U, 0) c equi (V, 0) c equi (X, 0) 0 is exact in the Nisnevich topology (as well as the cdh-topology), thereby determining a Mayber-Vietoris long exact sequence in Zariski sheaf cohomology. If Y X is a closed subvariety of the smooth variety X, then for any r 0 there is an exact sequence of sheaves in the cdh-topology 0 z equi (Y, r) cdh z equi (X, r) cdh z equi (X Y ) cdh 0 thereby determining a localization long exact sequence in cdh sheaf cohomology. Finally, if X is a quasi-projective variety over k and Z X is a closed subvariety and if f : X X is a proper morphism whose restriction f 1 (X Z) X Z is an isomorphism, then there are short exact sequences of sheaves in the cdh topology for any r 0 0 c equi (f 1 (Z), 0) cdh c equi (X, 0) cdh c equi (Z, 0) cdh c equi (X, 0) 0 0 z equi (f 1 (Z), r) cdh z equi (X, r) cdh z equi (Z, r) cdh z equi (X, r) 0 thereby giving blow-up long exact sequences in cdh sheaf cohomology. When combined with the following fundamental theorem of Voevodsky, we conclude localization, Mayer-Vietoris, and blow-up exact sequences for motivic cohomology. sheaf-acyclic Theorem 6.8. Let P be a presheaf with transfers over a field of characteristic 0 with the property that P cdh = 0. Then the complex of sheaves in the Zariski topology, C (P ) Zar, is acyclic. Proposition 6.7 and Theorem 6.8 enable us to prove various basic properties of H p (X, Z(n)). In particular, we have the following alternate formulations of motivic cohomology of a smooth scheme. The first asserted isomorphism follows from Zariski descent for Z(q) together with Theorem 6.8, whereas the second is a consequence of localization for P q 1 P q with open complement A q. Proposition 6.9. If X is a smooth quasi-projective variety over k, then H p (X, Z(q)) h p (Z(q)(X)) h p (C (z equi (A q, 0)(X)[ 2q]).

4 4 As mentioned previously, these motivic cohomology groups agree with Bloch s higher Chow groups for smooth varieties, and therefore the Suslin-Voevodsky complexes satisfy most of the conjectures of Beilinson. Indeed, the key property of localization for Bloch s higher Chow groups is best proved using motivic cohomology. This comparison is achieved by means of a moving lemma argument of Suslin s given in [6], showing that cycles in Bloch s z q (X, n) Z q (X n ) can be moved to be equidimensional over X provided that n q Multi-relative K-theory and the Bloch-Lichtenbaum exact couple. If f : S T is a map of topological spaces, then there is a standard construction of a mapping fibration f : S = S T {0} T I T together with a natural homotopy equivalence S S over T. Granted a base point t 0 T, the homotopy fibre of f is given by fib(f) = f 1 (t 0 ). Similarly, consider f as a pointed map f : (S, s 0 ) (T, t 0 ); then the homotopy cofibre of f is the reduced mapping cone cofib(f) = cyl(f)/(s {0} {s} I) where the mapping cylinder is defined as cyl(f) = S I S {1} T. If i : Y X is a closed immersion of schemes, then we define the relative K- theory K (X, Y ) to be the homotopy groups of the homotopy fibre of the map of K-theory spectra K(X) K(Y ) (where we define the 0-th space of the K-theory spectrum K(X) to be the geometric realization of the nerve of the Q-construction applied to the exact category P X of coherent, locally free O X -modules). For a non-negative integer n, an n-cube of pointed spaces (or spectra) is a functor from the category of subsets of {0,..., n 1} to pointed spaces. If Y,..., is an n- cube of pointed spaces, then we inductively define fib(y ) as the homotopy fibre of the structure map induced by d n 1 fib(y ) fib(d n 1 : fib(y,...,,1 ) fib(y,...,,0 )), thereby generalizing the usual homotopy fibre construction (obtained by taking n = 1). Similarly, we inductively define the homotopy cofibre cof(y,..., ) of the n-cube of pointed spaces as the homotopy cofibre cofib(y ) cofib(d n 1 : cofib(y,...,,1 ) cofib(y,...,,0 )), If X is a simplicial space, then we define the associated n-cube (for any n 0 Y,,..., = cube n (X ) by setting Y i0,i 1,...,i n 1 = X i0+i 1+ +i n 1 and defining the maps of the cube in a natural way in terms of the face maps of X. Definition Let X be a scheme and Y 0,..., Y n 1 be n closed subschemes. Define a n-cube of spectra K(X; Y ) by associating to the subset S {0, 1,..., n 1} the spectrum K( i/ S Y i ) and define the mulit-relative K-theory spectrum as K(X; Y 0,..., Y n 1 ) fib(k(x; Y )). We mention two important examples. Let n be the (algebraic) n-simplex, let ( n ) denote the collection of the n + 1-faces of n, and let Λ( n ) denote the collection of all faces of n except the one given by t = 0. Then K( n, ( n )) = fib(cube n+1 (K( )),

5 5 K( n Lambda( n ) = fib({cube n+1 (K( )} 1 ), where {cube n+1 X } 1 is the n-cube obtained by restricting to those subsets of {0, 1,..., n} which contain 1. We need to add one more complication to multi-relative K-theory. Namely, we consider the K-theory of a scheme X with supports in a family C of closed subschemes. Perhaps the best way to define this (following [8]) is to define K in terms of the category of complexes of vector bundles and to define K-theory with supports in terms of those complexes which are acyclic outside the union of the subschemes in C. In this way, we get a functor K C ( ) from schemes to spectra. The following difficult theorem of Bloch and Lichtenbaum involves very intricate moving lemma arguments. bl-exact Theorem [1] Let F be a field and let K Cq 0 ( n, ( n )) = π 0 (K Cq ( n, ( n ))) denote the 0-th multi-relative K-group of Spec F with supports C q consisting of those closed subschemes of n which meet each face of n in codimension q. Define K0 Cq ( n, Λ( n )) similarly. Then there is a natural long exact sequence (for each n > 0) K Cq+1 0 ( n, ( n )) i K Cq 0 ( n, ( n )) j K Cq 0 ( n, Λ( n )) k K Cq 0 ( n 1, ( n 1 )) i K Cq 1 0 ( n 1, ( n 1 )) Moreover, K Cq 0 ( n, Λ( n )) can be naturally identified with the n-th term of the complex z q (Spec F, ) norm, the normalization of the Bloch s complex which computes higher Chow groups CH q (Spec F, ). Under this identification, the composition j k : z q (Spec F, n) norm z q (Spec F, n 1) norm is the differential of Bloch s complex. Patching together the exact sequences of Theorem 6.11, we obtain an exact couple and thus a spectral sequence, the motivic spectral sequence for X the spectrum of a field. Theorem [1] Let F be a field. Then there is an exact couple (homologically indexed) D 1 = p,q K0 Cq ( p+q, ( p+q )) i K0 Cq ( p+q, ( p+q )) = D 1 p,q E 1 = p,q z q (Spec F, p + q) norm. The associated spectral sequence has the form E 2 p,q = CH q (Spec F, p + q) K p+q (F ). A key step to globalization of this spectral sequence is the following theorem of Friedlander-Suslin. The proof of this result involves the identification of low dimensional homotopy groups of the homotopy fibres of the n-cube associated to a simplicial spectrum in terms of the homotopy groups (shifted by n) of the homotopy cofibre of this n-cubes which in turn are reinterpreted in terms of the homotopy groups (shifted by 1) of the total space of the simplicial spectrum.

6 6 Theorem The first derived exact couple of the Bloch-Lichtenbaum exact couple is given by D 2 p,q = K Cq+1 p+q ( ) π p+q (K Cq+1 ( )). References BL [1] S. Bloch and S. Lichtenbaum, A spectral sequence for motivic cohomology. FS [2] The spectral sequence relating algebraic K-theory to motivic cohomology, Ann Sci Ecole Norm. Sup 35 (2002), FV [3] E. Friedlander and V. Voevodsky, Bivariant cycle cohomology. G [4] D. Grayson, Weight filtrations via commutating automorphisms, K-theory 9 (1995), Nis [5] Y. Nisnevich, The completely decomposed topology on schemes and assoicated descent spectral sequences in algebraic K-theory. In Algebraic K-theory: connections with geometry and topology, pp , Kluwer (1989). S [6] A. Suslin, Higher Chow groups and etale cohomology. SV [7] A. Suslin and V. Voevodsky, Relative cycles and Chow sheaves TT [8] R.W. Thomason and T. Trobaugh, Higher algebraic K-theory of schemes and of derived categories. In The Grothendieck Festschrift, vol III, Progr. Math 88, VV [9] V. Voevodsky, Cohomological theory of presheaves with transfer. VV2 [10] V. Voevodsky, Triangulated category of motives over a field. Department of Mathematics, Northwestern University, Evanston, IL address:

### 3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

### x X p K i (k(x)) K i 1 (M p+1 )

5. Higher Chow Groups and Beilinson s Conjectures 5.1. Bloch s formula. One interesting application of Quillen s techniques involving the Q construction is the following theorem of Quillen, extending work

### Algebraic cycle complexes

Algebraic cycle complexes June 2, 2008 Outline Algebraic cycles and algebraic K-theory The Beilinson-Lichtenbaum conjectures Bloch s cycle complexes Suslin s cycle complexes Algebraic cycles and algebraic

### 1. Algebraic vector bundles. Affine Varieties

0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

### BLOCH-OGUS PROPERTIES FOR TOPOLOGICAL CYCLE THEORY. Eric M. Friedlander

BLOCH-OGUS PROPERTIES FOR TOPOLOGICAL CYCLE THEORY Eric M. Friedlander In this paper, we re-formulate morphic cohomology as introduced by the author and H.B. Lawson [F-L1] in such a way that it and Lawson

### K-THEORY AND MOTIVIC COHOMOLOGY OF SCHEMES, I

K-THEORY AND MOTIVI OHOMOLOGY OF SHEMES, I MAR LEVINE Abstract. We examine the basic properties satisfied by Bloch s cycle complexes for quasi-projective varieties over a field, and extend most of them

### Voevodsky s Construction Important Concepts (Mazza, Voevodsky, Weibel)

Motivic Cohomology 1. Triangulated Category of Motives (Voevodsky) 2. Motivic Cohomology (Suslin-Voevodsky) 3. Higher Chow complexes a. Arithmetic (Conjectures of Soulé and Fontaine, Perrin-Riou) b. Mixed

### arxiv:math/ v1 [math.kt] 12 Feb 2005

arxiv:math/0502255v1 [math.kt] 12 Feb 2005 CYCLIC HOMOLOGY, cdh-cohomology AND NEGATIVE K-THEORY G. CORTIÑAS, C. HAESEMEYER, M. SCHLICHTING, AND C. WEIBEL Abstract. We prove a blow-up formula for cyclic

### Non-injectivity of the map from the Witt group of a variety to the Witt group of its function field

Non-injectivity of the map from the Witt group of a variety to the Witt group of its function field Burt Totaro For a regular noetherian scheme X with 2 invertible in X, let W (X) denote the Witt group

### Chern classes à la Grothendieck

Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

### Geometric motivic integration

Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex

### T -spectra. Rick Jardine. March 2, University of Western Ontario

University of Western Ontario March 2, 2015 T = is a pointed simplicial presheaf on a site C. A T -spectrum X consists of pointed simplicial presheaves X n, n 0 and bonding maps σ : T X n X n+1, n 0. A

### THE SMOOTH BASE CHANGE THEOREM

THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change

### arxiv: v1 [math.ag] 28 Dec 2018

Gysin triangles in the category of motifs with modulus arxiv:1812.189v1 [math.ag] 28 Dec 218 Keiho Matsumoto Abstract We construct a Gysin triangle in the category of motifs with modulus which specialises

### Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism

Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized

### Math-Net.Ru All Russian mathematical portal

Math-Net.Ru All Russian mathematical portal V. A. Voevodskii, On the Zero Slice of the Sphere Spectrum, Tr. Mat. Inst. Steklova, 2004, Volume 246, 106 115 Use of the all-russian mathematical portal Math-Net.Ru

### Motivic integration on Artin n-stacks

Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of

### DIFFERENTIAL FORMS IN POSITIVE CHARACTERISTIC AVOIDING RESOLUTION OF SINGULARITIES

DIFFERENTIAL FORMS IN POSITIVE CHARACTERISTIC AVOIDING RESOLUTION OF SINGULARITIES ANNETTE HUBER, STEFAN KEBEKUS, AND SHANE KELLY Abstract. This paper studies several notions of sheaves of differential

### 0.1 Spec of a monoid

These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.

### Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of

### THE GEISSER-LEVINE METHOD REVISITED AND ALGEBRAIC CYCLES OVER A FINITE FIELD

THE GEISSER-LEVINE METHOD REVISITED AND ALGEBRAIC CYCLES OVER A FINITE FIELD BRUNO KAHN Abstract. We reformulate part of the arguments of T. Geisser and M. Levine relating motivic cohomology with finite

### ALGEBRAIC K-THEORY OF SCHEMES

ALGEBRAIC K-THEORY OF SCHEMES BEN KNUDSEN 1. Introduction and Definitions These are expository notes on algebraic K-theory, written for Northwestern s 2014 Pre-Talbot Seminar. The primary reference is

### Motivic Postnikov towers

Motivic Postnikov towers Motives and Algebraic Cycles Fields Institute-March 19-23, 2007 Marc Levine 1 A tribute to Spencer BKL BEL BK B1 B2 B3 BS B4 LS L1 L2 L3 L4 EL ELV L5 GL L6 EL2 L7 L8 LS KL BO (with

### 1 Existence of the Néron model

Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S

### HOMOLOGY OF ALGEBRAIC VARIETIES: AN INTRODUCTION TO RECENT RESULTS OF SUSLIN AND VOEVODSKY

HOMOLOGY OF ALGEBRAIC VARIETIES: AN INTRODUCTION TO RECENT RESULTS OF SUSLIN AND VOEVODSKY MARC LEVINE 1. Introduction The recent series of papers by Suslin, Voevodsky, Suslin-Voevodsky and Friedlander-Voevodsky:

### 1 Notations and Statement of the Main Results

An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main

### Cyclic homology, cdh-cohomology and negative K-theory

Annals of Mathematics, 167 (2008), 549 573 Cyclic homology, cdh-cohomology and negative K-theory By G. Cortiñas, C. Haesemeyer, M. Schlichting, and C. Weibel* Abstract We prove a blow-up formula for cyclic

### A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection

CATERADS AND MOTIVIC COHOMOLOGY B. GUILLOU AND J.P. MAY Abstract. We define weighted multiplicative presheaves and observe that there are several weighted multiplicative presheaves that give rise to motivic

### BERTRAND GUILLOU. s G q+r

STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an

### Weil-étale Cohomology

Weil-étale Cohomology Igor Minevich March 13, 2012 Abstract We will be talking about a subject, almost no part of which is yet completely defined. I will introduce the Weil group, Grothendieck topologies

### where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset

Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

### AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.

### A 1 -homotopy groups, excision, and solvable quotients

A 1 -homotopy groups, excision, and solvable quotients Aravind Asok Department of Mathematics University of California, Los Angeles Los Angeles, CA 90095-1555 asok@math.ucla.edu Brent Doran School of Mathematics

### Algebraic Cobordism. 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006.

Algebraic Cobordism 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006 Marc Levine Outline: Describe the setting of oriented cohomology over a

### Extensions of motives and higher Chow groups

Extensions of motives and higher Chow groups A. J. Scholl Introduction This note has two purposes: the first is to give a somewhat different description of the higher cycle class map defined by Bloch [3]

### Arithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics

Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics System of congruence equations Let us consider a system of congruence equations

### Algebraic varieties and schemes over any scheme. Non singular varieties

Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two

### Under these assumptions show that if D X is a proper irreducible reduced curve with C K X = 0 then C is a smooth rational curve.

Example sheet 3. Positivity in Algebraic Geometry, L18 Instructions: This is the third and last example sheet. More exercises may be added during this week. The final example class will be held on Thursday

### VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES

VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES THOMAS HÜTTEMANN Abstract. We present an algebro-geometric approach to a theorem on finite domination of chain complexes over

### Ω X generated locally in each adapted coordinate neighborhood as before by Ω and the forms

Contents 1. Absolute Hodge cohomology of smooth complex varieties 1 2. Zariski descent 5 3. Multiplicative properties 7 4. Exercises 10 References 10 1. Absolute Hodge cohomology of smooth complex varieties

### On the affine homotopy invariance of G-torsors

On the affine homotopy invariance of G-torsors Anand Sawant Ludwig-Maximilians-Universität, München April 4, 2016 Workshop: Generalizations of A 1 -Homotopy Invariance in Algebraic Geometry and Homotopy

### APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

### NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc

### LEVINE S CHOW S MOVING LEMMA

LEVINE S CHOW S MOVING LEMMA DENIS NARDIN The main result of this note is proven in [4], using results from [2]. What is here is essentially a simplified version of the proof (at the expense of some generality).

### Theorem 1.1 if k is the algebraic closure eld of a nite eld, then the ayer-vietoris sequence for the above covering! K i (End (X))! K i (End (X 0 )) K

The K-Theory of Schemes with Endomorphisms Is a Global Theory Dongyuan Yao Abstract We show that when X = Pk 1, the projective line over the eld k, with the open covering fx 0 = Spec(k[x]); X 1 = Spec(k[y])g,

### Motives. Basic Notions seminar, Harvard University May 3, Marc Levine

Motives Basic Notions seminar, Harvard University May 3, 2004 Marc Levine Motivation: What motives allow you to do Relate phenomena in different cohomology theories. Linearize algebraic varieties Import

### Grothendieck duality for affine M 0 -schemes.

Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and

### The Grothendieck Ring of Varieties

The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define

### LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

### is the universal central extension of the perfect group E(R). Thus, K 2 (R) = H 2 (E(R), Z), the Schur multiplier of E(r).

4. Higher Algebraic K-theory With the model of topological K-theory in mind, we proceed to investigate the formulation of the algebraic K-theory of a variety in positive degrees. The reader should be forewarned

### 1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim

Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories

### Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

### Synopsis of material from EGA Chapter II, 5

Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic

### The motive of a classifying space

The motive of a classifying space Burt Totaro The Chow group of algebraic cycles generally does not satisfy the Künneth formula. Nonetheless, there are some schemes X over a field k that satisfy the Chow

### Introduction to Chiral Algebras

Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument

### Zero cycles on singular varieties and their desingularisations

Zero cycles on singular varieties and their desingularisations Matthew Morrow Abstract We use pro cdh-descent of K-theory to study the relationship between the zero cycles on a singular variety X and those

### REPORT OF THE SEMINAR ON MOTIVIC COHOMOLOGY CIMAT, GUANAJUATO 2010 PEDRO LUIS DEL ÁNGEL AND PERE PASCUAL GAINZA

REPORT OF THE SEMINAR ON MOTIVIC COHOMOLOGY CIMAT, GUANAJUATO 2010 PEDRO LUIS DEL ÁNGEL AND PERE PASCUAL GAINZA A seminar on Motivic Cohomology took place at the Centro de Investigación en Matemáticas

### On log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji

On log flat descent Luc Illusie, Chikara Nakayama, and Takeshi Tsuji Abstract We prove the log flat descent of log étaleness, log smoothness, and log flatness for log schemes. Contents 1. Review of log

### Micro-support of sheaves

Micro-support of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the micro-support is due to Kashiwara and Schapira (the main reference is their book

### SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon

### Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,

Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.

### INTERSECTION THEORY CLASS 12

INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zero-section of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction

### MOTIVES OF SOME ACYCLIC VARIETIES

Homology, Homotopy and Applications, vol.??(?),??, pp.1 6 Introduction MOTIVES OF SOME ACYCLIC VARIETIES ARAVIND ASOK (communicated by Charles Weibel) Abstract We prove that the Voevodsky motive with Z-coefficients

### Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

### VANISHING THEOREMS FOR THE NEGATIVE K-THEORY OF STACKS

VANISHING THEOREMS FOR THE NEGATIVE K-THEORY OF STACKS MARC HOYOIS AND AMALENDU KRISHNA Abstract. We prove that the homotopy algebraic K-theory of tame quasi-dm stacks satisfies cdh-descent. We apply this

### 3. The Sheaf of Regular Functions

24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice

### Algebraic Cocycles on Normal, Quasi-Projective Varieties. Eric M. Friedlander

Algebraic Cocycles on Normal, Quasi-Projective Varieties Eric M. Friedlander Contents Introduction 1. Cocycles on normal varieties 2. Relative cocycles and cocycles with support 3. Basic properties 4.

### APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP

APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss

### Lecture 007 (April 13, 2011) Suppose that A is a small abelian category, and let B be a full subcategory such that in every exact sequence

Lecture 007 (April 13, 2011) 16 Abelian category localization Suppose that A is a small abelian category, and let B be a full subcategory such that in every exact sequence 0 a a a 0 in A, a is an object

### SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY

SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes

### Preliminary Exam Topics Sarah Mayes

Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition

### MA 206 notes: introduction to resolution of singularities

MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be

### HARTSHORNE EXERCISES

HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

### CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results

### in path component sheaves, and the diagrams

Cocycle categories Cocycles J.F. Jardine I will be using the injective model structure on the category s Pre(C) of simplicial presheaves on a small Grothendieck site C. You can think in terms of simplicial

### Journal of Pure and Applied Algebra

Journal of Pure and Applied Algebra 214 (2010) 1384 1398 Contents lists available at ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa Homotopy theory of

### THE KEEL MORI THEOREM VIA STACKS

THE KEEL MORI THEOREM VIA STACKS BRIAN CONRAD 1. Introduction Let X be an Artin stack (always assumed to have quasi-compact and separated diagonal over Spec Z; cf. [2, 1.3]). A coarse moduli space for

### Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

### Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society

unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN

### Contributors. Preface

Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................

### NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE

NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the

### MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

### K-theory hypercohomology spectra of number rings at the prime 2

K-theory hypercohomology spectra of number rings at the prime 2 Stephen A. Mitchell November 1999 1 Introduction Let be a number field with ring of integers O. ix a prime l, and let R = O [1/l]. In [3],

### Math 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

### Rigid Geometry and Applications II. Kazuhiro Fujiwara & Fumiharu Kato

Rigid Geometry and Applications II Kazuhiro Fujiwara & Fumiharu Kato Birational Geometry from Zariski s viewpoint S U D S : coherent (= quasi-compact and quasi-separated) (analog. compact Hausdorff) U

Doc. Math. J. DMV 579 A 1 Vladimir Voevodsky Abstract. A 1 -homotopy theory is the homotopy theory for algebraic varieties and schemes which uses the affine line as a replacement for the unit interval.

### Homotopy types of algebraic varieties

Homotopy types of algebraic varieties Bertrand Toën These are the notes of my talk given at the conference Theory of motives, homotopy theory of varieties, and dessins d enfants, Palo Alto, April 23-26,

### A NOTE ON RELATIVE DUALITY FOR VOEVODSKY MOTIVES

A NOTE ON RELATIVE DUALITY FOR VOEVODSKY MOTIVES LUCA BARBIERI-VIALE AND BRUNO KAHN Abstract. Let k be a perfect field which admits resolution of singularities in the sense of Friedlander and Voevodsky

### MINIMAL MODELS FOR ELLIPTIC CURVES

MINIMAL MODELS FOR ELLIPTIC CURVES BRIAN CONRAD 1. Introduction In the 1960 s, the efforts of many mathematicians (Kodaira, Néron, Raynaud, Tate, Lichtenbaum, Shafarevich, Lipman, and Deligne-Mumford)

### Nonabelian Poincare Duality (Lecture 8)

Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any

### A cohomological classification of vector bundles on smooth affine threefolds

A cohomological classification of vector bundles on smooth affine threefolds Aravind Asok Department of Mathematics University of Southern California Los Angeles, CA 90089-2532 asok@usc.edu Jean Fasel

### Lecture 3: Flat Morphisms

Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a

### INTEGRAL MIXED MOTIVES IN EQUAL CHARACTERISTIC

INTEGRAL MIXED MOTIVES IN EQUAL CHARACTERISTIC DENIS-CHARLES CISINSKI AND FRÉDÉRIC DÉGLISE ABSTRACT. For noetherian schemes of finite dimension over a field of characteristic exponent p, we study the triangulated

### Lectures on Galois Theory. Some steps of generalizations

= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame

### DERIVED CATEGORIES: LECTURE 4. References

DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,

### ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a

### Differential forms in the h-topology

Algebraic Geometry 1 (4) (2014) 449 478 doi:10.14231/ag-2014-020 Differential forms in the h-topology Annette Huber and Clemens Jörder Abstract We study sheaves of differential forms and their cohomology