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

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
21 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
15 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
16 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
30 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
27 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
14 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
48 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
16 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
27 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
47 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 ...
0
votes
1answer
50 views

differential manifolds or algebraic topology [closed]

In our university we must catch a course at least in one of these courses: differential manifolds or algebraic topology . which one is harder to start at first , differential manifolds or algebraic ...
-2
votes
1answer
19 views

how to prove that this set has a topological manifold structure [closed]

Prove that the Grassman manifold i.e the set of all k planes through origin of R^n is a topological-manifold.
0
votes
1answer
29 views

How to prove topological manifold [closed]

Let a $k$ frame in $\Bbb{R}^n$ is a linearly independent set $X$ with $k$ elements in $\Bbb{R}^n$. We define $F(k,n)$ as the set of all $k$ frames of $\Bbb{R}^n$. Prove that $F(k,n)$ is an open subset ...
2
votes
1answer
38 views

Maps between Manifolds and Maximal Rank

I'm trying to prove a theorem from Olver's Applications of Lie Groups to Differential Equations. It's supposed to be an "easy" consequence of the Implicit Function Theorem but I honestly can't see ...
2
votes
1answer
35 views

Tangent space to $\mathbb{R}P^{n}$

I could not find any other question here related to this. If I have missed out, then this could be voted as a duplicate(Sorry if it is!). I was just trying to figure out the tangent space to the ...
2
votes
1answer
59 views

Equivalent topologies on Real projective space $RP^{n}$

This is homework,so no answers please. Prove that the topology on $RP^{n}$ given by the standard smooth structure (lines through the origin in $\mathbb{R}^{n+1}/\{0\}$ and $\tau_{1}$) is equal to ...
1
vote
0answers
28 views

Given points $x,y$, and tangent vectors $v,w$, is there a diffeomorphism $x\mapsto y$ and $v\mapsto w$?

Suppose $M$ is a smooth manifold, and you're given two points $x,y$, and associated tangent vectors $v$ and $w$. I'm curious, does there exist a diffeomorphism $F$ such that $F(x)=y$ and $dF_x(v)=w$? ...
0
votes
1answer
29 views

Real/Complex Manifolds - Transition Maps

I'm trying to understand how real/complex structure is imposed on a manifold, especially the likes of smooth manifolds. I can read the definitions and work with them, but I want to understand ...
0
votes
2answers
38 views

connected sum of two surfaces

I was reading Massey's textbook on Algebraic topology and the author claims that if $S_2$ is a 2-sphere then $S_1 \# S_2$ is homeomorphic to $S_1$. I don't know why that is true and since I'm very ...
0
votes
1answer
37 views

Braid Groups on Manifolds

I am studying braid groups on manifolds and am getting confused. In a geometric definition, one needs to first choose a simple curve $\theta$ on a given manifold $M$ and well-ordered points ...
2
votes
2answers
74 views

Codimension 1 homology represented by Embedded Submanifold

I'm looking for a reference for the following statement: Given an oriented manifold $M$ and a class $\xi \in H_{n-1}(M)$, there is some embedded oriented submanifold $F^+ \hookrightarrow M$ such that ...
4
votes
4answers
760 views

Why surface of the sphere is not a Euclidean space?

In wiki, I see a description in manifold: "Although a manifold resembles Euclidean space near each point, globally it may not. For example, the surface of the sphere is not a Euclidean space, but in ...
1
vote
1answer
27 views

Knots as boundaries

Boundary of a 2-manifold is a closed curve (or a set of closed curves), so I was thinking of reversing this process. In 2D space, a simple closed curve in a plane can be thought of as a boundary of ...
0
votes
3answers
54 views

What exactly is a 0-form?

From what I understand, a k-form in the real numbers is essentially a mapping $\mathbb{R^k} \rightarrow \mathbb{R}$, but I can't seem to find a corresponding definition for a "0-form". Wikipedia seems ...
1
vote
1answer
35 views

Simultaneous coordinate representation of a submanifold and its sub-submanifold

Suppose $Z\subset X\subset Y$ are manifolds and $z \in Z$. Prove that there exist an independent function $g_1,...g_l$ on a neighborhood $W$ of $z$ in $Y$ such that $$Z \cap W =\{y\in ...
0
votes
0answers
18 views

Show that $\delta =1$

I have a problem: Let $M \subset \Bbb C^2$ be a real analytic hypersurface: $$M=\left \{(z,w) \in \Bbb C^2 \colon \text{Im}\ w=|zw|^2+|z|^8+\frac{15}{7}|z|^2\text{Re}\ z^6 \right \}. \tag 1$$ ...
0
votes
1answer
21 views

Geometric translation of a theorem about stability of equilibrium point

In the book Nonlinear Systems by Hassan Khalil, there is a theorem about the stability of equilibrium point ‎‎ which asserts that : Theorem :‎ Let‎ ‎$X = 0 $ ‎be an equilibrium point for‎ ‎$‎\dot{x} ...
0
votes
1answer
35 views

Gluing oriented manifold along boundaries

Let $M_1$ and $M_2$ be oriented manifolds with boundaries. Suppose they have homeomorphic boundaries. I want to glue $M_1$ and $M_2$ along the boundaries via some homeomorphism. To ensure that the ...
2
votes
1answer
47 views

Representations of knot groups

Recently, I was studying the knot group and I want to learn some more material about it (e.g. its representations). "Knots" by Burde and Zieschang discusses some material but it is not entirely ...
2
votes
1answer
35 views

trace map is continuous

Prove that $tr: M_n(k)\to k$ is continuous. I did continuity of determinant map using induction, but how to prove trace map is continuous. please give a thorough answer. My analysis is not too good. ...
0
votes
0answers
17 views

Orientation of the intersection of manifolds

From Guillemin and Pollack Differential Topology: Compute the orientation of $\mathbf{X}\cap\mathbf{Z}$ in the following examples by exhibiting positively oriented bases at every point: a) ...
1
vote
0answers
32 views

Compact manifold with smooth structure

Is the following surface smooth and compact, when all its partial derivatives are continuous? How to tell about self-intersections without visualization? $x=\cos(a) + \cos(a + b) + \cos(a + b + ...
0
votes
0answers
30 views

clear statement about the relation between curvature and rotating vectors along a loop

in my research, I need to understand the relation between the formal definition of Riemann curvature tensor ($R_{jkl}^i$)and the ``vector rotation" approach: parallel transport a vector along a loop, ...
1
vote
1answer
43 views

Reference request: Measure theory and/or manifolds [duplicate]

I have never encountered measure theory or manifolds yet, despite being close to my third year university level. Any texts for either or both of these subjects would be greatly appreciated.
-1
votes
1answer
21 views

Identity concerning push forward of two vector fields

How would you prove the identity $\displaystyle \frac{\partial}{\partial s}\Psi_{s^*} \mathbb{X} = (-1)L_{\mathbb{Y}}\Psi_{s^*}\mathbb{X}$ where $\Psi_{s}$ is the flow of $\mathbb{Y}$ and ...
1
vote
1answer
43 views

tangent bundle and normal bundle

I have a problem about tangent bundle. It is known that the tangent bundle of most manifolds is not trivial: for example, the tangent bundle for $S^2$ is not $S^2\times \mathbb{R}^2$. However, for a ...
0
votes
0answers
14 views

Show that $M$ is not equivalent to $O_k$.

Assume that a model hypersurfaces is described by $$O_k=\{(z,w)\in \Bbb C^2 \mid v=|z|^k\}\tag 1$$ and a real analytic hypersurface: $$M=\left \{(z,w)\in \Bbb C^2 \mid ...
8
votes
1answer
112 views

Why are Banach manifolds not so popular?

Why are Banach and Frechet manifolds studied not even remotely as much as Euclidean manifolds? I assume like many other mathematical subjects, theory of manifolds has been developed much more than the ...
4
votes
1answer
36 views

Converse to the Jordan-Brouwer separation theorem

By the Jordan curve theorem, if $C \subset S^2$ is (the image of) a simple closed curve, then $S^2 \setminus C$ has precisely two connected components. This statement admits the following "converse". ...
10
votes
0answers
110 views

$C^{k}$-manifolds: how and why?

First of all, I have a specific question. Suppose $M$ is an $m$-dimensional $C^k$-manifold, for $1 \leq k < \infty$. Is the tangent space to a point defined as the space of $C^k$ derivations on the ...
0
votes
1answer
14 views

Writing nonautonomous systems as autonomous systems

Apparently any mth order nonautonomous system is equivalent to a first order autonomous system in higher dimensional space. How does this work in practice? I would you write $\displaystyle ...
0
votes
1answer
31 views

Start of the proof of the Poincaré Lemma

Let $\hat{\Phi}:U \rightarrow U$ be a one-parameter family of diffeomorphisms defined for $\ 0 < t \leq 1$. Let $\beta \in \Omega^k(U) $ be a closed k-form. Suppose that $\hat{\Phi}^{*}_1 \beta = ...
0
votes
3answers
54 views

A proof of compactness, connectedness of real projective space

I need a reference for a complete proof of the below theorem: Let $RP^n$ be $n$-dimensional real projective space. Then $RP^n$ is a compact, connected manifold. (Consider the standard topology over ...
0
votes
1answer
16 views

Equivalence relation of differential forms

My notes claim that $\displaystyle d\omega (x) = \frac{1}{k!} d\omega_{i_1\cdots i_k} \wedge f^{(i_1)}\wedge\cdots\wedge f^{(i_k)}$ is equivalent to $\displaystyle d\omega(x) = \frac{1}{k!} ...
0
votes
1answer
39 views

Help explain linear algebra/differential calculus theorem in simpler terms.

On a previous question, I got something related to linear algebra and linear algebra, but having no background in linear algebra and a little background in vector calculus(mainly from physics), I ...
0
votes
1answer
41 views

Compactness of the Grassmannian $G(k,n)$

Related to this question, suppose we define $G(k,n)$ to be the set of $n\times k$ matricies with rank $k$, equipped with the quotient topology of $\mathbb{R}^{nk}$ by the equivalence relaiton $$A\sim ...
0
votes
2answers
46 views

Differential identity and wedge products

Apparently $dx^{i_1} \wedge ... \wedge dx^{i_k}=d(x^{i_1}dx^{i_2}\wedge ... \wedge dx^{i_k})$ which I cannot see proved anywhere in my notes. It just stated as if it is obvious which I don't believe ...
2
votes
2answers
68 views

Part of proof that $d^2\omega=0$

The following comes from the proof in differentiable manifolds that $d^2\omega=0$. Let $f$ belong to the set of $0$-forms. From definition I have that $\displaystyle df = \frac{\partial f}{\partial ...