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)

7
votes
1answer
412 views

Vector field and integral curve

Let M a riemaniann manifold, $V$ a vector field in M, and $\phi_t$ the respective flow Let $p\in M$, and $\gamma$ the integral curve of $V$. Show that for all $v\in T_pM$ ...
7
votes
0answers
97 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 ...
7
votes
1answer
68 views

If M is a manifold of dimension $ n \neq0$ then M has no isolated points.

I am in doubt whether the following statement is true or false: "If M is a manifold of dimension $ n \neq0$ then M has no isolated points." The idea that made me find the true statement was as ...
7
votes
2answers
366 views

Seifert matrices and Arf invariant — Cinquefoil knot

I have computed the following Seifert matrix for the Cinquefoil knot: $$ S = \begin{pmatrix} 1 & -1 & -1 & -1 \\ 0 & 1 & 0 & 0 \\  0 & 1 & 1 & 0 \\ 0 ...
6
votes
3answers
582 views

Are all Lie groups Matrix Lie groups?

I have beard a bit about so-called matrix Lie groups. From what I understand (and I don't understand it well) a matrix Lie group is a closed subgroup of $GL_n(\mathbb{C})$. There is also the notion ...
6
votes
2answers
246 views

Unique factorization of manifolds?

I wonder if there is a result on the unique factorization of manifolds. Call a topological manifold to be indecomposable if it is not homeomorphic to a product of manifolds of positive dimension. Is ...
6
votes
2answers
687 views

Proof of whitney's embedding theorem?

While learning about the rigorous definition of manifolds, my text mentions that any $n$-dimensional manifold can be embedded in $\Bbb{R}^{2n}$, which is called Whitney's embedding theorem. I have ...
6
votes
3answers
182 views

For $n$ even, antipodal map of $S^n$ is homotopic to reflection and has degree $-1$?

How do I see that for $n$ even, the antipodal map of $S^n$ is homotopic to the reflection$$r(x_1, \dots, x_{n+1}) = (-x_1, x_2, \dots, x_{n+1}),$$and therefore has degree $-1$? Thanks for your time. ...
6
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 ...
6
votes
2answers
518 views

Question about definition of topological manifold

The following definition of topological manifold is given in Lee's Introduction to topological manifolds (2000) on page 33: A topological manifold is a second countable Hausdorff space that is ...
6
votes
2answers
353 views

Orientable double covers for non-orientable manifolds

If I have two non-orientable connected manifolds such that their orientable double covers are homeomorphic, can anything be said about the manifolds? Are they homeomorphic?
6
votes
3answers
253 views

How can one compare these two 4-manifolds

We would like to compare the following two real 4 dimensional manifolds: 1)$M$=The tangent bundle of $S^{2}$ 2)$N$= The total space of the canonical line bundle over $\mathbb{C}P^{1}\simeq S^{2}$ ...
6
votes
2answers
712 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 ...
6
votes
2answers
1k 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 ...
6
votes
1answer
136 views

If $M$ is a 4-dimensional, compact, simply connected manifold with boundary, what is the topology of $\partial M$?

I know if we have a compact simply connected 3-manifold with boundary, then the boundary will be $S^2$. The argument is as following 1) $H_1(M)\simeq 0$; 2) Poincare duality $H_2(M,\partial ...
6
votes
5answers
236 views

How would one define a “manifold” object in prose writing?

I have a question that I fear may raise some objection to the fact that it has been posted here, but I cannot think of a more appropriate place to pose it. I am not a mathematician; I'm a historian, ...
6
votes
2answers
267 views

This set is a manifold

let $S$ be the set of pairs $(x,y)$ where x,y are orthogonal unit vectors in $\mathbb R^3$. i am trying to show this is a topological manifold. for starters one needs to define a suitable topology on ...
6
votes
1answer
863 views

How to prove figure eight is not a manifold? [duplicate]

Possible Duplicate: A wedge sum of circles without the gluing point is not path connected I know that figure eight is not a manifold because its center has no neighborhood homeomorphic to ...
6
votes
2answers
113 views

$M$ orientable implies $H_{n-1}(M, \mathbb{Z})$ is free Abelian group. [closed]

Let $M$ be a compact connected $n$-manifold without boundary, where $n \ge 2$. How do I see that if $M$ is orientable, then $H_{n-1}(M, \mathbb{Z})$ is a free Abelian group?
6
votes
2answers
181 views

frustrating experience about differential geometry

I am felling rather frustrated now, after taking a long time to study differential geometry, but with little progress... Indeed my major is mainly numerical analysis. I am studying modern geometry, ...
6
votes
1answer
470 views

Clarification of notion of proper group action.

In a course on differential manifolds and Lie groups, the following theorem was stated, though never proven: Let $M$ and $N$ be smooth manifolds, and suppose $G$ is a Lie group acting on $M$. If ...
6
votes
1answer
334 views

Uniqueness of Smoothed Corners

Let $M^m$ be a smooth manifold with boundary. We may form a new topological manifold by "adjoining a handle to $M$", I.e. by choosing a smooth map $h : \partial \mathbb{D}^{\mu} \times ...
6
votes
2answers
1k views

$\mathbb{C}\mathbb{P}^1$ is homeomorphic to $S^2$

I just read on wikipedia that the the complex projective line is homeomorphic to the riemann sphere. How do I prove this? But, before that I have an extremely silly doubt that has been eating me. In ...
6
votes
2answers
403 views

Finitely generated singular homology

Let G be a finitely generated abelian group and M a compact manifold, I want to prove that $H_r(M,G)$ is finitely generated for $r\ge 0 $. First I was thinking if I could do induction over $r$ ...
6
votes
1answer
146 views

Is there any embedding theorem for fibre bundles?

I would like to know whether there is an embedding theorem for fibre bundles, like Whitney embedding theorem. When can a given fibre bundle be a subbundle of some higher dimensional bundle?
6
votes
1answer
603 views

Euler characteristic is equal to self-intersection number of zero-section?

As I recall (from Guillemin and Pollack "Differential Topology") the Euler characteristic of a (for my purposes, compact and oriented) smooth manifold X is defined as $\chi(X)=I(\Delta,\Delta)$, ...
6
votes
2answers
723 views

Lie bracket is a connection?

In Road to Reality, section 14.6 on Lie derivative Penrose writes: Now $\epsilon^2 [j,h]$ corresponds to an $O(\epsilon^2)$ gap in the ‘parallelogram’ whose initial sides are $e_j$ and $e_h$ at ...
6
votes
1answer
226 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 ...
6
votes
2answers
375 views

Why this topological space is not a topological manifold?

I'm having troubles to prove that the following space is not a topological manifold: Let $r:S^1\to S^1$ be a rotation of $\frac{2\pi}{3}$, i. e., ...
6
votes
1answer
521 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 ...
6
votes
2answers
95 views

(Anti-) Holomorphic significance?

What are holomorphic and anti-holomorphic components? Why don't we call them complex components and their conjugates? What is holomorphic coordinate transformation?
6
votes
2answers
219 views

homomorphisms of $C^{\infty}(\mathbb R^{n})$

Let $F: \mathbb R^{n} \to \mathbb R^{m} $ be a smooth map, then we have homomorphism of algebras $F^{*}: C^{\infty}(\mathbb R^{m}) \to C^{\infty}(\mathbb R^{n})$. Is it true that any homomorphism of ...
6
votes
1answer
359 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
1answer
201 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 ...
6
votes
2answers
260 views

Topological space M with partition of unity--->M paracompact. John Lee Problems

Suppose $M$ is a topological space with the property that for every open cover $X$ of $M$, there exists a partition of unity subordinate to $X$. Show that $M$ is paracompact.
6
votes
1answer
227 views

Orientability of Manifolds

Given that $f \colon \mathbb R^n \rightarrow \mathbb R$ is a smooth function and if $c \in \mathbb R$ is a regular value how would I go about showing that $f^{-1} (c)$ is an orientable manifold? ...
6
votes
2answers
123 views

How does smoothness prevent “singularities”?

This is a refinement of one of my earlier questions (I failed to put into words what I really wanted to ask). First of all, I'm not sure "singularity" is the correct word to use hence the quotes. ...
6
votes
1answer
57 views

A product of smooth manifolds together with one smooth manifold with boundary is a smooth manifold with boundary

Suppose $M_1, \dots M_k$ are smooth manifolds and $N$ is a smooth manifold with boundary. Then how do I see that $M_1 \times \dots \times M_k \times N$ is a smooth manifold with boundary, ...
6
votes
3answers
93 views

The set of all matrix with rank $n-1$ is a hypersurface.

Prove that the set $M$ of $n\times n$ matrices with rank $n-1$ is a hypersurface in $\mathbb{R}^{n²}$ and find the tangent space at $A=(a_{ij})$ where $a_{ij}=\begin{cases} \delta_{ij} \ \text{if} ...
6
votes
1answer
148 views

Differential equation on a manifold

I want to solve this problem : M is a manifold. Let $t\mapsto \gamma(t)$ be an integral curve of a vector field X on M. Suppose there exists $t_0$ such that $\gamma'(t_0)=0$. Prove that ...
6
votes
1answer
217 views

Proving that Hermitian Metric yields Hermitian Structure on Complex Manifold

Let $g$ be a Riemannian metric on an almost complex manifold $(M,J)$. Suppose $g$ is Hermitian in the sense that $$g(JX,JY) = g(X,Y)$$ Let $\Omega$ be the associated fundamental (Kahler) form ...
6
votes
1answer
357 views

Uniformization Theorem for compact surface

Why in proof of proposition 6 of http://arxiv.org/abs/0909.1665, they claim that if a embedded surfaces $\Sigma^2 \subset (M^3,g)$ is homeomorphic to $\mathbb{RP}^2$, where $M$ is compact manifold, ...
6
votes
1answer
637 views

Is $[0,1]$ an *oriented* manifold with boundary? (and Stokes theorem)

The definitions I am using are a manifold with boundary is something locally homeomorphic to $(0,1] \times \mathbb{R}^n$ or $\mathbb{R}^n$. an oriented manifold is one where the transition functions ...
6
votes
2answers
594 views

Which mapping tori are Seifert manifolds?

According to Orlik's lecture notes on Seifert manifolds (and the Wikipedia page on Seifert fiber spaces), a mapping torus over a 2-torus is a Seifert manifold if and only if it is the mapping torus of ...
6
votes
3answers
209 views

Fundamental groups of codimension 1 manifold complements

Let $M$ be a smooth manifold of dimension at most $3$ and $S \subset M$ a smoothly embedded compact connected codimension $1$ manifold, separating $M$ into two components, $M_1$ and $M_2$. I wonder ...
6
votes
2answers
57 views

Do two embeddings of a Euclidean space into a higher dimensional one only differ by a diffeomorphism?

Let $d\le n$ and $$f,g\colon\mathbb{R}^d\hookrightarrow\mathbb{R}^n$$ be two smooth embeddings. Is there a diffeomorphism $$\phi\colon\mathbb{R}^n\rightarrow \mathbb{R}^n,$$ such that $$f=\phi\circ ...
6
votes
1answer
149 views

Tautological line bundle over $\mathbb{RP}^n$ isomorphic to normal bundle? Also “splitting” of transition functions

Hallo fellow mathematicians. I try to understand why the normal bundle of $\mathbb{PR}^n$ is isomorphic (in the category of vector bundles) to the tautological line Bundle. More aptly, why ...
6
votes
3answers
455 views

connected manifolds are path connected

prove every connected manifold is path connected manifold . my thought: connected space : Let $ X$ be a topological space. A separation of $ X $ is a pair $U, V$ of disjoint nonempty ...
6
votes
1answer
182 views

How to find the integral curves that are orbits of one-parameter groups?

Consider $\mathbb{R}^2$ with standard symplectic structure and inner product. Consider a Hamiltonian $$H=(x,y)A(x,y)^t$$ where $$A=\begin{pmatrix} \alpha & \beta \\ \beta & \delta ...
6
votes
1answer
100 views

If it looks like a solid torus, walks like a solid torus, and quacks like a solid torus, is it a solid torus?

If an orientable 3-manifold $M$ has boundary the torus $S^1\times S^1$ and deform retracts to a solid torus $S^1\times D^2$, is it necessarily homeomorphic to a solid torus? Equivalently, if the ...