Algebraic cycle complexes


 Dustin Wilkerson
 4 years ago
 Views:
Transcription
1 Algebraic cycle complexes June 2, 2008
2 Outline Algebraic cycles and algebraic Ktheory The BeilinsonLichtenbaum conjectures Bloch s cycle complexes Suslin s cycle complexes
3 Algebraic cycles and algebraic Ktheory
4 Algebraic cycles X: an algebraic variety over a field k. An algebraic cycle on X is a finite Zlinear combination of irreducible reduced closed subschemes of X : Z := r n i Z i. i=1 Say Z has (co)dimension q if each Z i has (co)dimension q. z q (X ) := the group of codimenison q algebraic cycles on X. z q (X ) := the group of dimenison q algebraic cycles on X.
5 Algebraic cycles Functorialities X z q (X ) is contravariantly functorial for flat maps: f (Z) := i mult i W i. W i the irreducible components of f 1 (Z). X z q (X ) is covariantly functorial for proper maps: { 0 if dim f (Z) < dim Z f (Z) := [k(z) : k(f (Z))] f (Z) if dim f (Z) = dim Z.
6 Algebraic cycles Partially defined pullback f : Y X a morphism of smooth varieties, Z X a subvariety. Suppose Z and f 1 (Z) both have pure codimension q. Define f (Z) := i mult i W i. W i the irreducible components of f 1 (Z), mult i = Serre s intersection multiplicity: mult i = [ ] ( 1) j l OY,Wi Tor O X,Z j (O Y,Wi, k(z)). j
7 Algebraic cycles External product Given subvarieties Z X, W Y, the product Z k W is a union of subvarieties of X k Y (with multiplicities in char. p > 0): Z k W := j m j T j This extends to the external product : z q (X ) z p (Y ) z p+q (X k Y ). External product is compatible with proper pushforward and with pullback.
8 Algebraic cycles Adequate equivalence relations To make the groups of algebraic cycles look more like a (co)homology theory, we introduce an adequate equivalence relation, analogous to homology of singular chains. An adequate equivalence relation is given by a subgroup R q (X ) z q (X ) for each smooth X, satisfying:
9 Algebraic cycles Adequate equivalence relations 1. For f : Y X proper of codimension d, f (R q (Y )) R q+d (X ). 2. For f : Y X flat, f (R q (X )) R q (Y ). 3. For Z R (X q ), W z p (X ), Z W is in R p+q (X ) if defined. 4. Given Z z q (X ), W z p (Y X ), there is a Z z q (X ) with Z Z R (X q ) and with Y Z W defined. 5. [0] [ ] R 1 (P 1 ). Note. One often restricts to smooth projective varieties.
10 Algebraic cycles Adequate equivalence relations Set A q (X ) := z q (X )/R q (X ). Then 1. A (X ) := q A q (X ) is a commutative, graded ring with unit [X ] A 0 (X ). 2. f : A q (X ) A q (Y ) is welldefined for all f : Y X in Sm/k: f (Z) := intersect Y Z with the graph of f. 3. f (Z W ) = f (Z) f (W ) 4. f (f (Z) W ) = Z f (W ) for f proper.
11 Algebraic cycles Adequate equivalence relations Examples. 1. Rational equivalence 2. Algebraic equivalence 3. Numerical equivalence 4. Homological equivalence
12 Algebraic cycles Rational equivalence Rational equivalence is the finest adequate equivalence relation. Definition Let i 0, i 1 : X X A 1 be the 0, 1 sections. Z is in R q rat(x ) if there is a W z q (X A 1 ) 0,1 with Z = i 0 (W ) i 1 (W ). It is not at all obvious that rat is an adequate relation, this is Chow s moving lemma. A rat is usually written CH.
13 Algebraic cycles Rational equivalence Example. CH n (P N ) = Z for 0 n N, with generator a P N n P N. For Z z n (P N ) we have [Z] [P N n ] = n Z [pt], defining the degree n Z := deg(z) of Z. Note that since [P n ] [P N n ] = 1 [pt]. [Z] = deg(z)[p n ] This gives us Bezout s theorem: For Z z n (P N ), W z N n (P N ), [Z] [W ] = deg(z) deg(w )[pt]
14 Algebraic cycles Algebraic equivalence Definition Z is in R q alg (X ) if there is a smooth curve C, kpoints a, b in C and W z q (X C) a,b with Z = ia (W ) ib (W ). Note. If X P N is projective, there are projective schemes C r,d,x parametrizing all effective dimension r, degree d cycles on X. For k = k, this gives the description of alg on X as Z alg W a cycle T on X with Z + T, W + T in the same connected component of C r,d,x. Thus alg is topological in nature: A alg r (X ) = π 0 ([ d C r,d,x ] + ).
15 Algebraic cycles Numerical equivalence We have the degree map deg : z 0 (X ) Z; deg( j n j z j ) = j n j [k(z j ) : k]. Since z 0 (Spec k) = Z[pt], deg = p X. For X projective, p X passes to deg = p X : CH 0 (X ) Z = CH 0 (pt). Definition Let X be smooth and projective over k. Z z q (X ) is num 0 if for all W z q (X ), deg(z W ) = 0.
16 Algebraic cycles Numerical equivalence We have surjections CH A alg A num In fact, num is the coarsest (nonzero) adequate equivalence relation on smooth projective varieties. Example CH (P N ) = A alg (PN ) = A num(p N ) and similarly for other cellular varieties, such as Grassmann varieties or flag varieties.
17 Algebraic cycles Cellular varieties This follows from the rightexact localization sequence for CH : Theorem Let i : W X be a closed immersion, j : U = X \ W X the open complement. Then the sequence is exact, CH (W ) i CH (X ) j CH (U) 0 and the homotopy property for CH : Theorem The projection p : X A 1 X induces an isomorphism p : CH (X ) CH +1 (X A 1 ).
18 Algebraic cycles cellular varieties For instance, the known structure of the Schubert varieties give a stratification of a Grassmann variety X := Gr(n, N) with F j X \ F j 1 X = i A j. = F 1 X F 0 X... F D X = X Localization and homotopy imply that the closures of the A j s give generators for CH j (X ); the classical Schubert calculus says that these classes are independent modulo num.
19 Weil cohomology The fourth type of equivalence relation, homological equivalence, requires the notion of a Weil cohomology, a formal version of singular cohomology for smooth projective varieties. We ll discuss this further in the second lecture.
20 Algebraic Ktheory Besides using algebraic cycles as an algebraic substitute for singular homology, one can use algebraic vector bundles (locally free coherent sheaves) to give an algebraic version of topological Ktheory. Definition Let X be a scheme, P X the category of locally free coherent sheaves on X. The Grothendieck group of algebraic vector bundles on X, K 0 (X ), is the free abelian group on the isomorphism classes in P X, modulo relations for each exact sequence in P X. [E] = [E ] + [E ] 0 E E E 0
21 Algebraic Ktheory Coherent sheaves Replacing P X with the entire category M X of coherent sheaves on X gives the Grothendieck group of coherent sheaves G 0 (X ) with the map K 0 (X ) G 0 (X ) Theorem (Regularity) If X is regular, K 0 (X ) G 0 (X ) is an isomorphism. Proof. Resolve a coherent sheaf F by vector bundles 0 E n... E 0 F 0 Sending [F] G 0 (X ) to i ( 1)i [E i ] K 0 (X ) gives the inverse.
22 Algebraic Ktheory Properties 1. of sheaves makes K 0 (X ) a commutative ring and G 0 (X ) a K 0 (X )module. 2. For f : Y X, sending [E] K 0 (X ) to [f E] K 0 (Y ) makes K 0 a contravariant functor. 3. For f : Y X flat, sending [F] G 0 (X ) to [f F] G 0 (Y ) makes G 0 a contravariant functor for flat maps. 4. For f : Y X projective, sending [F] G 0 (Y ) to i ( 1)i [R i f F] makes G 0 a functor for projective maps. 5. Using regularity, we have f on K 0 for projective maps of smooth varieties, and f on G 0 for all maps of smooth varieties.
23 Algebraic Ktheory K 0 and cycles Grothendieck defined the Chern character ch : K 0 (X ) CH (X ) Q a natural ring homomorphism (for X smooth). Theorem (GrothendieckRiemannRoch) 1. ch : K 0 (X ) Q CH (X ) Q is an isomorphism. 2. For f : Y X projective, x K 0 (Y ), f (ch(x)) = ch(f (x Td(T f ))) Here Td is the Todd class and T f is the formal vertical tangent bundle, T f := [T Y ] f [T X ] K 0 (Y ).
24 Algebraic Ktheory Higher algebraic Ktheory Quillen s construction of the Ktheory of an exact category, applied to P X, extended the Grothendieck group construction to give higher algebraic Ktheory: X K n (X ) := K n (P X ); n = 0, 1,... and theory built on coherent sheaves M X : X G n (X ) := K n (M X ); n = 0, 1,... The basic structures: product and pullback on K (X ), flat pullback and projective pushforward for G (X ), natural map K (X ) G (X ) and the regularity theorem, all extend.
25 Algebraic Ktheory Homotopy and localization In addition, one has Theorem (Homotopy invariance) p : G n (X ) G n (X A 1 ) is an isomorphism. Theorem (Localization) Let i : W X be a closed immersion, j : U := X \ W X to open complement. There is a long exact sequence... G n (W ) i G n (X ) j G n (U) G n 1 (W )... G 0 (X ) j G 0 (U) 0 This yields e.g. a MayerVietoris sequence for Gtheory. For regular schemes, the regularity theorem gives analogous properties for Ktheory.
26 Cycles revisited Since we have the Chern character isomorphism ch : K 0Q CH Q and a rightexact localization sequence CH (W ) CH (X ) CH (U) 0 it is natural to ask: Can one extend the Chow groups to a larger theory, that after Q gives all of algebraic Ktheory, and extends the rightexact sequence for CH to a long exact sequence? In fact, much more was conjectured and turned out to be true.
27 The BeilinsonLichtenbaum conjectures
28 BeilinsonLichtenbaum conjectures BeilinsonLichtenbaum complexes In the early 80 s Beilinson and Lichtenbaum gave conjectures for versions of universal cohomology which would arise as hypercohomology (in the Zariski, resp. étale topology) of certain complexes of sheaves. The conjectures describe soughtafter properties of these representing complexes. The complexes are supposed to explain values of Lfunctions and at the same time incorporate Milnor Ktheory into the picture.
29 BeilinsonLichtenbaum conjectures Ktheory of rings of integers Theorem (Quillen) Let F be a number field with ring of integers O F. Then the Kgroups K n (O F ) are finitely generated abelian groups for all n 0. Let F be a number field. By the theorem of BassMilnorSerre, K 1 (O F ) = O F, and thus by Dirichlet s unit theorem, K 1(O F ) is a finitely generated abelian group of rank r 1 + r 2 1. This computation is generalized in Borel s theorem:
30 BeilinsonLichtenbaum conjectures Ktheory of rings of integers Theorem Let F be a number field. Then K 2m (O F ) Q = 0 for m 1, and K 2m 1 (O F ) Q = Q r(m), where r 1 + r 2 1 for m = 1 r(m) = r 1 + r 2 for m > 1 odd, for m > 1 even. r 2
31 BeilinsonLichtenbaum conjectures Ktheory of rings of integers By comparing these ranks with the known orders of vanishing of the zeta function, we have ord s=1 m ζ F (s) = rankk 2m 1 (O F ). (1) Furthermore, by comparing two different Q structures on the real cohomology of SL(O F Q R), Borel defined regulators R m (F ). These are also related to the zeta function, by ζ F (1 m) R m (F ) mod Q, where ζ F (1 m) is the leading term ζ F (1 m) := lim (s + m s 1 m 1) r(m) ζ F (s).
32 BeilinsonLichtenbaum conjectures Ktheory and values of zeta functions What about an integral statement? Conjecture (Lichtenbaum) For F totally real and for m even, ζ F (1 m) l = #H2 ét (O F, j Z l (m)) #H 1 ét (O F, j Z l (m)) This follows (at least for odd l) from the main conjecture of Iwasawa theory, proved by MazurWiles for F abelian, and for F arbitrary by Wiles. Note that, if F is totally real (r 2 = 0) and m is even, then r(m) = 0, and R m (F ) = 1.
33 BeilinsonLichtenbaum conjectures Ktheory and values of zeta functions Lichtenbaum extended his conjecture to cover the case of all m 1 and all number fields, and at the same time used Ktheory to remove the dependence on l: Conjecture Let F be a number field, m 1 an integer. Then ζ F (1 m) R m (F ) = ± #K 2m 2(O F ) K 2m 1 (O F ) tor This is classical for m = 1, but turned out to be false in general: For F = Q, m = 2, K 2 (Z) = Z/2, K 3 (Z) = Z/48, but ζ( 1) = 1/12
34 BeilinsonLichtenbaum conjectures Universal cohomology To correct, Lichtenbaum suggested breaking up Ktheory by weights. Adams operations act on Ktheory, giving the decomposition K n (X ) Q = q K n (X ) (q) ; K n (X ) (q) := k q eigenspace for ψ k. Beilinson reindexed to conform with other cohomology theories and defined the universal rational cohomology of X as H p (X, Q(q)) := K 2q p (X ) (q). An integral version, H p (O F, Z(q)), could possibly replace K 2q p (O F ) in a formula for ζ F (1 q).
35 BeilinsonLichtenbaum conjectures Milnor Ktheory The second ingredient is Milnor Ktheory. Definition Let F be a field. The gradedcommutative ring K M (F ) is defined as the quotient of the tensor algebra T (F ) := n 0 (F ) n by the twosided ideal generated by elements a (1 a), a F \ {0, 1}: K M (F ) := n 0 (F ) n / {a (1 a)}. This was introduced by Milnor in his study of quadratic forms.
36 BeilinsonLichtenbaum conjectures Milnor Ktheory Since F = K 1 (F ), products in Ktheory induce (F ) n K n (F ). Elements a (1 a) go to zero in K 2 (F ) (the Steinberg relation), so we have ρ n : K M n (F ) K n (F ). Suslin showed that the kernel of ρ n is killed by (n 1)!. For n = 1, 2, ρ n is an isomorphism (n = 2 is Matsumoto s theorem), but in general ρ n is far from surjective. Example. For F a number field, K M n (F ) is 2torsion for n 3, but K 3 (F ) has rank r 2.
37 BeilinsonLichtenbaum conjectures Milnor Ktheory Milnor Ktheory is closely related to Galois cohomology. To start, use the Kummer sequence (n prime to the characteristic) 1 µ n G m n G m 1 which gives (since H 0 Gal (F, G m) = F, H 1 Gal (F, G m) = 0) H 1 Gal (F, µ n) = F /(F ) n = K M 1 (F )/n. Extend by taking products and showing the Steinberg relation holds in Galois cohomology to give θ F,q,n : Kq M (F )/n H q Gal (F, µ q n ). Conjecture (BlochKato) θ F,q,n is an isomorphism for all F, q and n prime to char(f ).
38 BeilinsonLichtenbaum conjectures Milnor Ktheory θ F,q,n : Kq M (F )/n H q Gal (F, µ q n ) is an isomorphism for all F, q and n prime to char(f ). Case Solved by Date q = 1 Kummer q = 2 Tate (for number fields)1970 s q = 2 MerkurjevSuslin 1983 q = 3 Rost 1990 s q > 2, n = 2 ν Voevodsky 1996 general Voevodsky, Rost,
39 BeilinsonLichtenbaum conjectures The idea was that one should get the right values for zeta functions by replacing Ktheory with universal cohomology H p (X, Z(q)), that would give an integral version of the eigenspaces of Adams operations on higher Ktheory, with the weight q motivic cohomology contributing to ζ(1 q). At the same time, the work of MerkurjevSuslin on K 2 and Galois cohomology made clear the importance of the BlochKato conjecture in giving the link between universal cohomology and values of zeta functions. This led Beilinson and Lichtenbaum (independently) to conjecture that universal cohomology should arise as hypercohomology of complexes of sheaves with certain properties.
40 BeilinsonLichtenbaum conjectures Beilinson complexes Conjecture (Beilinsonletter to Soulé 1982) For X Sm/k there are complexes Γ Zar (q), q 0, in the derived category of sheaves of abelian groups on X Zar, (functorial in X ) with functorial graded product, and (0) Γ Zar (0) = Z, Γ Zar (1) = G m [ 1] (1) Γ Zar (q) is acyclic outside [1, q] for q 1. (2) Γ Zar (q) L Z/n = τ q Rαµ q n if n is invertible on X, where α : Xét X Zar is the change of topology morphism. (3) K n (X ) (q) = H 2q n (X Zar, Γ Zar (q)) Q (or up to small primes) (4) H q (Γ Zar (q)(f )) = K M q.
41 BeilinsonLichtenbaum conjectures Lichtenbaum complexes Conjecture (Lichtenbaum LNM 1068) For X Sm/k there are complexes Γét (r), r 0, in the derived category of sheaves of abelian groups on Xét, (functorial in X ) with functorial graded product, and (0) Γét (0) = Z, Γét (1) = G m [ 1] (1) Γét (q) is acyclic outside [1, q] for q 1. (2) R q+1 α Γét (q) = 0 (Hilbert Theorem 90) (3) Γét (q) L Z/n = µ q n if n is invertible on X. (4) K n (q)ét = H 2q n (Γ(q)) (up to small primes), where K (q)ét n H 2q n (Γét (q)) are the respective Zariski sheaves. (5) For a field F, H q (Γét (q)(f )) = K M q (F ). and
42 BeilinsonLichtenbaum conjectures The two constructions should be related by τ q Rα Γét (q) = Γ Zar (q); Γét (q) = α Γ Zar (q). These conjectures, somewhat reinterpreted for motivic cohomology, are now known as the BeilinsonLichtenbaum conjectures. The translation is H p (X, Z(q)) := H p (X Zar, Γ Zar (q)) = H p (X Zar, τ q Rα Γét (q)). The relation with the Chow groups is CH p (X ) = H 2p (X, Z(p)) = H p (X, K M p ).
43 BeilinsonLichtenbaum conjectures Implications The relations (2) and (4) in Beilinson s conjectures and (2), (3) and (5) in Lichtenbaum s version imply the BlochKato conjectures. In fact, they say: There is a natural map H p (X, Z/n(q)) H ṕ et (X, µ q n ) which is an isomorphism for p q. For p > q, H p (F, Z(q)) = 0, so H q (F, Z/n(q)) = K M q (F )/n.
44 BeilinsonLichtenbaum conjectures Current status Remarkably, the BeilinsonLichtenbaum conjectures have all been verified, with the exception of the boundedness result (1). This is the BeilinsonSoulé vanishing conjecture: H p (X, Z(q)) = 0 if p 0 and q 0. The first successful candidate for the motivic complexes was constructed by Bloch.
45 Bloch s cycle complexes
46 Bloch s cycle complexes The main idea Roughly speaking, Bloch starts with the presentation for CH q (X ): z q (X A 1 i0 ) i 1 0,1 z q (X ) CH q (X ) 0 and extends to the left by using the algebraic nsimplices. The resulting complex is a good candidate for Γ(q)(X ).
47 Bloch s cycle complexes nsimplices The standard nsimplex is n := {(t 0,..., t n ) R n+1 i t i = 1, t i 0}. These fit together to form a cosimplicial space: Let Ord be the category with objects the ordered sets n := {0,..., n} and maps the orderpreserving maps of sets. For i n, we have the ith vertex v i of n, with t i = 1, t j = 0 for j i. Given g : n m define (g) : n m to be the convexlinear extension of the map v i v g(i).
48 Bloch s cycle complexes nsimplices Explicitly (g)(t 0,..., t n ) = ( (g)(t) 0,..., (g)(t) m ) with (g)(t) j := t i. i g 1 (j) This gives us the functor : Ord Spaces i.e., a cosimpicial space.
49 Bloch s cycle complexes Singular simplices If now T is a topological space, let Cn sing (T ) be the free abelian group on the set of continuous maps σ : n T. Composition with the maps (g) defines the simplicial abelian group C sing (T ) := Z[Maps(, T )] : Ord op Ab. As usual, we form the complex (C sing (T ), d), with d n := i ( 1) i δ i n where δ i n : n n+1 is the coface map : C sing sing n+1 (T ) Cn (T ) δ i n(t 0,..., t n ) := (t 0,..., t i 1, 0, t i,..., t n ). (C sing (T ), d) is the singular chain complex of T and H n (T, Z) := H n (C sing (T ), d).
50 Bloch s cycle complexes Algebraic nsimplices We now make an algebraic analog. Definition The algebraic nsimplex over k, n k, is the hyperplane i t i = 1 in A n+1 k. For g : n m let (g) : n k m k be the affine linear map t ( (g)(t) 0,..., (g) m ) with (g)(t) j := t i. i g 1 (j) This defines the cosimplicial scheme k : Ord Sm/k. A face of n k is a subscheme defined by t i 1 =... = t ir = 0.
51 Bloch s cycle complexes Good cycles Noting that (A 1, 0, 1) = ( 1, δ 1 0 ( 0 ), δ 0 0 ( 0 )), we extend our presentation of CH q (X ) by defining z q (X, n) := Z{irreducible, codimension q subvarieties where good position means: for all faces F n. W X n in good position}. codim X F W X F q
52 Bloch s cycle complexes Good cycles The good position condition implies that we have a welldefined pullback (g) : z q (X, n) z q (X, m) for every g : n m in Ord, giving us the simplicial abelian group n z q (X, n) and the complex (z q (X, ), d). Explicitly, this is... z q (X, n + 1) dn z q (X, n)... z q (X, 1) = z q (X A 1 i0 ) i 1 0,1 z q (X ) so H 0 (z q (X, ), d) = CH q (X ).
53 Bloch s cycle complexes Higher Chow groups Definition The complex (z q (X, ), d) is Bloch s cycle complex. The higher Chow groups of X are CH q (X, n) := H n (z q (X, ), d).
54 Bloch s cycle complexes Properties The complexes z q (X, ) inherit the properties of z q (X ) (more or less): 1. For f : Y X flat, we have f : z q (X, ) z q (Y, ) 2. For f : Y X proper, we have f : z q (Y, ) z q (X, ) (z q (Y, ) := z dim Y q (Y, )). 3. Cycle product induces a product in D (Ab). : z q (X, ) L z p (Y, ) z p+q (X k Y, ) 4. For arbitrary f : Y X in Sm/k there is f : z q (X, ) z q (Y, ) in D (Ab). These induce corresponding operations on the homology CH (, n).
55 Bloch s cycle complexes Properties Two important results: Theorem (Homotopy invariance) For any X p : z q (X, ) z q+1 (X, ) is a quasiisomorphism, i.e. p : CH q (X, n) CH q+1 (X A 1, n) is an isomorphism.
56 Bloch s cycle complexes Properties Theorem (Localization) Let i : W X be a closed immersion, j : U := X \ W X the open complement. Then the sequence z q (W, ) i z q (X, ) j z q (U, ) extends canonically to a distinguished triangle in D (Ab), i.e., there is a long exact localization sequence... CH q (W, n) i CH q (X, n) j CH q (U, n) CH q (W, n 1)... CH q (U, 1) CH q (W ) i CH q (X ) j CH q (U) 0.
57 Bloch s cycle complexes Properties Corollary (MayerVietoris) If X = U V, U, V open, we have a long exact MayerVietoris sequence... CH q (X, n) CH q (U, n) CH q (V, n) CH q (U V, n) CH q (X, n 1)... CH q (U V, 1) CH q (X ) CH q (U) CH q (V ) CH q (U V ) 0.
58 Bloch s cycle complexes Properties Theorem (Totaro, NestorenkoSuslin) For a field F and integer q 0, there is a natural isomorphism K M q (F ) = CH q (F, q). Note. CH q (F, n) = 0 for n > q for dimensional reasons. Finally, we have a Chern character isomorphism: ch n : K n (X ) Q q 0 CH q (X, n) Q identifying K n (X ) (q) with CH q (X, n) Q.
59 Bloch s cycle complexes Universal cohomology Definition 1. Integral universal cohomology of X Sm/k is H p (X, Z(q)) := CH q (X, 2q p). 2. The sheaf of complexes Γ Bl (q) is U z q (U, 2q ) Remark It follows from the MayerVietoris property that the natural map is an isomorphism. Thus H p (Γ Bl (q)(x )) H p (X Zar, Γ Bl (q)) H p (X, Z(q)) = H p (Γ Bl (q)(x )) = H p (X Zar, Γ Bl (q)).
60 Bloch s cycle complexes Universal cohomology From our comments, the complexes Γ Bl (q) satisfy all requirements of Beilinson, except 1. The functoriality and products are only in D (Ab), not as complexes (technical issue). 2. Γ Bl (q) is not known to be cohomologically supported in [1, q], although Γ Bl (q) is supported in (, q]. 3. Note that the mod n properties rely on the BlochKato conjecture.
61 Suslin s cycle complexes
62 Suslin s cycle complexes Homology and the DoldThom theorem Suslin s construction of cycle complex is more closely related to constructions in topology than Bloch s version. We have seen that the singular chain complex of a space T can be written as C sing (T ) = Z[Maps(, T )] with the differential induced by the cosimplicial structure in. Why not try the same, replacing with k X? and T with a variety Answer. It fails miserably! There are usually very few maps n k X.
63 Suslin s cycle complexes Homology and the DoldThom theorem Instead, use the DoldThom theorem as starting point: Theorem (DoldThom) Let (T, ) be a pointed CW complex. There is a natural isomorphism H n (T, ) = π n (Sym T ). Here Sym T = lim [T Sym 2 T... Sym n T...] with Sym n T Sym n+1 T the map add to the sum.
64 Suslin s cycle complexes Homology and the DoldThom theorem: an algebraic version What is the algebraic analog? A simple answer is given by finite cycles Definition For X, Y varieties, X smooth and irreducible, set z fin (Y )(X ) := Z[{irreducible, reduced W X k Y with W X finite and surjective}]. Think of such a W X Y as a map from X to Sym d Y, d = deg W /X : x X (x Y ) W = i n i y i Sym d Y.
65 Suslin s cycle complexes Homology and the DoldThom theorem: an algebraic version Note that z fin (Y ) is a presheaf on Sm/k: Given f : X X and W X Y finite over X, the pullback (f id Y ) 1 (W ) X Y is still finite over X. Thus the cycle pullback is defined, giving f : z fin (Y )(X ) z fin (Y )(X ). In particular, we can evaluate z fin (Y ) on k, giving us the simplicial abelian group n z fin (Y )( n k ).
66 Suslin s cycle complexes Suslin homology Definition For a kscheme Y, the Suslin complex of Y, C Sus (Y ), is the complex associated to the simplicial abelian group The Suslin homology of Y is H Sus n n z fin (Y )( n k ). (Y, A) := H n (C Sus (Y ) A). Since z fin (Y )(X ) is covariantly functorial in Y (for arbitrary maps), Suslin homology is covariantly functorial, as it should be.
67 Suslin s cycle complexes Comparison results One beautiful result on Suslin homology (proved before BlochKato) is Theorem (SuslinVoevodsky) Let Y be a finite type scheme over C. Then there is a natural isomorphism H Sus (Y, Z/n) = H (Y (C), Z/n).
68 Suslin s cycle complexes Comparison results Since a cycle in z fin (Y )( n ) is a cycle on Y n, obviously in good position, we have a natural inclusion C Sus (Y ) z d (Y, ); d = dim k Y, Theorem (SuslinVoevodsky) For Y smooth and projective, C Sus (Y ) z d (Y, ) is a quasiisomorphism. Thus Hn Sus (Y, Z) = H 2d n (Y, Z(d)) for Y smooth and projective of dimension d (Poincaré duality).
69 Suslin s cycle complexes Relations with universal cohomology One can recover all the universal cohomology groups from the Suslin homology construction, properly modified. For this, we recall how the DoldThom theorem gives a model for cohomology. Since S n has only one nontrivial reduced homology group, H n (S n, Z) = Z, the DoldThom theorem tells us that Sym S n is a K(Z, n), i.e. { π m (Sym S n 0 for m n ) = Z for m = n. Obstruction theory tells us that for m n. H m (X, Z) = π m n (Maps(X, Sym S n )).
70 Suslin s cycle complexes Relations with universal cohomology To rephrase this in the algebraic setting, we need a good replacement for the nspheres. It turns out we get a very good replacement for the 2sphere by taking P 1, pointed by, and thus we use (P 1 ) n for S 2n. The wedge product doesn t make much sense, but since we are going to apply this to finite cycles, we just take a quotient by the cycles at infinity : z fin ((P 1 ) n )(X ) := z fin ((P 1 ) n )(X )/ n i,j (z fin ((P 1 ) n 1 )(X )), j=1 where i,j : (P 1 ) n 1 (P 1 ) n inserts in the jth spot. This leads to
71 Suslin s cycle complexes Relations with universal cohomology Definition The FriedlanderSuslin weight q cycle complex of X is Γ FS (q) (X ) := z fin ((P 1 ) q )(X 2q ). This gives us the complex of sheaves U Γ FS (q)(u). Restriction from X n (P 1 ) q X n A q defines the inclusion Γ FS (q) (X ) z q (X A q, 2q ) = Γ Bl (q) (X A q )
72 Suslin s cycle complexes Relations with universal cohomology Theorem (FriedlanderSuslinVoevodsky) For X smooth and quasiprojective, the maps Γ FS (q) (X ) Γ Bl (q) (X A q ) p Γ Bl (q) (X ) are quasiisomorphisms. In particular, we have natural isomorphisms H p (X Zar, Γ FS (q)) = H p (Γ FS (q)(x ) ) = H p (X, Z(q)).
73 Suslin s cycle complexes Relations with universal cohomology Since X Γ FS (q) (X ) := z fin ((P 1 ) q )(X 2q ) is functorial in X, the FriedlanderSuslin complex gives a functorial model for Bloch s cycle complex. Products for Γ FS (q) are similarly defined on the level of complexes. This completes the BeilinsonLichtenbaum program, with the exception of the vanishing conjectures.
74 Concluding remarks
75 Computations One can make some computations. Proposition Let X be a smooth quasiprojective variety. Then 1. H n (X, Z(q)) = 0 for n > 2q. 2. H 2q (X, Z(q)) = CH q (X ) 3. H 1 (X, Z(1)) = Γ(X, O X ); Hn (X, Z(1)) = 0 for n 1, 2 For a field F : 1. H n (F, Z(q)) = 0 for n > q 2. H q (F, Z(q)) = K M q (F ) 3. H 1 (F, Z(2)) = K 3 (F )/K M 3 (F ).
76 AtiyahHirzebruch spectral sequence Theorem (BlochLichtenbaum/FriedlanderSuslin) Let X be smooth. There is a strongly convergent spectral sequence E p,q 2 = H p q (X, Z( q)) = K p q (X ) Adams operations act on the spectral sequence, with ψ k acting by k q on E p, q 2, so one can refine the Qisomorphism of universal cohomology with Ktheory, limiting the primes one needs to invert.
77 AtiyahHirzebruch spectral sequence Combining with the mod n information furnished by the BeilinsonLichtenbaum conjectures, the known computations of Ktheory of finite fields and of number rings yield similar computations for universal cohomology. Conversely, the BeilinsonLichtenbaum conjectures plus the AH spectral sequence allow one to compare mod n algebraic Ktheory with mod n topological (étale) Ktheory, giving a proof of the QuillenLichtenbaum conjecture: Theorem The natural map K p (X ; Z/n) K ét p (X, Z/n) is an isomorphism for p cd n (X ) 1 and injective for p = cd n (X ) 2.
78 An advertisement In the next lecture, we show how the theory of universal cohomology acquires a categorical foundation, becoming motivic cohomology via Voevodsky s triangulated category of motives.
79 Thank you!
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
More information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in SuslinVoevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in SuslinVoevodsky s approach to not only motivic cohomology, but also to MorelVoevodsky
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfhsheaves. 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)
More informationAlgebraic 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
More informationKTHEORY AND MOTIVIC COHOMOLOGY OF SCHEMES, I
KTHEORY AND MOTIVI OHOMOLOGY OF SHEMES, I MAR LEVINE Abstract. We examine the basic properties satisfied by Bloch s cycle complexes for quasiprojective varieties over a field, and extend most of them
More informationMotives. 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
More informationVoevodsky s Construction Important Concepts (Mazza, Voevodsky, Weibel)
Motivic Cohomology 1. Triangulated Category of Motives (Voevodsky) 2. Motivic Cohomology (SuslinVoevodsky) 3. Higher Chow complexes a. Arithmetic (Conjectures of Soulé and Fontaine, PerrinRiou) b. Mixed
More informationAPPENDIX 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
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the ith singular cohomology group
More informationNotes on pdivisible Groups
Notes on pdivisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationChow Groups. Murre. June 28, 2010
Chow Groups Murre June 28, 2010 1 Murre 1  Chow Groups Conventions: k is an algebraically closed field, X, Y,... are varieties over k, which are projetive (at worst, quasiprojective), irreducible and
More information1. 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 quasiprojective varieties over a field k Affine Varieties 1.
More informationAlgebraic Cobordism. 2nd GermanChinese Conference on Complex Geometry East China Normal University ShanghaiSeptember 1116, 2006.
Algebraic Cobordism 2nd GermanChinese Conference on Complex Geometry East China Normal University ShanghaiSeptember 1116, 2006 Marc Levine Outline: Describe the setting of oriented cohomology over a
More informationExtensions 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]
More informationDiagonal Arithmetics. An introduction : Chow groups.
Diagonal Arithmetics. An introduction : Chow groups. May 25, 2015, IMPA, Rio de Janeiro Objects of interest k a field, X /k of finite type, equidimensional, d = dim(x ). Objects of interest k a field,
More informationINTERSECTION THEORY CLASS 19
INTERSECTION THEORY CLASS 19 RAVI VAKIL CONTENTS 1. Recap of Last day 1 1.1. New facts 2 2. Statement of the theorem 3 2.1. GRR for a special case of closed immersions f : X Y = P(N 1) 4 2.2. GRR for closed
More informationWeilé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
More informationNoninjectivity of the map from the Witt group of a variety to the Witt group of its function field
Noninjectivity 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
More informationChern 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
More informationA GLIMPSE OF ALGEBRAIC KTHEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC KTHEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More information1 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
More informationLECTURE 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 nonstablerationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationBeilinson s conjectures I
Beilinson s conjectures I Akshay Venkatesh February 17, 2016 1 Deligne s conjecture As we saw, Deligne made a conjecture for varieties (actually at the level of motives) for the special values of Lfunction.
More informationCharacteristic classes in the Chow ring
arxiv:alggeom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationHOMOLOGY 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, SuslinVoevodsky and FriedlanderVoevodsky:
More informationRecall for an n n matrix A = (a ij ), its trace is defined by. a jj. It has properties: In particular, if B is nonsingular n n matrix,
Chern characters Recall for an n n matrix A = (a ij ), its trace is defined by tr(a) = n a jj. j=1 It has properties: tr(a + B) = tr(a) + tr(b), tr(ab) = tr(ba). In particular, if B is nonsingular n n
More informationROST S DEGREE FORMULA
ROST S DEGREE FORMULA ALEXANDER MERKURJEV Some parts of algebraic quadratic form theory and theory of simple algebras with involutions) can be translated into the language of algebraic geometry. Example
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
More informationAFFINE 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 Clinear. 1.
More informationThree 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
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More informationCycle groups for Artin stacks
Cycle groups for Artin stacks arxiv:math/9810166v1 [math.ag] 28 Oct 1998 Contents Andrew Kresch 1 28 October 1998 1 Introduction 2 2 Definition and first properties 3 2.1 The homology functor..........................
More informationCWcomplexes. Stephen A. Mitchell. November 1997
CWcomplexes Stephen A. Mitchell November 1997 A CWcomplex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationThe RiemannRoch Theorem
The RiemannRoch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. AtiyahSinger revisited 3. What is Khomology? 4. Beyond ellipticity 5. The RiemannRoch
More informationMOTIVIC ANALYTIC NUMBER THEORY
MOTIVIC ANALYTIC NUMBER THEORY DANIEL LITT 1. Introduction [I d like to talk about some connections between topology, number theory, and algebraic geometry, arising from the study of configurations of
More informationBLOCHOGUS PROPERTIES FOR TOPOLOGICAL CYCLE THEORY. Eric M. Friedlander
BLOCHOGUS PROPERTIES FOR TOPOLOGICAL CYCLE THEORY Eric M. Friedlander In this paper, we reformulate morphic cohomology as introduced by the author and H.B. Lawson [FL1] in such a way that it and Lawson
More informationINTERSECTION THEORY CLASS 6
INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudodivisors 3 2. Intersecting with divisors 4 2.1.
More informationAlgebraic 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
More informationMOTIVES 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 Zcoefficients
More informationSUMMER 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
More informationis 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 Ktheory With the model of topological Ktheory in mind, we proceed to investigate the formulation of the algebraic Ktheory of a variety in positive degrees. The reader should be forewarned
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationExercises 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 Email address: alex.massarenti@sissa.it These notes collect a series of
More information0.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.
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationNOTES ON THE DEGREE FORMULA
NOTES ON THE DEGREE FORMULA MARKUS ROST The major aim of this text is to provide a proof of Remark 10.4 in [1]. I am indebted to A. Suslin for helpful and encouraging comments. 1. The invariants ρ i Let
More informationGrothendieck 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
More informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
More informationTopics in Algebraic Geometry
Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes
More informationMath 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 socalled cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasiprojective variety
More informationContents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.
Preface xiii Chapter 1. Selected Problems in One Complex Variable 1 1.1. Preliminaries 2 1.2. A Simple Problem 2 1.3. Partitions of Unity 4 1.4. The CauchyRiemann Equations 7 1.5. The Proof of Proposition
More informationREquivalence and ZeroCycles on 3Dimensional Tori
HU Yong REquivalence and ZeroCycles on 3Dimensional Tori Master thesis, defended on June 19, 2008 Thesis advisor: Dr. DORAY Franck Mathematisch Instituut, Universiteit Leiden Acknowledgements I would
More information1.1 Definition of group cohomology
1 Group Cohomology This chapter gives the topological and algebraic definitions of group cohomology. We also define equivariant cohomology. Although we give the basic definitions, a beginner may have to
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationThe generalized Hodge and Bloch conjectures are equivalent for general complete intersections
The generalized Hodge and Bloch conjectures are equivalent for general complete intersections Claire Voisin CNRS, Institut de mathématiques de Jussieu 0 Introduction Recall first that a weight k Hodge
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationSynopsis 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 quasicoherent O Y module.
More informationON A LOCALIZATION FORMULA OF EPSILON FACTORS VIA MICROLOCAL GEOMETRY
ON A LOCALIZATION FORMULA OF EPSILON FACTORS VIA MICROLOCAL GEOMETRY TOMOYUKI ABE AND DEEPAM PATEL Abstract. Given a lisse ladic sheaf G on a smooth proper variety X and a lisse sheaf F on an open dense
More information2.5 Excision implies Simplicial = Singular homology
2.5 Excision implies Simplicial = Singular homology 1300Y Geometry and Topology 2.5 Excision implies Simplicial = Singular homology Recall that simplicial homology was defined in terms of a complex decomposition
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationBasic results on Grothendieck Duality
Basic results on Grothendieck Duality Joseph Lipman 1 Purdue University Department of Mathematics lipman@math.purdue.edu http://www.math.purdue.edu/ lipman November 2007 1 Supported in part by NSA Grant
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of kcycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationBoundary of CohenMacaulay cone and asymptotic behavior of system of ideals
Boundary of CohenMacaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
More informationInfinite root stacks of logarithmic schemes
Infinite root stacks of logarithmic schemes Angelo Vistoli Scuola Normale Superiore, Pisa Joint work with Mattia Talpo, Max Planck Institute Brown University, May 2, 2014 1 Let X be a smooth projective
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationINTERSECTION THEORY CLASS 12
INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zerosection of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction
More informationAPPENDIX 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
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of PoitouTate duality which 1 takes place
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: padic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationThe 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
More informationAn overview of Dmodules: holonomic Dmodules, bfunctions, and V filtrations
An overview of Dmodules: holonomic Dmodules, bfunctions, and V filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of Dmodules Mainz July 9, 2018 1 The
More informationEtale homotopy theory (after ArtinMazur, Friedlander et al.)
Etale homotopy theory (after ArtinMazur, Friedlander et al.) Heidelberg March 1820, 2014 Gereon Quick Lecture 1: Motivation March 18, 2014 Riemann, Poincare, Lefschetz: Until the early 20th century,
More information3. 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
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationTopology of Toric Varieties, Part II
Topology of Toric Varieties, Part II Daniel Chupin April 2, 2018 Abstract Notes for a talk leading up to a discussion of the HirzebruchRiemannRoch (HRR) theorem for toric varieties, and some consequences
More informationA Version of the Grothendieck Conjecture for padic Local Fields
A Version of the Grothendieck Conjecture for padic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasicoherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD
1 ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD BELGACEM DRAOUIL Abstract. We study the class field theory of curve defined over two dimensional local field. The approch used here is a combination
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationWild ramification and the characteristic cycle of an ladic sheaf
Wild ramification and the characteristic cycle of an ladic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationHomotopy 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 2326,
More informationPreliminary 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
More informationTHE GEISSERLEVINE METHOD REVISITED AND ALGEBRAIC CYCLES OVER A FINITE FIELD
THE GEISSERLEVINE 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
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on Dmodules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More informationSpecial cubic fourfolds
Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows
More informationEquivariant Algebraic KTheory
Equivariant Algebraic KTheory Ryan Mickler Email: mickler.r@husky.neu.edu Abstract: Notes from lectures given during the MIT/NEU Graduate Seminar on Nakajima Quiver Varieties, Spring 2015 Contents 1
More informationExotic spheres. Overview and lecturebylecture summary. Martin Palmer / 22 July 2017
Exotic spheres Overview and lecturebylecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecturebylecture summary of the topics covered in the course
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More information