Minimal Unital Cyclic $C_\infty$-Algebras and the Real and Rational Homotopy Type of Closed Manifolds
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908881322508288 |
|---|---|
| author | Lê, Hông Vân |
| author_facet | Lê, Hông Vân |
| contents | Using the notion of isotopy modulo $k$, with $k \in \mathbb{N}^+$, we introduce a stratification on the set of all minimal $C_\infty$-algebra enhancements of a finite-type graded commutative algebra $H^*$. We determine obstruction classes defining the extendability of isotopy modulo $k$ to isotopy modulo $(k+1)$ for minimal $C_\infty$-algebra enhancements of $H^*$ 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 $M$. We prove that if $M$ is a closed $(r-1)$-connected manifold of dimension $n \le l(r-1)+2$ (where $r \ge 2, l \ge 4$), the real and rational homotopy type of $M$ is defined uniquely by the cohomology algebra $H^*(M, \mathbb{F})$ and the isotopy modulo $(l-2)$ of the corresponding minimal unital cyclic $C_\infty$-algebra enhancements of $H^*(M, \mathbb{F})$ for $\mathbb{F} = \mathbb{R}, \mathbb{Q}$, 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 $(r-1)$-connected closed manifold $M$ of dimension $4r-1$ with $b_r(M) \le 3$ is intrinsically formal if there exists a $φ\in H^{2r-1}(M, \mathbb{R})$ such that the map $H^r(M, \mathbb{R}) \to H^{3r-1}(M, \mathbb{R}), x \mapsto φ\cup x$ is an isomorphism. Furthermore, we provide a new proof and extension of Cavalcanti's result \cite{Cavalcanti2006}, showing that a $(r-1)$-connected closed manifold $M$ of dimension $4r$ with $b_r(M) \le 2$ is intrinsically formal under similar conditions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_01219 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Minimal Unital Cyclic $C_\infty$-Algebras and the Real and Rational Homotopy Type of Closed Manifolds Lê, Hông Vân Algebraic Topology Differential Geometry Primary: 55P62, Secondary: 57R19, 13D03, 17B70 Using the notion of isotopy modulo $k$, with $k \in \mathbb{N}^+$, we introduce a stratification on the set of all minimal $C_\infty$-algebra enhancements of a finite-type graded commutative algebra $H^*$. We determine obstruction classes defining the extendability of isotopy modulo $k$ to isotopy modulo $(k+1)$ for minimal $C_\infty$-algebra enhancements of $H^*$ 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 $M$. We prove that if $M$ is a closed $(r-1)$-connected manifold of dimension $n \le l(r-1)+2$ (where $r \ge 2, l \ge 4$), the real and rational homotopy type of $M$ is defined uniquely by the cohomology algebra $H^*(M, \mathbb{F})$ and the isotopy modulo $(l-2)$ of the corresponding minimal unital cyclic $C_\infty$-algebra enhancements of $H^*(M, \mathbb{F})$ for $\mathbb{F} = \mathbb{R}, \mathbb{Q}$, 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 $(r-1)$-connected closed manifold $M$ of dimension $4r-1$ with $b_r(M) \le 3$ is intrinsically formal if there exists a $φ\in H^{2r-1}(M, \mathbb{R})$ such that the map $H^r(M, \mathbb{R}) \to H^{3r-1}(M, \mathbb{R}), x \mapsto φ\cup x$ is an isomorphism. Furthermore, we provide a new proof and extension of Cavalcanti's result \cite{Cavalcanti2006}, showing that a $(r-1)$-connected closed manifold $M$ of dimension $4r$ with $b_r(M) \le 2$ is intrinsically formal under similar conditions. |
| title | Minimal Unital Cyclic $C_\infty$-Algebras and the Real and Rational Homotopy Type of Closed Manifolds |
| topic | Algebraic Topology Differential Geometry Primary: 55P62, Secondary: 57R19, 13D03, 17B70 |
| url | https://arxiv.org/abs/2603.01219 |