Classification of tight contact structures on small Seifert fibered \(L\)-spaces (Q679779)

If \((M,\xi)\) is a contact manifold, then a closed, connected, embedded submanifold \(L\to M\) so that \(TL\subset\xi\) is a Legendrian knot. Two such knots are said to be equivalent if they are Legendrian isotopic. A contact structure \(\xi\) on \(M\) is called overtwisted if there is a disk \(D\) embedded in \(M\) such that the tangent plane \(T_xD\) to \(D\) is the same as \(\xi_x\) for every \(x\in\partial D\), otherwise it is called tight. If \(K\subset S^3\) is an unknot, \(K_i\), \(1\leq i\leq 3\), are pairwise disjoint small meridional unknots linking \(K\) only once, \(r_i\in(0,1)\cap\mathbb Q\), and \(e_0=\sum [r_i]\in\mathbb Z\), then an integral surgery along \(K\) with coefficient \(e_0\) and a rational surgery along each \(K_i\) with coefficient \(-\frac{1}{r_i}\) on the sphere \(S^3\) result in obtaining a Seifert fibration \(M(e_0;r_1,r_2,r_3)\) over \(S^2\) with three singular fibers, called a small Seifert manifold. For a 4-manifold \(X\) the surgery presentation of the contact bundle \(\xi\) defines the 3-dimensional invariant \(d_3(\xi)=\frac14(c^2(X,J)-3\sigma(X)-2b_2(X))+\#(+1\text{-surgeries})\), where \(c(X,J)\) is the characteristic element determined by the \(\xi\)-induced almost complex structure \(J\) of \(X\). There is the \(d\)-invariant which corresponds to the reversely oriented \(-M\) together with an induced \(\text{Spin}^c\) structure \(t_\xi\) and is realized by the characteristic 2-cohomology class which gives a \(\text{Spin}^c\) cobordism from \(S^3\) to \((-M,t_\xi)\). \(L\)-spaces among Seifert fibered manifolds are geometrically characterized by absence of transverse contact structures. \(L\)-spaces are all manifolds with \(e_0\geq0\) and with \(e_0\leq -3\), while for \(e_0=-1,-2\) some explicit numerical inequalities are imposed on the triple \((r_1,r_2,r_3)\). The recent problems are to classify tight contact structures up to contact isotopy. In [J. Symplectic Geom. 5, No. 4, 357--384 (2007; Zbl 1149.57037)], \textit{P. Lisca} and \textit{A. Stipsicz} proved that if for a contact structure \(\xi\) on a Seifert fibered \(L\)-space \(M(-1;r_1,r_2,r_3)\) the equality \(d_3(\xi)=d(M,t_\xi)\) holds, then its contact invariant \(c(M,\xi)\in \widehat{\text{HF}}(-M,t_\xi)\) does not vanish. In this paper, the author identifies tight contact structures on small Seifert fibered \(L\)-spaces as exactly the structures having nonvanishing contact invariant, and classifies them by their induced \(\text{Spin}^c\) structures. It is shown that if \(M\) be a small Seifert fibered \(L\)-space of the form \(M(-1;r_1,r_2,r_3)\), then a contact structure \(\xi\) on \(M\) is tight if and only if it is given by a contact surgery presentation such that its 3-dimensional invariant \(d_3(\xi)\) is equal to the \(d\)-invariant \(d(M,t_\xi)\). Moreover, two tight structures \(\xi_1\)and \(\xi_2\) on \(M\) are contact isotopic if and only if their induced \(\text{Spin}^c\) structures \(t_{\xi_1}\) and \(t_{\xi_2}\) are isomorphic.