The de Rham homotopy theory and differential graded category (Q444208): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Gregory Lupton / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P62 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G55 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6065399 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
non-nilpotent space | |||
Property / zbMATH Keywords: non-nilpotent space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
schematic homotopy type | |||
Property / zbMATH Keywords: schematic homotopy type / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
dg-category | |||
Property / zbMATH Keywords: dg-category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
equivariant dg-algebra | |||
Property / zbMATH Keywords: equivariant dg-algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
equivalence of homotopy categories | |||
Property / zbMATH Keywords: equivalence of homotopy categories / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3103680687 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0912.4844 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopical algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pro-Affine Algebraic Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy limits, completions and localizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On 𝑃𝐿 de Rham theory and rational homotopy type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homology theory of the closed geodesic problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinitesimal computations in topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4192669 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational homotopy theory and differential forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3932925 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higgs bundles and local systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the rational homotopy type of function spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220599 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational homotopy theory for non-simply connected spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4505020 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local projective model structures on simplicial presheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypercovers and simplicial presheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Affine stacks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopical algebraic geometry. II. Geometric stacks and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Schematic homotopy types and non-abelian Hodge theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic and topological aspects of the schematization functor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The pro-unipotent radical of the pro-algebraic fundamental group of a compact Kähler manifold / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pro-algebraic homotopy types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analytic nonabelian Hodge theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Real Non-Abelian Mixed Hodge Structures for Quasi-Projective Varieties: Formality and Splitting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational homotopy theory and differential graded category / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:02, 5 July 2024
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
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
0 references
0 references