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)

3
votes
0answers
24 views

Do the level sets of a constant rank map give a foliation of the domain?

I'm working through Smooth Manifolds by Lee and came to problem 19-8, where you're asked to prove that the level sets of a submersion form a foliation of the domain. However when I try to solve this ...
3
votes
0answers
23 views

Describing the Unit Normal to a Cylinder in $\mathbb{R}^{3}$

This is problem 34.4 in Munkres' Analysis on Manifolds. Let $\mathcal{C} = \{ \ (x,y,z) \in \mathbb{R}^{3}\mid x^{2} + y^{2} = 1 \text{ and } 0 \leq z \leq 1 \ \}$. Orient $\mathcal{C}$ by declaring ...
0
votes
1answer
88 views

I have no idea what Differential Forms are… [closed]

So in my Calc 3 class we use Shifrin's "Multivariable Mathematics", and his discussion on Differential Forms and Integration on Manifolds is impossible for me to follow. Can someone recommend ...
2
votes
1answer
48 views

Formal proof that (x,|x|) is not a smooth submanifold of $\mathbb{R}^2$

I have perused the related questions on this site, and was unable to find a formal proof of the fact stated in the title. Essentially, I have two questions: Is it a fact that if $M$ is a ...
3
votes
1answer
42 views

Foliations vs Laminations

What's the big difference/similarity between foliations and laminations? What kind of theorems hold for both of them? Is there something that makes them essentially the same/different?
2
votes
1answer
33 views

Are there countably many closed manifolds in each dimension?

There is a single closed topological 1-manifold (up to, of course, homeomorphism): $S^1$. The classification of surfaces shows that there are countably many closed topological 2-manifolds. ...
9
votes
0answers
68 views

Is $T(M)$ necessarily equivalent to the normal bundle of $M$ in $\textbf{R}^{2n}$, if $M$ is totally real?

Consider real submanifolds, $M^n \subset \textbf{C}^n$. ($\textbf{C}^n \equiv (\textbf{R}^{2n}, J)$, where $J(x, y) = (-y, x)$). $M^n$ is totally real if $J(T_pM) \cap T_pM = 0$, for all $p \in M$. ...
7
votes
1answer
47 views

Embedding of $2$-torus minus one point into $\mathbb{R}^2$ as an open set?

Let $M^2$ be the $2$-torus minus one point. Is there an embedding of $M^2$ into $\mathbb{R}^2$ as an open set?
3
votes
0answers
26 views

Can $S^k \times S^n$ be embedded into $\textbf{R}^{k + n + 1}$? [duplicate]

As the question title suggests, can $S^k \times S^n$ be embedded into $\textbf{R}^{k + n + 1}$, i.e. in codimension $1$?
8
votes
1answer
48 views

Immersion of $M^n$ into $\mathbb{R}^n$, is $M^n$ orientable? Compact? [closed]

Say we have an immersion of $M^n$ into $\mathbb{R}^n$ (same dimension). I have two questions. Is $M^n$ orientable? Is $M^n$ compact? Thanks in advance!
3
votes
0answers
20 views

On the meaning of formal sums of $k$-cubes, i.e. $k$-chains (in integration on manifolds)

A singular $k$-cube in $A \subseteq \mathbb R^n$ is a continuous function $c : [0,1]^k \to A$. A singular $0$-cube in $A$ is then a function $f : \{0\}\to A$, what amounts to the same thing, a point ...
1
vote
1answer
67 views

Where to find about the category theoretic study of manifolds?

I'm looking for a resource about a category theoretic study of manifolds. What do you think is a good start? Hint: Not after very advanced resources. So no worries (indeed, preferred) if it's an ...
1
vote
1answer
36 views

What's the normal space of the manifold $z = x^2 + y^2$?

What's the normal space of the manifold $z = x^2 + y^2$? Let's say I have a continous function $g: M \rightarrow S^n$ that sends every point on the manifold to the unit normal vector. I want to know ...
0
votes
1answer
45 views

Show the parametrized torus is a 2-dimensional smooth submanifold of$\mathbb{R}^3$ [duplicate]

How can I show that the parametrized torus $T=\{(x,y,z)\in \mathbb{R}^3 : (\sqrt{x^2 +y^2}-a)^2 +z^2 =b^2 \}$ is a 2-dimensional smooth submanifold of $\mathbb{R}^3$ ? I was thinking of using the ...
1
vote
2answers
37 views

Why is $f(U) \cap V$ the zero set of $y^{n+1}, \dots, y^m$?

I'm studying Tu's proof (p. 123) of theorem 11.13, but I just have a question about one detail. He has that $f\colon N\to M$ is an embedding of a manifold of dimension $n$ in a manifold of dimension ...
0
votes
2answers
76 views

Let $f : A\subset \mathbb{R}^{n+1} \to \mathbb{R}$, what does mean that $f$ is a submersion?

I am trying to answer the following question: Let $M_a := \{ (x^1,\ldots,x^n,x^{n+1}) \in \mathbb{R}^{n+1} : (x^1)^2 + \cdots +(x^n)^2 - (x^{n+1})^2 = a\}$. For which values of $a$, $M_a$ is a ...
2
votes
1answer
31 views

Computing Sectional Curvature on Hyperbolic Plane

For a pair of $(X,Y)$ of linearly independent vectors in $T_pM$, $p\in M$, the sectional curvature is defined as $$K_p(X,Y)=\frac{<R(X,Y)Y,X>}{|X|^2 |Y|^2 - <X,Y>^2}$$ The problem I'm ...
3
votes
1answer
42 views

Equivalent definition of properly discontinuous action

In the book An Introduction to Differentiable Manifolds and Riemannian Geometry by Boothby in Chapter $3$ the author gives the following definition: Definition($8.1$) A discrete group $\Gamma$ ...
0
votes
0answers
16 views

Given a smooth curve denoted by $(f(u),0,(g(u))$, if the rotation of the curve around the $z$-axis is a manifold, is $g$ one-to-one? Is it onto?

Given a smooth curve denoted by $(f(u),0,(g(u))$, if the rotation of the curve around the $z$-axis is a smooth manifold, is $g$ one-to-one? Is it onto? By rotation, I mean $(u,v) \rightarrow ...
2
votes
1answer
78 views

Prove: $h \in T_xM \iff \operatorname{dist}(x+\epsilon h,M) = o(\epsilon)$

Prove: $h \in T_xM \iff \operatorname{dist}(x+\epsilon h,M) = o(\epsilon)$ For $M$ a smooth manifold in $\mathbb{R}^n$, $h\in\mathbb{R}^n$, $x \in M$. I know that $T_xM = \operatorname{Im}(Df) = ...
0
votes
1answer
19 views

Uniqueness of dimension of regular submanifold

Suppose $N$ is a manifold of dimension $n$. Now a regular submanifold $S$ of $N$ of dimension $k$ is defined as, if for every point $p$ of $S$ there is a coordinate chart $(U,u_*)$ from a maximal ...
1
vote
1answer
30 views

Proof for showing that a set of space curves form a manifold

I basically have a smooth space curve $\alpha$,with curvature $\kappa$ and $\tau$, both non-zero, and I generate a family of curves $M_{\alpha} = \{\dfrac{\alpha}{\mu} : \mu \in (0, \infty) \}$ . The ...
0
votes
0answers
23 views

Trajectories of vector fields on compact manifolds

Suppose that $X$ is a smooth vector field on a smooth manifold $M$. The trajectories of $X$ are curves $p(t)$ in $M$ which satisfy $d{p(t)}/{dt} = X(p(t))$. It's well known that $p(t)$ exists ...
1
vote
1answer
38 views

Proving that Levi-Civita connection is preserved by isometries

I am trying to prove that given two Riemannian submanifolds $S,S'$ with Levi-Civita connections $\nabla , \nabla'$ and an isometry $f$, then $$ Df(\nabla_XY)=\nabla'_{X'}Y' $$ where, ...
10
votes
1answer
87 views

How to interpret the cotangent bundle of a complex manifold?

Let $X$ be a complex manifold. I am not sure what people mean when they talk about the cotangent bundle $T^*X$ of $X$. I have two interpretations: At each point $x\in X$, $T_x^*X$ is the complex ...
28
votes
2answers
964 views

Do all continuous real-valued functions determine the topology?

Let $X$ be a topology space. If I know all the continuous functions from X to $\mathbb R$, will the topology on $X$ be determined? I know the $\mathbb R$ here is, somewhat, artificial. So if this is ...
6
votes
1answer
45 views

Why this two surfaces have one end?

I want to prove that the infinite-holed torus and the infinite-jail cell window have one end but the doubly infinite-holed torus doesn't, my definition of one end is the following: A locally ...
1
vote
0answers
43 views

How to interpret $a_i^k g_{kj}g^{jl}$? (Tensor index notation)

I have the equation $$a_i^k g_{kj}=-b_{ij},$$ where $a_i^k$ are given by: $a_i^k \cdot\vec r_k=\vec n_i$. Here, $g_{ij}$ and $b_{ij}$ are the matrices that determine the first and second fundamental ...
0
votes
0answers
20 views

The boundary $\partial S$ of the square in $\mathbb{R}^2$ has no topology and smooth structure which makes it an immersed submanifold.

This is a problem in Smooth Manifolds by Lee, but it seems like there is an obvious decomposition of the $\partial S$ into a manifold with 4 components. The top and bottom edges including the corners ...
2
votes
1answer
24 views

Two atlases on a manifold $M$ are equivalent if and only if they determine the same set of smooth functions $f:M\rightarrow\mathbb{R}$

Suppose $\{\phi_\alpha\}_{\alpha\in\mathcal{A}}$ and $\{\phi_\beta\}_{\beta\in\mathcal{B}}$ are two smooth atlases on a topological manifold $M$. My definition of two such atlases being equivalent is ...
1
vote
1answer
42 views

Showing that diffeomorphisms between manifolds preserves orientability

Here is my view of orientability on a vector space $V$ of dimension $m>0$: let $I(V)$ be the set of linear isomorphisms from $V$ to $\mathbb{R}^m$. Given $\rho,\sigma\in{I(V)}$, we get a linear ...
2
votes
1answer
73 views

The quotient of $\Bbb R^3$ by a finite group.

Let $\Gamma$ be a finite subgroup of $SO(3)$ acting on $\Bbb R^3$. What sort of space do we get by taking the quotient $\Bbb R^3/\Gamma$? Is that a manifold? The group $\Gamma$ is compact since it is ...
0
votes
0answers
35 views

Dual basis cotangent space

I have been given the unitary sphere in the Euclidean space. $$F(\theta, \phi) =(\sin\theta \cos\phi, \sin\theta \sin\phi,\cos\theta)$$ I'm asked to show that the dual base of $E_1=F_*(\partial ...
0
votes
0answers
27 views

Degree of Gauss map coincides with Euler characteristic

Let $M^n \subset \mathbb{R}^{n+1}$ be a compact hypersurface, oriented with the smooth normal vector field $N(X) \perp T_xM$. Let $G: M^n \to S^n$ be the corresponding Gauss map. Does it follow that ...
2
votes
1answer
63 views

Not sure about my proof that orthogonal matrices are a manifold in ${\rm Mat}_{n \times n}(\mathbb{R})$

Not sure about my proof that orthogonal matrices are a manifold in ${\rm Mat}_{n \times n}(\mathbb{R})$ I know that the manifold is the zero set of the function $f(A) = AA^T - I_n$. The thing I ...
2
votes
1answer
57 views

Is the intersection of $x^2 + y^2 + z^2 = 1$ and $x = \frac{1}{2}$ a manifold in $\mathbb{R}^3$?

Is the intersection of $x^2 + y^2 + z^2 = 1$ and $x = \frac{1}{2}$ a manifold in $\mathbb{R}^3$? I think that it is, because it can be parameterized by $f(x) = (\frac{1}{2},\sqrt{\frac{3}{4}} \cos x, ...
2
votes
1answer
34 views

Definition of Integral Morse Homology

I am reading through "Morse Homology and Floer Homology" by Audin and Damian and I am confused about the definition of the differential in integral Morse homology. Let $V$ be a compact manifold, ...
3
votes
1answer
37 views

Is “Let $M$ is a connected n-manifold, then: $M$ is $R$-orientable iff $H_n(M;R)\cong R$” true?

I heard that every topological $n$-manifold $M$ is $\mathbb{F}_2$-orientable, but then for $M=\mathbb{R}^2$ is must be $H_2(\mathbb{R}^2;\mathbb{F}_2)\neq 0$? In lecture we had the lemma: Let $M$ is ...
2
votes
2answers
72 views

Show that $SL(n, \mathbb{R})$ is a $(n^2 -1)$ smooth submanifold of $M(n,\mathbb{R})$

I need to show for $n=3$ that $SL(n,\mathbb{R})=\{A \in M(n, \mathbb{R}) : detA=1 \}$ is a $(n^2 -1)$ dimensional smooth submanifold of the vector space $M(n,\mathbb{R})$ of all real $n \times n$ ...
0
votes
1answer
39 views

Show there exists a unique map $g$ such that $g \circ f_{2} = h$

I was wondering if somebody could give me some help on this question. Any hints etc. would be greatly appreciated. Let $0 < b < a$. Define a smooth map $h: \mathbb{R}^2 \rightarrow ...
0
votes
1answer
48 views

Find a diffeomorphism between $SO(3)$ and $\mathbb{R}P^3$

Find a diffeomorphism between $SO(3)$ and $\mathbb{R}P^3$ $SO(3) =$ {${A \in M_3(\mathbb{R}) : A^TA = I, \det(A) = 1}$}, which is the special orthogonal group. And $\mathbb{R}P^3$ is the real ...
3
votes
1answer
50 views

$H_d^k(n\text{-torus})$ isomorphic to $\Lambda^k(\mathbb{R}^n)$.

Let $M^n = \mathbb{R}^n/\mathbb{Z}^n$ be the $n$-torus. Show that $H_d^k(M^n)$ is isomorphic to $\Lambda^k(\mathbb{R}^n)$. My thoughts on the problem are as follows. The map $G_{ty}(x) = x + ...
0
votes
1answer
37 views

Is the set $x^2-y^2 = 0, z > y \geq0 $ a smooth manifold in $\mathbb{R}^3$?

Is the set $x^2-y^2 = 0, z > y \geq0 $ a smooth manifold in $\mathbb{R}^3$? I think that the answer is no, but I'm not really sure how to prove this as I'm having trouble visualizing how it looks. ...
1
vote
0answers
29 views

Necessary condition for the intersection of two submanifolds to be a submanifold

Let $X$ be an $n$ dimensional manifod. How could I prove that for arbitrary submanifolds $M,N$ of dimension $n-m,n-k$, if $\forall x\in M\cap N$ $dim( T_xM\cap T_xN)=n-m-k$ then $M\cap N$ is a ...
2
votes
0answers
16 views

Evaluate $\int_Mxdy\wedge dz$ where $M$ is the torus formed by the circle of radius $1$ in the $xz$ plane centered at $(2,0,)$ rotated around $y$ axis

Evaluate $\int_Mxdy\wedge dz$ where $M$ is the torus obtained by rotating the circle $(x-2)^2+z^2=1$ around the $y$ axis. I've parameterized $M$ using $\alpha:(0,2\pi)\times (0,2\pi)\rightarrow M$ ...
0
votes
0answers
15 views

Using Fubini's and Fundamental Theorem, explain why $\int_Sdx\wedge dy$=$\int_{\partial S}xdy$ where $S=\{(x,y,z)\in\mathbb R^3|x^2+y^2+z^2=1,z>0\}$

This is sort of an odd question because it's asking to justify generalized Stokes' Theorem using only "Fubini's" (i.e. equality of iterated integrals) and Fundamental Theorem of Calculus (i.e. ...
1
vote
0answers
42 views

Describe an atlas of smoothly related charts for the Special Orthogonal Group $SO(3)$

The Special Orthogonal Group $SO(3) =$ {${A \in M_3(\mathbb{R}) : A^TA = I, det(A) = 1}$} I have successfully shown that $SO(3)$ is a manifold, but I am having a difficult time explicitly finding a ...
0
votes
2answers
44 views

Parametrize $\{(x,y,z)\in\mathbb{R}^3\mid x+y^2+z^2=1, x\geq0\}$

Let $M =\{(x,y,z)\in\mathbb{R}^3\mid x+y^2+z^2=1,x\geq0\}$. It seems to me that this manifold is a "cone" since we have $y^2+z^2=1-x$ for $x\in[0,1]$ which, geometrically, is a circle in the $yz$ ...
0
votes
0answers
10 views

Find the volume of h(P) in terms of volume of P

Where h:$\mathbb R^n \rightarrow R^n$ is the function h(x) = $\lambda x$ and P is a k-dimensional parallelopiped in $\mathbb R^n$ Attempt at the solution : Let $x_1,....,x_k$ be vectors in $R^n$ ...
0
votes
1answer
41 views

Question on the definition of outward normal vector from Spivak, Calculus on Manifolds

The following definition of the outward unit normal at the boundary of a manifold $M \subseteq \mathbb R^n$ is taken from Spivak, Calculus on manifolds (page 119). If $M$ is a $k$-dimensional ...