Topologically slice knots of smooth concordance order two (Q273213): Difference between revisions

Adding to knowledge about topologically slice, but not smoothly slice, knots, the authors prove that the subgroup of topologically slice knots in the Fox-Milnor smooth concordance group contains a subgroup isomorphic to \(\mathbb Z_{2}^\infty\) with the property that no non-trivial element of that subgroup has a representative with Alexander Polynomial equal to \(1\). The proof is explicit, constructive, occupies 30 pages and references many papers. It makes use of some number theory, 9 papers of Ozsváth and Szabó and Heegard-Floer Theory. Of particular importance is an invariant (\(d\)-invariant) measuring obstruction to slicing. The invariant was first introduced in [\textit{C. Manolescu} and \textit{B. Owens}, Int. Math. Res. Not. 2007, No. 20, Article ID rnm077, 21 p. (2007; Zbl 1132.57013)], and used in [\textit{J. E. Grigsby} et al., Geom. Topol. 12, No. 4, 2249--2275 (2008; Zbl 1149.57007)] and [\textit{S. Jabuka} and \textit{S. Naik}, ibid. 11, 979--994 (2007; Zbl 1132.57008)].