We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational curves with irreducible singularities (rational cuspidal curves) in the complex projective plane. We prove that every such curve is isotopic to a complex curve in degrees up to five, and for curves with one singularity whose link is a torus knot. Classification results of symplectic isotopy classes rely on pseudo-holomorphic curves together with a symplectic version of birational geometry of log pairs and techniques from four-dimensional topology.

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q := H_q(N; {\mathbb Z} )$. Our main result is a readily calculable classification of embeddings$N \to {\mathbb R}^7$up to isotopy, with an indeterminacy. Such a classification was only known before for $H_1=0$ by our earlier work from 2008. Our classification is complete when $H_2=0$ or when the signature of $N$ is divisible neither by 64 nor by 9.

The group of knots $S^4\to {\mathbb R}^7$ acts on the set of embeddings $N\to {\mathbb R}^7$ up to isotopy by embedded connected sum. In Part I we classified the quotient of this action. The main novelty of this paper is the description of this action for $H_1 \ne 0$, with an indeterminacy.

Besides the invariants of Part I, detecting the action of knots involves a refinement of the Kreck invariant from our work of 2008.

For $N=S^1\times S^3$ we give a geometrically defined 1–1 correspondence between the set of isotopy classes of embeddings and a certain explicitly defined quotient of the set ${\mathbb Z} \oplus {\mathbb Z} \oplus {\mathbb Z} _{12}$.

For a smooth manifold N denote by Em(N) the set of smooth isotopy classes of smooth embeddings N → ℝm. A description of the set Em(Sp × Sq) was known only for p = q = 0 or for p = 0, m ≠ q + 2 or for 2m ⩾ 2(p + q) + max{p, q} + 4. (The description was given in terms of homotopy groups of spheres and of Stiefel manifolds.) For m ⩾ 2p + q + 3 we introduce an abelian group structure on Em(Sp × Sq) and describe this group ‘up to an extension problem’. This result has corollaries which, under stronger dimension restrictions, more explicitly describe Em(Sp × Sq). The proof is based on relations between sets Em(N) for different N and m, in particular, on a recent exact sequence of M. Skopenkov.

We work in the smooth category. The following problem was suggested by E. Rees in 2002: describe the precomposition action of self-diffeomorphisms of Sp × Sq on the set of isotopy classes of embeddings Sp × Sq → ℝm.

Let G: Sp × Sq → ℝm be an embedding such that

is null-homotopic for some pair of different points a, b ∈ Sp. We prove the following statement: if ψ is an autodiffeomorphism of Sp × Sq identical on a neighbourhood of a × Sq for some a ∈ Sp and p ⩽ q and 2m ⩾ 3p +3q + 4, then G◦ ψ is isotopic to G.

Let N be an oriented (p + q)-manifold and let f, g be isotopy classes of embeddings N → ℝm, Sp × Sq → ℝm, respectively. As a corollary we obtain that under certain conditions for orientation-preserving embeddings s: Sp × Dq → N the Sp-parametric embedded connected sum f#sg depends only on f, g and the homology class of s|Sp × 0.