Left-orderablity for surgeries on \((-2,3,2s + 1)\)-pretzel knots (Q2417911)

A nontrivial group \(G\) is left-orderable if it admits a total ordering \(<\) which is invariant under left multiplication, i.e. \(g < h\) implies \(fg < fh\) for all \(f, g, h\in G\). A rational homology \(3\)-sphere \(Y\) is an L-space if it has the simplest Heegaard Floer homology, i.e. \(\mathrm{rk }\widehat{HF}(Y) = | H_1(Y; \mathbb{Z}) |\). It has been conjectured by \textit{S. Boyer} et al. [Math. Ann. 356, No. 4, 1213--1245 (2013; Zbl 1279.57008)] that an irreducible rational homology \(3\)-sphere \(Y\) is an L-space if and only if \(\pi_1(Y)\) is not left orderable. In the paper under review the author focuses on this conjecture for rational homology \(3\)-spheres obtained by Dehn surgeries on a \((-2, 3, 2s+1)\) pretzel knot \(K_s\) (\(s \ge 3\)). Since the genus of \(K_s\) is \(s+2\), the surgery formula of \textit{P. S. Ozsváth} and \textit{Z. Szabó} [Algebr. Geom. Topol. 11, No. 1, 1--68 (2011; Zbl 1226.57044)] says that \(K_s(r)\), the result of \(r\)-surgery on \(K_s\), is an L-space if and only if \(r \ge 2g(K_s) -1 = 2s + 3\). Hence it is conjectured that \(\pi_1(K_s(r))\) is left orderable if and only if \(r < 2s + 3\). The author proves that if \(r \ge 2s + 3\), then \(\pi_1(K_s(r))\) is not left orderable. Furthermore he shows that there exists \(\varepsilon > 0\) such that \(\pi_1(K_s(r))\) is left orderable for any \(r \in (-\varepsilon, \varepsilon)\).