Bar construction and Tannakization (Q473129)

Tannaka duality states that an affine group scheme \(G\) over some field \(k\) can be recovered from the category of finite dimensional \(k\)-representations of \(G\), namely as the group scheme of tensor automorphisms of the forgetful functor \(\mathsf{Rep}_k(G)\to \mathsf{vect}_k\) (see e.g. [\textit{P. Deligne}, Prog. Math. 87, 111--195 (1990; Zbl 0727.14010)]). This has led to an abstract description of neutral Tannakian categories \(C\) with fibre functor \(\omega:C\to \mathsf{vect}_k\), and to the main theorem in Tannaka theory which states that the group functor \(\mathrm{Aut}^\otimes(\omega)\) of tensor automorphisms of \(\omega\) is represented by an affine group scheme \(G\), and that the Tannakian category \(C\) is equivalent to \(\mathsf{Rep}_k(G)\). In [\textit{I. Iwanari}, ``Tannakization in derived algebraic geometry'', J. K-Theory, to appear; \url{arXiv:1112.1761}], the author has developed an analogy to Tannaka theory in the setting of \(\infty\)-categories obtaining derived affine group schemes which he calls ``tannakizations of symmetric monoidal \(\infty\)-categories''. In the paper under review the author studies relations of these ``tannakizations'' to other constructions. The main result of the paper is the following theorem relating the ``tannakization'' to the derived affine group scheme arising from some Čech nerve, the latter being obtained by a bar construction (see Theorem 1): Let \(Y\) be a perfect derived stack over some commutative ring spectrum \(R\), and let \(\mathrm{Spec}(R)\to Y\) be a section of the structure map \(Y\to \mathrm{Spec}(R)\). Then the tannakization of the associated pullback functor \(\mathsf{PMod}_Y^\otimes\to \mathsf{PMod}_R^\otimes\) is equivalent to the derived affine group scheme \(G\) arising from the Čech nerve associated to \(\mathrm{Spec}(R)\to Y\). The theorem is then applied to describe tannakizations in various cases such as the \(\infty\)-category of mixed Tate motives.