# Tagged Questions

For questions on manifolds of dimension $n$, a topological space that near each point resembles $n$-dimensional Euclidean space.

927 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 ...
2k 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...
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$. ...
3k 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 ...
335 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 ...
371 views

### Orientation of hypersurface

Some books on mean curvature flow (e.g. Mantegazza, Ecker) state that an embedded hypersurface in $\mathbb{R}^{k+1}$ is orientable (Mantegazza page 3, Ecker page 110). In other words, they assume the ...
9k 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 ...
1k 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 ...
845 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 ...
953 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. ...
2k views

### Is every embedded submanifold globally a level set?

It's a well-known theorem (Corollary 8.10 in Lee Smooth) that given a smooth map of manifolds $\phi:M\rightarrow N$ and a regular value $p\in N$ of $\phi$, the level set $\phi^{-1}(p)\subset M$ is a ...
614 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 ...
473 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 ...
955 views

4k views

### Under what conditions the quotient space of a manifold is a manifold?

There are many operations we can do with topological spaces that when we apply to topological manifolds gives us back topological manifolds. The disjoint union and the product are examples of that. ...
1k 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 ...
2k 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 ...
396 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 ...
111 views

### Does there exist a $1$-form $\alpha$ with $d\alpha = \omega$?

Let $\omega := dx \wedge dy$ denote the standard area form on $\mathbb{R}^2$. As the question title suggests, does there exist a $1$-form $\alpha$ with $d\alpha = \omega$?
392 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 ...
1k views

### Why do we need Hausdorff-ness in definition of topological manifold?

Suppose $M^n$ is a topological manifold, then $M^n$ locally looks like $\mathbb{R}^n$. $M^n$ is locally Hausdorff, since $\mathbb{R}^n$ is Hausdorff and Hausdorff-ness is a topological invariant. ...
739 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 ...
204 views

465 views

### The double cone is not a surface.

My question is that A double cone ( also named as "circular cone") is not a surface. I know its reason. But I cannot show this mathematically. Suppose $\sigma : U \to S\cap W$ Is a surface ...
2k 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. ...
2k views

### The boundary of an $n$-manifold is an $n-1$-manifold

The following problem is from the book "Introduction to topological manifolds". Suppose $M$ is an $n$-dimensional manifold with boundary. Show that the boundary of $M$ is an $(n-1)$-dimensional ...
1k 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 ...
1k views

### Open subsets in a manifold as submanifold of the same dimension?

An open set in an $n$-manifold is clearly a submanifold of the same dimension as its containing manifold (see open manifolds). Now, given an $n$-manifold $M$, is it true that a set, to be the ...
1k 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 ...
259 views

### Do the singular matrices form a topological manifold

So the definition of manifold I'm using is that of a topological manifold (a topological space with an atlas of homeomorphisms to $\mathbb{R}^n$). I have two related questions: Is the set of ...
2k views

### Understanding tangent vectors

I just checked out this thread: help in understanding tangent vectors and I still have some problems understanding this. The tangent vector on a manifold at point $t_0$ is intuivitely \dot \gamma(...
555 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 orientable-...
633 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 ...
744 views

1k 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 ...
240 views

### Codimension 1 homology represented by Embedded Submanifold

I'm looking for a reference for the following statement: Given an oriented manifold $M$ and a class $\xi \in H_{n-1}(M)$, there is some embedded oriented submanifold $F^+ \hookrightarrow M$ such that ...
1k views