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
352 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
925 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
1k 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
2answers
760 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
114 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
568 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
247 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
882 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
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
512 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
2answers
110 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
189 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
107 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
1answer
271 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
68 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
150 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
195 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
989 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
222 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
283 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
369 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
961 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
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
319 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
735 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
675 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
54 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
106 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
246 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
170 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
243 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
48 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
190 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
177 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
315 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
575 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
144 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 ...
8
votes
1answer
113 views

Is the Whitney embedding theorem tight for all $n$?

Whitney's embedding theorem states that any smooth $n$-manifold $M$ can be smoothly embedded into $\Bbb R^{2n}$. In dimension 1 this is tight: the circle cannot be embedded into $\Bbb R^1$. It is a ...
8
votes
1answer
68 views

Angle form, 1-form, proof verification.

Check that the $1$-form $d\,\text{arg}$ in $\mathbb{R}^2 - \{0\}$ is just the form$${{-y}\over{x^2 + y^2}}\,dx + {{x}\over{x^2 + y^2}}\,dy.$$ My solution is as follows. Observe that we can ...