Noncommutative numerical motives, Tannakian structures, and motivic Galois groups (Q268595)

The paper under review discusses motivic Galois groups in the context of noncommutative motives. Recall that the category of (commutative) numerical motives is neutral super-Tannakian, and its symmetry isomorphism constraints can be modified to yield a neutral Tannakian category. Deligne's formalism then yields a pro-reductive (super-)group scheme, whose category of finite-dimensional (super-)representations recovers the monoidal category of numerical motives (suitably modified in the non-super case). The category of noncommutative Chow motives as introduced by the second author is the pseudo-abelian envelope of the category whose objects are smooth and proper dg categories, and whose morphisms are given by the Grothendieck groups of bimodules over those categories. Hochschild homology gives a class in \(K\)-theory which can be understood as an intersection number, and hence one can quotient out those (classes of) bimodules which are numerically equivalent to zero, giving the category of \textit{noncommutative numerical motives}. The category of noncommutative numerical motives is an idempotent complete monoidal category, which is shown to be abelian semisimple and Schur-finite. This is enough to conclude that it is (neutral) super-Tannakian, whilst it cannot be Tannakian. Under a noncommutative version of the standard conjecture of type C (concerning algebraicity of projectors) it is shown that the symmetry isomorphism constraints can be modified to yield a Tannakian category. If moreover a noncommutative version of the standard conjecture of type D holds, it is neutral Tannakian and the fiber functor is given by periodic cyclic homology. Finally, a comparison with the (super-)Galois groups in the commutative setting is given. Assuming the standard conjectures of type C and D, and their noncommutative counterparts, there exist faithfully flat morphisms from the (super-)Galois group of noncommutative numerical motives to the subgroup of the (super-)Galois group of numerical motives given by symmetries which act trivially on Tate motives. In [\textit{G. Tabuada}, ``Noncommutative motives in positive characteristic and their applications'', \url{arXiv:1707.04248}], an unconditional version is given for the super-Galois group.