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)

1
vote
1answer
47 views

A Submanifold $M$ of $\Bbb C^N$

I have a Proposition in my book, and I write here: For every $p \in M$, with $M$ be a hypersurface in $\Bbb C^N$ the following hold. \begin{align*} \mathcal V_p &= \left \{ X \in \Bbb C ...
4
votes
0answers
102 views

Surgery presentations and gluing

It is well known that every closed oriented 3dimensional manifold can be obtained from a framed link in $S^3$. Let $M$ and $N$ be topological 3-manifolds with boundary such that boundaries $\partial ...
1
vote
2answers
59 views

Explanation of non-orientability of the Möbius band

I have read about the orientation of manifold in the Tu's book. The book is very readable but the first example about non-orientable manifold is seemly hard to understand. On page 208, he gave an ...
1
vote
3answers
52 views

$f: \mathbb{R}^2 \to \mathbb{R}$ is a continuously differentiable function (of class $C^1$). Show that mapping f can not be one-to-one mapping.

$f: \mathbb{R}^2 \to \mathbb{R}$ is a continuously differentiable function (of class $C^1$). Show that mapping $f$ cannot be one-to-one mapping. Let $D_1F(x,y) \neq 0$ for all $(x,y)$ for some open ...
6
votes
1answer
97 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 ...
2
votes
1answer
56 views

If $b$ is a regular value of $f$, $f^{-1}(-\infty,b]$ is a regular domain?

I'm trying to prove the first part of Proposition 5.47 of Lee's Smooth Manifolds, which is left to the reader. It says Suppose $M^m$ is a smooth manifold, and $f\colon M\to\mathbb{R}$ smooth. For ...
4
votes
1answer
97 views

Almost all subgroups of a Lie group are free

I am currently reading this paper by Epstein. I need help with understanding the proof. Specifically, I have the following two questions. Let $w\colon G\to H$ be an analytic mapping between ...
0
votes
0answers
31 views

Doubt about local flatness of low dimensional embeddings

I would like to know if it is possible to have a simple curve $\gamma $ on a surface $S$ such that $\gamma$ is compact and embedded (i.e. with respect to the topology induced from $S$ it is ...
4
votes
1answer
79 views

Example of a submanifold $S\subseteq M$ that is an immersed submanifold is more than one way?

Known uniqueness results say that an embedded submanifold has a unique smooth structure making it an embedded submanifold with the subspace topology, and immersed submanifolds have a unique smooth ...
4
votes
3answers
139 views

Kernel of the Laplacian on a compact manifold

Is there a way to characterise the kernel of the Laplace-Beltrami operator on a compact manifold without boundary? Or is it just "the set of functions $u$ such that $-\Delta u = 0$?"
3
votes
0answers
38 views

Brief summary of simplicial, CW and manifold notions

I tried to summarize the relations between the following notions of: a manifold (smooth, topological and PL), simpilicial complex, CW complex. However I found some inconsistencies, which may be not a ...
2
votes
1answer
45 views

When gluing maps are isotopic?

Let $M$ and $M'$ be compact orientable connected topological 3-manifolds. (One may need more conditions to answer the question.) Suppose we have two homeomorphisms $f$ and $g$ from the boundary ...
0
votes
1answer
33 views

Problem in the proof that $S^n$ is a $n$-dimensional smooth submanifold of $\mathbb R^{n+1}$.

I have the following definition: Definition: $M\subset\mathbb R^{n+k}$ is a $n$-dimensional submanifold of class $C^{p}$ of $\mathbb R^{n+k}$ if for every $x\in M$ there is a neighbourhood $U$ of $x$ ...
1
vote
0answers
40 views

differential form: a question in Novikov's book

I met a problem when reading the book of Novikov et al. "Modern geometry, vol 1". In page 200 of the book (GTM 93, English version), they say for 2-form $F$, $$ (F\wedge F)_{0123}=-{1\over ...
2
votes
1answer
57 views

Boundary connected sum of manifolds

I have two related questions about the boundary connected sum of manifolds with boundaries. Let $T=S^1 \times S^1$ be a torus and let $X=T \times [0, 1]$ be the cylinder over the torus. Let $X'$ be a ...
3
votes
0answers
39 views

References on the relations between Top, Diff and PL

I have heard many times informal statements like "differentiable and pl manifolds are essentially the same for such and such dimensions", but I would like to know what they mean exactly and how such ...
1
vote
1answer
60 views

Are the topology of a manifold and the topology induced by the metric of a manifold the same?

I am a physics student trying to understand in a rigorous way what a manifold is so please bear with me. Ok, so I am just learning what a topology is and from what I have understood up till now is ...
3
votes
0answers
32 views

Existence of orientation-reversing automorphisms

Let $M$ be a connected orientable manifold (I don't really care about which category of manifolds we should work in). Since I read that there are nice manidolds without orientation-reversing ...
0
votes
1answer
52 views

Simple example of $X$ with torsion in $H^1(X,\mathbb{Z})$?

Question: Is there a simple example of a space $X$ possessing torsion in its first integral cohomology group $H^1(X,\mathbb{Z})$? For reasonable spaces $X$, e.g. CW-complexes, one has ...
2
votes
1answer
55 views

Unit circle can't be covered by one chart

I am hoping that someone can give me a proof showing why the unit circle cannot be covered by one coordinate chart, or a reference where I can find a proof.
3
votes
1answer
52 views

quotient by a group that acts almost freely

How can I show that if a compact lie group G acts almost freely and smoothly on a manifold M, then M/G is Hausdorff? (an action is almost free if $G_x$ is finite for all x $\in$ M)
1
vote
2answers
70 views

Is there any difference between a flat manifold and an affine space?

What is the difference, if any, between a flat manifold (in which the Riemann tensor vanished identically) and an affine space?
5
votes
1answer
87 views

Interpretation of generalized eigenvector in orbits

First of all, this is my fourth question about dynamical systems in a week, sorry for that. Considering a linear bidimensional dynamical (autonomous) system, the orbits can be plotted in the phase ...
1
vote
0answers
53 views

Central manifold theorem => Stable/unstable manifold?

I'm a bit confused why we always separate the stable/unstable manifold theorem and the central manifold theorem. The stable/unstable manifold theorem applies to a hyperbolic point ...
2
votes
1answer
45 views

An isomorphism between homology and cohomology with $\mathbb{Z}_2$ coefficients

In the proof of a theorem we did in a class (namely: if $M$ is an odd-dimensional, closed manifold, then $\chi(M)=0$), there's the following step: $$H_k(M;\mathbb{Z}_2)\cong H^k(M;\mathbb{Z}_2)$$ ...
3
votes
0answers
48 views

How to construct a diffeomorphism with $p_k \mapsto q_k$?

How to prove the following property? I cannot do anything. Let $M$ be a connected paracompact smooth manifold of dimension $m\geq 2$. Let $(p_k), (q_k)_{k\in \mathbb{N}}$ be sequences on $M$ which ...
1
vote
1answer
62 views

If $M$ is a compact manifold what does $\partial M$ mean?

In the generalized form of stokes theorem it states that the integral of the $k+1$ differential form of an operator over a compact manifold $M$ is equivalent to the integral of the $k$ differential ...
1
vote
0answers
35 views

A question about the boundary points of manifolds.

A topological $n$-manifold is a second countable Hausdorff space such that every point has a neighbourhood which is homeomorphic to an open ball centred at the origin in $\Bbb{R}^n$. The "centred at ...
4
votes
1answer
58 views

Looking for proof that $SO(3)$ is a submanifold of $\mathbb R^3$

It seems to be taken for granted in all sources that $SO(3)$ is a submanifold of $\mathbb R^9$. However, the one proof of this that I have been able to find has a step or two that doesn't make alot ...
1
vote
1answer
31 views

Example of complete not-connected riemannian manifold

Are there examples of complete Riemannian manifolds which are not connected ? This question follows my previous question. The more I think about it and the less I'm convinced it exists.
0
votes
1answer
29 views

A question about manifolds with boundaries.

My topology textbook says the following: Let $S\subset \Bbb{R^2}$ be a closed disc. Then every point in $S$ is contained in a neighbourhood which is homeomorphic to that portion of a ball in ...
2
votes
1answer
75 views

Riemannian metric and geodesic

For all $p \in \mathbb{R} \smallsetminus \lbrace 0,1 \rbrace$, let $\displaystyle M(p)=\frac{1}{p^{2}(p-1)^{2}}$. Then, let $g_{p} \, : \, (u,v) \, \longmapsto \, uM(p)v$. I am not sure about the ...
0
votes
1answer
107 views

Example of Something That's Not A Manifold

Two examples of non-manifolds that I know are the cross and the cone. Also the sphere with a hair isn't a topological manifold. But what's an example of a topological space $X$ such that $X$ is not a ...
0
votes
1answer
38 views

Condition for Orientability of Manifold

Let $M^n$, $n>2$ be a manifold and let $f:D\rightarrow M$ be an embedding of the closed $n-$disk in $M$. Prove or Disprove: $M$ orientable iff $M-f(D)$ is orientable. $M$ is orientable iff all ...
2
votes
1answer
34 views

How can we show a data set satisfies the manifold assumption?

In machine learning, we often assume that a data set lies on a low-dimensional manifold (the manifold assumption), but is there any formal proof saying that assuming the data set satisfies certain ...
2
votes
1answer
46 views

Quotient of Unit Quaternions by Subgoup (Lie Groups)

Let $G \leq Sp(1)\cong S^3$ (unit quaternions) be a discrete subgroup of order 120 (the Binary Icosahedral Group, not the other one), with presentation $G=<s,t| s^2=t^3=(st)^5>$. $\hspace{2mm}G$ ...
2
votes
1answer
49 views

Is $\mathbb{R}P^n$ “two-sided” in $\mathbb{R}P^{n+1}$

i.e. Does $\mathbb{R}P^n$ have a tubular neighborhood $N$ such that $N-\mathbb{R}P^n$ is disconnected. My guess is yes, but don't know how to show it convincingly ( or maybe only for $n$ odd, I'm ...
1
vote
0answers
47 views

Manifold has uncountable many smooth stuctures if it has one

This is the Problem 1-6 of John Lee's Introduction to smooth manifold: Let $M$ be a nonempty topological manifold of dimension $n\geq1$. If $M$ has a smooth structure, show that it has uncountably ...
1
vote
1answer
25 views

Inverse Image of a Regular Value an Orientable Submanifold

Let $f:M^n \rightarrow \mathbb{R}$ be a smooth map, and let $c\in N$ be a regular value. When is $f^{-1}(c)$ an orientable manifold? Note: I know by regular value thm, $f^{-1}(c)$ is a smooth $n-1$ ...
0
votes
1answer
36 views

Estimate for boundary points and exterior normal vector of bounded domain of class $C^2$

Consider a bounded open set $\Omega\subset\mathbb{R}^d$, s.t. the boundary set $\partial \Omega$ is a manifold of class $C^2$. Let $x,x_0\in\partial\Omega$ be boundary points and $\nu_x$ the exterior ...
3
votes
1answer
64 views

What's the Differential of this Map $f:S^3\rightarrow \mathbb{R}$

$f:S^3 \rightarrow \mathbb{R}$ is defined as $f(x,y,z,w)=x+zw$, where $S^3= \{(x,y,z,w) | x^2 +y^2 +z^2 +w^2 =1\}$ I tried using a stereographic chart but that got ugly. The function is so simple I ...
4
votes
0answers
54 views

Gluing two solid tori along their boundary resulting in a topological manifold

The following question is from a past qualifying exam. Take two solid tori $D^2 \times S^1$, and construct the space $X$ by identifying their boundaries via the map $f \colon \partial D^2 \times S^1 ...
9
votes
2answers
204 views

Is there a retraction of a non-orientable manifold to its boundary?

It's easy to show using Stokes theorem that a compact orientable manifold with boundary cannot retract to its boundary, by choosing a volume form. But for the non-orientable case I don't know if this ...
3
votes
0answers
49 views

Second fundamental form of a graph of a function using frame fields

I am trying to recover the second fundamental form $II$ for the graph $\Gamma(f)$ of a smooth real function $f$ in the Euclidean space $\mathbb{R}^3$ using first order frame fields. I have worked with ...
1
vote
1answer
35 views

Difference betwee parameterization and embedding of manifolds

What is the difference between embedding and parameterization? Why, for example, we say Gauss parameterization of a convex hypersurfaces, and we don't call it an embedding?
7
votes
2answers
121 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 ...
1
vote
3answers
80 views

May directed graph be embedded into manifold?

May directed graph be embedded into manifold?How ?and what is the condition?
1
vote
1answer
31 views

A bounded domain can be considered as a compact manifold?

A bounded domain $\Omega$ with smooth boundary $\Gamma$ can be considered as a compact connect Riemannian manifold?
0
votes
1answer
14 views

Reference for transformation of integrals over Lipschitz boundaries

Let $D\subseteq\mathbb{R}^d$, $d\ge 2$, be a bounded Lipschitz domain. Then according to page 314 of [Function spaces, Alois Kufner, 1977] one can define a surface integral of a real valued function ...
3
votes
0answers
64 views

Submanifold of $2\times 2$ Complex Matrices Using Transversality?

Let $M$ be the set of all $2\times 2$ complex matrices with $a_{21}=\bar a_{12}$. $M$ is a smooth manifold diffeomorphic to $\mathbb{R}^6$. Let $W$ be the subset consisting of all matrices in $M$ with ...