Séminaire de Mathématique

Universal Weil Cohomology versus Grothendieck’s Standard Conjectures

by Luca Barbieri Viale (Université de Milan & IHES)

Europe/Paris
Amphithéâtre Léon Motchane (IHES)

Amphithéâtre Léon Motchane

IHES

Le Bois Marie 35, route de Chartres 91440 Bures-sur-Yvette
Description

Séminaire de géométrie arithmétique

The universal Weil cohomology (obtained in a recent work jointly with B. Kahn) is taking values in an abelian Q-linear (Q is the field of rational numbers) tensor category M which is rigid but its Q-algebra E = End (1) of endomorphisms of the unit is not a field, a priori. André’s theory of motivated cycles MA, in characteristic zero, can be recovered via the universal Weil cohomology as a localisation of M; thus E = Q  if and only if M = MA is André’s category which is then universal for all Weil cohomologies taking values in abelian Q-linear rigid tensor categories. A similar picture holds true for the universal mixed Weil cohomology with values in MM with respect to Nori motives NM.

However, in any characteristic, this new Weil cohomology yields a universal homological equivalence hum and a canonical comparison faithful tensor functor F from Grothendieck motives (modulo hum) MG to M. This F is an equivalence if and only if MG is abelian, F is exact and the Grothendieck Lefschetz standard conjecture holds true. Moreover, F is an equivalence with M semi-simple if and only if hum is numerical equivalence. Therefore Grothendieck’s standard conjectures for the universal Weil cohomology or the stronger Voevodsky’s nilpotence conjecture (independently of any Weil cohomology) imply that EQ.

 A standard hypothesis is then that this absolutely flat Q-algebra E is a domain hence a field. This hypothesis is equivalent to the property that M is Tannakian. Similarly, for MM. Note that, for every self correspondence, the trace and the Lefschetz number (as well as the coefficients of the characteristic polynomials) are defined over E. As a consequence, if E is a field all these are the same independently of the Weil cohomology.

========

Pour être informé des prochains séminaires vous pouvez vous abonner à la liste de diffusion en écrivant un mail à sympa@listes.math.cnrs.fr avec comme sujet: "subscribe seminaire_mathematique PRENOM NOM"
(indiquez vos propres prénom et nom) et laissez le corps du message vide.

Organized by

Ahmed Abbes

Contact