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
1answer
30 views

Differential: Smoothness

This is a lemma for another thread. Given smooth manifolds. The differential is a smooth map: $$F:M\to N:\quad F\text{ smooth}\implies\mathrm{d}F\text{ smooth}$$ How to check this?
1
vote
0answers
64 views

Question about Milnor's proof of Sard's Theorem

We've just covered Sard's theorem and have just started to look at transversality in my differential geometry class and I'm trying to understand a proof of Sard's theorem (based on Milnor's proof): If ...
1
vote
0answers
28 views

Open cover of manifold with boundary

If $\mathcal{O}=(U_{\alpha})_{\alpha\in A}$ is an open cover for a smooth manifold $M$, then each $U_{\alpha}$ is a smooth manifold. I want to extend this fact to manifolds without boundary. So my ...
0
votes
2answers
25 views

What kind of manifold is a configuration manifold?

I have recently been learning about the basic properties of topological, smooth, and Riemannian manifolds. But I frequently hear the term configuration manifold referenced in relation to Lagrangian ...
3
votes
0answers
60 views

When did the notion of the tangent space emerge?

When did the modern conception of/notation for the tangent space to a manifold come into use?
2
votes
0answers
19 views

Charts/transition charts of the $\mathbb{CP}^3$ tangent bundle

I would like to explicitly compute the charts and transition charts for the tangent bundle of $\mathbb{CP}^3$. I know the charts of $\mathbb{CP}^3$ are $\phi_i: U_i=\{[z_0,z_1,z_2,z_3]; z_i \neq ...
8
votes
2answers
217 views

Equivalence of two distance function on a Riemannian manifold

Let $(M,g)$ be a closed connected $m$ dimensional smooth Riemannian manifold and assume that it is isometrically embedded in a Euclidean space $\mathbb{R}^q$ by $\iota:M\to\mathbb{R}^q$. $|\ast|$ ...
2
votes
0answers
42 views

Smooth manifolds having an analytic structure.

I am reading about Manifolds and Lie groups and I have certain questions related to them. Let me first explain why I am asking these questions. We know that not all $C^{\infty}$ functions are ...
6
votes
0answers
73 views

Decorating eggs

I came across this question as I have been helping someone decorate styrofoam eggs by gluing wrapping paper onto it. The question is quite simple but I found myself stumped. Given an egg what is the ...
2
votes
2answers
193 views

Why is Klein bottle non-orientable?

I am doing the homework of differential geometry and encounter this problem: The Klein bottle $K^2$ is defined to be the identification space $$[0, 1] \times [0, 1]/{\sim}, \text{ where the ...
0
votes
0answers
38 views

Does isometry preserve volume on open sets?

Suppose there are two open sets $A,B$. $h$ is an isometry. And the function $h$ maps $A$ to $B$; $h(A)=B$. I need to show that isometry is volume preserving. Any hint would be appreciated! Thanks ...
0
votes
2answers
61 views

The quotient map and isomorphism of cohomology groups

Let $X$ be a closed $n$-manifold, $B$ an open $n$-disc in $M$. Suppose $p:X\rightarrow X/(X-B)$ is a quotient map. Notice that $X/(X-B)$ is homeomorphic to the sphere $\mathbb{S}^n$. My question is ...
0
votes
0answers
28 views

Tangent space of a Product of two manifolds

Suppose $M$ and $N$ are two $C^\infty$ manifolds. Take $p\in M$ and $q\in N$. We have the following maps between these: $\iota_1 : M\to M\times N$, $\iota_2:N\to M\times N$, $\pi_1:M\times N\to M$ and ...
0
votes
0answers
31 views

To Prove that The Level Set Of AConstant Rank Map is a Manifold

Let $f:\mathbf R^n\to\mathbf R^m$ be a smooth function of constant rank $r$. Let $\mathbf a\in \mathbf R^n$ be such that $f(\mathbf a)=\mathbf 0$. Then $f^{-1}(\mathbf 0)$ is a manifold of ...
2
votes
1answer
89 views

Why do we require that a complex manifold has the structure of a real manifold?

I am taking a course in complex manifolds, heavily influenced by Huybrechts' book "Complex Geometry", and in it we define a complex manifold $X$ to be a smooth, real manifold $M$ together with an ...
1
vote
0answers
35 views

What does matrix decomposition really mean?

Any element of the symplectic group $\operatorname{Sp}(2n,\mathbb{R})$ can be decomposed using the Euler decomposition into the product of three matrices. \begin{equation} S = O\begin{pmatrix}D & ...
4
votes
2answers
139 views

Invertibility theorem on the boundary for a function between two closed 2D manifolds

Assume a function $f:\mathbb{R}^2\to\mathbb{R}^2$ on a simply connected, closed domain $D\subset\mathbb{R}^2$ including its boundary $\partial D$. I am interested in the local invertibility of $f$ ...
4
votes
0answers
57 views

Is there a way to define the concept of manifolds so it looks more like “generalised affine spaces”?

What I have in mind is along the lines of this: Let $M$ a topological space, $V$ a normed vector space, and $$ \boxminus \colon M\times M \to V, $$ $$ \boxplus \colon M\times V \to M. $$ Then ...
3
votes
1answer
77 views

Complex projective manifolds and smooth projective varieties

Look at the following theorem: The following two categories are equivalent: The category of non-singular projective varieties over $\mathbb C$. (Where a variety is understood as in ...
1
vote
1answer
33 views

How to prove that volume forms agree on $U_\alpha \cap U_\beta$?

I am familiarizing myself with Riemannian manifolds. Let $M$ be an orientable smooth $n$-manifold with atlas $(U_\alpha, (x_1^\alpha, \dots, x_n^\alpha))$ and let $g$ be a Riemannian metric on $M$. ...
1
vote
2answers
63 views

Stokes or homotopy?

The problem states Show that if $X$ is a simply connected manifold, then $\oint_{\gamma}\omega=0$ for all closed 1-forms $\omega$ on X and all closed curves $\gamma$ in $X$. However I have ...
1
vote
2answers
51 views

Question concerning tensors

As some of you may have seen from my previous question(s), I am working through Spivak's Calc on Manifolds and this happens to be the first time I've been introduced to tensors formally, though I have ...
0
votes
1answer
69 views

Gauß and mean curvature

I was wondering whether the Gauß, mean curvature and shape operator of a surface actually depend on the chosen parametrization? Under a reparametrization of $f: \Omega \subset \mathbb{R}^2 ...
0
votes
1answer
115 views

Isometric and conformal map

We defined conformal and isometric maps for surfaces $f,g: \Omega \subset \mathbb{R}^2 \rightarrow S \subset \mathbb{R}^3$. Under a reparametrization of $f$ I understand a diffeomorphism $\Phi : M ...
1
vote
0answers
22 views

Function represented as composition

Question:Prove that if $\vec{g} : \mathbb{R}^n \rightarrow \mathbb{R}^n $ and $ \det(\vec{g}') \neq 0$, then in some open set $V \subset \mathbb{R}^n $ such that $\vec{x} \in V$ we have: $\vec{g} = ...
0
votes
0answers
44 views

Is $x:\emptyset\to\emptyset$ a chart?

In the definition of a manifold, one defines, in particular, a chart as a homeomorphism $x:U\to O$ where $U\subseteq M$ is an open set of the topological space $M$ and $O\subseteq \mathbb{R}^n$. ...
1
vote
2answers
64 views

The top singular cohomology group with coefficient $\mathbb{Z}_2$ for non-compact, non-orientable manifolds without boundary

I want to know the top singular cohomology group with coefficient $\mathbb{Z}_2$ for non-compact, non-orientable manifolds without boundary. I think Poincare and Lefschetz duality may help. However, ...
4
votes
2answers
60 views

Compute a parallel transport

Let $\mathbb{S}^{2} \subset \mathbb{R}^{3}$ be the $2$-sphere ($\mathbb{S}^{2} = \left\{ (x,y,z) \in \mathbb{R}^3, \; x^2+y^2+z^2 = 1 \right\}$). Let $p \in \mathbb{S}^{2}$ and $\xi \in T_{p}S^{2} = ...
2
votes
2answers
129 views

The space $x^3-y^2=0$

Consider $\{(x,y)\in\mathbf{R}^2 \ | \ x^3-y^2=0\}$ as a subspace of $\mathbf{R}^2$. Intuitvely I understand that this is not supposed to be a differentiable manifold because it has a cusp at $0$. But ...
0
votes
1answer
84 views

Prove the manifold of SU(2)/U(1) is the 2-sphere.

I want to demonstrate that the manifold of $SU(2)/U(1)$ is a 2-sphere. In a text-book I've found this way of solution, where there are some unclear points. Let to be $g= a\mathbb{1} + i b_j\sigma_j$ ...
3
votes
1answer
47 views

Proving that something is a manifold from the definition

Consider a set $$M = \{ (s\cos t, s\sin t, t) \colon s,t\in \mathbb{R}\}\subset \mathbb{R}^3.$$ I am asked to show from the definition that $M$ is a 2-dimensional submanifold of $\mathbb{R}^3$ ...
1
vote
0answers
75 views

Prove that if $T$ is one-to-one on $D$, then the set $T(D)$ is open

Let $f$ and $g$ have continuous first-order partial derivatives on an open set $ D\subseteq\mathbf{R}^2 $ and let $T :D \to \mathbf{R}^2 $ be defined by $ T(u,v)=(f(u,v),g(u,v)). $ ...
0
votes
1answer
35 views

Topology on the tensor Bundle $T^{r, s}(M)$?

Let $M$ be a smooth manifold and for $r, s\geq 0$ define the tensor bundle: $$T^{r, s}(M):=\bigcup_{p\in M} T_pM.$$ I'm trying to understand its topology. I'm following Homology and Curvature written ...
2
votes
2answers
86 views

The singular homology and cohomology of manifolds vanishes in high dimensions

Let $M$ be an $n$-manifold. It seems that there are two results that the $p$-th singular homology and cohomology of $M$ are zero if $p>n$. But I can not find them in my books of algebraic ...
0
votes
1answer
56 views

How to prove 2x2 rotation matrix is a manifold [duplicate]

How can I prove that this matrix is a manifold? $\begin{pmatrix} \cos(a) & -\sin(a) \\ \sin(a) & \cos(a) \end{pmatrix}$ Thanks!
1
vote
0answers
34 views

Topology of $L^2$ space

Cardinality of space of all funcions $f: \mathbb R \rightarrow \mathbb R$ is $\beth_2$. However, cardinality of space of all such square-integrable functions, space $L^2$, is $\beth_1=\mathfrak c$, ...
1
vote
1answer
66 views

A question regarding Jacobi fields and families of geodesics

I'm trying to show that for any one-parameter family of geodesics $\gamma(s,t)$ (where $\gamma(s_0,t)$ is a geodesic for any constant $s_0 \in (-\epsilon, \epsilon)$) defined on a Riemannian manifold ...
2
votes
0answers
39 views

Neighbourhood in a manifold is open

I'm trying to solve a problem in Spivak's A comprehensive introduction to differential geometry. Here, the definition of a manifold is the next A metric space $X$ is said to be a manifold if ...
1
vote
3answers
43 views

Non-compact manifold with compact boundary

What is an example of a non-compact manifold with compact boundary?
0
votes
1answer
33 views

Connected manifold with disconnected boundary?

Is there any simple example of a connected manifold with disconnected boundary?
3
votes
2answers
58 views

Why do a set of continuous transformations form a manifold?

I am reading Sean Caroll's book on GR, and he defines manifolds to be "a space that may be curved and have a complicated topology, but in local regions looks just like R$^n$. Here by "looks like" we ...
0
votes
0answers
59 views

Vectors in tangent space to a manifold independent of coordinates

In Nakahara's book, "Geometry, Topology and Physics" he states that it is, by construction, clear from the definition of a vector as a differential operator $X$ acting on some function ...
2
votes
1answer
81 views

Is every hypersurface in $\mathbb{R}^n$ the boundary of an open domain?

We know if $\Omega \subset \mathbb{R}^{n}$ is a bounded $C^k$ domain, then its boundary $\partial\Omega$ is a $C^k$ compact hypersurface of dimension $n-1$. Is it true that every $m-$dimensional ...
1
vote
1answer
69 views

Why klein Bottle is 4-D?

I am wondering that Klein Bottle is 4-D. Can any body tell me how it is possible? I can give coordinates for each point of the Klein Bottle with 3 values. Then how it can be 4-D? What is immersion? ...
3
votes
1answer
56 views

Variation on Stokes Theorem for Manifolds (2)

Let $\omega \in \Omega^0(\mathbb{R}^{2}\setminus\{0\})$ be a $0$-form such that $d\omega=0$. Is the following statement true: For any compact, oriented, $0$-dimensional submanifold $M$ of ...
4
votes
1answer
58 views

Bundle metric and connection on trivial vector bundle

I read this: Let $(M,g)$ be a compact Riemannian manifold and let $W$ be a vector bundle (rank $n$) over $M$ with $h_W$ a bundle metric of $W$ and $D$ a bundle connection of $W$. I choose $W$ ...
0
votes
0answers
30 views

Differentiability of a function on a manifold is independent of the coordinate chart

I am currently working through Nakahara's book, "Geometry, Topology and Physics", and have reached the stage at looking at calculus on manifolds. In the book he states that "The differentiability of a ...
0
votes
0answers
17 views

What is the domain and image of the composition of mappers in a manifold

I was trying to understand the following: which I got from: http://www.mit.edu/~9.520/fall14/slides/class14/class14_manifold.pdf I was wondering, why the domain was: $$ \alpha(U_{\alpha} \cap ...
1
vote
0answers
32 views

book suggestion on manifolds

I've to learn differential equations on Manifolds. Can any one please suggest some books/lecture notes for differential equations on Manifolds ?
6
votes
1answer
57 views

If M is a manifold of dimension $ n \neq0$ then M has no isolated points.

I am in doubt whether the following statement is true or false: "If M is a manifold of dimension $ n \neq0$ then M has no isolated points." The idea that made me find the true statement was as ...