For questions on manifolds of dimension $n$, a topological space that near each point resembles $n$-dimensional Euclidean space.

learn more… | top users | synonyms (1)

4
votes
5answers
482 views

A Compact Hausdorff Space with no Manifold Structure? [on hold]

What is an example of a compact Hausdorff space that cannot be given the structure of a (i) differential manifold (ii) topological manifold?
3
votes
1answer
111 views

A singular $n-$cube and a circumference defined the border than 2-cube

This is an exercise from "Calculus on Manifolds" by Michel Spivack (first edition, p.100): If $c$ is a singular $1$-cube in $\mathbb{R}^2-\{0\}$, with $c(0)=c(1)$, show that there is an integer ...
3
votes
1answer
63 views

Property of second Steifel-Whitney class?

Let $M$ be manifold, $n = 4$. Is $w_2$ special in in the regard it's the only thing of $H^2(M, \mathbb{Z}_2)$ where $w_2 \cup \tau = \tau \cup \tau$, $\tau \in H^2(M, \mathbb{Z}_2)$ or not? I wondered ...
0
votes
0answers
22 views

tensor product of a line bundle with $\bigwedge^k T^*M$

I am reading a source that says: Let $L \to M$ be complex line bundle. Define $\Omega^k(M,L)=C^\infty(M,L \otimes\bigwedge^k T^*M)$. Can someone explain thoroughly what this means? What does it mean ...
2
votes
0answers
33 views

A $k+1$ Manifold whose boundary is the solution set to the equation $f(\vec{x})=\vec{0}$

Let $f: \mathbb{R}^{n+k} \to \mathbb{R}^n$ be of class $C^r$. Let $f_1, ..., f_n$ be components of $f$. Define $$M=\{\vec{x} | f(\vec{x})=\vec{0}\},$$ $$N=\{\vec{x} | f_1(\vec{x})=0, ..., ...
0
votes
0answers
16 views

Detailed proof (submersion) : show that the differential is surjective

I'm currently studying manifolds and wanted to have a detailed insight on a part of some proof. This might be very easy, but I can't find the good words to express the correct idea. My definition of ...
1
vote
1answer
18 views

Use of implicit function theorem in showing that $f(x) \leq a$ is a submanifold with boundary

This question comes from a statement in John Milnor's "Morse Theory" on page 4. Let $f: M \to \mathbb{R}$ be a smooth function on a manifold $M$. Milnor claims that if $a$ is not a critical value of ...
1
vote
1answer
41 views

How to find the tangent space of a general submanifold?

Given a submanifold $(S,\phi)$ of a manifold $M$, how do we find the subspace of $T_pM$ that is equal to $T_pS$ for $p\in \phi(S)$. I know how to do it for level sets. Is there a way for general ...
3
votes
3answers
458 views

$M \times N$ orientable if and only if $M, N$ orientable

For two manifolds $M$ and $N$ I'm trying to prove that $M \times N$ is orientable if and only if $M$ and $N$ are orientable. My attempt so far: $\impliedby)$ Assume $M, N$ are orientable. Then ...
1
vote
1answer
577 views

How to decide whether F is orientation-preserving or orientation-reversing as a diffeomorphism onto its image.

Let $U$ be the open set $(0,∞)×(0,2π)$ in the $(r,θ)$-plane $\mathbb{R}^2$. We define $F : U \subset \mathbb{R}^2 \rightarrow \mathbb{R}^2$ by $F (r, θ ) = (r \cos θ , r \sin θ )$. How to decide ...
3
votes
0answers
52 views
+50

Let $p=(5,0,-4)$ and $v \in T_{(5,0,-4)}M$. Compute $(F^{*}\omega)_p(v)$.

Let me show my work before presenting the problem itself. Let $M=\{(x,y,z) \in \mathbb{R}^3 : x+y=5, x+z=cos^2y\}$. We can easily see that $M$ is a submanifold of $\mathbb{R}^3$ of dimension $1$. ...
2
votes
0answers
20 views

Compute the degree of $\phi:(x_1,x_2,x_3,x_4) \mapsto (x_1,-x_3,-x_2,x_4)$. Does $\phi$ preserve orientation?

Consider the map $\phi:S^3 \rightarrow S^3$ given by $\phi(x_1,x_2,x_3,x_4)=(x_1,-x_3,-x_2,x_4)$. Compute the degree of $\phi$. Does $\phi$ preserve orientation? First I want to point ...
0
votes
0answers
33 views

Lifting of a Diffeomorphism to an Orientable Double Cover

Let $M$ be a non-orientable smooth $d$-dimensional manifold. Let $\tilde{M}$ be the oriented double cover for $M$; and let $f\in Diff^{1+\beta}(M)$. Define $\tilde{f}:\tilde{M}\rightarrow \tilde{M}$ ...
4
votes
2answers
143 views

An open cover that is not locally finite

I could not understand why example $13.4$ is not locally finite. Can you give me an explanation please.
3
votes
1answer
113 views

What is an overlap?

I want to ask what an overlap is. My teacher said that for example $1$: Everything is an overlap hence it is not locally finite. For example $2$, it doesnt overlap. Please teach me these two ...
2
votes
1answer
34 views

When is a manifold also a vector space?

My question arises from this definition: Poincare group is the group of Minkowski space-time isometries. Which means that it leaves the space-time intervals unchanged. Now here is my understanding: ...
2
votes
1answer
54 views

resources for classical gauge theory

As a prospective grad student, I would like to get an entry level introduction to classical (i.e. non-quantum) gauge theory. Please direct me to resources suitable for a novice.
4
votes
3answers
275 views

Topological boundary vs geometric boundary

Let $M_1=B((0,0),1)=\{(x,y) \mid x^2+y^2<1\}$ $M_2=\{(x,y) \mid x^2+y^2\le1\}$ What are the interior of $M_1$ and $M_2$ ? And what are the boundary of $M_1$ and $M_2$ ? How do I find them? ...
4
votes
1answer
520 views

Local homology group: a homeomorphism takes the boundary to the boundary

Let $X \subset \mathbb{R}^{n}$ be the subspace $\{ x_{1},...,x_{n} \mid x_{n}\geq 0 \}$, and let $Y$ is the subspace with $x_{n}=0$. Let $x\in Y$, calculate the local homology of $X$ at ...
8
votes
0answers
110 views

Codimension $1$ Embedding into $\mathbb{R}^{n+1}$

I am trying to determine which homotopy types can be realized by $n$-manifolds that have codimension one embeddings into $\mathbb{R}^{n+1}$. Suppose I have $X^n \subset \mathbb{R}^{n+1}$ and an ...
2
votes
0answers
25 views

Writing $\mathrm{SO}(2)$ as the zero-set of a function

Here I'm assuming $M_{2 \times 2}(\mathbb{R}) \cong \mathbb{R}^{4}$. The definition of $\mathrm{SO}(2)$ is: $\mathrm{SO}(2)=\{ \ A \in M_{2 \times 2}(\mathbb{R}) \ | \ \det(A)=1 \mathrm{\ and\ ...
5
votes
1answer
53 views

Is $[N]^\#([N])$ congruent to $w_n(\nu_N)([N])$ mod $2$, where $\nu_N$ is the normal bundle of the embedding of $N$ in $M$?

Let $M$ be a closed, smooth, orientable $2n$-manifold, and let $N$ be a closed, smooth, orientable $n$-submanifold. Let $[N]^\#$ denote the cohomology class (Poincaré) dual to the homology class ...
4
votes
0answers
70 views

Einstein notation

I'm confused about a specific issue that I have with the Einstein notation (for tensor fields on manifolds). I want to write the following thing: Let $X$ be a smooth manifold. Choosing local ...
-2
votes
0answers
15 views

Volume Problem in Munkres' analysis on manifolds [closed]

I am having trouble with problem (a) of this question. I figured that the volume of $\triangle_1(R)$ is $|(\alpha(a+h, b)-\alpha(a, b))\times (\alpha(a+h, b+k)-\alpha(a, b))|$ but don't know how I ...
0
votes
0answers
34 views

Proof of relation between normal of a surface and principle curvatures of surface.

If F(x,y,z) is a scalar function. Then how to prove that, $$\nabla . n = K_1 +K_2$$ where n is normal to surface of constant $F$ given as $$n=\frac{\nabla F}{|\nabla F|}$$ $K_1$ and $K_2$ are ...
15
votes
1answer
445 views

Can we generalize the regular value theorem even beyond the Ehresmann's theorem?

The formulation is complicated, but the answer may be some clever usage of the partition of unity, because locally the answer is given by the regular value theorem and the whole problem is to glue it ...
2
votes
0answers
42 views

Poincaré duality isomorphism maps cohomology to homology here?

Let $M = M^n$ and $A = A^p$ be compact oriented manifolds with smooth embedding $i: M \to A$. Let $k = p - n$. Does the Poincaré duality isomorphism$$\bigcap \mu_A: H^k(A) \to H_n(A)$$map the ...
2
votes
1answer
33 views

Explicit procedure for integrating densities (twisted $n$-forms)?

I'm aware of several slightly different (yet equivalent) definitions for the density bundle of a non-orientable manifold. Unfortunately, I've been unable to make sense of integration in any of them. ...
0
votes
1answer
34 views

Proof that the special linear group $\mathrm{SL}(n,\mathbb{R})$ is a smooth manifold

This is my definition of a smooth manifold I am supposed to work with: Let $\mathcal{M} \subseteq \mathbb{R}^{n}$. The set $\mathcal{M}$ is a $k$-dimensional smooth submanifold of $\mathbb{R}^{n}$ ...
0
votes
1answer
22 views

How can I calculate this integral of a differential form in a surface?

I'm trying to integrate the 2-form $\omega = A(y) dx \wedge dy - dx \wedge dz + B(z)dz \wedge dy $ in the set $R_f=\{(x,y,z),\quad z=f(x,y)\quad x^2+y^2 \neq 1 \}$ with $f$ a differentiable function ...
4
votes
2answers
329 views

Why do differential forms and integrands have different transformation behaviours under diffeomorphisms?

Let $f$ be a diffeomorphism, say from $\mathbb R^n$ to $\mathbb R^n$ , such as the transition map between two coordinate charts on a differentiable manifold. A differential $n$-form (or rather its ...
5
votes
3answers
94 views

Generalized Gauss map, giving rise to second fundamental form

I know that the tangent bundle of $G_n(\mathbb{R}^{n+k})$ is isomorphic to $\text{Hom}(\gamma^n(\mathbb{R}^{n+k}), \gamma^\perp)$, where $\gamma^\perp$ denotes the orthogonal complement of ...
1
vote
1answer
24 views

Proving $\mathrm{GL}(n,\mathbb{R})$ is a smooth manifold

Consider the set $\mathrm{GL}(n,\mathbb{R}) = \{ \ A \in M_{n \times n}(\mathbb{R}) \ | \ \mathrm{det}(A) \neq 0 \ \}$. I'm trying to show that this is smooth submanifold of $\mathbb{R}^{n^{2}} \cong ...
4
votes
0answers
45 views

Can the concept of orientability be applied to more general spaces?

Today a friend asked me if the Moebius strip with one segment identified to a point is orientable or not. The first thing I replied is that it is not a manifold so you can't define orientability in ...
0
votes
2answers
30 views

Does the forgetful functor from smooth manifolds to sets preserve colimits?

It is easily shown that the forgetful functor $F: \mathbf{Man} \to \mathbf{Set}$ preserves limits ($F$ is representable), but does it preserve colimits? It certainly preserves all examples of ...
1
vote
1answer
49 views

How can I calculate the integral $\int_M F^* \omega$?

I got stuck in the following problem. Let $M$ be the manifold defined by the equation $x^2+y^2+z^4=1$ and $F: M \to S^2$ defined as $F(x,y,z)=(x,y,z^2)$. I have to calculate the integral $\int_M F^* ...
0
votes
0answers
16 views

How can I understand that this mapping preserves the orientation of the boundary of this manifold?

Let $M$ be the cylinder of radius 1 (with $z$ between 1 and -1) and $f: M \to M$ the application defined as $f(\cos(\theta), \sin(\theta), t) = (\cos(4\theta), \sin(4\theta), -t)$. I want to give an ...
2
votes
1answer
15 views

Expression of a given vector field for the stereographic projection of the sphere

I have got stuck trying to solve the following problem. Let $X=-zx \frac{\partial}{\partial x} -zy \frac{\partial}{\partial y} + (1-z^2) \frac{\partial}{\partial z}$ be a vector field in ...
1
vote
1answer
41 views

Calculating Volume of surface of unit sphere

I am trying to understand the proof for $w_n = 2\pi^{n/2}/\Gamma(n/2)$ where $w_n$ is the volume of the surface $S_n$ of the n-dimensional unit sphere $K_n$. There is stated that $Vol(K_n) = ...
0
votes
0answers
14 views

Grassmannian Non-Convex

The Grassmannian manifold $Gr(r,V)$ defines the set of $r$-dimensional linear subspaces of the vector space $V$. My question is, in general, what is the simplest way to see that $Gr(r,V)$ is a ...
1
vote
2answers
35 views

Rank of Jacobian Matrix for the Stereographic Projection

With the definition $S^{n} = \{\ \mathbf{x} \in \mathbb{R}^{n+1}\ | \ ||\mathbf{x}|| = 1\ \}$, and the function $\ f:\mathbb{R}^{n} \to S^{n} \setminus \{ (0,...,0,1) \}$ defined by: $f(\mathbf{u}) ...
5
votes
2answers
94 views

Smooth manifold $M$ is completely determined by the ring $F$.

For any smooth manifold $M$, the collection $F = C^\infty(M, \mathbb{R})$ of smooth real valued functions on $M$ can be made into a ring, and every point $x \in M$ determines a ring homomorphism $F ...
10
votes
1answer
179 views

Is It Always Possible to Cross a Surface Exactly Once?

Yesterday, in my physics class, the following question arose: Is there a closed surface embedded in $\mathbb R^3$ dividing space into two connected components such that all paths from one ...
0
votes
0answers
43 views

Compact 1-manifolds

I want to find all compact 1-manifolds. I think these will be lines, with fixed endpoints, and also the case where the endpoints meet. Hence I think all compact 1-manifolds are homeomorphic to the ...
6
votes
3answers
182 views

For $n$ even, antipodal map of $S^n$ is homotopic to reflection and has degree $-1$?

How do I see that for $n$ even, the antipodal map of $S^n$ is homotopic to the reflection$$r(x_1, \dots, x_{n+1}) = (-x_1, x_2, \dots, x_{n+1}),$$and therefore has degree $-1$? Thanks for your time. ...
8
votes
2answers
67 views

Diffeomorphism between $\mathbb{P}^n$ and the submanifold of $\mathbb{R}^{(n+1)^2}$ consisting of certain matrices?

Let $\mathbb{P}^n$ denote the set of all lines through the origin in the coordinates space $\mathbb{R}^{n+1}$. Define a function$$q: \mathbb{R}^{n+1} - \{0\} \to \mathbb{P}^n$$ by $q(x) = \mathbb{R}x ...
8
votes
2answers
302 views

On the smooth structure of $\mathbb{R}P^n$ in Milnor's book on characteristic classes.

This question concerns problem 1-B in the book of Milnor and Stasheff part a. They first define the set $F:=\{f:\mathbb{R}P^n\rightarrow\mathbb{R} \mid \text{$f\circ q$ is smooth}\}$ where ...
2
votes
1answer
33 views

Embedding of classical Lie groups

This is somehow very natural question so I'm sure that the answer should be well known: Whitney theorem states that each (say paracompact) $n$-dimensional manifold could be embedded in ...
2
votes
2answers
162 views

The singular homology and cohomology of manifolds vanishes in high dimensions

Let $M$ be an $n$-manifold. It seems that there are two results that the $p$-th singular homology and cohomology of $M$ are zero if $p>n$. But I can not find them in my books of algebraic ...
3
votes
0answers
39 views

Correspondence defines embedding of $G_n(\mathbb{R}^m)$ into $G_{n+1}(\mathbb{R}^1 \oplus \mathbb{R}^m) = G_{n+1}(\mathbb{R}^{m+1})$? [closed]

Does the correspondence$$X \overset{f}{\to} \mathbb{R}^1 \oplus X$$defines an embedding of the Grassmann manifold $G_n(\mathbb{R}^m)$ into $$G_{n+1}(\mathbb{R}^1 \oplus \mathbb{R}^m) = ...