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)

9
votes
3answers
356 views

Residual Finiteness of Fundamental Groups of Seifert Fibered Spaces

I'm trying to understand why, if $S$ is a Seifert fibered space, then $\pi_1(S)$ is residually finite. From theorems 12.2 and 11.10 in Hempel's "3-manifolds", we can work with a finite-sheeted ...
9
votes
2answers
937 views

A Banach Manifold with a Riemannian Metric?

Given an infinite dimensional manifold modeled on a Banach space, what does it mean for it to have a Riemannian metric? Does it necessarily mean that it is actually a Hilbert manifold? My ...
9
votes
1answer
156 views

Why are Banach manifolds not so popular?

Why are Banach and Frechet manifolds studied not even remotely as much as Euclidean manifolds? I assume like many other mathematical subjects, theory of manifolds has been developed much more than the ...
9
votes
3answers
1k views

Prerequisite for Petersen's Riemannian Geometry

A professor recently told me that if I can cover the chapters on curvature in Petersen's Riemannian geometry book (linked here) within the next few months then I can work on something with him. ...
9
votes
2answers
2k 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 ...
9
votes
1answer
207 views

Are these equivalent characterizations of closed manifolds?

Let $M$ be a connected smooth manifold without boundary. Are the following equivalent? $M$ is compact $M$ cannot be realized as a proper open subset $M\subset N$ of another connected manifold $N$. ...
9
votes
2answers
121 views

Detecting compactness from the ring of smooth functions

Given a smooth manifold $M$, is there some ring-theoretic property (preferably not mentioning $M$) such that $C^{\infty}(M)$ has this property if and only if $M$ is compact?
9
votes
1answer
922 views

How to show $\omega^n$ is a volume form in a symplectic manifold $(M, \omega)$?

I have the following problem: Let $(M, \omega)$ be a symplectic manifold. How can I show $$\omega^n=\underbrace{\omega\wedge \ldots\wedge \omega}_{n-times},$$ satisfies $\omega^n(p)\neq 0$ for all ...
9
votes
2answers
775 views

Is a covering space of a manifold always a manifold

Assume $M$ is a manifold and $q : E \to M$ is a covering map. I have been told a few times that a covering space of a manifold is again a manifold. Indeed, it is easy to verify that $E$ is both ...
9
votes
1answer
116 views

What are the 8 non-compact Euclidean 3-manifolds?

I have found several sources that mention that there are eight non-compact Euclidean 3-manifolds, with four orientable and four non-orientable. There are two standard references for this, but ...
9
votes
1answer
584 views

Easier proof about suspension of a manifold

For what manifolds $M$ is the suspension $\Sigma M$ also a manifold? By the suspension of a topological space $X$ (not necessarily a manifold), I mean the space $$\Sigma X = (X \times [0,1])/{\sim}$$ ...
9
votes
1answer
249 views

Is the square pyramid a manifold with corners?

An n-manifold with corners is topologically an n-manifold with boundary, but with a smooth structure that makes it locally diffeomorphic to $[0,\infty)^n$ instead of $[0,\infty) \times ...
9
votes
1answer
2k views

Isometries preserve geodesics

Let $f$ be an isometry (i.e a diffeomorphism which preserves the Riemannian metrics) between Riemannian manifolds $(M,g)$ and $(N,h).$ One can argue that $f$ also preserves the induced metrics $d_1, ...
9
votes
1answer
514 views

What are topological manifolds for you?

In this question different people understood different things when talking about topological manifolds. Some argued they they have to be Hausdorff, some that they have to be second countable and some, ...
9
votes
1answer
115 views

Does the fixed point in the Brouwer's Fixed-Point Theorem have to be an interior point?

As the question suggests, does the fixed point in the Brouwer's Fixed-Point Theorem have to be an interior point? Many thanks in advance. To be clear, I'm using the statement of Brouwer's Fixed-Point ...
9
votes
2answers
113 views

Properties of the category of smooth vector bundles over a smooth manifold

I am wondering if there are any sources that discuss the properties of the category of vector bundles over a smooth manifold. It seems that most differential geometry texts I've looked at avoid ...
9
votes
1answer
191 views

Lie algebra $\implies$ Lie group?

Lie's third theorem says that every finite-dimensional Lie algebra g over the real numbers is associated to a Lie group G. So say I have an $r-$ parameter group of symmetries whose tangents at the ...
9
votes
1answer
276 views

When does the quotient of a manifold with boundary become a manifold?

Given a manifold $M$ with boundary $\partial M \neq \varnothing$, when can we form a manifold $\tilde M$ from $M$ by collapsing the boundary? In the examples I've considered it seems like collapsing ...
9
votes
0answers
72 views

Is $T(M)$ necessarily equivalent to the normal bundle of $M$ in $\textbf{R}^{2n}$, if $M$ is totally real?

Consider real submanifolds, $M^n \subset \textbf{C}^n$. ($\textbf{C}^n \equiv (\textbf{R}^{2n}, J)$, where $J(x, y) = (-y, x)$). $M^n$ is totally real if $J(T_pM) \cap T_pM = 0$, for all $p \in M$. ...
9
votes
0answers
153 views

Codimension $1$ Embedding into $\mathbb{R}^{n+1}$

I am trying to determine which homotopy types can be realized by $n$-manifolds that have codimension one embeddings into $\mathbb{R}^{n+1}$. Suppose I have $X^n \subset \mathbb{R}^{n+1}$ and an ...
9
votes
0answers
62 views

Closed orientable three manifold with finite cover by $S^1 \times S^2$ or $T^3$

I have been thinking about a problem where I can conclude that I have a closed orientable three manifold which is covered by $S^1 \times S^2$ or $S^1 \times T^2$. I think that the geometrization ...
9
votes
0answers
198 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]$$ ...
8
votes
7answers
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 ...
8
votes
5answers
995 views

Uncountable disjoint union of $\mathbb{R}$

I'm doing 1.2 in Lee's Introduction to smooth manifolds: Prove that the disjoint union of uncountably many copies of $\mathbb{R}$ is not second countable. So first, let $I$ be the set over which we ...
8
votes
3answers
227 views

Why $\mathbb{RP}^2$ can not be embedded to $\mathbb{R}^3$?

Is there any answer of this question around basic theory of differentiable manifolds?
8
votes
3answers
284 views

Algebraic varieties in $\mathbb{C}^n$ cannot have interior points

I know that the zero-set of a non-zero polynomial in $\mathbb{C}[x_1,...,x_n]$ can not have interior points, but I'm trying to find a proof that doesn't require a knowledge of complex analysis like ...
8
votes
5answers
5k 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 ...
8
votes
4answers
372 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 ...
8
votes
2answers
989 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 ...
8
votes
2answers
682 views

The Heisenberg manifold

I am interested in the Heisenberg manifold, which is the quotient of the real Heisenberg group by the discrete Heisenberg (sub)group. It is a $3$-manifold which may be viewed as a circle bundle over ...
8
votes
2answers
1k views

Manifold with different differential structure but diffeomorphic

I'm new to differential geometry and reading Lee's book Manifold and Differential Geometry. In the first chapter, he mentioned the following two maps on $\mathbb{R}^n$: (1) $id: (x_1,x_2\cdots x_n) ...
8
votes
2answers
366 views

The reason behind the definition of manifold

I was going thorough the definition of a manifold and needless to say it wasn't something that I could digest at one go. Then I saw the following Quora link and Qiaochu's illustrative answer. It was ...
8
votes
2answers
327 views

What hyperbolic space *really* looks like

There are several models of hyperbolic space that are embedded in Euclidean space. For example, the following image depicts the Beltrami-Klein model of a hyperbolic plane: where geodesics are ...
8
votes
3answers
759 views

Why are differential forms more important than symmetric tensors?

In differential geometry, differential forms are totally anti-symmetric tensors and play an important role. I am led to wonder why do we not study totally symmetric tensors as much as forms. What ...
8
votes
2answers
684 views

Each point of $M$ has a smooth coordinate neighborhood in which the coordinate frame is orthonormal iff $g$ is flat

Let $(M,g)$ be a Riemannian manifold. Then I want to show that these are equivalent: (i) Each point of $M$ has a smooth coordinate neighborhood in which the coordinate frame is orthonormal. ...
8
votes
1answer
64 views

Can intersection of two manifolds be $xy=0$

I know that if two manifolds intersect transversally then their intersection is a manifold. But I was trying to construct an example where the intersection is not a manifold. But I still do not see ...
8
votes
1answer
124 views

Cancellation in topological product

I was wondering whether $M\times \mathbb{R}$ is homeomorphic to $N\times \mathbb{R}$ implies $M$ is homeomorphic to $N$, where let us say $M,N$ are smooth manifolds. (They are certainly homotopy ...
8
votes
2answers
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 ...
8
votes
1answer
109 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 ...
8
votes
2answers
258 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 ...
8
votes
1answer
174 views

What kind of tools do we have to detect when a manifold is a product of other manifolds?

What sort of tools are out there that can detect when a manifold is a product of other manifolds? For example, comparing the homology of the circle to the torus, the homology of the torus gets more ...
8
votes
3answers
132 views

Embeddings (how to prove them exactly)

For which of the following sets is the statement: '$A$ can be embedded in $B$' true? I can try to decide this intuitively but don't know if I'm right, and surely don't know how to formally prove it. ...
8
votes
2answers
245 views

Structure of a $ C^{\infty} $-manifold

I was studying differentiable manifolds (an introduction) and found the following example, but I am confused. Example The function \begin{align} f: &\mathbb{R}^{3} \to \mathbb{R}, \\ f: ...
8
votes
2answers
77 views

Diffeomorphism between $\mathbb{P}^n$ and the submanifold of $\mathbb{R}^{(n+1)^2}$ consisting of certain matrices?

Let $\mathbb{P}^n$ denote the set of all lines through the origin in the coordinates space $\mathbb{R}^{n+1}$. Define a function$$q: \mathbb{R}^{n+1} - \{0\} \to \mathbb{P}^n$$ by $q(x) = \mathbb{R}x ...
8
votes
1answer
49 views

Immersion of $M^n$ into $\mathbb{R}^n$, is $M^n$ orientable? Compact? [closed]

Say we have an immersion of $M^n$ into $\mathbb{R}^n$ (same dimension). I have two questions. Is $M^n$ orientable? Is $M^n$ compact? Thanks in advance!
8
votes
1answer
192 views

Is this a manifold?

I am trying to get started with differential geometry, and am having a difficult time wrapping my head around the concept of a manifold. One thing that would make it easier to understand would be if ...
8
votes
1answer
178 views

Geodesics and manifold

I apologize if my post is "silly" because I don't know much about riemannian geometry. I know that $M = (0,1)$ (the open unit interval) can be seen as a one-dimensional manifold. Since $M$ is an ...
8
votes
2answers
318 views

On the smooth structure of $\mathbb{R}P^n$ in Milnor's book on characteristic classes.

This question concerns problem 1-B in the book of Milnor and Stasheff part a. They first define the set $F:=\{f:\mathbb{R}P^n\rightarrow\mathbb{R} \mid \text{$f\circ q$ is smooth}\}$ where ...
8
votes
3answers
585 views

Lie algebra action from Lie group action: coordinates

Here's the setup: I have $SL(2;\mathbb{C})$ acting on $V = \mathbb{C}[z,w] = \oplus_d V_d$, where $V_d$ is the homogeneous complex polynomials of degree $d$. The action is precomposition: ...
8
votes
1answer
145 views

When can we recover a manifold when we attach a $2n$-cell to $S^n$?

I have a question related to this one. In my answer I was going to try and say something about the possible manifolds that might arise in this way, i.e. as mapping cones of elements of ...