Pith. sign in

REVIEW 4 major objections 4 minor 4 cited by

This paper claims that the rational and real homotopy type of a closed (r−1)-connected manifold of dimension n ≤ ℓ(r−1)+2 is determined uniquely by its cohomology algebra together with the isotopy class modulo (ℓ−2) of the corresponding min

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 19:40 UTC pith:AOBRRUDV

load-bearing objection A promising finite-level invariant for rational homotopy types, but the central gauge-equivalence identification is cited rather than proved and shows a worrying sign mismatch; the paper needs major revision before it can be trusted. the 4 major comments →

arxiv 2603.01219 v4 pith:AOBRRUDV submitted 2026-03-01 math.AT math.DG

Minimal Unital Cyclic C_infty-Algebras and the Real and Rational Homotopy Type of Closed Manifolds

H\^ong V\^an L\^e This is my paper
classification math.AT math.DG MSC 55P6257R1913D0317B70
keywords rational homotopy typeminimal C∞-algebraisotopy modulo kPoincaré dualityHodge homotopyHarrison cohomologycyclic cohomologyformality
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a stratification of all minimal C∞-algebra enhancements of a cohomology algebra, dividing the classification of homotopy types into stages: two enhancements are isotopic exactly when they agree modulo k for every k. It then constructs obstruction sets that control when an isotopy modulo k can be extended to modulo k+1, and proves these obstructions satisfy a generalized additivity. The main payoff is a finite-data classification: in the stated dimension range, the rational (or real) homotopy type of a manifold is fixed by the cohomology ring plus the truncated higher operations up to arity ℓ−2, modulo a truncated gauge action. This lets the author reprove a known formality theorem and extend a related vanishing result under hard-Lefschetz-type conditions.

Core claim

The central claim is Theorem 4.17: if M is a closed (r−1)-connected manifold of dimension n ≤ ℓ(r−1)+2, with r ≥ 2 and ℓ ≥ 4, then the rational homotopy type of M is determined by the cohomology algebra H^* = H^*(M;Q) together with the isotopy modulo (ℓ−2) of the minimal unital cyclic C∞-algebra enhancement of H^*, and analogously for the real homotopy type over R. The proof works by identifying minimal C∞ enhancements with Maurer–Cartan elements in a filtered Harrison differential graded Lie algebra, so that isotopy modulo k becomes truncated gauge equivalence. The obstruction sets K_k(m,m') are affine spaces in Harrison cohomology, and their generalized additivity gives a recursive classif

What carries the argument

The central object is the filtered Harrison cochain DGLA g_{H^*} built from the cohomology algebra H^*: minimal C∞-algebra enhancements correspond to Maurer–Cartan elements m = m_3 + m_4 + ⋯, the arity filtration F^k g selects cochains of arity at least k, and isotopy modulo k is exactly gauge equivalence in the quotient g/F^k g. The paper defines obstruction sets K_k(m,m') as affine spaces in Harrison cohomology Harr^{k,2−k} and proves their generalized additivity; the primary obstruction for k=3 is the cyclic cohomology class [T m_3] in HC^{4,−1}. A Hodge homotopy transfer theorem supplies the cyclicity and unit properties of the minimal enhancement, making the classification applicable to

Load-bearing premise

The classification rests on the identification, not reproved in this paper, between C∞-isotopies of minimal unital cyclic enhancements and Maurer–Cartan gauge equivalence in the filtered Harrison DGLA; if that identification or the completeness of the arity filtration fails, the obstruction sets K_k would not classify homotopy types as claimed.

What would settle it

A concrete test would be to search for two closed (r−1)-connected manifolds in the stated dimension range with isomorphic cohomology algebras and isotopic minimal unital cyclic C∞ enhancements modulo ℓ−2, but with distinct rational homotopy types—this would directly contradict Theorem 4.17. Alternatively, exhibiting two Maurer–Cartan elements in the filtered Harrison DGLA that are gauge equivalent in every quotient g/F^k g but not gauge equivalent as full elements would refute the completeness of the arity-filtration argument.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If Theorem 4.17 is correct, the rational and real homotopy type of manifolds in the range n ≤ ℓ(r−1)+2 is finite data: the cohomology ring plus operations m_3 through m_{ℓ−2} up to truncated gauge equivalence.
  • For n ≤ 5r−3, the classification collapses to the primary obstruction: the cyclic cohomology class [T m_3] ∈ HC^{4,−1}(H^*) completely determines the rational homotopy type.
  • For n ≤ 4r−2, all higher operations vanish, so the manifold is formal; this recovers and extends classical formality results in those dimensions.
  • Under a Hodge homotopy and the Lefschetz-type isomorphism condition, the paper proves intrinsic formality in dimension 4r−1 with b_r ≤ 3, and in dimension n ≤ 5r−2 with b_r ≤ 2 shows that m_k vanishes for all k ≥ 4.
  • The obstruction-theoretic stratification gives a level-by-level alternative to describing the moduli of rational homotopy types as a quotient of an algebraic variety.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the classification holds, it suggests an explicit computational pipeline: compute the cohomology ring, compute the transferred higher operations via a Hodge homotopy, and then compare them by truncated gauge equivalence using the Harrison obstruction sets—this could yield concrete algorithms for small Betti numbers.
  • The author's conjecture that the vanishing bound n ≤ 5r−2 can be pushed to n ≤ 6r−4 is a natural test: it would follow if the secondary and higher obstruction sets vanish under the same hard-Lefschetz hypotheses for that larger range.
  • The identification between C∞-isotopy and Maurer–Cartan gauge equivalence is a load-bearing bridge; if it fails in the unital cyclic setting, the entire obstruction classification would need to be rebuilt on a different equivalence relation.
  • The connection between isotopy modulo k and the arity filtration suggests a broader principle: for any homotopy algebra governed by a filtered DGLA, rational homotopy-type invariants are exactly the truncated gauge-equivalence classes of its Maurer–Cartan elements.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper introduces isotopy modulo k for minimal unital cyclic C∞-algebra enhancements of a finite-type graded commutative algebra H^*, and develops an obstruction theory in the filtered Harrison DGLA g_{H^*}. It claims that two enhancements are C∞-isotopic iff they are isotopic modulo k for every k, and that the higher obstruction sets K_k(m,m') control the extension problem. The main geometric application is Theorem 4.17: for a closed (r−1)-connected manifold M of dimension n ≤ ℓ(r−1)+2, the real/rational homotopy type is determined by H^*(M;F) together with the isotopy class modulo (ℓ−2) of the corresponding minimal unital cyclic C∞-algebra enhancement. The paper also gives new proofs of formality theorems of Crowley–Nordström (n=4r−1, b_r≤3) and Cavalcanti (n=4r, b_r≤2), using the Hodge homotopy transfer and symmetry properties of the transferred operations.

Significance. If correct, Theorem 4.17 is a substantial classification result: in the stated range, rational homotopy type becomes finite data — the cohomology algebra plus the operations m_3 through m_{ℓ−2} up to the truncated gauge action. The paper provides valuable explicit tools: the transfer theorem for unital cyclic structures (Theorem 3.3), a clean degree-restriction lemma (Lemma 4.18), explicit primary and secondary obstruction formulae, and a computational verification in Appendix A. However, several load-bearing identifications are cited rather than proved, and one auxiliary proposition in the formality section contains a genuine logical error. The overall framework is plausible, but the current version does not yet fully establish the main claims.

major comments (4)
  1. [§4.1, Corollary 4.1 and Eqs. (4.8)–(4.9)] The identification of C∞-isotopies with Maurer–Cartan gauge equivalence in g_{H^*} is load-bearing for Theorem 4.7 and Theorem 4.12, but it is only cited to [23], [38], [15], not proved. There is also a concrete sign mismatch: Eq. (4.8) expands the transformed element as m + δφ + ..., while the gauge action (4.9) expands as m + [p,m] − δp + ... . For the arity-3 component this contradicts Eq. (4.16), where m'_3 = m_3 − δφ_2. Unless a sign convention is explicitly supplied showing that the δ in (4.3) is the negative of the differential used in (4.9), the claimed equivalence is not established. In particular, the cyclic unital sub-DGLA statement in Theorem 4.7(b) requires a proof that isotopies are realized by p ∈ F^2 g^0_{cyc,unit}.
  2. [§4.3, Proposition 4.8] In the converse direction, the proof constructs a truncated morphism ϕ = (Id, φ_2, 0, ...) and verifies equality only modulo 3. A C∞-isotopy is required to be a full C∞-morphism; setting higher components to zero does not automatically satisfy the C∞-morphism equations (4.1) for n ≥ 4. The argument needs either an explicit extension of ϕ to higher components, or a lifting statement in the filtered pronilpotent DGLA. As written, the equivalence between [m_3] = [m'_3] and isotopy modulo 3 is not proved.
  3. [§6, Proposition 6.6, Eqs. (6.12)–(6.13)] The proof that δϕ = m_3 is solvable contains two serious gaps. First, the reduction to triples in (H^r)^{⊗3} is not justified for n = 4r: Lemma 6.4 with ℓ = 4 requires n ≤ 4r−1, so it does not imply that m_3 vanishes when one input lies in H^{r+1}; degree counting allows triples of type (r,r,r+1). Second, the assertion that a solution exists because there are 'three unknowns and only two independent equations' is invalid: a linear system with fewer equations than unknowns need not be consistent. The compatibility conditions (C1)–(C2) are at best necessary, and their derivation contains the erroneous identity 'm_3(e_1,e_1,e_1) = 3m_3(e_1,e_1,e_2)'. Since Theorem 6.1(2) depends on this proposition, the formality proof is incomplete.
  4. [§4.4, Proof of Theorem 4.17] The proof of Theorem 4.17 is only one sentence and does not spell out the key mechanism: that isotopy modulo (ℓ−2) together with the vanishing of all cochains of arity ≥ ℓ−1 (Lemma 4.18) forces full gauge equivalence in the cyclic unital sub-DGLA, and hence full C∞-isotopy. This is plausible, but the step that the gauge element realizing the equivalence modulo (ℓ−2) can be chosen in F^2 g^0_{cyc,unit}, and that F^{ℓ−1} g_{cyc,unit} = 0 implies equality of the Maurer–Cartan elements, should be written out. As it stands, the central classification theorem depends on an unstated argument.
minor comments (4)
  1. [Eq. (4.8)] In the displayed formula for (Id+ϕ)(m), the symbol g appears in the summand {g,...,g}; this should presumably be ϕ or p. Please clarify.
  2. [Proposition 4.11 statement] The second enhancement is written as m' = (m_3, m_4, ...) but should be (m'_3, m'_4, ...). Likewise, in Theorem 4.12(1), the phrase 'm(mod F^k) = (m'_3,...,m'_k)' should be 'm'(mod F^k)'.
  3. [§5.1, Case a.2] The sentence 'Assume φ(x,y)=0 unless (deg x, deg y) = (0,0) (mod r)' is confusing: (0,0) mod r would allow degrees (r,0) and (0,r), which are inconsistent with the later formulas. It should state the nonzero cases explicitly as (r,r), (r,2r), (2r,r).
  4. [Appendix A] The SageMath code contains apparent typos, e.g. 'GradedCommutativeAlgebra(Q Q)' instead of QQ, and the Merkulov formula in the code omits the signs of Eq. (3.7). Since the appendix is meant as computational verification, these should be corrected.

Circularity Check

0 steps flagged

No circular derivation: the classification is a deformation-theoretic reduction, with self-citations to [12]/[13] that are published and not used to define the target; the unproved Cor. 4.1 identification is a proof gap, not circularity.

full rationale

The central chain (Def. 4.4, Cor. 4.1, Thm 4.7, Thm 4.12, Lemma 4.18, Thm 4.17) does not define its conclusion into its assumptions. Isotopy modulo k is defined by existence of a C∞-isotopy, and the obstruction sets K_k are defined as gauge defects in (4.25); the criterion K_k∋0 ⇔ m∼_k m′ (4.26) is then derived from the Maurer–Cartan/gauge formalism, not assumed. The degree bound in Lemma 4.18 is an independent Poincaré-duality estimate, and Thm 4.17 follows by combining it with Thms 4.7 and 4.12. No fitted parameters enter the derivation, and no 'prediction' is manufactured from a fit. The paper does lean on the author's previous work: Section 6 imports [13, Theorem 2.12] and [13, Lemma 2.16], and the Hodge-transfer framework cites [12]; but these are published, parameter-free results with stated assumptions, so they function as genuine external support rather than as a self-citation loop. The main classification Theorem 4.17 is not made to depend on those self-citations for its content. One genuine gap should be recorded as a correctness risk rather than circularity: Corollary 4.1 is asserted by citation ('the explicit identification with the Maurer-Cartan gauge action (Corollary 4.1) follows from the Voronov-Gerstenhaber work [38] and Goldman-Millson work [15, Lemma 2.8]') and not reproved; the paper's own formulas (4.8) and (4.9) differ superficially by signs unless a convention is supplied. If real, that would undercut Thms 4.7 and 4.12, but it is an unproved identification, not a reduction of the conclusion to the hypothesis. Accordingly the score is 2: self-citation exists, but no circular step is exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The paper introduces no fitted numerical parameters and no new physical entities. Its mathematical load-bearing inputs are the prior classification theorems of Kadeishvili and Hamilton--Lazarev, the Hodge homotopy transfer machinery from the author's earlier work, and standard curvature-tensor facts. No ad hoc parameters are fit to data.

axioms (6)
  • domain assumption Kadeishvili's theorem: every DGCA has a minimal C∞-algebra enhancement of its cohomology, and two enhancements are weakly equivalent iff they are isotopic.
    Invoked in Section 4 (Theorems 4.7, 4.17) as the bridge from C∞-enhancements to rational homotopy type; cited to [20], [22].
  • domain assumption C∞-isotopies are realized by gauge equivalence in the Harrison DGLA via the action formula (4.8).
    Corollary 4.1 is asserted on the basis of [23], [38], [15]; all subsequent obstruction-set constructions depend on this identification.
  • domain assumption Hamilton--Lazarev's 1-1 correspondence between minimal C∞-enhancements and minimal unital cyclic C∞-enhancements for a Poincaré GCA.
    Used in Theorem 4.7(b) and Theorem 4.17 to reduce to unital cyclic enhancements; cited to [18, Theorems 5.5, 5.10].
  • domain assumption Hodge homotopy transfer yields a unital cyclic minimal C∞-algebra (Theorem 3.3), relying on [7], [6], and [25].
    This is the structural starting point for Sections 5 and 6; the proof transfers cyclicity and unitality from the Hodge decomposition.
  • domain assumption The vanishing and degree restrictions from [13, Theorem 2.12] and [13, Lemma 2.16] are taken as black boxes.
    Used directly in Corollary 4.19, Proposition 6.3, and Lemma 6.4 to bound which operations can be nonzero in low dimensions.
  • standard math Standard Riemannian facts: in dimension at most 3 an algebraic curvature tensor is determined by its Ricci tensor, and Weyl curvature vanishes.
    Used in Section 5 to reconstruct m3 from the Ricci tensor; cited to [1, Chapter 1, §G].

pith-pipeline@v1.3.0-alltime-deepseek · 32037 in / 17881 out tokens · 172818 ms · 2026-08-02T19:40:30.766700+00:00 · methodology

0 comments
read the original abstract

Using the notion of isotopy modulo $k$, for $k\in\mathbb N^+$, we introduce a stratification on the set of minimal $C_\infty$-algebra enhancements of a finite-dimensional graded commutative algebra $H^*$. We prove that two such enhancements are $C_\infty$-isotopic if and only if they are isotopic modulo $k$ for every $k\in\mathbb N^+$. We define obstruction sets governing the extension of an isotopy modulo $k$ to an isotopy modulo $(k+1)$ and establish their generalized additivity. We prove that if $M$ is a closed $(r-1)$-connected manifold of dimension $n\leq \ell(r-1)+2,\, r\geq2,\, \ell\geq 4$, then its real and rational homotopy types are determined by its cohomology algebra $H^*(M;\mathbb F)$ together with the isotopy class modulo $(\ell-2)$ of the corresponding minimal unital cyclic $C_\infty$-algebra enhancement, for $\mathbb F=\mathbb R$ and $\mathbb F=\mathbb Q$, respectively. Combining this obstruction theory with the Hodge homotopy method introduced in \cite{FKLS2021} and further developed in \cite{FiorenzaLe2025}, we give a new proof of a theorem of Crowley--Nordstr\"om \cite{CN}: if $M$ is a closed $(r-1)$-connected manifold of dimension $4r-1$ with $b_r(M)\leq3$, and there exists a class $\varphi\in H^{2r-1}(M;\mathbb R)$ such that multiplication by $\varphi$ induces an isomorphism $H^r(M;\mathbb R)\longrightarrow H^{3r-1}(M;\mathbb R),\,x\longmapsto\varphi\smile x$, then $M$ is intrinsically formal. Finally, we prove a borderline extension of a vanishing theorem of Fiorenza--L\^e: if an $(r-1)$-connected Poincar\'e DGCA over $\mathbb Q$ of degree $n\leq5r-2$ admits a Hodge homotopy and satisfies $b^r\leq2$, then the operations of its transferred minimal unital cyclic $C_\infty$-algebra vanish in every arity $k\geq4$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Empirical Hodge Laplacians: Spectral Convergence and Harmonic Forms from Point Clouds

    math.DG 2026-05 unverdicted novelty 8.0

    Constructs empirical Hodge operators on point clouds that converge in probability to the true Hodge Laplacian, recovering Betti numbers and harmonic k-forms consistently.

  2. Empirical Hodge Laplacians: Spectral Convergence and Harmonic Forms from Point Clouds

    math.DG 2026-05 unverdicted novelty 6.5

    Empirical Hodge operators from uniform point clouds on a closed C^4 manifold converge to the classical Hodge Laplacian and recover Betti numbers, harmonic forms, and Pontryagin numbers.

  3. Empirical Hodge Laplacians: Spectral Convergence and Harmonic Forms from Point Clouds

    math.DG 2026-05 unverdicted novelty 6.5

    Empirical Hodge Laplacians from i.i.d. point clouds on a C^4 manifold converge to the classical Hodge Laplacian and recover Betti numbers, harmonic forms, and Pontryagin classes.

  4. Empirical Hodge Laplacians: Spectral Convergence and Harmonic Forms from Point Clouds

    math.DG 2026-05 unverdicted novelty 6.0

    Empirical Hodge Laplacians from point clouds on submanifolds converge spectrally to the true operator, recovering de Rham cohomology ring, second fundamental form, curvature tensor, and Pontryagin classes from sampled data.

Reference graph

Works this paper leans on

39 extracted references · 2 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    A. L. Besse, Einstein Manifolds, Springer-Verlag, (1987)

    1987

  2. [2]

    Rational homotopy theory of mapping spaces via Lie theory for L-infinity algebras

    A. Berglund, Rational homotopy theory of mapping spaces via Lie theory for L- infinity algebras, Homology Homotopy Appl. 17(2), 343–369 (2015)https://doi. org/10.48550/arXiv.1110.6145

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1110.6145 2015

  3. [3]

    (2013).L ∞ rational homotopy of map- ping spaces

    Buijs, U., F´ elix, Y., & Murillo, A. (2013).L ∞ rational homotopy of map- ping spaces. Rev Mat Complut, 26, 573-588.https://doi.org/10.1007/ s13163-012-0105-z

    2013

  4. [4]

    Boyer, K

    C. Boyer, K. Galicki: Sasakian Geometry, Oxford Mathematical Monographs, Ox- ford University Press, (2008)

    2008

  5. [5]

    Cavalcanti, Formality ofk-connected spaces in 4k+3 and 4k+4 dimensions, Math

    Gil R. Cavalcanti, Formality ofk-connected spaces in 4k+3 and 4k+4 dimensions, Math. Proc. Cambridge Philos. Soc. 141 (2006), 101-112

    2006

  6. [6]

    X. Z. Cheng, E. Getzler, Transferring homotopy commutative algebraic structures, J. Pure Appl. Algebra 212 (2008) 2535-2542

    2008

  7. [7]

    Chuang and A

    J. Chuang and A. Lazarev, Abstract Hodge decomposition and minimal models for cyclic algebras, Lett. Math. Phys., 85 (2008), 13–22

    2008

  8. [8]

    Cieliebak, K

    K. Cieliebak, K. Fukaya, and J. Latschev, Homological algebra related to surfaces with boundary, Quantum Topol. 11 (2020), 691–837

    2020

  9. [9]

    Cieliebak, P

    K. Cieliebak, P. H´ ajek, E. Volkov, Chain-level equivariant string topology: algebra vs analysis, arXiv:2202.06837

    Pith/arXiv arXiv

  10. [10]

    Crowley, J

    D. Crowley, J. Nordstr¨ om, The rational homotopy type of (n−1)-connected man- ifolds of dimension up to 5n−3, J. Topol. 13(2020), 539-575, arXiv:1505.04184v3

    Pith/arXiv arXiv 2020

  11. [11]

    Fern´ andez and V

    M. Fern´ andez and V. Mu˜ noz, An 8-dimensional nonformal, simply connected, symplectic manifold Annals of Mathematics, 167 (2008), 1045–1054

    2008

  12. [12]

    Fiorenza, K

    D. Fiorenza, K. Kawai, H. V. Lˆ e and L. Schwachh¨ ofer, Almost formality of mani- folds of low dimension, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), vol. XXII (2021), 79-107

    2021

  13. [13]

    Fiorenza and H

    D. Fiorenza and H. V. Lˆ e, UnitalC ∞-algebras and the real homotopy type of (r−1)-connected compact manifolds of dimension≤ℓ(r−1) + 2, Ann. Sc. Norm. Super. Pisa (2025)https://doi.org/10.2422/2036-2145.202401_003

    arXiv 2025

  14. [14]

    Gerstenhaber, The Cohomology Structure of an Associative Ring, The Annals of Mathematics, Second Series, Vol

    M. Gerstenhaber, The Cohomology Structure of an Associative Ring, The Annals of Mathematics, Second Series, Vol. 78, No. 2 (Sep., 1963), pp. 267-288

    1963

  15. [15]

    Goldman and J

    W. Goldman and J. Millson, The deformation theory of representations of fun- damental groups of compact K¨ ahler manifolds Publications math´ ematiques de l’I.H.´E.S., tome 67 (1988), p. 43-96

    1988

  16. [16]

    Gerstenhaber, A

    M. Gerstenhaber, A. A. Voronov, Homotopy G-algebras and moduli space operad, Internat. Math. Res. Notices (1995), no. 3, 141-153

    1995

  17. [17]

    Halperin and J

    S. Halperin and J. Stasheff, Obstructions to homotopy equivalences, Adv. Math. 32 (1979), no. 3, 233-279

    1979

  18. [18]

    Hamilton and A

    A. Hamilton and A. Lazarev, SymplecticC ∞-algebras, Mosc. Math. J. 8 (2008), no. 3, 443-475, 615

    2008

  19. [19]

    Hamilton and A

    A. Hamilton and A. Lazarev, Cohomology theories for homotopy algebras and noncommutative geometry, Algebraic & Geometric Topology 9 (2009) 1503-1583

    2009

  20. [20]

    Kadeishvili, On the Homology Theory of Fibrations, Russian Math

    T. Kadeishvili, On the Homology Theory of Fibrations, Russian Math. Surveys, 35, 3 (1980), 231-238

    1980

  21. [21]

    Kadeishvili, TheA ∞-algebra structure and cohomology of Hochschild and Har- rison, Proc

    T. Kadeishvili, TheA ∞-algebra structure and cohomology of Hochschild and Har- rison, Proc. Tbil. Math. Inst.91 (1988), 19–27. Available athttps://doi.org/10. 48550/arXiv.math/0210331

    Pith/arXiv arXiv doi:10.48550/arxiv.math/0210331 1988

  22. [22]

    Al- gebraic Topology, Old and New

    T. V. Kadeishvili, CohomologyC ∞-algebra and rational homotopy type, In: “Al- gebraic Topology, Old and New”, Banach Center Publ., Vol. 85, Polish Acad. Sci. Inst. Math., Warsaw, 2009, 225-240. 38 H ˆONG V ˆAN L ˆE

    2009

  23. [23]

    Kadeishvili, Twisting Elements in Homotopy G-Algebras

    T.V. Kadeishvili, Twisting Elements in Homotopy G-Algebras. In: Cattaneo, A., Giaquinto, A., Xu, P. (eds) Higher Structures in Geometry and Physics. Progress in Mathematics, vol 287. Birkh¨ auser, Boston, MA.https://doi.org/10.1007/ 978-0-8176-4735-3_9

  24. [24]

    Kadeishvili, Homotopy Gerstenhaber Algebras: Examples and Applications, J

    T.V. Kadeishvili, Homotopy Gerstenhaber Algebras: Examples and Applications, J. of Math. Sciences, vol. 195(2013), N4, 455-459

    2013

  25. [25]

    Kajiura, Noncommutative homotopy algebras associated with open strings

    H. Kajiura, Noncommutative homotopy algebras associated with open strings. Rev.Math.Phys. 19, 2007, 1-99

    2007

  26. [26]

    Kajiura, Cyclicity in homotopy algebras and rational homotopy theory, Geor- gian Mathematical Journal, vol

    H. Kajiura, Cyclicity in homotopy algebras and rational homotopy theory, Geor- gian Mathematical Journal, vol. 25, no. 4, 2018, pp. 545-570.https://doi.org/ 10.1515/gmj-2018-0058

    work page doi:10.1515/gmj-2018-0058 2018

  27. [27]

    Kontsevich, Y

    M. Kontsevich, Y. Soibelman, Homological mirror symmetry and torus fibrations, Symplectic geometry and mirror symmetry (Seoul, 2000), 203-263, World Sci. Publ., River Edge, NJ, 2001

    2000

  28. [28]

    Lambrechts and D

    P. Lambrechts and D. Stanley, The rational homotopy type of configuration spaces of two points, Ann. Inst. Fourier (Grenoble) 54 (2004), no. 4, 1029–1052

    2004

  29. [29]

    Loday, Cyclic homology

    J.-L. Loday, Cyclic homology. Grundlehren der mathematischen Wissenschaften 301, 2nd Edition, Springer 1998

    1998

  30. [30]

    Loday and B

    J.-L. Loday and B. Vallette, Algebraic Operads, Grundlehren Math. Wiss., vol. 346, Springer, 2012

    2012

  31. [31]

    S. A. Merkulov, Strong homotopy algebras of a K¨ ahler manifold, Int. Math. Res. Not. IMRN (1999), Nr 3, 153-164

    1999

  32. [32]

    T. J. Miller, On the formality of (k−1) connected compact manifolds of dimension less than or equal to 4k−2, Illinois J. Math. 23 (1979), 253-258

    1979

  33. [33]

    Nagy and J

    C. Nagy and J. Nordstr¨ om, Rational Homotopy theory and simply-connected 8- manifolds,https://arxiv.org/abs/2105.13660

    Pith/arXiv arXiv

  34. [34]

    Quillen, Rational homotopy theory, Ann

    D. Quillen, Rational homotopy theory, Ann. of Math. (2) 90 (1969), 205-295

    1969

  35. [35]

    Schlessinger, J

    M. Schlessinger, J. Stasheff, Deformation Theory and Rational Homotopy Type, arXiv:1211.1647

    Pith/arXiv arXiv

  36. [36]

    Sullivan, Infinitesimal computations in topology, Publ

    D. Sullivan, Infinitesimal computations in topology, Publ. Math. Inst. Hautes ´Etudes Sci., 47 (1977), 269-331.https://doi.org/10.1007/BF02684341

    doi:10.1007/bf02684341 1977

  37. [37]

    Sullivan, Differential forms and the topology of manifolds, Manifolds-Tokyo (1973) (Proc

    D. Sullivan, Differential forms and the topology of manifolds, Manifolds-Tokyo (1973) (Proc. of the Intern. Conf. on Manifolds and related topics in Topology, Tokyo 1973) (ed. A. Hattori), U. of Tokyo Press, 1975, 37-49.https://www.math. stonybrook.edu/~dennis/publications/PDF/DS-pub-0017.pdf

    1973

  38. [38]

    A. A. Voronov and M. Gerstenhaber, Higher operations on Hochschild complex, Functional Anal. Appl. 29 (1995), no. 1, 1-6

    1995

  39. [39]

    Witherspoon, Hochschild cohomology for algebras, Gard

    S. Witherspoon, Hochschild cohomology for algebras, Gard. Stud. Math., AMS, 2019. AppendixA.Computational Verification ofm 3 The following SageMath script was used to verify the non-vanishing of the primary obstructionm 3 for the invariant sector of the Fern´ andez–Mu˜ noz manifold. Listing 1.SageMath script forC ∞ transfer on the FM 8-manifold label # 1 ...

    2019