Filtering smooth concordance classes of topologically slice knots

Cochran, Tim D¹ ; Harvey, Shelly¹ ; Horn, Peter²

¹ Department of Mathematics, Rice University, MS 136, PO Box 1892, Houston, TX 77251-1892, USA
² Department of Mathematics, Syracuse University, 215 Carnegie Building, Syracuse, NY 13244-1150, USA

Geometry & topology, Tome 17 (2013) no. 4, pp. 2103-2162.

Résumé

We propose and analyze a structure with which to organize the difference between a knot in $S^3$ bounding a topologically embedded $2$–disk in $B^4$ and it bounding a smoothly embedded disk. The $n$–solvable filtration of the topological knot concordance group, due to Cochran–Orr–Teichner, may be complete in the sense that any knot in the intersection of its terms may well be topologically slice. However, the natural extension of this filtration to what is called the $n$–solvable filtration of the smooth knot concordance group, is unsatisfactory because any topologically slice knot lies in every term of the filtration. To ameliorate this we investigate a new filtration, $\left\{{\mathcal{ℬ}}_n\right\}$, that is simultaneously a refinement of the $n$–solvable filtration and a generalization of notions of positivity studied by Gompf and Cochran. We show that each ${\mathcal{ℬ}}_n∕{\mathcal{ℬ}}_{n+1}$ has infinite rank. But our primary interest is in the induced filtration, $\left\{{\mathcal{T}}_n\right\}$, on the subgroup, $\mathcal{T}$, of knots that are topologically slice. We prove that $\mathcal{T}∕{\mathcal{T}}_0$ is large, detected by gauge-theoretic invariants and the $\tau$, $s$, $ϵ$–invariants, while the nontriviality of ${\mathcal{T}}_0∕{\mathcal{T}}_1$ can be detected by certain $d$–invariants. All of these concordance obstructions vanish for knots in ${\mathcal{T}}_1$. Nonetheless, going beyond this, our main result is that ${\mathcal{T}}_1∕{\mathcal{T}}_2$ has positive rank. Moreover under a “weak homotopy-ribbon” condition, we show that each ${\mathcal{T}}_n∕{\mathcal{T}}_{n+1}$ has positive rank. These results suggest that, even among topologically slice knots, the fundamental group is responsible for a wide range of complexity.

Détail

DOI : 10.2140/gt.2013.17.2103

Classification : 57M25
Keywords: concordance, slice knot, 4–manifold

Bibliographie

[1] S Akbulut, R Kirby, Branched covers of surfaces in $4$–manifolds, Math. Ann. 252 (1979/80) 111

[2] A J Casson, C M Gordon, On slice knots in dimension three, from: "Algebraic and geometric topology, Part 2" (editor R J Milgram), Proc. Sympos. Pure Math. 32, Amer. Math. Soc. (1978) 39

[3] A J Casson, C M Gordon, Cobordism of classical knots, from: "À la recherche de la topologie perdue" (editors L Guillou, A Marin), Progr. Math. 62, Birkhäuser (1986) 181

[4] J C Cha, Topological minimal genus and $L^2$–signatures, Algebr. Geom. Topol. 8 (2008) 885

[5] J C Cha, Amenable $L^{2}$–theoretic methods and knot concordance, Inter. Math. Res. Notices (2013)

[6] T D Cochran, R E Gompf, Applications of Donaldson's theorems to classical knot concordance, homology $3$–spheres and property $P$, Topology 27 (1988) 495

[7] T Cochran, S Harvey, C Leidy, Link concordance and generalized doubling operators, Algebr. Geom. Topol. 8 (2008) 1593

[8] T D Cochran, S Harvey, C Leidy, Knot concordance and higher-order Blanchfield duality, Geom. Topol. 13 (2009) 1419

[9] T D Cochran, S Harvey, C Leidy, 2–torsion in the $n$–solvable filtration of the knot concordance group, Proc. Lond. Math. Soc. 102 (2011) 257

[10] T D Cochran, S Harvey, C Leidy, Primary decomposition and the fractal nature of knot concordance, Math. Ann. 351 (2011) 443

[11] T D Cochran, W B R Lickorish, Unknotting information from $4$–manifolds, Trans. Amer. Math. Soc. 297 (1986) 125

[12] T D Cochran, K E Orr, P Teichner, Knot concordance, Whitney towers and $L^2$–signatures, Ann. of Math. 157 (2003) 433

[13] T D Cochran, K E Orr, P Teichner, Structure in the classical knot concordance group, Comment. Math. Helv. 79 (2004) 105

[14] C W Davis, Linear independence of knots arising from iterated infection without the use of Tristram–Levine signature, Int. Math. Res. Not. 2013 (2013)

[15] S K Donaldson, An application of gauge theory to four-dimensional topology, J. Differential Geom. 18 (1983) 279

[16] N D Elkies, A characterization of the $\mathbf{Z}^n$ lattice, Math. Res. Lett. 2 (1995) 321

[17] H Endo, Linear independence of topologically slice knots in the smooth cobordism group, Topology Appl. 63 (1995) 257

[18] R Fintushel, R J Stern, Pseudofree orbifolds, Ann. of Math. 122 (1985) 335

[19] R Fintushel, R J Stern, Instanton homology of Seifert fibred homology three spheres, Proc. London Math. Soc. 61 (1990) 109

[20] M H Freedman, F Quinn, Topology of $4$–manifolds, Princeton Mathematical Series 39, Princeton Univ. Press (1990)

[21] M Furuta, Homology cobordism group of homology $3$–spheres, Invent. Math. 100 (1990) 339

[22] P M Gilmer, Configurations of surfaces in $4$–manifolds, Trans. Amer. Math. Soc. 264 (1981) 353

[23] P M Gilmer, C Livingston, On surgery curves for genus one slice knots, to appear in Pacific Journal Math.

[24] P Gilmer, C Livingston, The Casson–Gordon invariant and link concordance, Topology 31 (1992) 475

[25] P Gilmer, C Livingston, Discriminants of Casson–Gordon invariants, Math. Proc. Cambridge Philos. Soc. 112 (1992) 127

[26] R E Gompf, Smooth concordance of topologically slice knots, Topology 25 (1986) 353

[27] R E Gompf, A I Stipsicz, $4$–manifolds and Kirby calculus, Graduate Studies in Mathematics 20, Amer. Math. Soc. (1999)

[28] C M Gordon, Some aspects of classical knot theory, from: "Knot theory" (editor J C Hausmann), Lecture Notes in Math. 685, Springer (1978) 1

[29] J Greene, S Jabuka, The slice-ribbon conjecture for $3$–stranded pretzel knots, Amer. J. Math. 133 (2011) 555

[30] J E Grigsby, D Ruberman, S Strle, Knot concordance and Heegaard Floer homology invariants in branched covers, Geom. Topol. 12 (2008) 2249

[31] M Hedden, Knot Floer homology of Whitehead doubles, Geom. Topol. 11 (2007) 2277

[32] M Hedden, S G Kim, C Livingston, Topologically slice knots of smooth concordance order two

[33] M Hedden, P Kirk, Instantons, concordance, and Whitehead doubling, J. Differential Geom. 91 (2012) 281

[34] M Hedden, C Livingston, D Ruberman, Topologically slice knots with nontrivial Alexander polynomial, Adv. Math. 231 (2012) 913

[35] J Hom, The knot Floer complex and the smooth concordance group, to appear in Comm. Math. Helv.

[36] J Hoste, A formula for Casson's invariant, Trans. Amer. Math. Soc. 297 (1986) 547

[37] S Jabuka, Concordance invariants from higher order covers, Topology Appl. 159 (2012) 2694

[38] S Jabuka, S Naik, Order in the concordance group and Heegaard Floer homology, Geom. Topol. 11 (2007) 979

[39] P B Kronheimer, T S Mrowka, Gauge theory and Rasmussen's invariant, Journal of Topology (2013)

[40] R A Litherland, Cobordism of satellite knots, from: "Four-manifold theory" (editors C Gordon, R Kirby), Contemp. Math. 35, Amer. Math. Soc. (1984) 327

[41] C Manolescu, B Owens, A concordance invariant from the Floer homology of double branched covers, Int. Math. Res. Not. 2007 (2007) 21

[42] B Owens, S Strle, Rational homology spheres and the four-ball genus of knots, Adv. Math. 200 (2006) 196

[43] B Owens, S Strle, A characterization of the $\mathbb Z^n\oplus\mathbb Z(\delta)$ lattice and definite nonunimodular intersection forms, Amer. J. Math. 134 (2012) 891

[44] P Ozsváth, Z Szabó, Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary, Adv. Math. 173 (2003) 179

[45] P Ozsváth, Z Szabó, Knot Floer homology and the four-ball genus, Geom. Topol. 7 (2003) 615

[46] P Ozsváth, Z Szabó, Holomorphic disks and knot invariants, Adv. Math. 186 (2004) 58

[47] P Ozsváth, Z Szabó, On knot Floer homology and lens space surgeries, Topology 44 (2005) 1281

[48] P S Ozsváth, Z Szabó, Knot Floer homology and integer surgeries, Algebr. Geom. Topol. 8 (2008) 101

[49] J Rasmussen, Khovanov homology and the slice genus, Invent. Math. 182 (2010) 419

[50] V A Rohlin, Two-dimensional submanifolds of four-dimensional manifolds, Funkcional. Anal. i Priložen. 5 (1971) 48

[51] D Ruberman, S Strle, Concordance properties of parallel links

[52] A Scorpan, The wild world of $4$–manifolds, Amer. Math. Soc. (2005)

[53] O J Viro, Branched coverings of manifolds with boundary, and invariants of links, I, Izv. Akad. Nauk SSSR Ser. Mat. 37 (1973) 1241