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)

2
votes
1answer
87 views

How can a Kirby diagram fail to determine a handle decomposition?

I've read that a handle decomposition for 4-manifold determines a unique smooth structure, and I've also read that every 4-manifold admits a Kirby diagram. So when does a Kirby diagram fail to ...
1
vote
1answer
42 views

Basic examples topological manifolds with boundary

I've just started to study differential geometry and I've some problems with the first definitions. We have defined a topological manifold with boundary of dimension n as a topological space $M$ such ...
0
votes
0answers
37 views

n-dimensional lattice as a collection of lower dimensional spaces.

Suppose I have n orthogonal unit vectors (in Euclidean space). These unit vectors may be used to describe an n-dimensional unit hypercube. A subset of these unit vectors may be combined to make lower ...
2
votes
3answers
49 views

Group actions on manifolds - exponential map

Let $M$ be a smooth manifold. Suppose $K$ is a Lie group (with Lie algebra $\mathfrak{k}$) acting EDIT: TRANSITIVELY on $M$ from the left and $G$ is a Lie group (with Lie algebra $\mathfrak{g}$) ...
0
votes
0answers
14 views

Transitive group actions on Principal bundles

I have a question in regards to page 107 of Kobayashi & Nomizu's Foundations of Differential Geometry Setup: Let $\pi:P\rightarrow M$ be a principal bundle with structure group $G$ whose Lie ...
3
votes
0answers
21 views

Heegaard splitting via a Morse function - twisted union or not?

Let $M$ be a smooth, closed, connected, oriented 3-manifold and let $f: M \rightarrow \mathbb{R}$ be a self-indexing Morse function. Since $\frac{3}{2}$ is a regular value of $f$ it follows from Morse ...
0
votes
1answer
15 views

Critical and regular values of height functions on a closed hypersurface

Let $M$ be a closed connected hypersurface of $n$-dimensional in $\mathbb{R}^{n+1}=\{(x^1,\cdots,x^{n+1})\}$ and let $\nu$ be a smooth unit normal vector field of $M$ at $\mathbb{R}^{n+1}$, $H$ be the ...
0
votes
0answers
35 views

equivalent characterizations of manifolds such that configuration spaces are homotopy equivalent

Let $M$ and $N$ be manifolds. If $M$ is homeomorphic to $N$, then the $k$-th configuration spaces $F(M,k)$ is homeomorphic to $F(N,k)$. If $M$ is homotopy equivalent to $N$, then the $k$-th ...
6
votes
1answer
87 views

Tangent space manifold

Let M be a differentiable manifold of dimension m and also let $\{\xi_1,\dots,\xi_m\}\subset \text{T}_pM$ be an linearly independent set of the tangent bundle of M at a certain point $p\in M$. I have ...
3
votes
2answers
53 views

Push-forward of vector fields by local isometries

I am studying Riemannian Manifolds by John Lee, and there is this lemma: Lemma 7.2. The Riemann curvature endomorphism and curvature tensor are local isometry invariants. More precisely, if ...
1
vote
1answer
65 views

What's the geometrical meaning of immersion?

Does that just mean to different tangent vectors, their images are different tangent vectors?
1
vote
2answers
55 views

Does a proper map have to be continuous?

In Pollack's differential topology, the proper map is defined by the preimage of every compact set is compact. Here it doesn't require the map to be continuous. However, in his following claim, to a ...
3
votes
1answer
101 views

Looking for a good alternative to 'An introduction to manifolds' by Loring W. Tu

I'm currently studying some basic theory about manifolds from the book 'An introduction to manifolds' by Loring W. Tu. The problem I have with this book is that there are very little exercises, and ...
2
votes
1answer
61 views

Area form and surface area

I know how one can define the surface area via the charts of a surface in $\mathbb{R}^3.$ click here for instance Now, I read that the canonical surface area form for such a surface with surface ...
2
votes
1answer
54 views

Volume of Manifold with zero Lebesgue measure

Let $M$ be a smooth manifold in $\mathbb{R}^n$. If Lebesgue measure of $M$ is zero i.e $l(M)=0$, does it mean that volume of manifold is also zero i.e $Vol(M)=0$? Are they the same thing (volume and ...
4
votes
1answer
51 views

Local isometries preserve geodesics?

Question: It is well known that if $\varphi:M\to \tilde{M}$ is an isometry between Riemannian manifolds, then $\varphi$ maps geodesics of $M$ to geodesics of $\tilde{M}$. I am wondering if it is ...
0
votes
0answers
33 views

Isotopy: Definition

An isotopy is a homotopy from one embedding of a manifold $M$ in $N$ to another such that at every time, it is an embedding. In this definition, I am wondering why $M$ and $N$ are required to be ...
0
votes
0answers
18 views

Is every compact manifold with boundary a manifold of bounded geometry?

If $M$ is a compact Riemann manifold with boundary, does it have bounded geometry, which means that the injectivity radius of the manifold is positive and every covariant derivative of the Riemannian ...
1
vote
2answers
54 views

Action of the fundamental group

Suppose that $M$ is a smooth manifold. Is it true that the fundamental group $\pi_1(M)$ always acts on $M$? If so, how this action is defined? EDIT: Of course I want my action to be nontrivial, say ...
0
votes
2answers
27 views

Are $X=M \times [0,T]$ and $\partial X$ smooth compact manifolds when $M$ is smooth compact Riemannian manifold?

Let $X=M \times [0,T]$, where $M$ is a smooth and closed compact Riemannian manifold. I want to know if: $X$ is smooth compact manifold, and if $\partial X$ is smooth compact manifold? I am not ...
7
votes
1answer
137 views

Smooth map $S^1 \to S^2$ can not be surjective

Why cannot a smooth (or piecewise linear) map $S^1 \to S^2$ be surjective? There are space-filling curves, but the usual examples have very "twisty" definitions. UPD A bit of background for this ...
0
votes
0answers
30 views

Why do we require differential manifolds to be Hausdorff? [duplicate]

Among the requirements for a differential manifold $M$ is that it be connected and Hausdorff. What fails if a manifold is not Hausdorff?
0
votes
1answer
30 views

Transitive Lie group actions and surjectivity of maps

I am reading a paper at the moment and I have come across two statements which I want to understand. Here is the setup: Suppose that $G$ is a Lie group which acts on a manifold $E$ differentiably and ...
5
votes
1answer
85 views

Confused (disoriented?) by questions about orientation

I believe I have a reasonable basic understanding of orientation. Yet, i'm finding myself utterly confused when facing a specific question. Here are several examples: Exhibit an ordered basis ...
2
votes
0answers
15 views

Determining if an equation represents (?) a Riemann surface

This is my first exposure to Riemann surfaces. I have studied complex analysis in an introductory course, and spent the last few weeks learning a little bit of deeper theory with Conway's Functions of ...
2
votes
2answers
45 views

What is the Euclidean topology on $\mathbb{R}^0$ like?

I am trying to prove that a topological space $(X,\mathscr{T})$ is a $0$-manifold if and only if it is a countable discrete space. In the process I have to show that there exist a homeomorphism from a ...
0
votes
0answers
6 views

Maximally symmetric manifold with boundary and non-vanishing extrinsic curvature?

I was wondering if the following requirements are compatible: Given a $d$-dimensional manifold with boundary $M$ with $\partial M\neq \emptyset$ endowed with a metric $g$. The following conditions ...
2
votes
3answers
100 views

Homeomorphic manifolds have the same dimension

So I want to prove: If two manifolds $M$ and $N$ are homeomorphic then $dim(M) = m = n = dim(N)$. My idea was to use the property of the manifolds that they are locally homeomorphic to the ...
3
votes
1answer
47 views

Hermitian metric on $L=\mathcal{O}_{\mathbb{P^n}}(1)$ over the projective space

Consider the line bundle $L=\mathcal{O}_{\mathbb{P^n}}(1)$ over the projective space. Locally is descriebd by $\{U_a,g_{ab}\}$ where $U_a=\{z_a\neq0\}$ is the standard covering of the projective ...
2
votes
1answer
63 views

What is the dimension of the space of planes in $\Bbb R^3$?

What is the dimension of the space of planes in $\Bbb R^3$ and how do we reach the answer? Clarification: What I am searching for is what is the least number of parameters that I need. For example, ...
2
votes
0answers
25 views

Tubular neighborhood by restricting the Riemannian exponential map

Let $M$ be a Riemannian manifold (possibly non-compact, possibly non-complete) and $N\subseteq M$ a smooth submanifold (possibly non-compact). Does there exist a continuous $\mu\colon M\rightarrow ...
1
vote
1answer
48 views

Several statements about $\mathbb{R}$ with chart defined by $f(x)=x^3$

I think I managed to show this statements but I am not sure about it. Since this is common problem in differentiable manifolds I was wondering if anybody has (or may write) a solution. Let $X$ be a ...
0
votes
1answer
42 views

A closed set is not a submanifold

Can someone explain me why the set $A:=\{(x,y)\in \mathbb R^2: x\geq 0\}$ is not a submanifold? I also got another (easy) question: In our lecture we are always talking about submanifolds. We ...
1
vote
0answers
43 views

Jacobi fields and variations

I want to show that every Jacobi field is a variation of geodesics, i.e. let $Y: I \rightarrow TM$ be a Jacobi field along a geodesic $\gamma$, then I want to show that $Y$ can be written as a ...
3
votes
1answer
51 views

group cohomology of 3-manifolds

If $M$ is a closed aspherical 3-manifold with first fundamental group $G$, then cohomology groups of $G$ and $M$ are isomorphic because $M$ is a Eilenberg-MacLane space $K(G,1)$. In particular there ...
11
votes
0answers
145 views

Vector valued 2-forms which satisfy Jacobi Identity

Motivated by this MO question we ask the following two questions: 1)What is an example of a compact manifold $M$ which does not admit any smooth (1,2) tensor $\omega$ which restriction to each ...
1
vote
1answer
62 views

Understanding tangent space basis

Consider our manifold to be $\mathbb{R}^n$ with the Euclidean metric. In several texts that I've been reading, $\{\partial/\partial x_i\}$ evaluated at $p\in U \subset \mathbb{R}^n$ is given as the ...
0
votes
1answer
31 views

Continuity in definition of Induced Functional Structure

I have a really simple question, however I am confused. Bredon's Topology and Geometry gives definition of Induced Functional Structure as follows: Suppose $F_x$ is a functional structure on space ...
3
votes
1answer
44 views

Jacobi field strange condition.

I am currently reading a textbook (Kuehnel) saying that if $V,W \in T_pM$ are such that $\langle V,W \rangle =0$ and $\|V\|=\|W\|=1,$ then $Y(t):=D \exp(tV)(tW)$ is a Jacobi field. The thing is, I ...
4
votes
2answers
90 views

Is there a unique preferred connection on a general manifold?

I was wondering whether, for a given finite-dimensional manifold, the connection $\nabla$ exists and is uniquely defined? Afais for Riemannian manifolds, there exists always exactly one Levi-Civita ...
3
votes
1answer
69 views

Explaining the definition of vector bundles

Recall the definition of a vector bundle: Let $M$ be a topological space. A $k$-dimensional vector bundle over $M$ is a topological space $E$ with a surjective continuous map $\pi\colon E \to ...
3
votes
1answer
34 views

Definition of submanifolds by regular values

Let $f: M \rightarrow N$ and $q \in N$ be a regular value, then $f^{-1}(q)$ is a submanifold of $M$. Now assume that $q \in N$ is not a regular value, but you pick $K:=f^{-1}(q) \cap \{p \in M; ...
0
votes
1answer
37 views

Unit radial vector field

Lee's book defines the unit radial vector field in normal coordinates as $$ \partial_r:= \frac{x^i}{r(x)} \partial_i$$ and $r(x):=\sqrt{\sum_i (x^i)^2}$ Now this is a unit vector field iff ...
1
vote
0answers
32 views

Preimage of a small normal deformation under an embedding again a normal defomation?

Let $j\colon M\rightarrow W$ be a smooth embedding of smooth manifolds and assume $M$ and $N$ have Riemannian metrics, but $j$ is not necessarily an isometric embedding. Let $N\subseteq W$ be a ...
3
votes
1answer
35 views

Homology and Neighborhood

Let $X$ a connected manifold, $x \in X$ and $V$ a neighborhood of $x$. Assume $i:V \to X$ induce isomorphism between all homology groups. Does $X-p$ and $V-p$ still have the same homology groups ? ...
5
votes
2answers
54 views

Construct a diffeomorphism $\phi:M\to M$ such that $\phi(p)=q$ and also $d\phi(X_p)=Y_q$

PROBLEM: Construct a diffeomorphism $\phi:M\to M$ such that $\phi(p)=q$ and also $d\phi(X_p)=Y_q$, where $M$ is a connected smooth manifold and $p,q \in M$ , $X_p \in T_pM$ and $Y_q \in T_qM$ I know ...
2
votes
1answer
62 views

Surface area of a slightly deformed sphere

Consider the unit sphere, which can either be described by $x^2+y^2+z^2=1$ or by the equation $r(\theta,\phi)=1$, where $(r,\theta,\phi)$ are spherical polar coordinates. I define a deformed sphere ...
5
votes
0answers
57 views

Abstract definition of a differential operator

In Kolar, Michor, and Slovak, a differential operator is said to be a rule transforming sections of a fibred manifold $Y \to M$ into sections of another fibred manifold $Y' \to M'$. Is this is a ...
3
votes
0answers
26 views

The lie bracket as a limit

Let $M$ be a manifold and $f_t$ be the monoparametric group of local transformations generated by a vector field $X$. Suppose $w$ is a $k$-form and $x_1,\dots,x_k$ are vector fields. How can we see ...
2
votes
0answers
32 views

Let $p=(5,0,-4)$ and $v \in T_{(5,0,-4)}M$. Compute $(F^{*}\omega)_p(v)$.

Let me show my work before presenting the problem itself. Let $M=\{(x,y,z) \in \mathbb{R}^3 : x+y=5, x+z=cos^2y\}$. We can easily see that $M$ is a submanifold of $\mathbb{R}^3$ of dimension $1$. ...