The de Rham homotopy theory and differential graded category (Q444208): Difference between revisions

This paper continues and extends previous work of the same author in [J. Pure Appl. Algebra 214, No. 4, 422--439 (2010; Zbl 1188.55006)]. The basis for rational homotopy theory is the fact that the homotopy category of nilpotent rational spaces of finite type is equivalent to a (purely algebraic) certain homotopy category of differential graded algebras. There have been numerous attempts to extend, or adapt, this sort of equivalence beyond the nilpotent setting. In this paper, working over a field of characteristic zero, the author establishes an equivalence between the homotopy category of pointed schematic homotopy types (a non-nilpotent generalization of rationalization, see [\textit{B. Toën}, Sel. Math., New Ser. 12, No. 1, 39--134 (2006; Zbl 1108.14004)]), and the homotopy category of a certain class of closed tensor dg-categories (which provided the algebraic models in his earlier paper), which the author calls Tannakian dg-categories. In addition, the author shows a correspondence between Tannakian dg-categories and another algebraic object, namely (\(\pi_1\)-) equivariant dg-algebras (introduced and studied by others). With some conditions on the fundamental group, the author proves a result in this setting that suggests homotopy invariants may be retrieved from these latter algebraic models, in a way similar to that in which rational homotopy invariants may often effectively be extracted from the minimal model.