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

This article is a sequel to the earlier work [\textit{M. Marcolli} and \textit{G. Tabuada}, Sel. Math., New Ser. 20, No. 1, 315--358 (2014; Zbl 1296.14002)]. The author develops a notion of noncommutative mixed motives with coefficients in a commutative ring, and explains how their construction is compatible with commutative mixed motives (Theorem 2.1). He introduces noncommutative mixed Artin motives, and he proves that the category of noncommutative mixed Artin motives associated to a characteristic 0 field does not coincide with its classical category of mixed Artin motives (Proposition 2.4). The author applies work of Ayoub to construct a motivic Hopf dg algebra associated to their theory of non-commutative mixed motives (Proposition 2.5). The motivic Hopf dg algebra is the mixed analogue of the motivic Galois group in the setting of noncommutative numerical motives (see the earlier paper [\textit{M. Marcolli} and \textit{G. Tabuada}, J. Eur. Math. Soc. (JEMS) 18, No. 3, 623--655 (2016; Zbl 1376.14004)]). The author points out that, while the existence of the afore-mentioned motivic Galois group requires assuming noncommutative analogues of standard conjectures C and D, the motivic Hopf dg algebra always exists. The author goes on to establish several properties of the motivic Hopf algebra (e.g. Theorem 2.10) which mirror properties of the motivic Galois group.