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)

1
vote
1answer
18 views

If $M^n$ is a submanifold of $\mathbb{R}^{n+k}$ such there are L.I. vector fields $v_1,\ldots,v_k$ such that $v_i \perp T_pM$ then $M$ is orientable

If $M^n$ is a submanifold of $\mathbb{R}^{n+k}$ such there are L.I. vector fields $v_1,\ldots,v_k$ such that $v_i \perp T_pM$ for every $p \in M$ then $M$ is orientable. My attempt is: Once $M^n$ ...
2
votes
1answer
31 views

Viewing complex projective space as a Grassmannian manifold

Complex projective space $\mathbb{CP}^n$ carries the structure of a complex manifold of dimension $n$, hence has the underlying structure of a real manifold of dimension $2n$. It is the set of complex ...
0
votes
0answers
32 views

Distributions on submanifolds

I am beginner in differential geometry. I stuck with the concept of distributions(like invariant, anti invariant, slant) on submanifolds. Can you explain what are distributions on submanifolds? If ...
4
votes
1answer
31 views

Poincaré–Bendixson theorem on the torus

I was reading the paper A Generalization of a Poincaré-Bendixson Theorem to Closed Two-Dimensional Manifolds by Arthur J. Schwartz which proves the following theorem: THEOREM. Let $M$ be a ...
0
votes
1answer
19 views

Definition of manifold which are subset of euclidean space

According to Guillemin and Pollack "X(which is a subset of R^n)is a k-dimensional manifold if it is locally diffeomorphic to Rk , meaning that each point x possesses a neighborhood V in X which ...
0
votes
0answers
22 views

sectional curvature of hyperbolic space

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)X,Y>}{|X|^2 |Y|^2 - <X,Y>^2}$$ The problem I'm ...
0
votes
0answers
16 views

Principal curvatures from parametrisation

Let $M^2$ be an immersed surface of the standard sphere $S^3$ with unit normal vector field $\eta : M \to \mathbb{R}^4$ (tangent to $S^3$). Given a point $p \in M$ and a parametrisation $\varphi : U \...
3
votes
1answer
35 views

Construct smooth mapping $f: B^{n + 1} \to S^n$ with two singularities at which $f$ has degree $+/- 1$.

I'm currently working through a paper by Pjotr Hajlasz who wants to show that For smooth manifolds $M,N$, if $\pi_{[p]}(N) \neq 0$ and $1 \leq p < n = \dim M$, then the smooth mappings $C^\...
0
votes
0answers
39 views

addition of two differential forms with different degrees

Does it make sense to add two differential forms with different degrees like $dx+dx\bigwedge dy$? If yes, what's the arguments of it? I ask this because in text book, the vector space, $\Omega^*(M)$, ...
0
votes
1answer
18 views

Construct a diffeomorphism $\psi: B_1 \to \epsilon\text{-neighborhood of } K$, where $K$ is a subset of a smooth manifold.

I'm currently working through a paper by Brezis on the topology of Sobolev spaces. Right now I am having trouble understanding the following note made by Brezis. Let $M$ be a compact and smooth ...
-1
votes
0answers
10 views

Transformation of vector from vector field coordinates

Consider an n-dimensional manifold with coordinates $x_1, x_2, \dots, x_n.$ Suppose we have a vector field defined on this manifold $V : \bar v = \bar v(\bar x).$ Let us perform a homogeneous ...
0
votes
0answers
27 views

How to got there are only two kinds of 1-dim manifold without boundary

I just know a conclusion that all 1-dim manifolds without boundary is homomorphism to $S^1$ or $\mathbb{R}$ , but I don't know how to prove it . Why is so ?
3
votes
1answer
44 views

Do I have the right idea about affine connections?

On a smooth manifold $M$, a vector field is a smooth map $X : M \to TM$, where $TM$ is the tangent bundle of $M$. If $\chi(M)$ denotes the space of vector fields on $M$, an affine connection $\nabla$ ...
1
vote
1answer
47 views

Vector fields (on a manifold) and terminology

I read in several books (Do Carmo, Riemannian Geometry or John M. Lee, Smooth manifolds) that a vector field $X$ on a smooth manifold $M$ is a mapping which associates to each point $p \in M$ a ...
-1
votes
0answers
31 views

A exercise of Riemannian geometry . [closed]

In picture below,I don't know how to start the second question . It is obvious that the isometry of $R^3$ keep the dimension , so there exist such isometry. But seemly, it is too simple . Besides, ...
0
votes
0answers
21 views

How to prove that two compact 1-dim Riemannian manifolds with same length must be isometric?

How to prove that two compact 1-dim Riemannian manifolds with same length must be isometric ? I know the compact 1-dim manifold must be homeomorphism to $S^1$ , but how to do a specific isometric ?
1
vote
0answers
19 views

Torsion and curvature of a linear connection

Could you help me to solve the following problem ? Let $M$ a parallelizable manifold of dimension $n$, {$E_1$,...,$E_n$} a global frame of $M$. Let $X$,$Y$ a vector fields on $M$ with $Y= \sum_{i=1}^...
8
votes
2answers
85 views

Homology and cohomology of 7-manifold

I have the following problem: Let $M$ be a connected closed $7$-manifold such that $H_1(M,\mathbb{Z}) = 0$, $H_2(M,\mathbb{Z}) = \mathbb{Z}$, $H_3(M,\mathbb{Z}) = \mathbb{Z}/2$. Compute $H_i(M,\...
1
vote
0answers
61 views
+50

Prove that $g$ is a submanifold: $g (t,u,v) = (t^2,u^2,v^2,\sqrt{2}uv, \sqrt{2}tv,\sqrt{2}tu)$

We consider $g : (t,u,v)\in \mathbb{R}^3 \mapsto (t^2,u^2,v^2,\sqrt{2}uv, \sqrt{2}tv,\sqrt{2}tu)\in\mathbb{R}^6$. I have to prove that $g(\mathbb{S}^2)$ is a submanifold of $\mathbb{R}^6$. $dg_{(t,u,...
0
votes
0answers
16 views

Computationally Determine Dynamics on a Center Manifold

I have a four dimensional system of nonlinear differential equations $\dot{x} = f(x)$ with a single parameter $\alpha$ and Jacobian matrix $J$ with eigenvalues $\lambda_1 = 0, Re(\lambda_2) < 0,Re(\...
1
vote
1answer
32 views

Where does $f(r,\varphi,\theta)=(r\sin{\theta}\cos{\varphi},r\sin{\theta}\sin{\varphi},r\cos{\theta})$ have a locally differentiable inversion?

$$f(r,\varphi,\theta)=(r\sin{\theta}\cos{\varphi},r\sin{\theta}\sin{\varphi},r\cos{\theta})$$ $$f:(0,\infty)\times\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}^3$$ How can I find out on which ...
0
votes
1answer
30 views

What is $u^{-1}TN$ with $u: M\rightarrow N$ be a smooth map

As picture below, $u\in C^\infty(M,N)$, $(M,g)$ and $(N,h)$ are two smooth Riemannian manifold. I don't know what mean the $\frac{\partial }{\partial y^1} \circ u$ , it is $\frac{\partial u}{\partial ...
1
vote
1answer
36 views

Topology given by atlas is paracompact

I'm currently reading Jeffrey M. Lee Manifolds and Differential Geometry book. I don't understand a part in the proof of Proposition 1.32. (iii). Proposition 1.32. says: Let $M$ be a set with a $...
1
vote
3answers
101 views

Why doesn't coordinate difference between two points correspond to distance between two points?

I know that in Euclidean geometry, where the manifold is "flat" (such that it is isomorphic to an open subset of $\mathbb{R}^{n}$), $M\cong\mathbb{R}^{n}$, one can use Cartesian coordinates, $\phi (p)\...
1
vote
1answer
47 views

A Riemannian manifold with constant sectional curvature is Einstein. [closed]

A Riemannian manifold with constant sectional curvature is Einstein. Why? It's true the inverse?
1
vote
2answers
59 views

Why a Riemannian manifold minus one point is not complete? [closed]

Could you give me a proof that a Riemannian manifold minus one point is ever complete? Thanks!!
24
votes
2answers
273 views

Origins of Differential Geometry and the Notion of Manifold

The title can potentially lend itself to a very broad discussion, so I'll try to narrow this post down to a few specific questions. I've been studying differential geometry and manifold theory a ...
1
vote
1answer
27 views

Integration of differential form on ellipsoidal surface with singularity in origin

As picture below ,I want to compute the (2) , because there is a singularity in $\{0\}$ and $\omega$ is closed . So ,I have $$ \int_M\omega=\int _{\partial B_1(0)} \omega $$ I think there is a ...
0
votes
1answer
53 views

What is a singular space?

A book I am reading on orbifolds uses the word singular space but doesn't say what it means. The book is Orbifolds and Stringy Topology by ALR the quote is "Orbifolds are singular spaces that are ...
0
votes
1answer
30 views

Differentiable functions between manifolds are continuous

Let $f:M \to N$ be differentiable function between manifolds. I want to show that $f$ is continuous. First, that $f$ is continuous should mean (correct me if I'm wrong!) that for every point $a\in N$ ...
0
votes
1answer
42 views

Prove is compact

I'm trying to solve this problem and I don't know how to start Let $M$ be a connected time-oriented Lorentz manifold of dimension $n$. Let $J^+(K)=\{q\in M: \text{there is a $p\in K$ with $p\leq q$}\}...
1
vote
1answer
51 views

Uniqueness of connected sum

Connected sum is defined as Wiki .But I think the result of connected sum is not unique. For example ,make connected sum on $S^2$ with itself . Then , the result can be $T^2$ or Klein bottle. Is it ...
1
vote
1answer
20 views

Optimization: Via manifolds point of view of Lagrange multipliers method

My basis on differential manifolds calculus and differential geometry being very superficial, I'm trying to understand this section on WP's article. I'm not being able to realize why most of the ...
-1
votes
2answers
39 views

Open subset of $\mathbb {CP}^n$? [closed]

As picture below, how to show the $U_i$ is open subset of $\mathbb {CP}^n$ ?
1
vote
1answer
41 views

Is $\mathbb R^2\backslash \{0\}$ a manifold?

Is $\mathbb R\backslash \{0\}$ a manifold ? Is $\mathbb R^2\backslash \{0\}$ a manifold ? I would say yes, but in the doubt, I prefer to ask.
2
votes
0answers
21 views

Introduction to morse theory with applications to optimization

I am wondering if there are any easy-to-read introduction materials on morse theory (especially with applications to nonconvex optimization) for people with non-math background.
2
votes
1answer
25 views

Divergent Curves and Complete Manifolds

I'm working on a problem in do Carmo's Riemannian geometry book (chapter 7, problem 5). He states that a divergent curve on a noncompact Riemannian manifold $M$ is a curve $\alpha: [0, \infty) \to M$ ...
0
votes
1answer
26 views

Is the subgroup of homotopically trivial isometries a closed subgroup of the isometry group?

Let $(M,g)$ be a connected Riemannian manifold. Then according to the Steenrod-Myers-Theorem, the isometry group $\text{Isom}(M,g)$ of $(M,g)$ is a compact lie group with the compact-open topology. ...
3
votes
2answers
125 views

Differential Forms on the Riemann Sphere

I am struggling with the following exercise of Rick Miranda's "Algebraic Curves and Riemann Surfaces" (page 111): Let $X$ be the Riemann Sphere with local coordinate $z$ in one chart and $w=1/z$ in ...
1
vote
0answers
34 views

Relation between nonorientability of the Möbius strip and the Möbius bundle

There are two ways in which the open Möbius strip $M$ is related to orientability: $M$ is nonorientable as a manifold; $M$ is the total space of the nonorientable line bundle $M \to S^1$. Is there ...
0
votes
1answer
20 views

Diameter of a Topological Manifold

I know that for a Riemannian Manifold is defined the concept of diameter. I wuold know if it's defined a similar concept for a most general Topological Manifold. Thanks in advance.
3
votes
0answers
47 views

Does $S_1\subseteq \overline{S}_2-S_2$ $\implies$ $\dim S_1<\dim S_2$?

Question: Let $M$ be a smooth manifold and $S_1,S_2\subseteq M$ two locally-closed submanifolds (i.e. they are open in their closure). If $$S_1\subseteq\overline{S}_2-S_2,$$ is it true that $$\...
3
votes
1answer
25 views

Obtaining embedding from geodesic

Suppose $M$ is an embedded sub-manifold of $D$-dimensional Euclidean space $E^D$, with embedding $\phi:M \hookrightarrow E^D$. And suppose I know the induced Riemmanian-metric $g$ on $M$, which ...
1
vote
0answers
52 views

The relationship between dimension of a manifold and coordinate function

I am thinking about the intrinsic meaning (what this equation really means) about this equation. Suppose $\mathcal M$ is a smooth manifold embedded in $\mathcal R^d$, then for any $x \in \mathcal M$,...
2
votes
0answers
50 views

computational insight behind why connections fix the shape of surface

Based on a video lecture, I had some queries. If we just have a manifold [M-set,O-topology,A-atlas] say $S^2$, this manifold represents a football or a potato equally. But once we choose a connection $...
1
vote
0answers
35 views

references for concrete computations in Lie groups for abstract toplogical concepts

A Lie group is a smooth manifold whose tangent space at its origin is its Lie algebra. Taking an example for lie group such as SL(2), and due to above facts we should then be able to translate the ...
-2
votes
1answer
27 views

covering space, smooth manifold

Let $p:Y\to X$ be a covering space and $p^{-1}(x)$ countable for every $x\in X$. Task: Let $X$ be a smooth manifold. Show, that $Y$ has the structure of a smooth manifold, regarding this $p$ is ...
1
vote
1answer
32 views

smooth manifolds, equivalent statements

Let $X,Y$ be smooth manifolds. Show: A function $f:X\to Y$ is smooth, iff for every open $V\subseteq Y$ and every smooth function $g:V\to\mathbb{R}$ the composition $g\circ f: f^{-1}(V)\to\mathbb{R}$ ...
0
votes
0answers
26 views

Confusion with chain rule when proving statement about tangent plane to a point in a manifold

I'm trying to prove the following: If $f:\mathbb{R}^3 \to \mathbb{R}$ is a differentiable function, $a \in \mathbb{R}$ is a regular value of $f$ and $S=f^{-1}(a)$, then for all $p \in S$ the tangent ...
1
vote
0answers
27 views

Clarification for Manifold and Manifold with Boundary Definitions

I am reading Spivak's Calculus on Manifolds, and just need a bit of clarification when it comes to definitions. He defines a manifold as some space $M$ that satisfies: $(M)$: $\forall x \in M, \...