Links of plane curve singularities are \(L\)-space links (Q312376)

A rational homology sphere \(Y\) with \(H_1(Y)\) of order \(m\) is an \(L\)-space if its Heegaard Floer homology \(\widehat{\text{HF}}(Y)\) is isomorphic to \(\mathbb{Z}^m\). For instance, lens spaces are the first examples of \(L\)-spaces. \textit{M. Hedden} [Int. Math. Res. Not. 2009, 2248--2274 (2009; Zbl 1172.57008)] proved that sufficiently large surgeries along knots that arise as link of complex curve singularities are \(L\)-spaces. The main result of the paper under review (Theorem 2) is a generalisation of Hedden's theorem to links of algebraic singularities. The proof makes an ingenious use of plumbing calculus, and builds on earlier result of the second author [Geom. Topol. 9, 991--1042 (2005; Zbl 1138.57301)]. As a concrete family of examples, the authors characterise completely the sets of integer surgeries along torus links which yield \(L\)-spaces (Theorem 7); most notably, when the link has more than one component, the set of slopes contains arbitrarily large negative coefficients, whereas for (nontrivial) algebraic knots the set contains no non-negative integer. Finally, Theorem 12 provides a rich family of examples of links in the Poincaré sphere with infinitely many \(L\)-space surgeries.