Using the notion of isotopy modulo , with , we introduce a stratification on the set of all minimal -algebra enhancements of a finite-type graded commutative algebra . We determine obstruction classes defining the extendability of isotopy modulo to isotopy modulo for minimal -algebra enhancements of and demonstrate their generalized additivity. As a result, we define a complete set of invariants of the rational homotopy types of closed simply connected manifolds . We prove that if is a closed -connected manifold of dimension (where ), the real and rational homotopy type of is defined uniquely by the cohomology algebra and the isotopy modulo of the corresponding minimal unital cyclic -algebra enhancements of for , respectively. Combining this with the Hodge homotopy introduced in \cite{FKLS2021} and developed in \cite{FiorenzaLe2025}, we provide a new proof of a theorem by Crowley–Nordström \cite{CN}: a -connected closed manifold of dimension with is intrinsically formal if there exists a such that the map is an isomorphism. Furthermore, we provide a new proof and extension of Cavalcanti’s result \cite{Cavalcanti2006}, showing that a -connected closed manifold of dimension with is intrinsically formal under similar conditions.

生成讲解博客的中文版本

生成AI智能校验的中文版本