2023/06/21 by Aleksandar Milivojević, Milivojevic, Aleksandar, Jonas Stelzig +3 · 1 citation
Mathematics · #55P62 #57N65 #Advanced Topics in Algebra #Advanced Topology and Set Theory #Algebraic Topology (math.AT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.2306.12364
openalex publication_date 2023/06/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
If a closed orientable manifold (resp. rational Poincaré duality space) X receives a map Y → X from a formal manifold (resp. space) Y that hits a fundamental class, then X is formal. The main technical ingredient in the proof states that given a map of A_∞-algebras A→ B admitting a homotopy A-bimodule retract, formality of B implies that of A.