Lefschetz and Hirzebruch-Riemann-Roch formulas via noncommutative motives

V. Lunts has recently established Lefschetz fixed point theorems for Fourier-Mukai functors and dg algebras. In the same vein, D. Shklyarov introduced the noncommutative analogue of the Hirzebruch-Riemann-Roch theorem. In this short article, we see how these constructions and computations formally stem from their motivic counterparts.Comment: 16 pages; revised versio

Invariance de la K-théorie par équivalences dérivées

International audienceThe aim of these notes is to prove that any right exact functor between reasonable Waldhausen categories, that induces an equivalence at the level of homotopy categories, gives rise to a homotopy equivalence between the corresponding K -theory spectra. This generalizes a well known result of Thomason and Trobaugh. The ingredients, for this proof, are a generalization of the Waldhausen approximation theorem, and a simple combinatorial caracterization of derived equivalences. We also study simplicial localization of Waldhausen categories. We prove that a (homotopy) right exact functor induces an equivalence of homotopy categories if and only if it induces an equivalence of simplicial localizations. This allows to make the link with the K -theory of simplicial categories introduced by Toën and Vezzosi

Dendroidal sets as models for homotopy operads

The homotopy theory of infinity-operads is defined by extending Joyal's homotopy theory of infinity-categories to the category of dendroidal sets. We prove that the category of dendroidal sets is endowed with a model category structure whose fibrant objects are the infinity-operads (i.e. dendroidal inner Kan complexes). This extends the theory of infinity-categories in the sense that the Joyal model category structure on simplicial sets whose fibrant objects are the infinity-categories is recovered from the model category structure on dendroidal sets by simply slicing over the point.Comment: This is essentially the published version, except that we added an erratum at the end of the paper concerning the behaviour of cofibrations with respect to the tensor product of dendroidal set

Triangulated categories of mixed motives

This book discusses the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over a field. In particular, it is shown that motives with rational coefficients satisfy the formalism of the six operations of Grothendieck. This is achieved by studying descent properties of motives, as well as by comparing different presentations of these categories, following and extending insights and constructions of Deligne, Beilinson, Bloch, Thomason, Gabber, Levine, Morel, Voevodsky, Ayoub, Spitzweck, R\"ondigs, {\O}stv{\ae}r, and others. In particular, the relation of motives with $K$-theory is addressed in full, and we prove the absolute purity theorem with rational coefficients, using Quillen's localization theorem in algebraic $K$-theory together with a variation on the Grothendieck-Riemann-Roch theorem. Using resolution of singularities via alterations of de Jong-Gabber, this leads to a version of Grothendieck-Verdier duality for constructible motivic sheaves with rational coefficients over rather general base schemes. We also study versions with integral coefficients, constructed via sheaves with transfers, for which we obtain partial results. Finally, we associate to any mixed Weil cohomology a system of categories of coefficients and well behaved realization functors, establishing a correspondence between mixed Weil cohomologies and suitable systems of coefficients. The results of this book have already served as ground reference in many subsequent works on motivic sheaves and their realizations, and pointers to the most recent developments of the theory are given in the introduction.Comment: This is the final version. To appear in the series Springer Monographs in Mathematic

Dendroidal Segal spaces and infinity-operads

We introduce the dendroidal analogs of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the property of being fibrant. We prove that these two model categories are Quillen equivalent to each other, and to the monoidal model category for infinity-operads which we constructed in an earlier paper. By slicing over the monoidal unit objects in these model categories, we derive as immediate corollaries the known comparison results between Joyal's quasi-categories, Rezk's complete Segal spaces, and Segal categories.Comment: We replaced a wrong technical lemma by a correct proposition at the begining of Section 8. This does not affect the main results of this article (in particular, the end of Section 8 is unchanged). To appear in J. Topo