Motives. Basic Notions seminar, Harvard University May 3, Marc Levine
|
|
- Liliana Farmer
- 5 years ago
- Views:
Transcription
1 Motives Basic Notions seminar, Harvard University May 3, 2004 Marc Levine
2 Motivation: What motives allow you to do Relate phenomena in different cohomology theories. Linearize algebraic varieties Import algebraic topology into algebraic geometry
3 Outline Algebraic cycles and pure motives Mixed motives as universal arithmetic cohomology of smooth varieties The triangulated category of mixed motives Tate motives, Galois groups and multiple zeta-values
4 Algebraic cycles and pure motives
5 For X Sm/k, set z q (X) := Z[{W X, closed, irreducible, codim X W = q}], the codimension q algebraic cycles on X. Set i n i W i = i W i. We have: A partially defined intersection product: W W z q+q (X) for W z q (X), W z q (X) with codim X ( W W ) = q + q. A partially defined pull-back for f : Y X: f (W ) z q (Y ) for W z q (X) with codim Y f 1 ( W ) = q. A well-defined push-forward f : z q (Y ) z q+d (X) for f : Y X proper, d = dim X dim Y, satisfying the projection formula: f (f (x) y) = x f (y).
6 Rational equivalence. For X Sm/k, W, W z q (X), say W rat W if Z z q (X A 1 ) with Set CH q (X) := z q (X)/ rat. W W = (i 0 i 1 )(Z). The intersection product, pull-back f and push-forward f are well-defined on CH. Thus, we have the graded-ring valued functor CH : Sm/k op Graded Rings which is covariantly functorial for projective maps f : Y X, and satisfies the projection formula: f (f (x) y) = x f (y).
7 Correspondences. For X, Y SmProj/k, set Cor k (X, Y ) n := CH dim X+n (X Y ). Composition: For Γ Cor k (X, Y ) n, Γ Cor k (Y, Z) m, Γ Γ := p XZ (p XY (Γ) p Y Z (Γ )) Cor k (X, Z) n+m. We have Hom k (Y, X) Cor k (X, Y ) 0 by f Γ t f.
8 The category of pure Chow motives 1. SmProj/k op Cor k : Send X to h(x), f to Γ t f, where Hom Cor (h(x), h(y )) := Cor k (X, Y ) Q. 2. Cor k M eff (k): Add images of projectors (pseudo-abelian hull). 3. M eff (k) M(k): Invert tensor product by the Lefschetz motive L. The composition SmProj/k op Cor k M eff (k) M(k) yields the functor h : SmProj/k op M(k).
9 These are tensor categories with h(x) h(y ) = h(x Y ). h(p 1 ) = Q L in M eff (k). In M(k), write M(n) := M L n. Then Hom M(k) (h(y )(m), h(x)(n)) = Cor k (X, Y ) n m Q. M(k) is a rigid tensor category, with dual h(x)(n) = h(x)(dim X n). Can use M(k) to give a simple proof of the Lefschetz fixed point formula and to show that the topological Euler characteristic χ H (X) is independent of the Weil cohomology H. Can use other adequate equivalence relations, e.g. num, to form M (k). M num (k) is a semi-simple abelian category (Jannsen).
10 Mixed Motives
11 Bloch-Ogus cohomology. This is a bi-graded cohomology theory: on Sm/k, with X p,q H p (X, Γ(q)). 1. Gysin isomorphisms H p W (X, Γ(q)) = H p 2d (W, Γ(q d)) for i : W X a closed codimension d embedding in Sm/k. 2. Natural 1st Chern class homomorphism c 1 : Pic(X) H 2 (X, Γ(1)) 3. Natural cycle classes Z cl q (Z) H 2q (X, Γ(q)) for Z Z z q (X). 4. Homotopy invariance H p (X, Γ(q)) = H p (X A 1, Γ(q)).
12 Consequences Mayer-Vietoris sequence Projective bundle formula: H (P(E), Γ( )) = r i=0 H (X, Γ( ))ξ i for E X of rank r + 1, ξ = c 1 (O(1)). Chern classes c q (E) H 2q (X, Γ(q)) for vector bundles E X. Push-forward f : H p (Y, Γ(q)) H p+2d (X, Γ(q + d)) for f : Y X projective, d = codimf.
13 Examples. X p,q H ṕ et (X, Q l(q)) or H ṕ et (X, Z l(q)) or H ṕ et (X, Z/n(q)). for k C, A C, X p,q H p (X(C), (2πi) q A) or H p (X(C), (2πi) q A/n). for k C, A R, X p,q H p D (X C, A(q)). X p,q H p A (X, Q(q)) := K 2q p(x) (q).
14 Beilinson s conjectures There should exist an abelian rigid tensor category of mixed motives over k, MM(k), with Tate objects Z(n), and a functor h : Sm/k op D b (MM k ), satisfying h(spec k) = Z(0); Z(n) Z(m) = Z(n + m); Z(n) = Z( n), MM(k) Q should admit a faithful tensor functor ω : MM(k) Q finite-dim l Q-vector spaces. i.e. MM(k) Q should be a Tannakian category. Set Hµ(X, p Z(q)) := Ext p (Z(0), h(x)(q)) MM(k) := Hom D b (MM(k))(Z(0), h(x)(q)[p]) h i (X) := H i (h(x))
15 One should have 1. Natural isomorphisms H p µ(x, Z(q)) Q = K 2q p (X) (q). 2. The subcategory of semi-simple objects of MM(k) is M num (k) and h i (X) is in M num (k) for X smooth and projective. 3. X h(x) satisfies Bloch-Ogus axioms in the category D b (MM k ). 4. For each Bloch-Ogus theory, H (, Γ( )), there is realization functor Re Γ : MM(k) Ab. Re Γ is an exact tensor functor, sending Hµ(X, p Z(q)) to H p (X, Γ(q)). So: Hµ (, Z( )) is the universal Bloch-Ogus theory.
16 Motivic complexes Let Γ mot (M) := Hom MM(k) (Z(0), M). The derived functor RΓ mot (h(x)(q)) represents weight-q motivic cohomology: H p (RΓ mot (h(x)(q))) = H p µ(x, Z(q)). Even though MM(k) does not exist, one can try and construct the complexes RΓ mot (h(x)(q)). Beilinson and Lichtenbaum gave conjectures for the structure of these complexes (even before Beilinson had the idea of motivic cohomology). Bloch gave the first construction of a good candidate.
17 Bloch s complexes: Let n := Spec k[t 0,..., t n ]/ i t i 1. A face of n is a subscheme F defined by t i1 =... = t in = 0. n n is a cosimplicial scheme. Let δ n i : n 1 n be the coface map to t i = 0. Let z q (X, n) = Z[{W X n, closed, irreducible, and for all faces F, codim X F W (X F ) = q}] z q (X n ) This defines Bloch s cycle complex z q (X, ), with differential d n = n+1 i=0 ( 1) i δ i : zq (X, n) z q (X, n 1).
18 Definition 1 The higher Chow groups CH q (X, p) are defined by CH q (X, p) := H p (z q (X, )). Set H p Bl (X, Z(q)) := CHq (X, 2q p). Theorem 1 (1) For X Sm/k there is a natural isomorphism CH q (X, p) Q = K 2q p (X) (q). (2) X p,q H p Bl (X, Z(q)) is the universal Bloch-Ogus theory on Sm/k. So, H p Bl (X, Z(q)) is a good candidate for motivic cohomology.
19 Voevodsky s triangulated category of motives This is a construction of a model for D b (MM(k)) without constructing MM(k). Ob- Form the category of finite correspondences SmCor(k). jects m(x) for X Sm/k. Hom SmCor(k) (m(x), m(y )) = Z[{W X Y, closed, irreducible, W X finite and surjective.}] Composition is composition of correspondences. Note. For finite correspondences, the intersection product is always defined, and the push-forward is also defined, even for non-proper schemes.
20 Sending f : X Y to Γ f X Y defines m : Sm/k SmCor(k). Note. m is covariant, so we are constructing homological motives. Form the category of bounded complexes and the homotopy category Sm/k SmCor(k) C b (SmCor(k)) K b (SmCor(k)). K b (SmCor(k)) is a triangulated category with distinguished triangles the Cone sequences of complexes: Set A f B Cone(f) A[1]. Z(1) := (m(p 1 ) 0 m(spec k) 1 )[ 2]
21 Form the category of effective geometric motives DM eff gm(k) from K b (SmCor(k)) by inverting the maps 1. (homotopy invariance) m(x A 1 ) m(x) 2. (Mayer-Vietoris) For U, V X open, with X = U V, (m(u V ) m(u) m(v )) m(x), and taking the pseudo-abelian hull. DMgm eff (k) has a tensor structure with m(x) m(y ) = m(x Y ). Form the category of geometric motives DM gm (k) from DM eff gm(k) by inverting Z(1).
22 Categorical motivic cohomology Definition 2 Let Z(n) := Z(1) n. For X Sm/k, set H p (X, Z(q)) := Hom DMgm (k)(m(x), Z(q)[p]) Theorem 2 (1) DM gm (k) is a rigid triangulated tensor category with Tate objects Z(n). (2) X m(x) satisfies the Bloch-Ogus axioms (in DM gm (k)). (3) There are natural isomorphisms H p (X, Z(q)) = H p Bl (X, Z(q)). (4) There are realization functors for the étale theory and for the mixed Hodge theory.
23 Mixed Tate Motives
24 The triangulated category of mixed Tate motives Let DT M(k) DM gm (k) Q be the full triangulated subcategory generated by the Tate objects Q(n). DT M(k) is like the derived category of Tate MHS. DT M(k) has a weight filtration: Define full triangulated subcategories W n DT M(k), W >n DT M(k) and W =n DT M(k) of DT M(k): W >n DT M(k) is generated by the Q(m)[a] with m < n W n DT M(k) is generated by the Q(m)[a] with m n W =n DT M(k) is generated by the Q( n)[a]. There are exact truncation functors W >n : DT M(k) W >n DT M(k), W n : DT M(k) W n DT M(k).
25 There is a natural distinguished triangle W n X X W >n X W n X[1] and a natural tower (the weight filtration) 0 = W N 1 X W N X... W M 1 X W M X = X. Let gr W n X be the cone of W n 1 X W n X. The category W =n DT M(k) is equivalent to D b (f.diml. Q-v.s.), so we have the exact functor gr W n : DT M(k) Db (f.diml. Q-v.s.).
26 The vanishing conjectures Suppose there were an abelian category of Tate motives over k, T M(k), containing the Tate objects Q(n), and with DT M(k) = D b (T M(k)). Then K 2q p (k) (q) = Hom DT M(k) (Q(0), Q(q)[p]) = Ext p (Q(0), Q(q)). T M(k) Thus: K 2q p (k) (q) = 0 for p < 0. This is the weak form of Conjecture 1 (Beilinson-Soulé vanishing) For every field k, K 2q p (k) (q) = 0 for p 0, except for the case p = q = 0. Theorem 3 Suppose the vanishing conjecture holds for a field k. Then there is a non-degenerate t-structure on DT M(k) with heart T M(k) containing and generated by the Tate objects Q(n).
27 The Tate motivic Galois group Theorem 4 Suppose k satisfies B-S vanishing. (1) The weight-filtration on DT M(k) induces an exact weightflitration on T M(k). (2) The functors gr W n induce a faithful exact tensor functor ω := n gr W n : T M(k) f. dim l graded Q-vector spaces. Corollary 1 Suppose k satisfies B-S vanishing. Then there is a graded pro-unipotent algebraic group U mot k over Q, and an equivalence of T M(k) Q K with the graded representations of U mot k (K), for all fields K Q. In fact U mot k = Aut(ω).
28 Let L mot k be the Lie algebra of U mot k. For each field K Q, (K) is a graded pro-lie algebra over K and L mot k GrRep K L mot k (K) = T M(k) Q K. Example. Let k be a number field. Then k satisfies B-S vanishing. L mot k is the free pro-lie algebra on n 1 H 1 (k, Q(n)), with H 1 (k, Q(n)) in degree n. Note that H 1 (k, Q(n)) = Q r 1+r 2 Q r 2 n > 1 odd n > 1 even k Q n = 1. Definition 3 Let k be a number field. S a set of primes. Set L mot O := L mot k,s k / < k S Q >. Set T M(O k,s ) := GrRep L mot O. k,s
29 Relations with G k := Gal( k/k) k: a number field q. uni-rep l (G k ) := finite dim l Q l filtered rep n of G k, with nth graded quotient being χ n cycl. Let L k,l be the associated graded Lie algebra, L k,s,l the quotient corresponding to the unramified outside S representations. The Q l -étale realization of DM gm (k) gives a functor Reét,l : T M(k) q. uni-rep(g k ), so Re ét,l : L k,s,l L mot O k,s l (Q l ). Example. k = Q, S =. L mot Z is the free Lie algebra on generators s 3, s 5,..., L mot Z,l has one additional generator s (l) 1 in degree -1.
30 Application Consider the action of G Q on π geom 1 (P 1 \ {0, 1, }) = ˆF 2 via the split exact sequence 1 π geom 1 (P 1 \ {0, 1, }) π 1 (P 1 Q \ {0, 1, }) G Q 1. It is known that this action is pro-unipotent. Conjecture 2 (Deligne-Goncharov) The image of Lie(G Q ) in Lie(Aut(π1 geom (P 1 \ {0, 1, }))) is free, generated by certain elements s 2n+1 of weight 2n + 1, n = 1, 2,.... Theorem 5 (Hain-Matsumoto) The image of Lie(G Q ) in Lie(Aut(π geom 1 (P 1 \ {0, 1, }))) is generated by the s 2n+1. Idea: Factor the action of Lie(G Q ) through L mot Z.
31 Multiple zeta-values Let L Hdg be the C-Lie algebra governing Tate MHS. Since Ext 1 MHS (Q, Q(n)) = C/(2πi)n Q, Ext p MHS (Q, Q(n)) = 0; p 2 L Hdg is the free graded pro-lie algebra on n(c/(2πi) n Q). The Hodge realization gives the map of co-lie algebras Re Hdg : (L mot Z ) L Hdg, so Re Hdg (s 2n+1 ) is a complex number (mod (2πi)2n+1 Q). fact: Re Hdg (s 2n+1 ) = ζ(2n + 1) mod (2πi)2n+1 Q. In
32 The element s 2n+1 is just a generator for H1 (Spec Q, Q(n + 1)), i.e, an extension 0 Q(0) E 2n+1 Q(n + 1) 0, and Re Hdg (s 2n+1 ) is the period of this extension. One can construct more complicated framed objects in T M(Z) and get other periods. Using the degeneration divisors in M 0,n, Goncharov and Manin have constructed framed mixed Tate motives Z(k 1,..., k r ), k r 2, with Per(Z(k 1,..., k r )) = ζ(k 1,..., k r ) where ζ(k 1,..., k r ) is the multiple zeta-value This leads to: ζ(k 1,..., k r ) := 1 1 n 1 <...<n r n k 1 1. nk r r
33 Theorem 6 (Terasoma) Let L n be the Q-subspace of C generated by the ζ(k 1,..., k r ) with n = i k i. Then dim Q L n d n, where d n is defined by d 0 = 1, d 1 = 0, d 2 = 1 and d i+3 = d i+1 + d i. Proof. The ζ(k 1,..., k r ) with n = i k i are periods of framed mixed Tate motives M such that S(M) := {i gr W i M 0} is supported in [0, n] and if i < j are in S(M), then j i is odd and 3. Using the structure of L mot Z, one shows that the dimension of such motives (modulo framed equivalence) is exactly d n. Thus their space of periods has dimension d n. Conjecture 3 (Zagier) dim Q L n = d n.
34 Thank you
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
More informationAlgebraic 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
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 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 L-function.
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 informationMixed Motives Associated to Classical Modular Forms
Mixed Motives Associated to Classical Modular Forms Duke University July 27, 2015 Overview This talk concerns mixed motives associated to classical modular forms. Overview This talk concerns mixed motives
More informationRealization functors
Realization functors Joël Riou 2006-07-26 1 Weil cohomologies 1.1 Notations The main reference for this talk is the book by Yves André : References [1] Une introduction aux motifs (motifs purs, motifs
More informationNoncommutative motives and their applications
MSRI 2013 The classical theory of pure motives (Grothendieck) V k category of smooth projective varieties over a field k; morphisms of varieties (Pure) Motives over k: linearization and idempotent completion
More informationSEMINAR ON MOTIVES AND MODULI OF BUNDLES
SEMINAR ON MOTIVES AND MODULI OF BUNDLES VICTORIA HOSKINS Our seminar takes place on Wednesday afternoons, 16:15-17:45 in Arnimallee 6, SR 025/026. The first seminar will take place on the 15th October
More informationZeta and L functions of Voevodsky motives Bruno Kahn ICM Satellite conference on Galois representations Goa, Aug. 10, 2010.
Zeta and L functions of Voevodsky motives Bruno Kahn ICM Satellite conference on Galois representations Goa, Aug. 10, 2010. Work in progress Aim of talk: associate to a Voevodsky motive M over a global
More information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. 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
More informationSIX LECTURES ON MOTIVES. Contents Introduction 2
SIX LECTURES ON MOTIVES MARC LEVINE Contents Introduction 2 Lecture 1. Pure motives 2 1. Pre-history of motives 2 2. Adequate equivalence relations 4 3. Weil cohomology 5 4. Grothendieck motives 8 Lecture
More informationAlgebraic 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
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 informationx 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 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 informationFundamental groups, polylogarithms, and Diophantine
Fundamental groups, polylogarithms, and Diophantine geometry 1 X: smooth variety over Q. So X defined by equations with rational coefficients. Topology Arithmetic of X Geometry 3 Serious aspects of the
More informationAbstract Let k be a number field, and let A P 1 (k) be a finite set of rational points. Deligne and Goncharov have defined the motivic fundamental
1 bstract Let k be a number field, and let P 1 (k) be a finite set of rational points. Deligne and Goncharov have defined the motivic fundamental group π1 mot (X, x) of X := P 1 \ with base-point x being
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 i-th singular cohomology group
More informationMotivic Fundamental Groups and Integral Points
Motivic Fundamental Groups and Integral Points Dissertation zur Erlangung des Doktorgrades der Mathematisch-Naturwissenschaftlichen Fakultät der Rheinischen Friedrich-Wilhelms-Universität Bonn vorgelegt
More informationMotivic 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
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, quasi-projective), irreducible and
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 23-26,
More informationK-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
More informationarxiv:math/ v1 [math.ag] 8 Aug 2005
A PAMPHLET ON MOTIVIC COHOMOLOGY arxiv:math/0508147v1 [math.ag] 8 Aug 2005 LUCA BARBIERI-VIALE Abstract. This is an elementary introduction to the conjectural theory of motives along the lines indicated
More informationTHE FULL FAITHFULNESS CONJECTURES IN CHARACTERISTIC p BRUNO KAHN
THE FULL FAITHFULNESS CONJECTURES IN CHARACTERISTIC p BRUNO KAHN ABSTRACT. We present a triangulated version of the conjectures of Tate and Beilinson on algebraic cycles over a finite field. This sheds
More informationMatilde Marcolli and Goncalo Tabuada. Noncommutative numerical motives and the Tannakian formalism
Noncommutative numerical motives and the Tannakian formalism 2011 Motives and Noncommutative motives Motives (pure): smooth projective algebraic varieties X cohomology theories H dr, H Betti, H etale,...
More informationREPORT 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
More informationarxiv: 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
More informationMathematical Research Letters 1, (1994) DERIVED CATEGORIES AND MOTIVES. I. Kriz and J. P. May
Mathematical Research Letters 1, 87 94 (1994) DERIVED CATEGORIES AND MOTIVES I. Kriz and J. P. May Abstract. We relate derived categories of modules over rational DGA s to categories of comodules over
More information3. 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)
More informationSOME REMARKS ON THE INTEGRAL HODGE REALIZATION OF VOEVODSKY S MOTIVES
SOME REMRKS ON THE INTEGRL HODGE RELITION OF VOEVODSKY S MOTIVES VDIM VOLOGODSKY bstract. We construct a functor from the triangulated category of Voevodsky s motives to the derived category of mixed structures
More informationNotes on p-divisible Groups
Notes on p-divisible 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 informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationIntroduction to Mixed Modular Motives
Duke University March 24, 2017 Acknowledgments Antecedents and Inspiration Beilinson and Levin: elliptic polylogarithms Yuri Manin: iterated integrals of modular forms; Francis Brown: multiple modular
More informationTata Lectures on Motivic Aspects of Hodge Theory. Chris Peters Institut Fourier, Université Grenoble I
Tata Lectures on Motivic Aspects of Hodge Theory Chris Peters Institut Fourier, Université Grenoble I Contents Introductory Remarks 5 Lecture 1. Motives and Topology 7 1.1. Introduction 7 1.2. Pure Hodge
More informationCONIVEAU FILTRATION AND MIXED MOTIVES
CONIVEAU FILTRATION AND MIXED MOTIVES Abstract. We introduce the motivic coniveau exact couple of a smooth scheme, in the framework of mixed motives, whose property is to universally give rise to coniveau
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 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 quasi-projective varieties over a field k Affine Varieties 1.
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 informationSlice filtration on motives and the Hodge conjecture (with an appendix by J. Ayoub )
mn header will be provided by the publisher Slice filtration on motives and the Hodge conjecture with an appendix by J. Ayoub ) Annette Huber 1 1 Albrecht-Ludwigs-Universität Freiburg, Mathematisches Institut,
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 Z-coefficients
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
More informationarxiv: v1 [math.ag] 7 Jan 2019
THE FOUR OPERATIONS ON PERVERSE MOTIVES FLORIAN IVORRA AND SOPHIE MOREL arxiv:1901.02096v1 [math.ag] 7 Jan 2019 Abstract. Let k be a field of characteristic zero with a fixed embedding σ : k C into the
More informationPeriods, Galois theory and particle physics
Periods, Galois theory and particle physics Francis Brown All Souls College, Oxford Gergen Lectures, 21st-24th March 2016 1 / 29 Reminders We are interested in periods I = γ ω where ω is a regular 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 informationA 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
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
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 Poitou-Tate duality which 1 takes place
More informationON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS. 1. Motivation
ON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS OLIVIER WITTENBERG This is joint work with Olivier Benoist. 1.1. Work of Kollár. 1. Motivation Theorem 1.1 (Kollár). If X is a smooth projective (geometrically)
More informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
More informationweyllecturesformat September 3, x9 Annals of Mathematics Studies Number 187
Annals of Mathematics Studies Number 187 ii Chow Rings, Decomposition of the Diagonal, and the Topology of Families Claire Voisin PRINCETON UNIVERSITY PRESS PRINCETON AND OXFORD Copyright c 2014 by Princeton
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 informationAlgebraic K-Theory, Algebraic Cycles and Arithmetic Geometry
Algebraic K-Theory, Algebraic Cycles and Arithmetic Geometry II.4 Bruno Kahn 4.1 Introduction... 353 4.2 The Picture in Algebraic Topology... 354 4.3 The Picture in Algebraic Geometry... 356 Algebraic
More informationGK-SEMINAR SS2015: SHEAF COHOMOLOGY
GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived
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 informationIntermediate Jacobians and Abel-Jacobi Maps
Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationA non-abelian conjecture of Birch and Swinnerton-Dyer type
A non-abelian conjecture of Birch and Swinnerton-Dyer type Minhyong Kim Bordeaux, July, 2012 Dedicated to Martin Taylor on the occasion of his 60th birthday. Diophantine geometry: general remarks Diophantine
More informationNon-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
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 informationAbel-Jacobi Maps of Algebraic Cycles James D. Lewis Edmonton, Kanada Abstract. For a smooth quasiprojective variety over C, we give an explicit
Abel-Jacobi Maps of Algebraic Cycles James D. Lewis Edmonton, Kanada Abstract. For a smooth quasiprojective variety over C, we give an explicit description of the Bloch cycle class map from the higher
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, Suslin-Voevodsky and Friedlander-Voevodsky:
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationFinite dimensional motives
Algant Master Thesis Finite dimensional motives Candidate: Stefano Nicotra Advisor: Prof. Ben Moonen Radboud University Nijmegen Coadvisor: Prof. Robin S. de Jong Università degli Studi di Padova Universiteit
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 informationON THE TRANSCENDENTAL PART OF THE MOTIVE OF A SURFACE
ON THE TRANSCENDENTAL PART OF THE MOTIVE OF A SURFACE BRUNO KAHN, JACOB P. MURRE, AND CLAUDIO PEDRINI Contents Introduction 1 7.1. Definitions and Notation 3 7.2. Chow-Künneth decomposition for surfaces
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 l-adic sheaf G on a smooth proper variety X and a lisse sheaf F on an open dense
More informationA NOTE ON RELATIVE DUALITY FOR VOEVODSKY MOTIVES
A NOTE ON RELATIVE DUALITY FOR VOEVODSKY MOTIVES LUCA BARBIERI-VIALE AND BRUNO KAHN Introduction Relative duality is a useful tool in algebraic geometry and has been used several times. Here we prove a
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 informationDivisor class groups of affine complete intersections
Divisor class groups of affine complete intersections Lambrecht, 2015 Introduction Let X be a normal complex algebraic variety. Then we can look at the group of divisor classes, more precisely Weil divisor
More informationNotes on absolute Hodge classes
Notes on absolute Hodge classes François Charles and Christian Schnell July 5, 2013 0.1 INTRODUCTION Absolute Hodge classes first appear in Deligne s proof of the Weil conjectures for K3 surfaces in [14]
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 informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay 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 informationMahler measure and special values of L-functions
Mahler measure and special values of L-functions Matilde N. Laĺın University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin October 24, 2008 Matilde N. Laĺın (U of A) Mahler measure
More informationCohomology theories III
Cohomology theories III Bruno Chiarellotto Università di Padova Sep 11th, 2011 Road Map Bruno Chiarellotto (Università di Padova) Cohomology theories III Sep 11th, 2011 1 / 27 Contents 1 p-cohomologies
More informationORIENTABLE HOMOTOPY MODULES
ORIENTABLE HOMOTOPY MODULES Contents Introduction 1 Notations and conventions 3 1. The conjecture of Morel 3 1.1. The homotopy t-structure 3 1.2. Homotopy modules 4 1.3. Homotopy modules with transfers
More informationOn the geometric Langlands duality
On the geometric Langlands duality Peter Fiebig Emmy Noether Zentrum Universität Erlangen Nürnberg Schwerpunkttagung Bad Honnef April 2010 Outline This lecture will give an overview on the following topics:
More informationNNum F (k) Schur finite super-tannakian
Thm 1: Schur finiteness HH : NChow F (k) D c (F) F -linear symmetric monoidal functor (Hochschild homology) (NChow F (k)/ker(hh)) D c (F) faithful F -linear symmetric monoidal D c (A ) = full triang subcat
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationDISTINGUISHED CYCLES ON VARIETIES WITH MOTIVE OF ABELIAN TYPE AND THE SECTION PROPERTY
DISTINGUISHED CYCLES ON VARIETIES WITH MOTIVE OF ABELIAN TYPE AND THE SECTION PROPERTY Lie Fu, Charles Vial To cite this version: Lie Fu, Charles Vial. DISTINGUISHED CYCLES ON VARIETIES WITH MOTIVE OF
More information14 On the Transcendental Part of the Motive of a Surface
14 On the Transcendental Part of the Motive of a Surface Bruno Kahn Institut de Mathématiques de Jussieu, 175 179 rue du Chevaleret, 75013 Paris, France, kahn@math.jussieu.fr Jacob P. Murre Universiteit
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationApplications to the Beilinson-Bloch Conjecture
Applications to the Beilinson-Bloch Conjecture Green June 30, 2010 1 Green 1 - Applications to the Beilinson-Bloch Conjecture California is like Italy without the art. - Oscar Wilde Let X be a smooth projective
More informationThe Nori Fundamental Group Scheme
The Nori Fundamental Group Scheme Angelo Vistoli Scuola Normale Superiore, Pisa Alfréd Rényi Institute of Mathematics, Budapest, August 2014 1/64 Grothendieck s theory of the fundamental group Let X be
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik Milnor K-theory and motivic cohomology Moritz Kerz Preprint Nr. 11/2007 MILNOR K-THEORY AND MOTIVIC COHOMOLOGY MORITZ KERZ Abstract. These are the notes of a talk given
More informationALGEBRAIC COBORDISM REVISITED
ALGEBRAIC COBORDISM REVISITED M. LEVINE AND R. PANDHARIPANDE Abstract. We define a cobordism theory in algebraic geometry based on normal crossing degenerations with double point singularities. The main
More informationContributors. 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..................
More informationTHE MOTIVE OF THE FANO SURFACE OF LINES. 1. Introduction
THE MOTIVE OF THE FANO SURFACE OF LINES HUMBERTO A. DIAZ Abstract. The purpose of this note is to prove that the motive of the Fano surface of lines on a smooth cubic threefold is finite-dimensional in
More informationGalois Theory and Diophantine geometry ±11
Galois Theory and Diophantine geometry ±11 Minhyong Kim Bordeaux, January, 2010 1 1. Some Examples 1.1 A Diophantine finiteness theorem: Let a, b, c, n Z and n 4. Then the equation ax n + by n = c has
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationAlgebraic geometry versus Kähler geometry
Algebraic geometry versus Kähler geometry Claire Voisin CNRS, Institut de mathématiques de Jussieu Contents 0 Introduction 1 1 Hodge theory 2 1.1 The Hodge decomposition............................. 2
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 informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationGeometric 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
More informationTHE 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
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 information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
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 information