The combinatorial model for the Sullivan functor on simplicial sets
type: Item
instance of: scholarly article
title: The combinatorial model for the Sullivan functor on simplicial sets
zbMATH Open document ID: 1156.55008
author: Yves Félix
author: Barry Jessup
author: Paul-Eugène Parent
published in: Journal of Pure and Applied Algebra
publication date: 2008-12-02T00:00:00Z
review text: It is well known that Sullivan's rational de Rham algebra \(A_{\mathrm{PL}}(\_\_ )\) leads to a purely algebraic model of rational homotopy type for nilpotent spaces [\textit{D. Sullivan}, Differential forms and the topology of manifolds. Manifolds, Proc. int. Conf. Manifolds relat. Top. Topol., Tokyo 1973, 37--49 (1975; Zbl 0319.58005)]. In Appendix G of this paper, Sullivan asserts -- without proof -- that \(A_{\mathrm{PL}}( K )\) admits a purely combinatorial description for \(K\) a finite simplicial complex. Specifically, Sullivan asserts \(A_{\mathrm{PL}}(K)\) is isomorphic to the DG algebra \(A(K) = \Lambda(t_1, \dots, t_{n+1}, dt_1, \dots, dt_{n+1})/J\) where the \(t_i\) are the vertices of \(K\) (of degree \(0\)), the \(dt_i\) are their derivatives (of degree \(1\)) and where \(J\) is the smallest differential ideal generated by \(\sum_{i=1}^{n+1}t_i -1\) and the monomials \(t_{i+1}\cdots t_{i_r} dt_{t_{i_{r+1}}}\cdots dt_{i_l}\) for \(\{ t_{i_1}, \dots, t_{i_l} \}\) not a simplex of \(K.\) The authors prove Sullivan's assertion constructing an isomorphism \(\psi_K \colon A(K) \to A_{\mathrm{PL}}(K)\) which is natural with respect to simplicial maps. Applying this result and the Whitney map \(C^*(K; \mathbb{Q}) \to A(K)\), the authors obtain some explicit descriptions of products in \(H^*(K; \mathbb{Q})\) and of the Malcev completion of \(\pi_1(K).\)
Mathematics Subject Classification ID: 55P62
Mathematics Subject Classification ID: 13F55
Mathematics Subject Classification ID: 55U10
Mathematics Subject Classification ID: 13N99
zbMATH DE Number: 5376983
zbMATH Keywords: rational homotopy type
zbMATH Keywords: combinatorial description
zbMATH Keywords: DG algebra
reviewed by: Samuel Bruce Smith
MaRDI profile type: Publication
full work available at URL: j.jpaa.2008.06.011
OpenAlex ID: W2080915405
cites work: Q4274969
cites work: Q4537714
cites work: Q4505020
cites work: Q3024492
cites work: The algebraic topology of smooth algebraic varieties
cites work: Q4693740
cites work: Q4082047
cites work: Infinitesimal computations in topology
cites work: Sur les théorèmes de de Rham
cites work: Q3253193
DOI: 10.1016/J.JPAA.2008.06.011
Recommended article: Q3806387
Recommended article: Q3833276
Recommended article: Rational Homotopy Theory II
Recommended article: De Rham theory of a simplicial complex
Recommended article: Maurer–Cartan Elements in the Lie Models of Finite Simplicial Complexes
Recommended article: Cyclic Sullivan-De Rham Forms
Recommended article: Quantum methods in algebraic topology
Recommended article: A strictly commutative model for the cochain algebra of a space
Recommended article: Lie Models in Topology
Recommended article: Q5288287
description: scientific article; zbMATH DE number 5376983