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 ...
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 ...
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 ...
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 \...
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 ...
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)$, ...
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,...
-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
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 ...
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}^...
9
votes
1answer
166 views

When can we recover a manifold when we attach a $2n$-cell to $S^n$?

I have a question related to this one. In my answer I was going to try and say something about the possible manifolds that might arise in this way, i.e. as mapping cones of elements of $\pi_{2n-1}(S^...
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,\...
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
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
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
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!!
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 ...
3
votes
1answer
429 views

Partial derivative of a function on manifold

Bishop and Goldberg define ("Tensor analysis on manifolds") the partial derivative of a smooth function on a manifold $M$ in the following way: $\partial_i f= \frac{\partial f}{\partial{x^i}}=\frac{\...
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 ...
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.
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 ...
3
votes
3answers
708 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
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.
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. ...
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$ ...
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 ...
2
votes
1answer
34 views

What are Carnot groups?

I'm trying to learn the Pansu differentiability theorem and I need to know what Carnot groups are. Can someone please explain what Carnot groups are? An introductory reference would be greatly ...
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 $$\...
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 $...
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$,...
0
votes
0answers
24 views

Need help understanding part of this proof about local coordinates for Legendrian manifold

I need help understanding this proof in this book here: Concretely, I do not understand why it is okay to assume that $S$ can be parameterized by $n$ variables. Sure, it's an $n$-dimensional ...