2019/05/09 by Denis-Charles Cisinski, Cisinski, Denis-Charles
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra and Its Applications #FOS: Mathematics #K-Theory and Homology (math.KT) #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.1905.03478
openalex publication_date 2019/05/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
These notes are an account of a series of lectures I gave at the LMS-CMI Research School `Homotopy Theory and Arithmetic Geometry: Motivic and Diophantine Aspects', in July 2018, at the Imperial College London. The goal of these notes is to see how motives may be used to enhance cohomological methods, giving natural ways to prove independence of ℓ results for traces and zeta-functions, and constructions of characteristic classes (as 0-cycles). This leads to the Grothendieck-Lefschetz formula, of which we give a new motivic proof. There are also a few additions to what have been told in the lectures: a proof of Grothendieck-Verdier duality of étale motives on schemes of finite type over a regular quasi-excellent scheme (which slightly improves the level of generality in the existing literature); a proof that Q-linear motivic sheaves are virtually integral; a proof of the motivic generic base change formula.