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
33 views

Show that $M=\{(x,y,u,v) \in \mathbb{R}^4 : x^2 + y^2 = u^2 + v^2 = 1\}$ is orientable, explaining the induced orientation.

Let $M=\{(x,y,u,v) \in \mathbb{R}^4 : x^2 + y^2 = u^2 + v^2 = 1\}$. Show that $M$ is an orientable subvariety of $\mathbb{R}^4$, explaining the induced orientation. Consider the $2$-form ...
4
votes
2answers
119 views

Why the lens space L(2,1) is homeomorphic to $\mathbb{R}P^3$?

According to one definition of lens space $L(p,q)$, which is gluing two solid tori with a map $h:T^2_1 \rightarrow T^2_2$. And $h(m_1)=pl_2+qm_2$, $l_i$ means longitude and $m_i$ means meridian of the ...
2
votes
1answer
54 views

Quotient manifold theorem provides a fibration?

It's known that if $G$ is a Lie group and $H\subseteq G$ is a closed subgroup, then the quotient map $p\colon G\to G/H$ is in fact a principal $H$-bundle, which follows from the existence of local ...
1
vote
1answer
53 views

Is GL($2$,$\mathbb{Z}$) is lie group?

This is a very dumb question, but is $\mathrm{GL}(2,\mathbb{Z})$ is lie group? I don't think it is, since its underlying set don't form a manifold, but I am just not sure.
4
votes
1answer
55 views

Are there compact manifolds homotopy equivalent to a wedge sum of compact manifolds?

One example given by Hatcher as an application for the cohomology ring is to distinguish $\mathbb{CP}^2$ from $S^2 \vee S^4$ up to homotopy equivalence despite their cohomology groups being the same. ...
0
votes
0answers
35 views

Generalizing Pearson's coefficient to determine properties of embedded manifold

I have the following dilemma: We know that for random vectors we have Pearson's coefficient of skewness. I think you all agree that in some sense it measures the shape properties of the ...
4
votes
1answer
125 views

Homology of a co-h-space manifold

Let $M$ be a compact connected topological manifold of dimension $n>1$. Suppose the corepresented functor $[M,-]\colon Top_{\ast}\rightarrow Set$ lifts to monoids or equivalently that $M$ is a ...
0
votes
0answers
72 views

Measure of inverse image of points by an analytic mapping

How can one prove the following statement: For any analytic mapping from a connected analytic manifold $M$ to an analytic manifold $N$, the inverse image of a point in $N$ is either the whole of $M$ ...
0
votes
1answer
43 views

Isomorphism between two manifolds definition.

I want to try and show that a map between two manifold product spaces is an isomorphism. Im just a bit confused as to what 'isomorphism' means in this sense. At first I thought it was equivalent to ...
4
votes
1answer
57 views

Can we live without neighborhood basis but with open neighborhood basis?

I am reading Lee's Introduction to Topological Manifolds, and he declares that neighborhoods always mean open neighborhoods. So, the definition of a open neighborhood basis goes: Def Let $X$ be a ...
7
votes
1answer
123 views

If $F:M\to N$ is a smooth embedding, then so is $dF:TM\to TN$.

Question: I am trying to show that if $M$ and $N$ are smooth manifolds (without boundary), and $$F:M\to N$$ is a smooth embedding, then the differential $$dF:TM\to TN,\quad ...
3
votes
2answers
63 views

Whether or not such a simple CW complex can be made a $C^{\infty}$ manifold?

Problem Let $X$ be the space obtained by attaching two disks to $S^1$, the first disc being attached by the 7 times around,i.e. $z \to z^7$, and the second by the 5 times around. Can $X$ be made ...
2
votes
2answers
75 views

An orientable manifold of codimension 1 is the zero set of a differentiable function

I want to solve the following exercise from M. Spivak's Calculus on Manifolds: If $M \subseteq \mathbb{R}^n$ is an orientable $(n-1)$-dimensional manifold, show that there is an open set $A ...
0
votes
1answer
27 views

Extending a smooth vector field on a manifold

I want to solve the following exercise from M. Spivak's If $F$ is a differentiable vector field on $M \subseteq \mathbb{R}^n$, show that there is an open $A \supseteq M$ and a differentiable ...
1
vote
0answers
52 views

Lagrangian manifolds: basic standard theory

It is the first time that I start to learn about Lagrangian manifolds so I would like some suggestion about book and article to read. Due to the fact that is the first time, I need a book with the ...
0
votes
0answers
29 views

torus parametrization inverse

I've been looking at the torus parametrization \begin{equation} \phi(u,v)=((r\cos u+a)\cos v, (r\cos u +a)\sin v, r\sin u) \end{equation} with $a>0, r\in(0,a)$. I want to invert this map to get a ...
5
votes
1answer
65 views

Characterization of 1-dimensional manifolds. [duplicate]

My intuition tells me that the only connected 1-dimensional topological manifolds are the real line $\mathbb{R}$ and the circle $S^1$. Is this true? If yes, is it possible to prove it from first ...
0
votes
0answers
74 views

Is a polyhedron an affline manifold?

I was reading the definition of an affine manifold (https://www.wikiwand.com/en/Affine_manifold) and was wondering if a polyhedron is an affine manifold. Could you also provide any hints to the proof ...
0
votes
0answers
35 views

Normal coordinates

I was wondering if this is a legitimate way to define the induced basis of the tangent space in normal coordinates. So the exponential map is a diffemorphism $exp:U \subset T_pM \rightarrow V \subset ...
1
vote
0answers
29 views

Zips and Zippers

I'm currently reading Differential Manifolds by Antoni Kosinski, and the concept of a zip--defined as half of a zipper--is mentioned early on, of course with the intent of connecting manifolds. This ...
0
votes
0answers
10 views

Does the gradient gives a natural orientation in a manifold? [duplicate]

I want to solve the following problem: Let $A\subset\mathbb{R}^n$ open $g:A\to\mathbb{R}$ of class $C^{1}$ and $g'(x)\not=0$ in each $x\in A$ then I want to compute $dV$ in the differentiable ...
1
vote
0answers
135 views

Representation of sum of homology classes

Let $X$ be a path-connected topological space, let $x, x' \in H_{k}(X)$ for $k>0$ be represented by two connected manifold i.e. there exist two compact oriented connected manifolds $M$, $N$ and two ...
2
votes
1answer
46 views

The definition of a differentiable vector field on a manifold

I have a question regarding the following section from M. Spivak's Calculus on Manifolds: Let $M$ be a $k$-dimensional manifold in $\mathbb{R}^n$ . . . . . . Suppose that $A$ is an open set ...
4
votes
1answer
50 views

The integral of a closed form along a closed curve is proportional to its winding number

Source: Guillemin-Pollack Exercise 4.8.2. Let $\gamma$ be a smooth closed curve in $\mathbb{R}^2 - \{0\}$ and $\omega$ any closed $1$-form on $\mathbb{R}^2 - \{0\}$. Prove that$$\oint_\gamma ...
3
votes
1answer
52 views

Does map induced by rotation preserve the volume form?

Let $A: \mathbb{R}^n \to \mathbb{R}^n$ be a rotation. My question is, does the map of $S^{n-1}$ onto $S^{n-1}$ induced by $A$ necessarily preserve the volume form?
0
votes
0answers
15 views

Prove that unitary normal vector to a manifold is $\nabla g / |\nabla g|$ [duplicate]

I want to solve the following exercise: Let $A\subset\mathbb{R}^n$ open $g:A\to\mathbb{R}$ of class $C^{1}$ and $g'(x)\not=0$ in each $x\in A$ then I want to compute $dV$ in the differentiable ...
7
votes
1answer
51 views

Angle form, 1-form, proof verification.

Check that the $1$-form $d\,\text{arg}$ in $\mathbb{R}^2 - \{0\}$ is just the form$${{-y}\over{x^2 + y^2}}\,dx + {{x}\over{x^2 + y^2}}\,dy.$$ My solution is as follows. Observe that we can ...
5
votes
1answer
70 views

Can a $1d$ space never be curved?

I was wondering about this: Wikipedia article I refer to (here I refer to the first part: metric) This wikipedia article claims that this hyperbolic space model has constant curvature $-1.$ I believe ...
2
votes
2answers
45 views

Homeomorphism in the definition of a manifold

Many texts will define a manifold as "a second-countable Hausdorff space that is locally homeomorphic to Euclidean space". By definition of homeomorphism, shouldn't this really and officially read as ...
8
votes
1answer
78 views

Can (singular) homology classes always be represented by images of closed manifolds?

My intuition tells me that if $A \in H_2(M;\mathbf Z)$, then $A$ can be represented by a map $\Sigma \to M$, where $\Sigma$ is a closed (= compact boundaryless) surface, i.e., the connected sum of ...
0
votes
1answer
56 views

Compute the volume element in a differentiable manifold.

Let $A\subset\mathbb{R}^n$ open $g:A\to\mathbb{R}$ of class $C^{1}$ and $g'(x)\not=0$ in each $x\in A$ then I want to compute $dV$ in the differentiable manifold $ M = g^{-1}(0)$. The thing is that ...
1
vote
1answer
58 views

Jacobi field along every geodesic?

I stumbled over the question: Given a manifold $M$. Can there exist a vector field that is a Jacobi field along every geodesic? Now, the answer is apparently: Yes, because the $0$ vector field does ...
1
vote
1answer
48 views

Normal coordinates and the metric tensor

I was wondering whether the metric tensor in normal coordinates can be expressed somehow in terms of the exponential map. Cause I just don't see how the metric in normal coordinates is actually ...
2
votes
1answer
58 views

Groups $\pi$ with $K(\pi, 1)$ a finite CW-complex

For what (say, finitely generated) groups $\pi$ is $K(\pi, 1)$ a finite CW-complex? Such a group must necessarily be torsion-free, since otherwise $H^*K(\pi, 1) = H^* \pi$ would be nontrivial in ...
4
votes
1answer
36 views

Revolving a $k$-manifold around an axis gives a $(k+1)$-manifold

I want to solve the following problem from M. Spivak's Calculus on Manifolds: Let $\mathbb{K}^n=\{x \in \mathbb{R}^n:x^1=0 \text{ and }x^2>0,\dots,x^{n-1}>0\}$. If $M \subseteq \mathbb{K}^n$ ...
7
votes
0answers
162 views

Fundamental class of the connected sum of two closed orientable manifolds

I need to find a representation of $ [M \mathbin\sharp N] \in H_n(M \mathbin\sharp N) $ in terms of the fundamental classes $[M]$ and $[N]$. My idea is that $$ [M \mathbin\sharp N] = [M]+[N]$$ ...
4
votes
2answers
103 views

How do ideas in differential geometry expand upon ideas from introductory calculus

I just went through first year in mathematics and used Stewart's book for calculus. I am trying to self study differential manifold and I find many concepts such as chart, atlas very similar to that ...
0
votes
0answers
9 views

Proof of the categorisation of 1 dimensional connected differential manifolds, using the topological classification?

If we know that every connected, second countable topological 1-manifold is homeomorphic to the circle or the real line, is there a simple way to use it to prove the analogous statement for ...
0
votes
1answer
46 views

Confused with The Transversality Theorem when all manifolds are boundaryless

In Guillemin-Pollack's book Differential Topology, the Transversality theorem states that The transversility Theorem. Suppose that $F:X \times S \to Y$ is a smooth map of manifolds, where only $X$ ...
2
votes
0answers
35 views

Try to use Homogeous space Characterize the space of all lines in the plane .

The problem is just to gives a smooth manifold structure of all straight lines in $\mathbb{R^2}$ ( not just those which pass through the oringin).Moreover, identify it with a well-known manifold! My ...
3
votes
1answer
50 views

Manifold notes in more informal way

When defining the properties of scalar functions that live in manifold $M$ in a less formal way, the following is said: "We no longer refer to a covering by coordinate patches. Instead we conceive of ...
0
votes
1answer
120 views

The closure of an open set in $\mathbb{R}^n$ is a manifold

I want to solve the following exercise from M. Spivak's Calculus on Manifolds (p. 114): (a) Let $A \subseteq \mathbb{R}^n$ be an open set such that boundary $A$ is an $(n-1)$-dimensional manifold. ...
-1
votes
2answers
35 views

How can we show that $S^0$ is a manifold?

Recall $S^n = \{ (x^0, ..., x^n) \in \mathbb{R}^{n+1}: {x^0}^2 + ... + {x^n}^2 = 1 \}$ $S^0$ is a very cute set on $\mathbb{R}$ consisting of points $\{-1, 1\}$. How can we show that it satisfies the ...
5
votes
0answers
46 views

Cartan geometry on manifolds with boundary

I was reading Sharpe's text on Cartan geometry, and I started to wonder: Does the theory change in any significant way if the base manifold for the Cartan principal bundle is allowed to be a smooth ...
0
votes
1answer
25 views

Connection and curve

Let $\nabla$ be a connection on a Riemannian manifold and let the differential of a curve be given by $$c'(t)=c_1'(t)\partial_1 + c_2'(t) \partial_2.$$ Now I was wondering how we define ...
0
votes
0answers
19 views

how many Poincare dodecahedrons fill Poincare dodecahedral space?

I was reading Jeffrey's Weeks "shape of space" and that made me wonder: Every spherical 3d manifold (3d Sphere) has a finite volume, The Poincare dodecahedral space is a 3d Sphere. this manifold ...
1
vote
0answers
34 views

Integral Over the N-Sphere in the framework of chains:

Integration over manifolds is commonly defined with object called chains. What about if I want to integrate the exterior derivative of a $k-form$ over the n-sphere and use Stokes theorem: ...
4
votes
4answers
89 views

Can someone illustrate the definition of manifold with a simple example?

In my text the definition of a differential manifold is given as follows: A subset $M$ of $\mathbb{R}^n$ is a $k$ dimensional manifold if $\forall x \in M$ there are open subsets $U$ and $V$ of ...
1
vote
0answers
37 views

Topological properties of regular and critical points and values

Let $f\colon M\rightarrow N$ be a smooth map between smooth manifolds. Consider the following two statements, the second one under the assumption The set of regular points of $f$ are open in $M$, ...
0
votes
0answers
30 views

The same manifold embedding in different ambient spaces

Suppose we have a manifold embedding in different ambient spaces ($R^{n_1}$,$R^{n_2}$,...,$R^{n_k}$), and we observe some sample data from these ambient spaces, our goal is to acquire the latent ...