We determine explicit integers g_1 and g_2 such that if g is at least g_1 (resp. g_2) then there is no algorithm to decide whether or not a closed, orientable, PL locally flat surface in S4 of genus g is PL (resp. TOP) unknotted. We also give analogous results for non-orientable surfaces, and for 2-spheres in connected sums of S 2 x S 2.
Links:
[1] https://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/node/3444
[3] https://www.mpim-bonn.mpg.de/quantop25