Let $M$ be a $2$-sphere with $g$ handles. Consider the space of maps $M\to \mathbb R^3$, which are immersions [i.e. smooth maps with nondegenerate differential in each point $x\in M$], with compact-open topology. It is well-known that for $g=0$ this space is path-connected; and how about the same question when $g>0$? Is it an open question, or it's possible to find the article with the proof?
2026-03-26 21:27:23.1774560443
Components of the space of immersions 2-manifold into $\mathbb R^3$
112 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in REFERENCE-REQUEST
- Best book to study Lie group theory
- Alternative definition for characteristic foliation of a surface
- Transition from theory of PDEs to applied analysis and industrial problems and models with PDEs
- Random variables in integrals, how to analyze?
- Abstract Algebra Preparation
- Definition of matrix valued smooth function
- CLT for Martingales
- Almost locality of cubic spline interpolation
- Identify sequences from OEIS or the literature, or find examples of odd integers $n\geq 1$ satisfying these equations related to odd perfect numbers
- property of Lebesgue measure involving small intervals
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$?
Related Questions in LOW-DIMENSIONAL-TOPOLOGY
- Getting a self-homeomorphism of the cylinder from a self-homeomorphism of the circle
- Does $S^2\times[-1,1]$ decompose as $B^3\#B^3$
- Homologically zero circles in smooth manifolds
- Can we really move disks around a compact surface like this?
- Why is this not a valid proof of the Poincare Conjecture?
- Regarding Surgery and Orientation
- Can a one-dimensional shape have volume?
- The inside of a closed compact surface $\sum_g$
- How do you prove that this set is open?
- Understanding cobordisms constructed from a Heegaard triple
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 space of immersions has $2^{2g}$ components.
Let's go back to the proof of the fact for $g=0$: Smale-Hirsch immersion theory. The form of the result I want is from here.
Theorem: The space of immersions $\Sigma_g \to \Bbb R^3$ is homotopy equivalent to the space of bundle injections $T\Sigma_g \to \bf{3}$, the trivial bundle of rank 3 over $\Sigma_g$.
Instead of re-writing the wheel, I'll take the answer there starting at the cited theorem and say what must be modified.
What the author there obtains is that that space of immersions is homotopy equivalent to $\text{Maps}_*(\Sigma_g,O(3)) \times SO(3)$. Nothing about that was special to $g=0$. (Note that because we're basepointed we may as well call the mapping space $\text{Maps}_*(\Sigma_g,SO(3))$.) The issue is in his identification of that mapping space, he realizes that for $g=0$ it's $\Omega^2 SO(3)$, which is easily identified. We can't quite do this.
1) There are many homotopy classes, depending on the choice of homomorphism $\pi_1(\Sigma_g) \to \pi_1(SO(3))$ we pick. There are $2^{2g}$ many of them. If we fix the induced map to be zero, passing to the double cover of $SO(3)$ shows that this map is null, so there are precisely that many homotopy classes.
Phrasing this in terms of geometry, by picking a single immersion into $\Bbb R^3$, we've chosen a framing of the stable tangent bundle $T\Sigma_g \oplus \bf 1$. Any other immersion's framing differs by a map $\Sigma_g \to SO(3)$, and this space has $2^{2g}$ components.
Note that Smale-Hirsch immersion theory is for $C^\infty$ things, and I bet you can get it down to $C^2$. I don't know about $C^0$, $C^1$. I bet it's disconnected then too.