×

A surgery formula for knot Floer homology. (English) Zbl 07828336

Summary: Let \(K\) be a rationally null-homologous knot in a \(3\)-manifold \(Y\), equipped with a non-zero framing \(\lambda\), and let \(Y_{\lambda} (K)\) denote the result of \(\lambda\)-framed surgery on \(Y\). Ozsváth and Szabó gave a formula for the Heegaard Floer homology groups of \(Y_{\lambda}(K)\) in terms of the knot Floer complex of \((Y,K)\). We strengthen this formula by adding a second filtration that computes the knot Floer complex of the dual knot \(K_{\lambda}\) in \(Y_{\lambda}\), i.e., the core circle of the surgery solid torus. In the course of proving our refinement we derive a combinatorial formula for the Alexander grading which may be of independent interest.

MSC:

57K18 Homology theories in knot theory (Khovanov, Heegaard-Floer, etc.)

References:

[1] K. L. Baker, J. E. Grigsby, and M. Hedden, Grid diagrams for lens spaces and combinato-rial knot Floer homology. Int. Math. Res. Not. IMRN (2008), no. 10, article no. rnm024 Zbl 1168.57009 MR 2429242 · Zbl 1168.57009 · doi:10.1093/imrn/rnn024
[2] T. D. Cochran, S. Harvey, and P. Horn, Filtering smooth concordance classes of topologi-cally slice knots. Geom. Topol. 17 (2013), no. 4, 2103-2162 Zbl 1282.57006 MR 3109864 · Zbl 1282.57006 · doi:10.2140/gt.2013.17.2103
[3] M. I. Doig, On the number of finite p=q-surgeries. Proc. Amer. Math. Soc. 144 (2016), no. 5, 2205-2215 Zbl 1339.57030 MR 3460179 · Zbl 1339.57030 · doi:10.1090/proc/12865
[4] E. Eftekhary, Bordered Floer homology and existence of incompressible tori in homology spheres. Compos. Math. 154 (2018), no. 6, 1222-1268 Zbl 1436.57017 MR 3826457 · Zbl 1436.57017 · doi:10.1112/s0010437x18007054
[5] E. Eftekhary, Heegaard Floer homology and Morse surgery. 2006, arXiv:math/0603171
[6] M. Hedden, Knot Floer homology of Whitehead doubles. Geom. Topol. 11 (2007), 2277-2338 Zbl 1187.57015 MR 2372849 · Zbl 1187.57015 · doi:10.2140/gt.2007.11.2277
[7] M. Hedden, On Floer homology and the Berge conjecture on knots admitting lens space surgeries. Trans. Amer. Math. Soc. 363 (2011), no. 2, 949-968 Zbl 1229.57006 MR 2728591 · Zbl 1229.57006 · doi:10.1090/S0002-9947-2010-05117-7
[8] M. Hedden, S.-G. Kim, and C. Livingston, Topologically slice knots of smooth concor-dance order two. J. Differential Geom. 102 (2016), no. 3, 353-393 Zbl 1339.57011 MR 3466802 · Zbl 1339.57011 · doi:10.4310/jdg/1456754013
[9] M. Hedden and T. E. Mark, Floer homology and fractional Dehn twists. Adv. Math. 324 (2018), 1-39 Zbl 1383.57017 MR 3733880 · Zbl 1383.57017 · doi:10.1016/j.aim.2017.11.008
[10] M. Hedden and Y. Ni, Khovanov module and the detection of unlinks. Geom. Topol. 17 (2013), no. 5, 3027-3076 Zbl 1277.57012 MR 3190305 · Zbl 1277.57012 · doi:10.2140/gt.2013.17.3027
[11] M. Hedden and O. Plamenevskaya, Dehn surgery, rational open books and knot Floer homology. Algebr. Geom. Topol. 13 (2013), no. 3, 1815-1856 Zbl 1336.57009 MR 3071144 · Zbl 1336.57009 · doi:10.2140/agt.2013.13.1815
[12] M. Hedden and L. Watson, Does Khovanov homology detect the unknot? Amer. J. Math. 132 (2010), no. 5, 1339-1345 Zbl 1204.57010 MR 2732349 · Zbl 1204.57010 · doi:10.1353/ajm.2010.0005
[13] M. Hedden and L. Watson, On the geography and botany of knot Floer homology. Selecta Math. (N.S.) 24 (2018), no. 2, 997-1037 Zbl 1432.57027 MR 3782416 · Zbl 1432.57027 · doi:10.1007/s00029-017-0351-5
[14] K. Hendricks, J. Hom, M. Stoffregen, and I. Zemke, Surgery exact triangles in involutive Heegaard Floer homology. 2020, arXiv:2011.00113
[15] J. Hom, Ç. Karakurt, and T. Lidman, Surgery obstructions and Heegaard Floer homology. Geom. Topol. 20 (2016), no. 4, 2219-2251 Zbl 1352.57021 MR 3548466 · Zbl 1352.57021 · doi:10.2140/gt.2016.20.2219
[16] J. Hom, A. S. Levine, and T. Lidman, Knot concordance in homology cobordisms. Duke Math. J. 171 (2022), no. 15, 3089-3131 Zbl 1510.57006 MR 4497224 · Zbl 1510.57006 · doi:10.1215/00127094-2021-0110
[17] J. Hom, T. Lidman, and N. Zufelt, Reducible surgeries and Heegaard Floer homology. Math. Res. Lett. 22 (2015), no. 3, 763-788 Zbl 1323.57006 MR 3350104 · Zbl 1323.57006 · doi:10.4310/MRL.2015.v22.n3.a8
[18] S. Jabuka, Heegaard Floer genus bounds for Dehn surgeries on knots. J. Topol. 7 (2014), no. 2, 523-542 Zbl 1305.57012 MR 3217629 · Zbl 1305.57012 · doi:10.1112/jtopol/jtt039
[19] S. Jabuka and T. E. Mark, On the Heegaard Floer homology of a surface times a circle. Adv. Math. 218 (2008), no. 3, 728-761 Zbl 1185.57010 MR 2414320 · Zbl 1185.57010 · doi:10.1016/j.aim.2008.01.009
[20] A. Juhász, D. Thurston, and I. Zemke, Naturality and mapping class groups in Heegard Floer homology. Mem. Amer. Math. Soc. 273 (2021), article no. 1338 Zbl 1510.57001 MR 4337438 · Zbl 1510.57001 · doi:10.1090/memo/1338
[21] M. A. Kervaire, Relative characteristic classes. Amer. J. Math. 79 (1957), 517-558 Zbl 0173.51201 MR 90051 · Zbl 0173.51201 · doi:10.2307/2372561
[22] P. B. Kronheimer and T. S. Mrowka, Khovanov homology is an unknot-detector. Publ. Math. Inst. Hautes Études Sci. (2011), no. 113, 97-208 Zbl 1241.57017 MR 2805599 · Zbl 1241.57017 · doi:10.1007/s10240-010-0030-y
[23] D. A. Lee and R. Lipshitz, Covering spaces and Q-gradings on Heegaard Floer homology. J. Symplectic Geom. 6 (2008), no. 1, 33-59 Zbl 1153.53061 MR 2417439 · Zbl 1153.53061 · doi:10.4310/jsg.2008.v6.n1.a3
[24] A. S. Levine and T. Lidman, Simply connected, spineless 4-manifolds. Forum Math. Sigma 7 (2019), article no. e14 Zbl 1421.57034 MR 3952511 · Zbl 1421.57034 · doi:10.1017/fms.2019.11
[25] E. Li and Y. Ni, Half-integral finite surgeries on knots in S 3 . Ann. Fac. Sci. Toulouse Math. (6) 24 (2015), no. 5, 1157-1178 Zbl 1361.57012 MR 3485330 · Zbl 1361.57012 · doi:10.5802/afst.1479
[26] E. L. Lima, On the local triviality of the restriction map for embeddings. Comment. Math. Helv. 38 (1964), 163-164 Zbl 0171.22201 MR 161343 · Zbl 0171.22201 · doi:10.1007/BF02566913
[27] R. Lipshitz, P. S. Ozsvath, and D. P. Thurston, Bordered Heegaard Floer homology. Mem. Amer. Math. Soc. 254 (2018), article no. 1216 Zbl 1422.57080 MR 3827056 · Zbl 1422.57080 · doi:10.1090/memo/1216
[28] C. Manolescu and P. S. Ozsváth, Heegaard Floer homology and integer surgeries on links. 2010, arXiv:1011.1317
[29] C. Manolescu, P. S. Ozsváth, and D. P. Thurston, Grid diagrams and Heegaard Floer invari-ants. 2009, arXiv:0910.0078
[30] J. Meier, Distinguishing topologically and smoothly doubly slice knots. J. Topol. 8 (2015), no. 2, 315-351 Zbl 1320.57027 MR 3356764 · Zbl 1320.57027 · doi:10.1112/jtopol/jtu027
[31] J. Meier, A note on cabled slice knots and reducible surgeries. Michigan Math. J. 66 (2017), no. 2, 269-276 Zbl 1370.57004 MR 3657218 · Zbl 1370.57004 · doi:10.1307/mmj/1490639817
[32] Y. Ni, Link Floer homology detects the Thurston norm. Geom. Topol. 13 (2009), no. 5, 2991-3019 Zbl 1203.57005 MR 2546619 · Zbl 1203.57005 · doi:10.2140/gt.2009.13.2991
[33] Y. Ni and Z. Wu, Heegaard Floer correction terms and rational genus bounds. Adv. Math. 267 (2014), 360-380 Zbl 1312.57017 MR 3269182 · Zbl 1312.57017 · doi:10.1016/j.aim.2014.09.006
[34] Y. Ni and Z. Wu, Cosmetic surgeries on knots in S 3 . J. Reine Angew. Math. 706 (2015), 1-17 Zbl 1328.57010 MR 3393360 · Zbl 1328.57010 · doi:10.1515/crelle-2013-0067
[35] Y. Ni and X. Zhang, Finite Dehn surgeries on knots in S 3 . Algebr. Geom. Topol. 18 (2018), no. 1, 441-492 Zbl 1392.57007 MR 3748249 · Zbl 1392.57007 · doi:10.2140/agt.2018.18.441
[36] P. Ozsváth, A. I. Stipsicz, and Z. Szabó, Combinatorial Heegaard Floer homology and sign assignments. Topology Appl. 166 (2014), 32-65 Zbl 1288.57012 MR 3179787 · Zbl 1288.57012 · doi:10.1016/j.topol.2013.10.025
[37] P. Ozsváth and Z. Szabó, Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary. Adv. Math. 173 (2003), no. 2, 179-261 Zbl 1025.57016 MR 1957829 · Zbl 1025.57016 · doi:10.1016/S0001-8708(02)00030-0
[38] P. Ozsváth and Z. Szabó, Holomorphic disks and knot invariants. Adv. Math. 186 (2004), no. 1, 58-116 Zbl 1062.57019 MR 2065507 · Zbl 1062.57019 · doi:10.1016/j.aim.2003.05.001
[39] P. Ozsváth and Z. Szabó, Holomorphic disks and three-manifold invariants: properties and applications. Ann. of Math. (2) 159 (2004), no. 3, 1159-1245 Zbl 1081.57013 MR 2113020 · Zbl 1081.57013 · doi:10.4007/annals.2004.159.1159
[40] P. Ozsváth and Z. Szabó, Holomorphic disks and topological invariants for closed three-manifolds. Ann. of Math. (2) 159 (2004), no. 3, 1027-1158 Zbl 1073.57009 MR 2113019 · Zbl 1073.57009 · doi:10.4007/annals.2004.159.1027
[41] P. Ozsváth and Z. Szabó, On the Heegaard Floer homology of branched double-covers. Adv. Math. 194 (2005), no. 1, 1-33 Zbl 1076.57013 MR 2141852 · Zbl 1076.57013 · doi:10.1016/j.aim.2004.05.008
[42] P. Ozsváth and Z. Szabó, Holomorphic triangles and invariants for smooth four-manifolds. Adv. Math. 202 (2006), no. 2, 326-400 Zbl 1099.53058 MR 2222356 · Zbl 1099.53058 · doi:10.1016/j.aim.2005.03.014
[43] P. Ozsváth and Z. Szabó, Holomorphic disks, link invariants and the multi-variable Alexander polynomial. Algebr. Geom. Topol. 8 (2008), no. 2, 615-692 Zbl 1144.57011 MR 2443092 · Zbl 1144.57011 · doi:10.2140/agt.2008.8.615
[44] P. S. Ozsváth and Z. Szabó, Knot Floer homology and integer surgeries. Algebr. Geom. Topol. 8 (2008), no. 1, 101-153 Zbl 1181.57018 MR 2377279 · Zbl 1181.57018 · doi:10.2140/agt.2008.8.101
[45] P. S. Ozsváth and Z. Szabó, Knot Floer homology and rational surgeries. Algebr. Geom. Topol. 11 (2011), no. 1, 1-68 Zbl 1226.57044 MR 2764036 · Zbl 1226.57044 · doi:10.2140/agt.2011.11.1
[46] R. S. Palais, Local triviality of the restriction map for embeddings. Comment. Math. Helv. 34 (1960), 305-312 Zbl 0207.22501 MR 123338 · Zbl 0207.22501 · doi:10.1007/BF02565942
[47] K. Raoux, -invariants for knots in rational homology spheres. Algebr. Geom. Topol. 20 (2020), no. 4, 1601-1640 Zbl 1448.57016 MR 4127080 · Zbl 1448.57016 · doi:10.2140/agt.2020.20.1601
[48] J. Rasmussen, Lens space surgeries and L-space homology spheres. 2007, arXiv:0710.2531
[49] J. Rasmussen and S. D. Rasmussen, Floer simple manifolds and L-space intervals. Adv. Math. 322 (2017), 738-805 Zbl 1379.57024 MR 3720808 · Zbl 1379.57024 · doi:10.1016/j.aim.2017.10.014
[50] J. Wang, Cosmetic surgeries on genus one knots. Algebr. Geom. Topol. 6 (2006), 1491-1517 Zbl 1130.57020 MR 2253457 · Zbl 1130.57020 · doi:10.2140/agt.2006.6.1491
[51] Z. Wu, Cosmetic surgery in L-space homology spheres. Geom. Topol. 15 (2011), no. 2, 1157-1168 Zbl 1226.57016 MR 2831258 · Zbl 1226.57016 · doi:10.2140/gt.2011.15.1157
[52] Z. Wu, On mapping cones of Seifert fibered surgeries. J. Topol. 5 (2012), no. 2, 366-376 Zbl 1262.57017 MR 2928081 · Zbl 1262.57017 · doi:10.1112/jtopol/jts008
[53] I. Zemke, Duality and mapping tori in Heegaard Floer homology. J. Topol. 14 (2021), no. 3, 1027-1112 Zbl 1504.57022 MR 4503956 · Zbl 1504.57022 · doi:10.1112/topo.12206
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.