# Why (and whether) is any smooth embedded torus in R^4 isotopic to an embedded Lagrangian torus?

The question is pretty self-explanatory; we are dealing with the standard symplectic structure on ℝ4.

Some background: I'm reading the thesis "Lagrangian Unknottedness of Tori in Certain Symplectic 4-manifolds" by Alexander Ivrii, which proves that all embedded Lagrangian tori in ℝ4 are smoothly isotopic (and, in fact, Lagrangian isotopic). It uses lots of pseudoholomorphic curves. Obviously, if the question of this post is answered, together with the paper it will imply that all embedded tori in ℝ4 are smoothly isotopic (in other words, there are no torus knots in ℝ4).

I am told that this is, in fact, true, but that every proof that is known uses symplectic topology and Lagrangian tori. However, I have no idea how to do the question from the title, whether it's easy or hard, or whether it involves any pseudoholomorphic curves.

• The answer will probably involve h-principles and the like which I have just started learning about. I eagerly await a good reply below.
– j.c.
Dec 10, 2009 at 2:43
• I think h-principle will give us an immersed Lagrangian torus close to the original one, while I want an isotopy of the ambient space, which should give an embedded Lagrangian torus. Dec 10, 2009 at 3:17

But there are non-trivial torus knots in $\mathbb R^4$. The simplest examples are achieved by attaching a handle to a knotted $S^2$ in $\mathbb R^4$. How do we know they're knotted? Most of these examples have complements with non-abelian fundamental group. Artin's spinning construction allows you to make knotted spheres in $\mathbb R^4$ from knotted circles in $\mathbb R^3$ -- in particular you can arrange for both knot complements to have the same fundamental group.
• The fundamental group of the complement of an unknotted torus in $\mathbb R^4$ is the integers. To be concrete, let's consider a torus in $\mathbb R^4$ to be unknotted if it is the boundary of an embedded $S^1 \times D^2$ -- all embeddings of $S^1 \times D^2$ in $\mathbb R^4$ are isotopic. Rolfsen's book "knots and links" has a very basic treatment of spinning. A. Kawauchi's book "A survey of knot theory" has a more in-depth treatment. Spinning fits into a bigger context of homotopy long exact sequences for pseudo-isotopy embedding spaces, but that's another story. Dec 10, 2009 at 23:55
• I guess technically not all embeddings of $S^1 \times D^2$ in $\mathbb R^4$ are isotopic, but their boundary tori are. ie: there are precisely two isotopy classes of embeddings of $S^1 \times D^2$ in $\mathbb R^4$ and they differ by a full meridional twist. Dec 10, 2009 at 23:58