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)

0
votes
0answers
16 views

Clarification of notion of proper group action.

In a course on differential manifolds and Lie groups, the following theorem was stated, though never proven: Let $M$ and $N$ be smooth manifolds, and suppose $G$ is a Lie group acting on $M$. If ...
1
vote
0answers
32 views

Tangent Bundles to manifolds

I am having trouble trying to visualize exactly what a tangent bundle to the klein bottle is spuposed to look like. Is it possible for one to decompose it as a direct sum of simpler bundles?
3
votes
2answers
43 views

Let $f: \mathbb{R}^2\rightarrow \mathbb{R}$ with $f(x,y) = xy$ and $M=f^{-1}({0})$. Show that: The set $M$ is not a submanifold.

Assignment: Let $f: \mathbb{R}^2\rightarrow \mathbb{R}$ with $f(x,y) = xy$ and $M=f^{-1}({0})$. Show that: The set $M$ is not a submanifold. I've been able to show that sets are submanifolds ...
2
votes
0answers
28 views

Using Regular Value Theorem to Show that $S^2$ is a $2$-dimensional Manifold.

If we let $F(x,y,z) = x^2+y^2+z^2-1$. Then we know that $DF = (2x,2y,2z)$. I am confused as to how I should show that $0$ is a regular value of this function. I think I am missing something very ...
0
votes
1answer
33 views

Showing a function is a manifold

I have just been introduced to the world of manifolds in my real analysis class, and I'm having some trouble really understanding what manifolds are and showing why they exist. I have been given the ...
0
votes
0answers
49 views

Easiest Book to start Manifolds.

Ok, so here is the thing. I do not like analysis,Calculus or topology much, nor are they my strong point, but next week I have an exam on manifolds which I have a course First time in my life. I have ...
2
votes
1answer
33 views

A question related to the topology of the level sets of a particular type of smooth functions $f:\mathbb{R}^2\to \mathbb{R}$.

Let $f:\mathbb{R}^2\to\mathbb{R}$ be a smooth function without critical points; i.e. such that $\nabla f(x)\neq (0,0)$, for all $x\in\mathbb{R}^2$. Is it true or false that all the level curves of $f$ ...
2
votes
0answers
16 views

Problem solving strategies in differential topology

I was wondering if there is a bag of tricks somewhere for differential topology and smooth manifold problems just like there is for analysis by prof. Tao ...
1
vote
1answer
29 views

Statistical Inference and Manifolds

I have just begun approaching the connection between statistical inference and differencial geometry. If I got it correctly, one of the most fundamental concept regards the connection between a $ ...
5
votes
1answer
57 views

Show that $f\in A_{n-1}(V)$ or $f\in A_n(V)$ is decomposable (Tensors, or k-linear forms)

Show that $f\in A_{n-1}(V)$ or $f\in A_n(V)$ is decomposable. $f\in A_k(V)$ is decomposable if there exists a $a_1,...,a_k\in V^\wedge$ such that $f=a_1\wedge...\wedge a_k$ In this case "let ...
1
vote
0answers
32 views

Are there non-manifold objects in real world?

I'm a beginner in Computer Graphics and today, I encountered the concept of "manifold". And according to the brief interpretation in Wolfram MathWorld: (http://mathworld.wolfram.com/Manifold.html), ...
6
votes
1answer
83 views

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ - I've got the gist, not sure how to write

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ With $A_k(V)$ being the vector space of alternating k-tensors. for $f\in A_k(V)$ for some $v\in V$ we define ...
2
votes
0answers
45 views

Tangent bundles of smooth manifolds

Using the identity $T(M \times N) = T(M) \times T(N)$, it is easy to construct the tangent bundles for various smooth manifolds such as the n-dimensional sphere $S^{n}$. However, I could not figure ...
0
votes
1answer
43 views

Manifold projection to 2m+1 dimensional subspace is a manifold.

Let $M \subseteq \mathbb{R}^n$ be a m-dimensional manifold. Suppose $n>2m+1$. Show that there is a projection from $M$ to a (2m+1)-dimensional subspace of $\mathbb{R}^n$ so that the image is ...
2
votes
0answers
39 views

Operations on a smooth vector bundle

On a smooth vector bundle, one often defines addition and scalar multiplication to form a vector space. However, doesn't one need to show that these operations are smooth? Is this trivial or is there ...
1
vote
1answer
29 views

Whitney sum of smooth vector bundles

I was reading through Lee's smooth manifolds book, in his chapter on vector bundles. Upon reading about smooth vector bundles and its definition, I was wondering if the whitney sum of two smooth ...
1
vote
0answers
19 views

Embedding of manifolds of constant negative curvature

Consider the manifold of constant negative curvature $G=SL(2, R)/\Gamma$ where $\Gamma$ is such that $G$ is compact (I have no special constraint on $\Gamma$). I know that by the Whitney embedding ...
1
vote
1answer
23 views

How to find tangent cone in singular point?

How to find tangent cone in singular point of surface? For example, considering surface in $\mathbb{R}^3$ given by equation $x^2z=y^2$, what is it's tangent cone in the origin? UPD:By tangent cone ...
1
vote
0answers
28 views

Are stable manifold for gradient flows embedded submanifold?

Generally, the stable manifolds $W^s(p)$ of a diffeomorphism $\phi:M\to M$ is no embedded submanifold. The injective immersion $$ E^s:T_p^sM\to M $$ does not need to be a homeomorphism onto its image ...
6
votes
1answer
80 views

Differential in Lie groups

I am trying to make sense of the Lie group machinery and relate it to the calculus. Suppose that $\psi(t)=\phi(s)\phi(t), s, t \in I$. Where $\phi(t)$ is a one-parameter subgroup of the Lie group ...
0
votes
0answers
66 views

Why Shape space is manifold?

In Shape analysis, often shape is considered as continuous parametrized closed curve and the shape space as Hilbert Riemannian manifold. Can any one help me to understand, why the shape space is ...
1
vote
2answers
28 views

Charts for level set manifolds & Multiplication map $F(A,B)=AB$ from $O(n)\times O(n)\to O(n)$ is smooth

This is homework so no answers please We have Multiplication map $F:O(n)\times O(n)\to O(n)$ defined as $F(A,B)=AB$ $F:O(n)\times O(n)\to O(n)$, where $O(n)=\{A\in M(n\times n):AA^{t}=id\}$. The ...
1
vote
1answer
33 views

Atlases on the topological manifold $\mathbb R$

I have been trying to produce an example of two incompatible atlases on $\mathbb R$. But no success. Could someone help me please? All my example seem compatible. For example, $A_1 = \{((-\infty,1), ...
1
vote
1answer
65 views

Exponential map and distance on a Riemannian Manifold

I'm trying to solve an exercise which I thought at first seemed simple but I'm having some trouble pegging down the error term. The question is to prove that on a Riemannian manifold we have ...
0
votes
0answers
52 views

Klein bottle visualization, parameterization, and isotropic version

Suppose a bright glowing orange mobius strip appeared in space for just an instant and then disappeared, except for its glowing orange edge, which remains suspended motionless in space for a moment, ...
2
votes
1answer
40 views

Correspondence between one-parameter subgroups of G and TeG

I am reading the proof of this theorem from Andreas Arvanitoyeorgos and I cannot get some points in it, highlighted below. Theorem. The map $\phi \to d\phi_0(1)$ defines a one-to-one correspondence ...
1
vote
3answers
59 views

does a commutative diagram implies pull-back?

Let $\xi=(E,p,B),\xi'=(E',p',B')$ be fibre bundles. Let $f: B\to B'$, $\bar f: E\to E'$ be maps such that the diagram commutes $\require{AMScd}$ \begin{CD} E @>\displaystyle\bar f>> E'\\ ...
1
vote
1answer
42 views

John Lee's Intro to Smooth Manifolds Inverse Function Theorem

In John Lee's "Intro to Smooth Manifolds" Chapter 7, p 160, we have a proof of the inverse function theorem. Here, in the middle of the page we have $F_2 = DF(0)^{-1} \circ F$. Is $DF(0)^{-1}$ a ...
0
votes
0answers
15 views

Distance from polynomial to Linear Manifold

How to calculate the distance form the polynomial $a(t) = 1+t^3$ to the Linear Manifold $H$ in the vector space $M_3$ $ H= \{ f(t) \in M_3 | f(1)=-1 \} $
3
votes
1answer
44 views

Second (and higher) derivatives of maps between manifolds

I'm trying to understand derivatives of maps between manifolds, and specifically something I read in Dodson and Poston's Tensor Geometry. I'll try to provide as much background as I can for those ...
2
votes
2answers
51 views

question about cover maps

Here's a problem I've had a hard time with If $f: M\rightarrow N$ is a cover map and $M$ is a m-manifold, will $N$ also be a m-manifold? A manifold is a space locally Euclidean space that is ...
0
votes
2answers
40 views

Prove this plane algeraic curve is not a differentiable manifold

Prove the algebraic curve $\{(x,y)~|~x^2(x+1)-y^2=0\}$ in $\mathbb{R}^2$ is not a differentiable manifold. Remark: It is evident that the given cubic curve has a singularity at $(0,0)$ which disable ...
1
vote
1answer
38 views

The formula for a distance between two point on Riemannian manifold

Given a Riemannian (say, connected) manifold $(M,g)$ one can produce the metric via a formula $d(x,y)=\inf_{\gamma}l(\gamma)$ where $\gamma$ is piecewise smooth curve joining $x$ and $y$. My question ...
0
votes
0answers
27 views

When is a pseudomanifold a manifold?

Under what conditions does a pseudomanifold become a manifold? I.e is there a nice conclusion we can make if our pseudomanifold has a certain homotopy type, or is possibly piecewiselinear to some ...
3
votes
0answers
29 views

How many charts?

My question is rather vaque but I hope that You will feel what I would like to know. A manifold (say: real, $n$-dimensional) is something which locally looks like an open set in $\mathbb{R}^n$. A rank ...
0
votes
3answers
43 views

Is the closure of an open connected subset of $\mathbb{R}^{n}$ a topological manifold?

If we remove the connectedness restriction, there are easy counter examples, as in: $\left(\frac{1}{2}, \frac{1}{1}\right) \cup \left(\frac{1}{4}, \frac{1}{3 }\right) \cup \left(\frac{1}{6}, ...
0
votes
0answers
26 views

Glueing cubes to manifolds with corner

I am interested in proposition 3.7 in Salvatore's `Configuration spaces with summable labels'. The result states that the bar construction on the Fulton-Macpherson operad is isomorphic to the ...
0
votes
0answers
31 views

Diffeomorphism between $\mathbb{R}^{2}/\sim$ (Torus ) and $\mathbb{S}_{1}\times \mathbb{S}_{1}$

This is homework so no answers please. Consider the quotient map $\pi:\mathbb{R}^{2}\to \mathbb{R}^{2}/\sim$ ,where $(x_{1}y_{1})\sim (x_{2},y_{2})$ iff $x_{1}-x_{2},y_{1}-y_{2}\in \mathbb{Z}$. I ...
1
vote
1answer
66 views

Uniqueness of the nearest point in $N$

Let $(N,h)$ be a compact Riemannian submanifold of the Euciledean space $\mathbb{E}^q$. i.e.$N$ is a compact submanifold of $\mathbb{E}^q$ and $h$ is the Riemannian metric of $N$ derived from the ...
0
votes
1answer
24 views

How to prove a set is a submanifolds or not

I am studying about differentiable manifolds. My professor give me an example show that graph of a continuous function is a submanifold, but image of its is not in general. $$f: \mathbb{R} ...
0
votes
0answers
23 views

Why is the tangent space at the boundary of an $n$-manifold also $n$ dimensional?

This question is about the tangent space at the boundary of a manifold. My book says that the tangent space at the boundary of a manifold is defined in the same way that it is defined in the ...
2
votes
0answers
17 views

Smoothly compatible for $\mathbb{R}^{2}/\sim$ ,where $x_{1}-x_{2},y_{1}-y_{2}\in \mathbb{Z}$

This is homework so no answers please. Consider the quotient map $\pi:\mathbb{R}^{2}\to \mathbb{R}^{2}/\sim$ ,where $(x_{1}y_{1})\sim (x_{2},y_{2})$ iff $x_{1}-x_{2},y_{1}-y_{2}\in \mathbb{Z}$. Then ...
0
votes
1answer
38 views

Equivalence between orientation of the tangent bundle and orientation of manifolds

If $M^{n}$ is a manifold then the following statement are equivalent. The tangent bundle $(TM,\pi,M)$ is an orientable $n$-dimensional vector bundle. $M$ has an $\lbrace (U,h)\rbrace$ atlas on $M$ ...
0
votes
0answers
28 views

Showing the quotient map $\pi:\mathbb{R}^{2}\to \mathbb{R}^{2}/\sim$, where $x_{1}-x_{2},y_{1}-y_{2}\in \mathbb{Z}$, is open

This is homework so no answers please. Showing the quotient map $\pi:\mathbb{R}^{2}\to \mathbb{R}^{2}/\sim$, where $(x_{1}y_{1})\sim (x_{2},y_{2})$ iff $x_{1}-x_{2},y_{1}-y_{2}\in \mathbb{Z}$ is ...
0
votes
2answers
16 views

Hopf map is continuous

Consider map $h:\mathbb{S}^{3}\to \mathbb{S}^{2}$ defined as $h(a,b)=(a\bar{b}+b\bar{a},ib\bar{a}-ia\bar{b},|a|^{2}-|b|^{2})$ Does it just follow by seeing h as map from $\mathbb{C}^{4}$ to ...
1
vote
1answer
51 views

Boothby's exercise $I.3.1$ on showing that a subset of $\mathbb{R}^{2}$ is not a manifold

First time here, so sorry for the rookie mistakes. I'm a $4^{th}$ year physics student taking Riemannian Geometry so my background on the subject is very small. I'm trying to solve Boothby's exercise ...
1
vote
0answers
77 views

Existence of smooth partition of unity

Suppose that $0<\alpha_1<\cdots<\alpha_n<1$. Let $M$ be a smooth paracompact connected manifold of dimension $d$. Let $(U_k)_{k\in\mathbb{N}}$ be a locally finite open covering of $M$. ...
2
votes
1answer
30 views

Proof that a map from an orientable surface to a non-orientable surface has even degree.

For a smooth map $f:M\to N$ from an orientable closed surface $M$ to a non-orientable closed surface $N$, we define its parity (also called modulo 2 degree, and denoted $\deg_2(f)$) as the parity of ...
1
vote
1answer
54 views

A question on Lie derivative

For a Lie derivative $\mathscr{L}_{X} Y$ of $Y$ with respect to $X$, we mean that for two smooth vector fields $X$ and $Y$ on a smooth manifold $M$ such that the following holds $$ \mathscr{L}_{X} Y = ...
0
votes
0answers
20 views

Computing time-dependent vector field

Let $H : \mathbb{R} \rightarrow \operatorname{Herm}(C^2) $ be a smooth function and $$ t \mapsto g(t) = e^{iH(t)} $$ be the associated curve of diffeomorphisms of $\mathbb{C}^2$. Compute the ...