Sasaki–Einstein 7-manifolds and Orlik’s conjecture

We study the homology groups of certain 2-connected 7-manifolds admitting quasi-regular Sasaki–Einstein metrics, among them, we found 52 new examples of Sasaki–Einstein rational homology 7-spheres, extending the list given by Boyer et al. (Ann Inst Fourier 52(5):1569–1584, 2002). As a consequence, we exhibit new families of positive Sasakian homotopy 9-spheres given as cyclic branched covers, determine their diffeomorphism types and find out which elements do not admit extremal Sasaki metrics. We also improve previous results given by Boyer (Note Mat 28:63–105, 2008) showing new examples of Sasaki–Einstein 2-connected 7-manifolds homeomorphic to connected sums of S3×S4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S^3\times S^4$$\end{document}. Actually, we show that manifolds of the form #kS3×S4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\#k\left( S^{3} \times S^{4}\right) $$\end{document} admit Sasaki–Einstein metrics for 22 different values of k. All these links arise as Thom–Sebastiani sums of chain type singularities and cycle type singularities where Orlik’s conjecture holds due to a recent result by Hertling and Mase (J Algebra Number Theory 16(4):955–1024, 2022).