Bar construction and Tannakization

DOI10.4171/PRIMS/143MaRDI QIDQ473129zbMATH OpenOpenAlexFDO

Publication date 21 November 2014

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1203.0492

zbMATH Keywords

\(\infty\)-category bar construction Galois group motives Tannaka duality

Mathematics Subject Classification ID

(Equivariant) Chow groups and rings; motives (14C15) Categories in geometry and topology (18F99)

Abstract: In this note we continue our development of tannakizations of symmetric monoidal infinity-categories, begun in our previous paper. The issue treated in this paper is the calculation of tannakizations of examples of symmetric monoidal stable infinity-categories with fiber functors. We consider the case of symmetric monoidal infinity-categories of perfect complexes on perfect derived stacks. The first main result especially says that our tannakization includes the bar construction for an augmented commutative ring spectrum and its equivariant version as a special case. We apply it to the study of the tannakization of the stable infinity-category of mixed Tate motives over a perfect field. We prove that its tannakization can be obtained from the torus-equivariant bar construction of a commutative differential graded algebra equipped with torus-action. Moreover, under Beilinson-Soule vanishing conjecture, we prove that the underlying group scheme of the tannakization is the conventional motivic Galois group for mixed Tate motives. The case of Artin motives is also included.

Review text

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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Bar construction and Tannakization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q473129)