Sullivan minimal model
Builds on Exterior algebraSymmetric algebraSingular cohomology
Definition
Work over with cochain differential graded algebras (dgas) that are graded-commutative: for homogeneous and . For a graded vector space , let be the free graded-commutative algebra on . It is the tensor product of the symmetric algebra on the even part and the exterior algebra on the odd part. Let be its ideal of decomposable elements, the span of products of at least two elements of .
- A Sullivan algebra is a dga with and an increasing chain of graded subspaces with union . The chain must satisfy and for .
- A Sullivan algebra is minimal if .
- Let be a graded-commutative dga with . A Sullivan minimal model of it is a minimal Sullivan algebra with a dga map that is an isomorphism in cohomology.
The minimal model of a path-connected space is the minimal model of Sullivan's algebra of rational polynomial differential forms on . The cohomology of is the rational singular cohomology .
Remarks
If is simply connected and each is finite-dimensional, then for all , and .
Example: for odd, with is the minimal model of . Here since by graded commutativity, which is .
Example: for even, the minimal model of is with , , and . Its cohomology has basis : each with equals , and .
Non-example: with , and is a Sullivan algebra but not minimal, since is not decomposable. It is acyclic in positive degrees, and its minimal model is .
Reading path
To understand this page from the ground up, read these 11 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Quotient ring concept
- Singular cohomology concept
- Tensor algebra concept
- Two-sided ideal concept
- Vector space concept
- Vector space definition
- Symmetric algebra definition
- Bilinear form definition
- Tensor product of vector spaces definition
- Exterior algebra definition
- Sullivan minimal model definition
Further reading
- Web https://en.wikipedia.org/wiki/Rational_homotopy_theory, Sullivan algebras
About this page
| Tag | V9079C40AZ |
|---|---|
| URI | m2://V9079C40AZ |
| Kind | definition |
| Writing | W0 stub |
| MSC | 55P62 |
| Defines | Sullivan minimal model |
| Uses | Exterior algebra, Symmetric algebra, Singular cohomology |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.