. A G ] 2 3 Fe b 20 05 ON THE THEORY OF 1 - MOTIVES

This is an overview and a preview of the theory of mixed motives of level ≤ 1 explaining some results, projects, ideas and indicating a bunch of problems. Dedicated to Jacob Murre Let k be an algebraically closed field of characteristic zero to start with and let S = Spec(k) denote our base scheme. Recall that Murre [42] associates to a smooth n-dimensional projective variety X over S a Chow cohomological Picard motive M(X) along with the Albanese motive M(X). The projector π1 defining M (X) is obtained via the duality between the Picard and Albanese variety, i.e., by the classical properties of the Poincaré bundle. For a survey of classical Chow motives see [50]. In the case of curves M(X) is the Chow motive of X refined from lower and higher trivial components, i.e., M(X) and M(X), such that, for smooth projective curves X and Y (1) Hom(M(X),M(Y )) ∼= Hom(Pic(X),Pic(Y ))Q as remarked by Grothendieck, Manin and Weil (see [54, Thm. 22 on p. 161] and [37]). Furthermore, the semi-simple abelian category of abelian varieties up to isogeny is the pseudo-abelian envelope of the category of Jacobians and Q-linear maps. Thus, such a theory of pure motives of smooth projective curves is known to be equivalent to the theory of abelian varieties up to isogeny, as pointed out by Grothendieck: one-dimensional (pure) motives are abelian varieties. This formula (1) suggests that we may take objects represented by Picfunctors as models for larger categories of mixed motives of any kind of curves over arbitrary base schemes S. However, non representability of Pic for open schemes, forces to refine our models. Let X be a closure of X with divisor at infinity X∞, i.e., X = X−X∞. For X smooth we have that Pic(X) is the cokernel of the canonical map Div∞(X) → Pic(X) associating Date: February 23, 2005.