Topologically slice knots of smooth concordance order two (Q273213)

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)].