Noncommutative Artin motives

Abstract

Abstract. In this article we introduce the category of noncommutative Artin motives as well as the category of noncommutative mixed Artin motives. In the pure world, we start by proving that the classical category AM(k) Q of Artin motives (over a base field k) can be characterized as the largest category inside Chow motives which fully-embeds into noncommutative Chow motives. Making use of a refined bridge between pure motives and noncommutative pure motives we then show that the image of this full embedding, which we call the category NAM(k) Q of noncommutative Artin motives, is invariant under the different equivalence relations and modification of the symmetry isomorphism constraints. As an application, we recover the absolute Galois group Gal(k/k) from the Tannakian formalism applied to NAM(k) Q . Then, we develop the base-change formalism in the world of noncommutative pure motives. As an application, we obtain new tools for the study of motivic decompositions and Schur/Kimura finiteness. Making use of this theory of base-change we then construct a short exact sequence relating Gal(k/k) with the noncommutative motivic Galois groups of k and k. Finally, we describe a precise relationship between this short exact sequence and the one constructed by Deligne-Milne. In the mixed world, we introduce the triangulated category NMAM(k) Q of noncommutative mixed Artin motives and construct a faithful functor from the classical category MAM(k) Q of mixed Artin motives to it. When k is a finite field this functor is an equivalence. On the other hand, when k is of characteristic zero NMAM(k) Q is much richer than MAM(k) Q since its higher Ext-groups encode all the (rationalized) higher algebraic K-theory of finité etale k-schemes. In the appendix we establish a general result about short exact sequences of Galois groups which is of independent interest. As an application, we obtain a new proof of Deligne-Milne's short exact sequence.

A note on secondary K-theory

“…As proved in[20, Thm. 7.1], every ring homomorphism k → k ′ gives rise to the following commutative square dBr(k)−⊗ L k k ′ (6.4) / / K 0 (NChow(k)) −⊗ L k k ′ dBr(k ′ ) (6.4) / / K 0 (NChow(k ′ )) .…”

Untitled

“…Every (dg) k-algebra A gives rise naturally to a dg category with a single object. Another source of examples is provided by schemes since the category of perfect complexes of every quasicompact quasiseparated k-scheme admits a canonical dg enhancement; see [Lunts and Orlov 2010].…”

Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras

“…(11.0.26) Clearly, the functor (11.0.26) preserves Morita equivalences, filtered colimits, and short exact sequences of dg categories. Since the field extension l/k is in particular finite and separable, the functor (11.0.26) preserves moreover the smooth proper dg categories; see [27,Prop. 7.5].…”

“…This article is the sequel to [27]. We start by developing a theory of noncommutative (=NC) mixed motives with coefficients in any commutative ring.…”