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)

0
votes
1answer
17 views

Is there a smooth map from the square to the deltoid?

Is there a $C^\infty$ map between a unit square in $\mathbb R^2$ and a deltoid like this one The deltoid is obtained by varying the angles $\theta_1$, $\theta_2$ in the equations \begin{align} x_2 ...
2
votes
1answer
29 views

Question about vector fields and Lie group

Notation: $\chi(G)$ is the set of smooth vector fields on Lie group $G$, which in fact forms a vector space. Given a Lie group $G$, show that there exists a smooth vector field $X\in \chi(G)$, ...
38
votes
0answers
995 views

What is the algebraic structure of functions with fixed points?

So I just noticed that the set of functions with a fixed point $$f(x_0)=x_0,$$ are closed under composition $$(f\circ g)(x):=g(f(x)),$$ and with $e(x)=x$, the inverible functions even seem to form ...
2
votes
2answers
101 views

Expression for Laplace-Beltrami on sphere?

Is there a good expression for the Laplace-Beltrami on a function $u$ on a sphere or a circle of radius $R>0$ in terms of the Laplacian on ambient space? There is a formula on Wikipedia for the ...
0
votes
0answers
22 views

define distance in a manifold over the reals

G is a Hausdorff manifold over the reals with a finite atlas: $\exists m$ $G=\bigcup_{1 \leq i \leq n}U_i$, $g_i:U_i \to g_i(U_i) \subseteq \mathbb{R}^m$. Can I somehow define a metric inside G, ...
0
votes
0answers
12 views

Conditions for the partition of unity in general topology

While I am reading "An Introduction to Manifolds" by Loring W. Tu, I come to see the above theorem. I followed the proof but got a question on (ii). We are talking about smooth manifolds. Why do we ...
4
votes
1answer
32 views

Definition of tangent vector

I have a small bit of confusion with the definition my text is providing me with for a tangent vector. Given a manifold $M$, it is first stated that to define a tangent vector, a curve $c:(a,b) ...
0
votes
0answers
23 views

Coordinate Systems on Smooth Manifold [duplicate]

Let $M=\lbrace{({y^{2}}+{z^{2}},y,z): y>0}\rbrace$ be a manifold and let $F(x,y,z)=({y+z},{e^{z}})$ for all $ (x,y,z)$ in $M$. Show that $F$ is a coordinate system for $M$ and find $F(M)$. Can some ...
0
votes
0answers
28 views

Coordinate System on Manifold [on hold]

Let $M=\lbrace{({y^{2}}+{z^{2}},y,z): y>0}\rbrace$ be a manifold and let $F(x,y,z)=({y+z},{e^{z}})$ for all $ (x,y,z)$ in $M$. Show that $F$ is a coordinate system for $M$ and find $F(M)$. Can some ...
4
votes
1answer
21 views

Slice of a coordinate system in a manifold

In the book - Foundations of differentiable manifolds and Lie groups by Frank Warner, the definition of a slice is as under. Suppose that $(U,\phi)$ is a coordinate system on $M$ (dimension $d$) with ...
-1
votes
0answers
41 views

Is $(\mathbb{R},+)$ a smooth manifold?

I feel like $(\mathbb{R},+)$ is, but I'm not really sure. How would I know whether or not it is?
0
votes
0answers
22 views

Finding a formula for a $C^{\infty}$ 1-form $\omega$.

Let me elaborate more. Suppose that $(U, x^1, ... , x^n)$ and $(V, y^1, ... , y^n)$ are two charts on $M$ with a nonempty overlap $U \cap V$. Then a $C^{\infty}$ 1-form $\omega$ on $U \cap V$ has two ...
1
vote
0answers
25 views

Product Manifolds and Tangent spaces

Let $M\subset{E^{n}}$ be an r manifold and $N\subset{E^{m}}$ be an s manifold. Regarding $E^{m+n}$ as the Cartesian product $E^{n}\times{E^{m}}$, show that $M\times{N}$ is an (r+s)manifold. Show that ...
0
votes
0answers
18 views

Tangent spaces on Manifold

Let M be an $r$ manifold and $g$ be a regular transformation from $ \Delta\subset{E^{r}}$ in to M. Show that $Dg(t_{0})(k)$ is a tangent vector to M at $x_{0}= {g(t_{0})}$, for any vector ...
0
votes
1answer
29 views

k+1 Differential form

Consider the k-form given by, $ w = \sum_{i_{1}<i_{2}<...<i_{k}} w_{i_{1}i_{2}...i_{k}} dx^{i_{1}}\wedge dx^{i_{2}}\wedge...\wedge dx^{i_{k}}$ Define $k+1$ form $dw$ , the differential of ...
5
votes
0answers
45 views

Fixed Point Involutions

In recent reading on Riemann surfaces and complex manifolds (primary Miranda with a few random finds online), I encountered the notion of involutions, in particular fixed point involutions. We recall ...
2
votes
1answer
39 views

Proving a set of $2\times 3$ matrices is a manifold?

The way I have always been told to check if something is a manifold (I haven't had a whole lot of experience with them), is to check if the derivative of the function representing the loci of the ...
1
vote
0answers
19 views

Directional, differential and lie derivatives on manifolds intuition?

Trying to translate elementary multivariable calculus into the language of manifolds: Is the directional derivative on a manifold just a way of finding the rate of change of a vector in a single ...
1
vote
0answers
20 views

John Hempel's proof of residual finiteness of surface groups

John Hempel proved (http://www.ams.org/journals/proc/1972-032-01/S0002-9939-1972-0295352-2/S0002-9939-1972-0295352-2.pdf ) that fundamental groups of 2-manifolds are residually finite. I want to ...
5
votes
1answer
66 views

Is a bounded (Riemannian) manifold always totally bounded?

Let $(M,g)$ be a finite dimensional Riemannian manifold. Suppose it is bounded as a metric space, i.e. $$\sup \{ d(x,y) | x,y \in M \} < \infty$$ where $d$ is the distance induced by $g$. Is $M$ ...
-4
votes
1answer
64 views

Lee, Introduction to Smooth Manifolds Solutions

Does anybody know where I could find the solutions to the exercises from the book Lee, Introduction to Smooth Manifolds? I use the freely available online version ...
1
vote
1answer
54 views

Virtual knot diagrams on surfaces with genus?

To the best of my limited understanding, a virtual knot diagram may be thought of as the projection of an embedding of $\mathbb{S}^1$ in a 2-manifold with genus onto $\mathbb{R}^2$. That is to say it ...
3
votes
0answers
49 views

What is the kernel of a Maurer-Cartan form?

The Maurer-Cartan form on the Lie group $Gl(n,\mathbb{R})$ is a one-form taking values in $\mathfrak{gl}(n,\mathbb{R})$ as defined in the link. It has a rather concrete "extrinsic definition" as ...
2
votes
2answers
36 views

surface area of a Torus using differential forms,

Im studing integration over manifolds. I want to compute the surface area of the torus. Im given the usual parametrization $f(u,v)= ((a+b\cos(v))\cos(u), (a+b\cos(v))\sin(u), b\sin(v))$ for $0\leq ...
0
votes
0answers
32 views

Why is the vertex called non-manifold vertex?

I am working on triangle meshes in one 3D reconstruction project for a while. I know what one manifold vertex looks like and how to detect them. But I hope to understand the definition of non-manifold ...
5
votes
1answer
127 views

Simple exercise in cohomology

I know this is a simple exercise but I am stuck unfortunately. Question: Use de Rham cohomology to prove that the sphere $S^2$ is not diffeomorphic to the torus $T$. You may assume that ...
2
votes
1answer
48 views

Integration on compact manifold

Integration on a nice enough manifold of a function $f:M \to \mathbb{R}$ is defined $$\int f = \sum_{ i \in I} \int_{U_i}\phi_i f$$ where $\phi_i$ is a partition of unity subordinate to the open cover ...
0
votes
0answers
18 views

What is the connection between $\sqrt g$ and $|\det \psi'|$?

My text defined integration on a manifold as follows Let $M\subset \mathbb R^n$ be an $m$-dimensional manifold, $\varphi:U\to V$ a local map $(U\subset\mathbb R^m, V\subset M)$ and $f:M\to\mathbb ...
2
votes
0answers
31 views

Find the maximal integral curve $c(t)$ starting at the point $(a,b) \in \mathbb{R}^2$ of the given vector field.

Yet another integral curve problem. The vector field this time is $X_{(x,y)} = \dfrac{\partial}{\partial x} + x \dfrac{\partial}{\partial y}$. So, using what I learned from my last post, I should ...
6
votes
2answers
109 views

Closed, orientable surface whose genus is very hard to find intuitively

I'm introducing the Classification Theorem on closed and orientable surfaces in a talk on (intuitive) topology, and to motivate it I'd like an example of an embedding of a surface in $\mathbb{R}^3$ ...
2
votes
0answers
61 views

Differential of a Sobolev map between manifolds

Let $\Sigma, M$ be compact Riemannian manifolds. By embedding $M$ isometrically into $\mathbb{R}^N$, one can define the Sobolev spaces $W^{k,p}(\Sigma, M)$ by $$W^{k,p}(\Sigma,M) = \{ u \in ...
0
votes
0answers
27 views

Sequence of critical values has no cluster point (Milnor, Morse Theory)

The following Claim is used in the proof of Theorem 3.5 in John Milnor's "Morse Theory": Claim: Let $f: M \rightarrow \mathbb{R}$ be a differentiable function on a manifold $M$ with no degenerate ...
2
votes
1answer
29 views

Find the integral curves of the given vector field.

The vector field is as follows: $X_{(x,y)} = x \dfrac{\partial}{\partial x} - y \dfrac{\partial}{\partial y} = \begin{bmatrix} x \\y \end{bmatrix}$. I know that to find integral curves, you need to ...
0
votes
0answers
22 views

General Linear Group is(not) compactly generated

We know that any connected Lie Group is compactly generated. I have a feeling that $\mathbb{GL}_n\mathbb{R}$ is not compactly generated. Is it true? If it is how can I prove this? If not, what ...
4
votes
1answer
155 views

Use of cut-off functions and partitions of unity

This is a simple problem, but I would still be very thankful if you could give me an advice on it. I'm trying to show that in a compact M-dimensional manifold, $$\int e^w \sqrt{g}\, dx \leq C \exp ...
1
vote
1answer
34 views

Does the connected sum depend on direction of gluing?

The connected sum of two surfaces (2-manifolds) is defined by removing a disk from each and gluing the cut edges: (Image adapted from Wikipedia) Does the resultant surface (up to homeomorphism) ...
3
votes
1answer
151 views

Definition of Lie Groups

In the definition of Lie Group, we require that $$(x,y)\rightarrow x*y \text{ and } x\rightarrow x^{-1}$$ both be smooth. Are there any examples of groups that satisfy only one of these and not the ...
0
votes
0answers
23 views

Real analytic manifold

I found in some lecture notes such a definition of real analytic manifold: Let $X$ be a complex manifold (ringed space, locally isomorpic to...), $i: X \rightarrow X$ - a conjugation ...
1
vote
0answers
56 views

Calculus on manifolds

I am studying manifold theory ( smooth manifold). As I study the subject, I feel more and more confused. I am not yet at chapter dealing with deferential forms and integration. I can understand that ...
0
votes
1answer
30 views

Reference for introductory Lie Groups

I am currently learning about Lie groups,So kindly suggest a reference for Lie groups, which contains lecture on Manifolds as well.
0
votes
0answers
40 views

$X \in T_pM$, there is a smooth vector field $\tilde X$ on $M$ such that $\tilde X_p=X$

I am trying to prove the lemma from the Lee, Introduction to Smooth Manifolds book: Lemma 3.16. Let $M$ be a smooth manifold. If $p \in M$ and $X \in T_pM$, there is a smooth vector field $\tilde X$ ...
0
votes
1answer
35 views

Identifying tangent space of manifold with set

Identify $ \mathbb{R}^4$ with the space of $2×2$ matrices $M(2×2,\mathbb{R})$. The set $M$ of matrices with determinant $3$ is a smooth manifold of dimension $3$. ...
0
votes
1answer
34 views

Isometry of spheres/hypersurfaces and more generally Riemannian manifolds.

Let $M$ and $N$ be two spheres (of different radius) in $\mathbb{R}^n$ of dimension $n-1$. Suppose there is a Riemannian isometry between them (so a diffeomorphism and isometry). Then distances must ...
1
vote
0answers
28 views

Constructing Riemann surfaces

At the risk of asking a question that has been already answered, I have been trying to figure out how to construct the Riemann surface of slightly more complicated examples, but after reading examples ...
17
votes
2answers
372 views

No hypersurface with odd Euler characteristic

Here is a classic problem which I encountered and could not solve: Prove that a simply connected closed smooth manifold has no closed sub-manifold of co-dimension $1$ with odd Euler ...
1
vote
0answers
25 views

Proof of Euler Characteristic for Sphere

Theorem 1. All cell decompositions of a sphere $S$ have Euler characteristic 2. This is well-known, but I had this idea for an intuitive proof: for any cell decomposition $\Gamma$ with $V$ ...
3
votes
1answer
27 views

Second fundamental form without orientability?

Let $F$ be a $C^2$-hypersurface (or $n$-manifold) embedded in $\mathbb{R}^{n+1}$. Suppose $F$ is not orientable. Since I cannot choose a continuous global normal field, what consequences does this ...
1
vote
1answer
29 views

Canonical isomorphism between complexified tangent space of submanifold fixed by antiholomorphic involution and tangent space of complex manifold

I haven't really studied complex manifolds and I am at a bit of a loss in regards how to approach this problem: Let $M$ be an $n$-dimensional complex manifold, and let $\phi:M\rightarrow M$ be an ...
4
votes
1answer
47 views

Passive and active coordinate transformation on a topological manifold.

Let us suppose we have $m$-dimensional smooth topological manifold $M$. Let $(U,\varphi)$ and $(V,\psi)$ be two charts on the manifold and $U \cap V \neq \emptyset$. For a point $p \in U \cap V$, we ...
4
votes
1answer
141 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 ...