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)

58
votes
5answers
2k views

Defining a manifold without reference to the reals

The standard definition I've seen for a manifold is basically that it's something that's locally the same as $\mathbb{R}^n$, without the metric structure normally associated with $\mathbb{R}^n$. ...
25
votes
3answers
2k views

Why are smooth manifolds defined to be paracompact?

The way I understand things, roughly speaking, the importance of smooth manifolds is that they form the category of topological spaces on which we can do calculus. The definition of smooth manifolds ...
13
votes
2answers
831 views

Why maximal atlas

This has been on the back of my mind for one whole semester now. Its possible that in my stupidity I am missing out on something simple. But, here goes: Let $M$ be a topological manifold. Now, even ...
2
votes
1answer
149 views

prove that the sphere with a hair in $IR^{3}$ is not locally Euclidean at q. Hence it cannot be a topological manifold.

A fundamental theorem of topology, the theorem on invariance of dimension, states that if two nonempty open sets $U ⊂ R_{n}$ and $V ⊂ R_{m}$ are homeomorphic, then n = m. prove that the sphere with a ...
18
votes
1answer
406 views

Decomposition of a manifold

As a kind of aside to this question, where one of the answers assumed that if $S^n=X \times Y$ then we can assume that $X$ and $Y$ are manifolds. If we have a manifold $M$, such that $M$ is ...
14
votes
2answers
529 views

Is $M=\{(x,|x|): x \in (-1, 1)\}$ not a differentiable manifold?

Let $M=\{(x,|x|): x \in (-1, 1)\}$. Then there is an atlas with only one coordinate chart $(M, (x, |x|) \mapsto x)$ for $M$. We don't need any coordinate transformation maps to worry about ...
8
votes
2answers
333 views

CW complexes and manifolds

What is the strongest known theorem (if any) that classify which manifolds can be built as CW complexes? Thank you guys. This is just a question I thought of during class, obviously not homework... ...
5
votes
1answer
242 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 ...
6
votes
7answers
5k views

Good introductory book on Calculus on Manifolds

I have already taken up to Multivariable Calculus, Linear Algebra and Diff Eq. I want to learn Calculus on Manifolds by myself, could you recommend a good introductory book on this subject? Should I ...
14
votes
2answers
480 views

The “Easiest” non-smoothable manifold

In 1960, Kervaire found the first example of a PL-manifold which does not admit a smooth structure. Since then, I understand that there are many examples of non-smoothable manifolds that can be built. ...
9
votes
1answer
394 views

Is Zorn's lemma required to prove the existence of a maximal atlas on a manifold?

In the definition of smooth manifolds, complex manifolds, and similar constructions, one starts by defining a property on neighborhoods in the space, specifying how they relate on overlapping ...
3
votes
3answers
234 views

Topological boundary vs geometric boundary

Let $M_1=B((0,0),1)=\{(x,y) \mid x^2+y^2<1\}$ $M_2=\{(x,y) \mid x^2+y^2\le1\}$ What are the interior of $M_1$ and $M_2$ ? And What are the boundary of $M_1$ and $M_2$ ? How to find them? ...
0
votes
2answers
88 views

Lie bracket in local coordinates. Find the formula $c^{k}$ in terms of $a^{i}$ and $b^{j}$

This is from T.U Loring's manifold book. I tried. But I didnt do the question. Please show me how to solve instructively and explicitly. I want to learn this topic. Thank you for help.
0
votes
1answer
73 views

The differential $i∗ : TpS_{2} → TpR_{3 }$ maps $ ∂/∂u|p,∂/∂v|p $ into $TpR_{3}. $ Find $(α_{i}, β_{i}, γ_{i})$

Hi! This was my homework. Prof. sent its answer. But I didnt understand how can this answer be reached? Please can someone explain this?
10
votes
2answers
1k views

What is the importance of the Poincaré conjecture?

The Poincaré conjecture is listed as one of the Millennium Prize Problems and has received significant attention from the media a few years ago when Grigori Perelman presented a proof of this ...
9
votes
1answer
373 views

The only 1-manifolds are $\mathbb R$ and $S^1$

I recall having heard somewhere that the only 1-manifolds (second countable, Hausdorff, connected spaces locally homeomorphic to $\mathbb R$) are $\mathbb R$ and $S^1$. Is this true? If so, is there a ...
7
votes
1answer
330 views

De Rham cohomology of $\mathbb{RP}^{n}$

Consider map from $S^{n}$ to $\mathbb{RP}^{n}$ $$\varphi:S^{n}\to\mathbb{RP}^{n}$$ which maps point $x\in S^{n}$ to corresponding direction in $\mathbb{R}^{n+1}$. This map induces map ...
4
votes
2answers
126 views

Any N dimensional manifold as a boundary of some N+1 dimensional manifold?

Is this statement true: Question: Can any N dimensional manifold be realized as a boundary of some N+1 dimensional manifold? If so/not, how to prove/disprove it? I read a TQFT paper from Edward ...
2
votes
1answer
202 views

Tensors constructed out of metric other than the Riemann curvature tensor

Let $(M,g_{ab})$ be a Riemannian (or Pseudo-Riemannian) manifold and let us define a tensor field as 'something' that transforms in an appropriate way under coordinate transformations. (This is how ...
13
votes
1answer
543 views

Showing $[0,1] \times [0,1]$ is a manifold with boundary

I'm familiarizing myself with manifolds. I tried to show $[0,1]\times[0,1]$ is a manifold with a boundary. Can you please tell me if my proof is correct: The definition for manifold with boundary: ...
9
votes
1answer
413 views

intrinsic proof that the grassmannian is a manifold

I was trying to prove that the grassmannian is a manifold without picking bases, is that possible? Here's what I've got, let's start from projective space. Take $V$ a vector space of dimension n, and ...
7
votes
2answers
673 views

Is there a Möbius torus?

Does the concept of a Möbius torus make sense: taking a cylinder (instead of a rectangle as in the case of the Möbius strip) and twisting it before joining its ends? Or will the resulting twisted ...
6
votes
1answer
355 views

Geodesics on the torus

[This is a follow-up to my question Is there a Möbius torus?] Mark L. Irons' paper The Curvature and Geodesics of the Torus gives a concise overview of the geodesics on the torus: There are five ...
5
votes
2answers
411 views

map of arbitrary degree from compact oriented manifold into sphere

This is a question from a qualifying exam. Let $X$ be a compact, oriented $n$-dimensional manifold. Show that for any $k \in \mathbb{Z}$, there exists a continuous map $f: X \to S^n$ of degree $k$. I ...
3
votes
2answers
108 views

tensor product of two vector bundles

Let $\xi$ and $\eta$ be two vector bundles over the same base space $B$. Then $\xi\otimes \eta$ is orientable if and only if $\xi$ and $\eta$ are both orientable. How to prove this true or not true? ...
3
votes
2answers
262 views

What is the codimension of matrices of rank $r$ as a manifold?

I'm reading through G&P's Differential Topology book, but I hit a wall at the end of section 4. There is a result stating The set $X=\{A\in M_{m\times n}(\mathbb{R}):\mathrm{rk}(A)=r\}$ is a ...
11
votes
1answer
493 views

Problem 3-38 in Spivak´s Calculus on Manifolds

This is not homework. Problem 3-38 reads: Let $A_{n}$ be a closed set contained in $(n,n+1)$. Suppose that $f:\mathbb{R}\rightarrow \mathbb{R}$ satisfies $\int_{A_{n}}f=(-1)^{n}/n$ and $f(x)=0$ for ...
5
votes
1answer
90 views

Volume of neighborhood of the curve

Let $\gamma:[0,1] \to \mathbb R^n$ be a smooth closed curve, such that $\gamma(0)=\gamma(1), \gamma'(0)=\gamma'(1), |\gamma'(a)|=1$ and let $B_r=\{x| \exists t, |\gamma(t)-x|<r\}$. How can i show ...
4
votes
1answer
241 views

Global sections of a tensor product of vector bundles on a smooth manifold

This question is similar to Conditions such that taking global sections of line bundles commutes with tensor product? and Tensor product of invertible sheaves except that I am concerned with ...
4
votes
1answer
122 views

Tangent bundle : is a manifold

I have studied what a differentiable manifold is, and what a tangent space at a given point is, and read the proof that its dimension is equal to the dimension of the manifold. Here a tangent vector ...
2
votes
0answers
150 views

Show that the projection map is Orientation preserving iff n is even

My question is that Orient the unit sphere $S^n$ in $\Bbb R^{n+1}$ as the boundary of the closed unit ball. Let $U$ be the upper hemisphere $U =${$x∈S^n |x^{n+1} >0$}. It is a coordinate chart on ...
0
votes
1answer
118 views

Problem about differential of a linear map

Please can you tell how to solve this problem clearly? Please solve this explanatorily. Thank you
8
votes
2answers
435 views

Smooth structure on the topological space

Consider a topological space $X$. Lee in Introduction to Smooth Manifolds wrote that it is impossible to introduce a smooth structure on the topological manifold based only on topology (i.e. ...
5
votes
1answer
168 views

Is a continuous map between smoothable manifolds always smoothable?

Let $X$ and $Y$ be topological manifolds and $f:X\to Y$ a continuous map. Suppose $X$ and $Y$ admit a differentiable structure (at least one). My question: is it always possible to choose a ...
4
votes
1answer
97 views

metric on the Euclidean Group

I am not an expert in this so I hope this doesn't sound so stupid: what is the common metric used when studying the Euclidean Group $\mathrm{E}(3)$. One could probably ask the same thing for ...
2
votes
1answer
136 views

Typo or additional hypotheses needed in problem 5, p.71 of Bredon's Topology and Geometry?

The problen can be foun in p.71 of Topology and Geometry. I state it below for convenience. Problem: Consider the half open real line $X=[0,\infty)$. Define a functional structure $F_{1}$ by taking ...
2
votes
1answer
180 views

How do I prove that a subset of a manifold is not a submanifold?

I know of ways to prove that a given subset of a smooth manifold is a smooth submanifold, but what if I have some subset which I suspect is not a smooth submanifold? What are some approaches to ...
0
votes
3answers
93 views

What dimensions are possible for contours of smooth non-constant $\mathbb R^n\to\mathbb R$ functions?

While for $n=2$ it is pretty clear that the contours of a non-constant $f:\mathbb R^n\to\mathbb R$ are either extrema (and therefore points) or (the union of) 1-dimensional isolines, for $n=3$ I am ...
0
votes
3answers
538 views

Why isn't $\mathbb{RP}^2$ orientable?

How to prove that $\mathbb{RP}^2$ isn't orientable? My book (do Carmo "Riemannian Geometry") gives a hint: "Show that it has a open subset diffeomorphic to the Möbius band", but I don't know even who ...
-1
votes
1answer
62 views

Is $S$ a regular submanifold?

$M=M_{n\times n}(\Bbb R)$ $S=\operatorname{SL}(n, \Bbb R) = \left \{ A \in M \mid \det(A)=1 \right \}$ $M$ is an $n^{2}$ dimensional $C^{\infty}$ manifold. Is $S$ a regular ...
26
votes
3answers
694 views

Sanity check about Wikipedia definition of differentiable manifold as a locally ringed space

Most textbooks introduce differentiable manifolds via atlases and charts. This has the advantage of being concrete, but the disadvantage that the local coordinates are usually completely irrelevant- ...
14
votes
3answers
919 views

concrete examples of tangent bundles of smooth manifolds for standard spaces

I'm having trouble visualizing what the topology/atlas of a tangent bundle $TM$ looks like, for a smooth manifold $M$. I know that $$\dim(TM)=2\dim(M).$$ Do the tangent bundles of the following ...
12
votes
2answers
738 views

Motivation behind the definition of a Manifold.

A manifold $M$ of dimension n is a topological space with the following properties: a) $M$ is Hausdorff b)$M$ is locally Euclidean of dimension n c) $M$ has a countable basis of open sets. Why is ...
17
votes
2answers
391 views

No hypersurface with odd Euler characteristic

Here is a classic problem which I encountered and could not solve: Prove that a simply connected closed smooth manifold has no closed sub-manifold of co-dimension $1$ with odd Euler ...
7
votes
2answers
120 views

Smooth surfaces that isn't the zero-set of $f(x,y,z)$

The zero-set of any smooth function $f(x,y,z)$ with a non-vanishing gradient is a smooth surface. I was wondering if the reverse is true: is every smooth surface in $E^3$ the zero-set of some smooth ...
11
votes
1answer
355 views

Second Stiefel-Whitney Class of a 3 Manifold

This is exercise 12.4 in Characteristic Classes by Milnor and Stasheff. The essential content of the exercise is to show that $w_2(TM)=0$, where $M$ is a closed, oriented 3-manifold, $TM$ its tangent ...
11
votes
1answer
651 views

is triangle a manifold?

Is a triangle (its sides and the region enclosed by its sides) in a 2D Euclidean space $\mathbb{E}^2$ a manifold? I was thinking to use the identity mapping as its charts, but for each point on the ...
10
votes
1answer
239 views

Infinite dimensional constant rank theorem

Suppose you have an analytic map $\phi : E \rightarrow \mathbb{C}^n$, where $E$ is a complex Banach space, and such that the rank of $D \phi$ is constant. Is it true then that the set ...
6
votes
1answer
276 views

Are these definitions of submanifold equivalent?

Let $M$ be a manifold – by which I mean a second countable Hausdorff smooth manifold. Here's an "obviously" correct definition of (embedded) submanifold: Definition A. A subspace $S$ of $M$ is a ...
5
votes
2answers
312 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 ...