The de Rham homotopy theory and differential graded category (Q444208)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The de Rham homotopy theory and differential graded category
scientific article

    Statements

    The de Rham homotopy theory and differential graded category (English)
    0 references
    0 references
    13 August 2012
    0 references
    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.
    0 references
    non-nilpotent space
    0 references
    schematic homotopy type
    0 references
    dg-category
    0 references
    equivariant dg-algebra
    0 references
    equivalence of homotopy categories
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references