Sullivan minimal model in rational homotopy theory
E596068
The Sullivan minimal model in rational homotopy theory is a canonical commutative differential graded algebra that encodes the rational homotopy type of a topological space in an algebraic form.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| Sullivan minimal model | 0 |
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
commutative differential graded algebra
ⓘ
invariant in rational homotopy theory ⓘ minimal model ⓘ |
| appliesTo |
nilpotent CW-complexes of finite type
ⓘ
simply connected finite CW-complexes ⓘ |
| associatedWith |
nilpotent spaces of finite type
ⓘ
simply connected topological spaces ⓘ |
| captures |
rational Postnikov tower data
ⓘ
rational homotopy groups of a space ⓘ |
| determines | rational homotopy groups via duality ⓘ |
| encodes | rational homotopy type of a topological space ⓘ |
| field | rational homotopy theory ⓘ |
| hasBaseField | rational numbers ⓘ |
| hasCategory | category of commutative differential graded algebras over ℚ ⓘ |
| hasCohomologyIsomorphicTo | rational cohomology of the space ⓘ |
| hasDifferential | degree +1 differential ⓘ |
| hasEquivalenceClass | quasi-isomorphism class of cdgas ⓘ |
| hasGeneratorDegrees | positive integers (for simply connected spaces) ⓘ |
| hasMorphismsCorrespondingTo | rational homotopy classes of maps between spaces ⓘ |
| hasProperty |
differential decomposable on generators
ⓘ
free as a graded commutative algebra on generators ⓘ minimal ⓘ |
| hasStructure |
differential graded algebra
ⓘ
graded commutative algebra ⓘ |
| isCanonicalFor | rational homotopy type ⓘ |
| isConstructedBy | inductive extension by generators and relations ⓘ |
| isConstructedFrom | polynomial differential forms on simplices ⓘ |
| isDefinedFor | connected CW-complexes of finite type ⓘ |
| isDefinedOver | ℚ ⓘ |
| isEquivalentTo | Quillen model in rational homotopy theory (up to equivalence) ⓘ |
| isExampleOf | algebraic model of a topological space ⓘ |
| isFunctor | from homotopy category of suitable spaces to homotopy category of cdgas ⓘ |
| isFunctorialIn | topological spaces (up to homotopy) ⓘ |
| isMinimalIf | differential has no linear part on generators ⓘ |
| isNamedAfter | Dennis Sullivan NERFINISHED ⓘ |
| isQuasiIsomorphicTo | piecewise linear differential forms on the space ⓘ |
| isRelatedConcept | minimal Sullivan algebra NERFINISHED ⓘ |
| isToolFor |
classifying spaces up to rational homotopy equivalence
ⓘ
computing rational homotopy invariants ⓘ |
| isUniqueUpTo | isomorphism of commutative differential graded algebras ⓘ |
| isUsedToStudy |
Massey products
NERFINISHED
ⓘ
formality of spaces ⓘ rational LS-category ⓘ rational homotopy type of manifolds ⓘ |
| relatesTo |
de Rham algebra of differential forms
ⓘ
piecewise linear de Rham complex A_{PL}(X) ⓘ |
| usesConvention | cohomological grading ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.