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)

6
votes
1answer
117 views

Differential in Lie groups

I am trying to make sense of the Lie group machinery and relate it to the calculus. Suppose that $\psi(t)=\phi(s)\phi(t), s, t \in I$. Where $\phi(t)$ is a one-parameter subgroup of the Lie group ...
6
votes
1answer
90 views

Orientability of Stiefel manifold $V_2(\mathbb R^4)$

What is an easy proof of orientability of Stiefel manifold $V_2(\mathbb{R}^4)$ (pairs of orthonormal vectors from $\mathbb{R}^4$ - subset of $\mathbb{R}^8$)? All proofs I found deal with Lie groups ...
6
votes
1answer
252 views

A problem from Spivak's Calculus on Manifolds

Notation As Spivak suggests, given $A\subset\mathbb R^n$, boundary $A$ denotes the topological boundary of $A$, i.e. $\overline A\cap\overline{A^c}$. Problem 5-3(a): Let $A\subset\mathbb R^n$ be ...
6
votes
1answer
276 views

Understanding Proof About an Immersion

I am studying the following proof for which an excerpt is provided below: Update: I have written out a fully-detailed proof of an argument that seeks verify the claim that $\partial \psi$ is ...
6
votes
0answers
76 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 ...
6
votes
0answers
109 views

Sobolev space on $M \times [0,\infty)$, $M$ compact closed manifold

Consider a manifold of the form $M \times [0,\infty)$, where $M$ is a closed compact manifold without boundary. So $M \times [0,\infty)$ is a semi-infinite cylinder. I want to know information about ...
6
votes
1answer
101 views

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ - I've got the gist, not sure how to write

If $f\in A_k(V)$ and $g\in A_l(V)$ show $i_v(f\wedge g)=i_vf\wedge g+(-1)^kf\wedge i_vg$ With $A_k(V)$ being the vector space of alternating k-tensors. for $f\in A_k(V)$ for some $v\in V$ we define ...
6
votes
1answer
191 views

Isotopy preserving inverse image $f_t^{-1}(V)$ of a homotopy

During a lecture I was given a bunch of easy propositions entitled as "observations" by the lecturer. But one of them seems more difficult and I have absolutely no idea how to "observe" it... I'd be ...
5
votes
3answers
652 views

On the Use of the Topology on Tangent Bundles

On learning about how to define smooth vector fields on a manifold $M$, I learned that one should first define a tangent bundle , $T(M)$, as $\cup T_p(M)$ together with a topology(smooth structure). ...
5
votes
2answers
514 views

Intuition for not-so-smooth manifolds

in standard text books on (smooth) manifolds, for example the known series by John M. Lee or Jeffrey Lee, you either deal with continuous manifolds, or with smooth manifolds. However, neither in ...
5
votes
4answers
3k views

Simpler definition of manifold

I'm new to topology but I must understand how it works to progress in my research. First, can anybody point me to a document that introduces topology in a "gentle" way. What pre-requisites do I need ...
5
votes
2answers
710 views

Pushforward of Lie Bracket

I am trying to figure out why the following equality is true : $$f_*[X,Y]=[f_*X,f_*Y]$$ where $f:M\rightarrow N$ is a diffeomorphism, $M$, $N$ are smooth manifolds, $X$, $Y$ are smooth vector fields ...
5
votes
3answers
197 views

Bijection between $P^2 (\mathbf R)$ and planes in $\mathbf R^3$?

Is it true that there is a bijection between planes through origin in $\mathbf R^3$ and the projective plane $P^2 (\mathbf R)$? It is a remark in a lecture note I am reading. I tried to prove it but ...
5
votes
4answers
269 views

Transition functions in manifold

Following is given as the definition of a manifold in a book which I am reading. Let $\{U_{\alpha}:\alpha\in I\}$ be an open covering of a Hausdorff topological space $X$ and $\phi_{\alpha}$ be ...
5
votes
4answers
187 views

Is $[0,1]$ a 1-manifold?

Is $[0,1]$ a 1-manifold? I would say no because at either endpoint the open sets containing it aren't homeomorphic to a 1-ball in $\mathbb R^1$.
5
votes
2answers
2k views

Manifold Explained

Is there a good explanation of a manifold on the web somewhere? The wikipedia article isn't really working for me. I was actually hoping for a whiteboard lecture on youtube, but can't find one. My ...
5
votes
2answers
646 views

Spin manifold and the second Stiefel-Whitney class

We know that: Spin structures will exist if and only if the second Stiefel-Whitney class $w_2(M)\in H^2(M,\mathbb Z/2)$ of $M$ vanishes. Can someone use simple words and logic to show why the ...
5
votes
2answers
148 views

What is $S^3/\Gamma$?

Let G is a group and H is a subgroup of G. I know $G/H$ is the quotient space but I have no idea about what $S^3/\Gamma$ is, where $S^3$ is the sphere and $\Gamma$ is a finite subgroup of $SO(4)$. In ...
5
votes
2answers
588 views

Manifolds and Charts

I have a very silly and basic question about finding charts for a manifold. The point is: I'm self learning differential geometry, however, I didn't find the answer for this in the book nor on the ...
5
votes
3answers
629 views

Geodesic on a plane

I guess that each geodesic on a plane is a straight line. Is it right? What can I use to prove it? I guess I have to use somehow Levi-Civita connection.
5
votes
3answers
180 views

Kernel of the Laplacian on a compact manifold

Is there a way to characterise the kernel of the Laplace-Beltrami operator on a compact manifold without boundary? Or is it just "the set of functions $u$ such that $-\Delta u = 0$?"
5
votes
1answer
70 views

Concerning the tangent space of an exotic $\mathbb R^4$

My geometric intuition is very poor, so my naive approach to this question is "if $M$ is an exotic $\mathbb R^4$, then $TM$ must be something like $\mathbb R^8$, which is not exotic". Of course, my ...
5
votes
2answers
187 views

Why is $\partial\partial M=\varnothing$?

Why is the border of the border of an oriented differentiable $n$-dimensional Manifold $M$ empty, that is $$\partial\partial M = \emptyset?$$
5
votes
2answers
1k views

Spivak's proof of Inverse Function Theorem

I am having trouble with Spivak's proof of the Inverse Function Theorem in his Calculus on Manifolds: 2-11 Theorem (Inverse Function Theorem). Suppose that $f: \mathbb{R}^n\to\mathbb{R}^n$ is ...
5
votes
1answer
311 views

$4$-form $ \omega \wedge \omega$ vanishes on $S^4$

If $\omega$ is a closed $2$-form on $S^4$, how can I show the $4$-form $ \omega \wedge \omega$ vanishes somewhere on $S^4$? I am guessing that the fact we're talking about the $2$-form being ...
5
votes
1answer
818 views

Manifold embedded in euclidean space with nontrivial normal bundle

Let $X$ be a differentiable $n$-manifold embedded in some $\mathbb{R}^{n+1}$. I have two questions. I have read that if $X$ is compact and orientable, then the normal bundle of the embedding is ...
5
votes
2answers
69 views

Cut-number of Klein bottle and other non-orientable surfaces

What is the maximum number $c$ (cut-number) of non-intersecting (edit: two-sided) circles on a Klein bottle $N_2$ and, in general, a surface $N_h$ with $h$ Möbius strips, such that cutting by these ...
5
votes
2answers
787 views

First proof of Poincaré Lemma

I know that a way of proving Poincare lemma is to use the homotopy invariance and contractibility of the Euclidean space. Is there is a way of doing it directly (without using the contractibility of ...
5
votes
5answers
682 views

Different definitions of a “one-form”

I started self-studying some differential geometry while using several different sources, but I'm confused about the notion of a one-form and how different places define it differently. Here are some ...
5
votes
3answers
360 views

Showing diffeomorphism between $S^1 \subset \mathbb{R}^2$ and $\mathbb{RP}^1$

I am trying to construct a diffeomorphism between $S^1 = \{x^2 + y^2 = 1; x,y \in \mathbb{R}\}$ with subspace topology and $\mathbb{R P}^1 = \{[x,y]: x,y \in \mathbb{R}; x \vee y \not = 0 \}$ with ...
5
votes
2answers
591 views

orthonormal vector fields

In a Riemannian manifold $(M^n,g)$, is it true that given a point $p$ we can find $n$ vector fields $X_i$ on a neighborhood $U$ of $p$ such that $g(X_i,X_j)(x)=\delta_{ij}$ with $x \in U$? It seems ...
5
votes
3answers
116 views

How much does $\operatorname{Aut}(H_1(S))$ determine a homeomorphism $S \to S$?

Let $S$ be an orientable compact surface. A homeomorphism $f: S \to S$ induces an isomorphism $f_{*}: H_1(S) \to H_1(S)$. How much can we say the converse? Namely, if we are given an element of ...
5
votes
1answer
322 views

Can any smooth manifold be realized as the zero set of some polynomials?

Is any real smooth manifold diffeomorphic to a real affine algebraic variety? (I.e. is there an "algebraic" Whitney embedding theorem?) And are all possible ways of realizing a manifold $M$ as an ...
5
votes
1answer
180 views

Different definitions of differential forms?

I am a physicist and was reading about differential forms in Classical Mechanics. Now, I thought that a two-form is a smooth map $\omega : M \rightarrow \Lambda(T^*M)$ so that a point $p$ on the ...
5
votes
1answer
196 views

Example of a submanifold $S\subseteq M$ that is an immersed submanifold is more than one way?

Known uniqueness results say that an embedded submanifold has a unique smooth structure making it an embedded submanifold with the subspace topology, and immersed submanifolds have a unique smooth ...
5
votes
2answers
170 views

Differentiable manifolds $\mathscr C^k$ vs. $\mathscr C^\infty$

I noticed that there exists a (in some sense) better definition of the tangent space via the dual of a certain quotient algebra which is easier to work with in some cases. This however only works for ...
5
votes
1answer
209 views

Is the configuration space a manifold? a CW complex?

The ordered configuration space of $n$ points in a topological space $X$ is defined as $F(X,n)=\{(x_1,\ldots,x_n)\in X^{n} | x_i\neq x_j \mbox{ for } i\neq j\}$ and the unordered configuration space ...
5
votes
1answer
412 views

$M/\Gamma$ is orientable iff the elements of $\Gamma$ are orientation-preserving

The probem is: Suppose $M$ is connected, orientable, smooth manifold and $\Gamma$ is a discrete group acting smoothly, freely, and properly on $M$. We say that the action is ...
5
votes
1answer
52 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 ...
5
votes
1answer
117 views

Is a bounded (Riemannian) manifold always totally bounded?

Let $(M,g)$ be a finite dimensional Riemannian manifold. Suppose it is bounded as a metric space, i.e. $$\sup \{ d(x,y) | x,y \in M \} < \infty$$ where $d$ is the distance induced by $g$. Is $M$ ...
5
votes
1answer
106 views

Is there any way to define differentiablity without any reference to the Euclidean space?

We define metric spaces based on the properties of the real numbers $\Bbb{R}$. In the same spirit we define smooth manifolds. But there is a more general and elegant way to formulate our intuition of ...
5
votes
1answer
190 views

Topologist's Sine Curve not a regular submanifold of $\mathbb{R^2}$?

I am trying to work out the details of following example from page 101 of Tu's An Introduction to Manifolds: Example 9.3. Let $\Gamma$ be the graph of the function $f(x) = \sin(1/x)$ on the ...
5
votes
2answers
897 views

Relationship Between Differential Forms and Vector Fields

I am trying reach an understanding of precisely how the space of differential forms is related to the space of vector fields. These are the definitions that I understand and am using for these ...
5
votes
2answers
185 views

Classical tensor analysis and Tensors on Manifolds

I learned tensors the bad way (Cartesian first, then curvilinear coordinate systems assuming a Euclidean background) and realize that I am in very bad shape trying to (finally) learn tensors on ...
5
votes
2answers
332 views

Why do folded concentric circles and rectangles form a hyperbolic paraboloid?

Here is a "self-forming" origami that I made from folding concentric circles - it would also happen if I folded concentric rectangles. How can the fold shapes such a saddle-like geometry?
5
votes
2answers
323 views

Compatibility of a connection and metric

Every Riemannian manifold admits a metric connection. Suppose $M $ is a manifold and $\nabla $ is an arbitrary connection on the tangent bundle. Does $M$ necessarily admit a metric such that $\nabla$ ...
5
votes
1answer
308 views

Functionally structured spaces and manifolds

The question requires some definitions that I have listed below for your convenience. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups. On a ...
5
votes
1answer
113 views

Integrating 2-form

In $\mathbb{R}^3$ I consider the compact 2-dimensional manifold $$ M=\left\{(x,y,z)\in\mathbb{R}^2: z=xy\right\} $$ which is orientated by the (global) map ...
5
votes
1answer
307 views

Hopf Fibration in Local Coordinates

I have the following task: Consider the unit sphere $\mathbb S^3$ in $\mathbb R^4$. We know $\mathbb CP^1\simeq \mathbb S^2$ (homeomorphic). Identifying $\mathbb R^4$ with $\mathbb C^2$, we have a ...
5
votes
2answers
697 views

Question about Lee's Introduction to Topological Manifolds

From page 2 in Lee's Introduction to topological manifolds: Question 1: What does "describe parametrically" exactly mean? Is it a synonym for "global coordinate chart"? (that is, an atlas ...