Publications of the Research Institute for Mathematical Sciences
Full-Text PDF (651 KB) | Metadata | Table of Contents | PRIMS summary
Published online: 2014-09-17
Bar Construction and TannakizationIsamu Iwanari (1) Tohoku University, Sendai, Japan
We continue our development of tannakizations of symmetric monoidal $\infty$-categories, begun in . In this note we calculate the tannakizations of some examples of symmetric monoidal stable 1-categories with fiber functors. We consider the case of symmetric monoidal $\infty$-categories of perfect complexes on perfect derived stacks. The first main result in particular 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 $\infty$-category of mixed Tate motives over a perfect field.We prove that its tannakization can be obtained from the $\mathbb G_m$-equivariant bar construction of a commutative dierential graded algebra equipped with the $\mathbb G_m$-action. Moreover, under the Beilinson–Soule vanishing conjecture, we prove that the underlying group scheme of the tannakization is the motivic Galois group for mixed Tate motives, constructed in , , . The case of Artin motives is also included.
Keywords: bar construction, Tannaka duality, $\infty$-category, motives, Galois group
Iwanari Isamu: Bar Construction and Tannakization. Publ. Res. Inst. Math. Sci. 50 (2014), 515-568. doi: 10.4171/PRIMS/143