Lucia Martin Merchan, Department of Pure Mathematics, University of Waterloo
"Formality of Joyce's manifolds"
The topological notion of formality was first related to Riemannian geometry by a Theorem of Deligne, Griffiths, Morgan, and Sullivan, which states that compact Kähler manifolds are formal. Therefore, manifolds with holonomy SU(n) and Sp(n) also have this property. However, it is still an open question to determine whether manifolds with exceptional holonomy are formal. I will discuss the paper of M. Amann and I. Taimanov (arXiv:2012.10915) showing that a Joyce's example is formal by a direct computation of its minimal model.