Properadic coformality of spheres

Abstract We define a properad $\mathcal{Y}^{(n)}_\infty $ that encodes $n$-pre-Calabi–Yau algebras with vanishing copairing. These algebras include chains on the based loop space of any space $X$ endowed with a fundamental class $[X]$ such that $(X,[X])$ satisfies Poincaré duality of degree $n \geqslant 1$ with local system coefficients, such as an oriented manifold. Extending the notion of coformality of spaces, we define coformality of such a pair $(X,[X])$ in terms of properadic formality of $\mathcal{Y}^{(n)}_\infty $-algebra structures on $C_{*}(\Omega X)$. Using a refined version of properadic Kaledin classes, we establish the intrinsic coformality of all spheres in characteristic zero.