A note on the knot Floer homology of fibered knots. (English) Zbl 1408.57012

In [Adv. Math. 186, No. 1, 58–116 (2004; Zbl 1062.57019)], P. Ozsváth and Z. Szabó introduced some knot Floer invariants. If \(K\) is a knot in a closed oriented 3-manifold \(Y\), then one of the most basic versions of these invariants assigns to a knot \(K\) a vector space \(\widehat{HFK}(Y,K)\) over the field \(\mathbb F=\mathbb Z/2\,\mathbb Z\). If \(K\) is nullhomologous with Seifert surface \(\Sigma\), then this vector space may be endowed with an Alexander grading \(\widehat{HFK}(Y,K)=\bigoplus\limits^{g(\Sigma)}_{i=-g(\Sigma)}\widehat {HFK}(Y,K,[\Sigma],i)\) which depends only on the relative homology class of the surface in \(H_2(Y,K)\). Much of the power of knot Floer homology owes to its relationship with the genus and fiberedness of knots. For instance, if \(K\subset Y\) is fibered with fiber \(\Sigma\), then \(\widehat {HFK}(Y,K,[\Sigma],g(\Sigma))\cong\mathbb F\). This result in some way deals with the summand of knot Floer homology in the top Alexander grading.
In this paper, the authors show that the knot Floer homology of a fibered knot is nontrivial in its next-to-top Alexander grading. It is proven that if \(K\subset Y\) is genus \(g >0\) fibered knot with fiber \(\Sigma\), then the summand \(\widehat {HFK}(Y,K,[\Sigma],g-1)\) is nonzero. The authors present several applications of this result. If \(Y\) is a rational homology 3-sphere, then the Heegaard Floer homology of \(Y\) is bounded in rank by the number of elements in the first homology of \(Y\), \(\widehat{HF}(Y)\geq |H_1(Y)|\). An \(L\)-space is a rational homology 3-sphere \(Y\) for which this inequality is sharp \(\widehat{HF}(Y)=|H_1(Y)|\). A knot \(K\subset S^3\) is called an \(L\)-space knot if some Dehn surgery on \(K\) is an \(L\)-space. The authors show that if \(K\) is an \(L\)-space knot, then \(K\) is prime and \(\widehat {HFK}(S^3,K,g(K)-1)\cong\mathbb F\). Furthermore, the authors also introduce a numerical refinement of the Ozsváth-Szabó contact invariant. The contact invariant in Heegaard Floer homology assigns to a contact structure \(\xi\) on \(Y\) a class \(c(\xi)\in\widehat{HF}(-Y)\) which is defined as \(c(\xi)=[\mathbf c]\in H_*(\widehat{CF}(-Y),\partial)=\widehat{HF}(-Y)\).


57M27 Invariants of knots and \(3\)-manifolds (MSC2010)
57R17 Symplectic and contact topology in high or arbitrary dimension
57R58 Floer homology


Zbl 1062.57019
Full Text: DOI arXiv


[1] 10.1112/jtopol/jtn029 · Zbl 1160.57009
[2] 10.1090/conm/020/718138 · Zbl 0524.57004
[3] 10.1353/ajm.0.0016 · Zbl 1149.57019
[4] 10.2140/agt.2013.13.1815 · Zbl 1336.57009
[5] 10.1007/s00029-017-0351-5 · Zbl 1432.57027
[6] 10.1007/s00222-007-0051-4 · Zbl 1167.57008
[7] 10.4310/jdg/1261495333 · Zbl 1186.53098
[8] 10.2140/agt.2016.16.2305 · Zbl 1366.57004
[9] 10.4171/PRIMS/128 · Zbl 1290.57009
[10] 10.1016/j.topol.2015.08.008 · Zbl 1326.57020
[11] 10.1007/s10240-010-0030-y · Zbl 1241.57017
[12] 10.1215/00127094-2009-024 · Zbl 1233.57013
[13] 10.1007/s00222-007-0075-9 · Zbl 1138.57031
[14] 10.2140/gt.2009.13.2991 · Zbl 1203.57005
[15] 10.1016/j.aim.2003.05.001 · Zbl 1062.57019
[16] 10.1215/S0012-7094-04-12912-4 · Zbl 1083.57042
[17] 10.1016/j.top.2005.05.001 · Zbl 1077.57012
[18] 10.1090/S0894-0347-08-00586-9 · Zbl 1235.53090
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.