What's the name of a 2-torus looped in the 4th dimension?

In summary, a 2-torus looped in the 4th dimension is commonly referred to as a "double torus" or a "two-dimensional torus." This shape is created by taking a 2D torus and connecting it to itself in the fourth dimension, resulting in a looped structure. It is often used in mathematical and geometric concepts to illustrate higher-dimensional objects.
  • #1
greswd
764
20
To form a 2-torus, a narrow tube can be bent into a loop and joined end to end:
1588926615946.png

But instead of forming this loop in our three-dimensional space, the loop can also be formed in a direction perpendicular to three-dimensional space, moving it into the fourth dimension of space.

What's the name of this object?
Its similar to how the Klein bottle is a four-dimensional object, and this thing that we see is a poor three-dimensional representation

1588929498798.png
 
Physics news on Phys.org
  • #2
What you have written is not a topological specification, and cannot be interpreted unambiguously. For example, it is possible for a standard torus to be embedded in 4D space in such a way that only parts of it are in 'our' 3D space, and the topology of that torus is no different from one that is embedded in 'our' space.

The standard way to specify a simple 2D surface without boundary is by drawing a square and then showing by arrows on the four edges of the square, how the edges are pasted together to form the surface. There are three possibilities: torus, klein bottle and projective plane. The latter two cannot be embedded in 3D space, and are non-orientable.

This page has a good explanation of the edge-pasting approach to specifying simple 2D surfaces.
 
  • Like
Likes lavinia
  • #3
andrewkirk said:
For example, it is possible for a standard torus to be embedded in 4D space in such a way that only parts of it are in 'our' 3D space, and the topology of that torus is no different from one that is embedded in 'our' space.

sorry, can you elaborate on this? thanks
 
  • #4
Just take a complete, standard torus and rotate it in a direction that is perpendicular to our 3D space. It will still be a standard torus, but only slivers of it will remain in our space. But the key point is that the description in the OP does not specify a topological figure because it does not supply the necessary information.
 
  • #5
andrewkirk said:
Just take a complete, standard torus and rotate it in a direction that is perpendicular to our 3D space. It will still be a standard torus, but only slivers of it will remain in our space.
slivers meaning just infinitely thin flat planes remaining in 3D space?
andrewkirk said:
But the key point is that the description in the OP does not specify a topological figure because it does not supply the necessary information.
If a straight tube is bent into a torus, the inner (red) region will be compressed, while the outer (blue) region will be stretched.
1589065734935.png

But if the loop is made in the 4th dimension, neither region will be compressed nor stressed.

That's the concept I have in mind.

Similar to the example of the Klein bottle I mentioned, try to form it in three dimensions and it will self-intersect, only in four dimensions can be it free of that.

And so for the torus, it can be free of compressing and stretching by going "up" into the fourth dimension.
 
Last edited:
  • #6
greswd said:
If a straight tube is bent into a torus, the inner (red) region will be compressed, while the outer (blue) region will be stretched.

But if the loop is made in the 4th dimension, neither region will be compressed nor stressed.

That's the concept I have in mind.

It sounds like you're describing a flat torus?
 
  • #7
Infrared said:
It sounds like you're describing a flat torus?
Seems like it. Is it the simplest way to form a torus free from compressing and stretching in the 4th dimension?
 
Last edited:
  • #8
greswd said:
Seems like it. Is it the simplest way to form a torus free from compressing and stretching in the 4th dimension?

One can make a flat torus in 3 dimensions but not one that is smoothly embedded. The unit normal will be continuous but not differentiable. Here is a picture. While it may not be obvious, there is no stretching or compressing here.


A theorem of Hilbert says that any smoothly embedded closed surface in 3 space must have a point of positive curvature. At such a point the surface is stretched.

A Klein bottle can also be made without stretching or compressing. Here is an immersion of a flat Klein bottle in 4 space where the self-intersection in your picture still occurs.

https://www.ams.org/journals/bull/1941-47-06/S0002-9904-1941-07501-4/S0002-9904-1941-07501-4.pdf

In high enough dimensions, not sure how high, one can make a flat Klein bottle without self-intersection.
If you allow stretching and compressing , then a Klein bottle without self intersection can be made in four dimensions.

Thinking about post #2, @andrewkirk describes how to make a torus and a Klein bottle without any need for 3 or 4 space or for that matter any ambient space at all. It gives an intrinsic description of how these surfaces are put together. It is a separate question whether surfaces - or more generally manifolds of higher dimension - can be incarnated in Euclidean space of some dimension.
 
Last edited:
  • #9
Yes, that flat torus in 3-space was described in this paper https://www.pnas.org/content/109/19/7218 in 2012. It was, I think, the first example of an explicit C1 embedding of a flat compact surface in R3, as shown possible by John Nash and Nicolaas Kuiper.

But as for the original question: Possibly the simplest torus in 4-space is just the (also flat) cartesian product of two circles, such as {(cos(s), sin(s), cos(t), sin(t)) ∈ R4 | 0 ≤ s, t ≤ 2π}. It's easy to see that this lies in the unit 3-sphere S3 in R4 of radius √2, and this is clearly an infinitely differentiable embedding, even real analytic.
 

FAQ: What's the name of a 2-torus looped in the 4th dimension?

1. What is a 2-torus?

A 2-torus, also known as a doughnut shape or torus knot, is a mathematical shape that resembles a doughnut with a hole in the center. It is a 3-dimensional object that can be created by rotating a circle around an axis in 3D space.

2. How is a 2-torus looped in the 4th dimension?

In order to loop a 2-torus in the 4th dimension, we must imagine a 4-dimensional space where the 2-torus exists. This means that the torus would have to rotate around an axis in this 4-dimensional space, creating a loop in the 4th dimension.

3. What is the significance of a 2-torus looped in the 4th dimension?

The concept of a 2-torus looped in the 4th dimension is significant in mathematics and physics because it helps us understand higher dimensions and visualize complex shapes. It also has applications in quantum mechanics and string theory.

4. Is it possible to physically create a 2-torus looped in the 4th dimension?

No, it is not possible to physically create a 2-torus looped in the 4th dimension as our physical world is limited to three dimensions. However, we can use mathematical equations and computer simulations to visualize and study this concept.

5. Are there any real-life examples of a 2-torus looped in the 4th dimension?

There are no known real-life examples of a 2-torus looped in the 4th dimension as it exists in a theoretical, mathematical space. However, the concept has been used in science fiction and can be seen in artistic representations of higher dimensions.

Similar threads

Back
Top