I am looking for a proof (as elementary as possible) of the fact that punctured n-dimensional torus admits an immersion to $\mathbb{R}^n$. The 2-dimensional case seems to be evident, but I haven't got the idea how to give an explicit construction in the n-dim case.
2026-04-05 20:13:54.1775420034
Immersing punctured torus
892 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in DIFFERENTIAL-GEOMETRY
- Smooth Principal Bundle from continuous transition functions?
- Compute Thom and Euler class
- Holonomy bundle is a covering space
- Alternative definition for characteristic foliation of a surface
- Studying regular space curves when restricted to two differentiable functions
- What kind of curvature does a cylinder have?
- A new type of curvature multivector for surfaces?
- Regular surfaces with boundary and $C^1$ domains
- Show that two isometries induce the same linear mapping
- geodesic of infinite length without self-intersections
Related Questions in DIFFERENTIAL-TOPOLOGY
- Getting a self-homeomorphism of the cylinder from a self-homeomorphism of the circle
- what is Sierpiński topology?
- Bott and Tu exercise 6.5 - Reducing the structure group of a vector bundle to $O(n)$
- The regularity of intersection of a minimal surface and a surface of positive mean curvature?
- What's the regularity of the level set of a ''semi-nondegenerate" smooth function on closed manifold?
- Help me to prove related path component and open ball
- Poincarè duals in complex projective space and homotopy
- Hyperboloid is a manifold
- The graph of a smooth map is a manifold
- Prove that the sets in $\mathbb{R}^n$ which are both open and closed are $\emptyset$ and $\mathbb{R}^n$
Related Questions in GEOMETRIC-TOPOLOGY
- Finite covers of handlebodies?
- CW complexes are compactly generated
- Constructing a fat Cantor Set with certain property
- Homologically zero circles in smooth manifolds
- Labeled graphs with unimodular adjacency matrix
- Pseudoisotopy between nonisotopic maps
- A topological question about loops and fixed points
- "Continuity" of volume function on hyperbolic tetrahedra
- Example of path connected metric space whose hyperspace with Vietoris topology is not path connected?
- What is the pushout of $D^n \longleftarrow S^{n-1} \longrightarrow D^n$?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
The general case is very much like the 2-dimensional case, it just takes time to process the picture, to see how you could do the same constructions in the higher-dimensional case.
A punctured $S^1 \times S^1$ looks like a wedge of two circles, but fattened up a little bit. Precisely, around each circle you have an annulus neighbourhood. To immerse the punctured torus into $\mathbb R^2$ what you do is you embed the first annulus, and then embed the 2nd annulus so that it overlaps the first in the same way that the two annuli live in the torus itself. In doing this you create an extra overlap, but that's fine as we're only looking for an immersion.
A punctured $S^1 \times S^1 \times S^1$ has the same kind of decomposition. It looks like the union of three "annuli" , precisely, $[0,1] \times S^1 \times S^1$, $S^1 \times [0,1] \times S^1$ and $S^1 \times S^1 \times [0,1]$, where here $[0,1]$ is shorthand for a small interval in $S^1$. Each of these spaces you can embed in $\mathbb R^3$ as tubular neigbhourhoods of embedded tori. You just have to make the embeddings overlap in the same way they overlap in $S^1 \times S^1 \times S^1$ -- and that is to make $[0,1] \times S^1 \times S^1 \cap S^1 \times [0,1] \times S^1 = [0,1]^2 \times S^1$, i.e they intersect along one of the coordinate circles. So the idea is to draw a picture of an embedded torus, then along each of the two coordinate (longitude/latitude) axis, draw the boundary of a tubular neighbourhood of that axis. Suitably interpreted, you can think of this picture as the image of the coordinate tori under your immersion.
The general picture goes like that.