For questions about smooth manifolds.

learn more… | top users | synonyms

0
votes
0answers
31 views

Connection between differential form of a manifold and Sheaf of relative differential of a map of schemes.

I was wondering whether there is a connection between the differential form of a manifold and Sheaf of Relative differential of a Scheme map. Definitions: Differential form on a manifold M is a map ...
2
votes
0answers
31 views

Submanifold of $2\times 2$ complex matrices?

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 ...
0
votes
1answer
33 views

What is the difference between the terms smooth, analytical e continuous?

I saw the following (“roughly speaking”, like the author says) definition of a Lie group in ‘Group theory in Physics’, by Wu-Ki Tung: “Roughly speaking, a Lie group is an infinite group whose ...
0
votes
0answers
58 views

Zero set of finitely many polynomials.

Somebody asked a question earlier regarding this proof but I'm confused about a different part. I understand everything but the line "As the zero set of finitely many polynomials, $R$ is a closed ...
1
vote
0answers
41 views

An Atlas for $\mathbb{R}/{2\pi \mathbb{Z}} $

I've been having some difficulty finding an atlas for $\mathbb{R}/{2\pi \mathbb{Z}}$. The way I have been thinking of this so far is by using the standard projection map $\pi$ on open intervals of ...
3
votes
1answer
38 views

Orientability of a product of smooth manifolds implies orientability of each factor

I've been learning a bit about orientability on smooth manifolds. I'm having torubles with this exercise: Given two smooth manifolds $M$ and $N$, show that the product manifold $M \times N$ is ...
3
votes
1answer
35 views

How do we check conformal equivalence of parametrized surfaces, e.g. parallel surfaces?

Suppose we have two parametrized surfaces in $\mathbb{R}^3$: $$ X,Y:\mathbb{R}^2 \rightarrow \mathbb{R}^3 $$ The induced metric on either surface is the pullback of the Euclidean metric $\bar g$ due ...
7
votes
0answers
55 views

heat kernel on n-sphere

I'm interested in diffusion, a.k.a. the heat kernel driven by the Laplace-Beltrami operator, on the $n$-dimensional sphere. There are lots of bounds showing that, for small times, it behaves in a way ...
0
votes
1answer
49 views

On the integrability of vector fields

Let $X$ and $Y$ be a vector field on $M$ and satisfies $[X,Y]=X$. If $X$ and $Y$ are pointwise linearly independent for some point $p$, then there is a sub manifold $N$ of $M$ such that $T_xN$ is ...
1
vote
0answers
19 views

Is it possible to reconstruct a triangulation from its $1$-skeleton?

Let's restrict to triangulations $T$ of compact and closed smooth manifolds $M$ with $\dim M=2,3$. Such a triangulation is a PL manifold homeomorphic to $M$ which geometric realization is a simplicial ...
5
votes
1answer
58 views

Derivative of the inclusion of a submanifold

I know there are other questions similar to this one, but I just want you to tell me if what I'm doing is rigth and how to improve it. The problem is the following: (I'm using the definitions by ...
1
vote
1answer
27 views

How to make an ideal generated by differential forms into a differential ideal?

Let $M=\mathbb{R}^4$ with standard coordinates $x_1,x_2,x_3,x_4$. Let $\alpha=x_2dx_1+x_3dx_3+dx_4$ and $\beta=2dx_2+x_1^2dx_3+x_1dx_4$ How to find a 1-form $\gamma$ such that the ideal generated ...
0
votes
1answer
45 views

Show that $T\mathbb S^1$ is diffeomorphic to $\mathbb S^1\times\mathbb R$

I just started learning Smooth Manifolds and got stuck on this question: Show that $T\mathbb S^1$ is diffeomorphic to $\mathbb S^1\times\mathbb R$ I can see that $T\mathbb S^1$ and $\mathbb ...
1
vote
1answer
68 views

When is $x\mapsto |x|^{s-1}x$ a diffeomorphism?

Consider the function $f:B^n\rightarrow B^n$ from the disk to itself $$f(x)=\vert x\vert^{s-1}x$$ where $s>0$ and we are considering the euclidean norm (we define the function to be $0$ in the ...
2
votes
1answer
52 views

Submanifolds - same dimension

Let $M$ be a smooth manifold and $N$ a closed embedded submanifold. Assume that they have the same dimension. In this case are they equal? EDIT: M is connected.
2
votes
0answers
20 views

Exact sequence of tangent spaces of principal $G$-bundles

Let $P$ be a smooth manifold, $G$ a Lie group, $\alpha:P\times G\to P$ a smooth action and $p:P\to P/G$ a smooth principal $G$-bundle. Then, we have the sequence $$ G \xrightarrow{\alpha_a} P ...
1
vote
1answer
39 views

Existence of injective function in a manifold with special atlas

I am trying do the following question: Let $M$ be a $n$-dimensional smooth manifold that admits an atlas with only two charts. Show that there exists an injective smooth map ...
0
votes
0answers
35 views

Is this cohomology isomorphic to De Rham Cohomology?

Let $(M,g)$ be a Riemannian manifold. Put $d^{*}= *d*$ where $*$ is the Hodge $*$ operator. So $d^{*}\circ d^{*}=0$. Then it introduce a (c0)homology. What is a relation between this ...
5
votes
1answer
53 views

The graph of $x\mapsto |x|$ cannot be the image of an immersion.

How can one prove that the set $\{(x,|x|)\in \mathbb{R}^2 \mid x\in \mathbb{R}\}$ cannot be the image of an immersion of a smooth manifold? This was my homework exercise in a course about ...
3
votes
1answer
43 views

Smooth Manifold, covered by 2 Charts is orientable if the Intersection is Connected

I came across this Question: Atlas on a smooth manifold that contains 2 charts in which Professor Lee commented that this Proposition is true only if the Intersection of the two Maps is connected, so ...
2
votes
2answers
60 views

Regular Surface: Regularity Condition

I am having some difficulty in understanding the meaning/motivation of the regularity condition in the definition of regular surfaces. The definition (restricted to $\mathbb{R}^2$ and ...
0
votes
0answers
55 views

de Rham cohomology group of $\mathbb{CP}^1$

Prove the de Rham cohomology group of the projective space $H^0(\mathbb{CP}^1, \mathbb{C})$ is isomorphic to $\mathbb{C}$ and $H^1(\mathbb{CP}^1, \mathbb{C})=0$.
0
votes
1answer
16 views

Smoothness of Product Functions

Suppose $f:\mathbb{R}^{n}\times\mathbb{R}^k\to\mathbb{R}$. Define $$f(x,y)\equiv f_x(y)\equiv f_y(x)$$ If $f_x$ and $f_y$ are both smooth, is $f$ smooth?
0
votes
1answer
21 views

Vector Bundle as a smooth manifold

Definition: It is said that a section $F:M\to E$ of a vector bundle $E$ is smooth if it is smooth as a map between manifolds. Possible Issue: A vector bundle is defined to be, a priori, a smooth ...
0
votes
1answer
20 views

$C^{\infty}$ vector field along an immersion has local $C^{\infty}$ extensions

Let $\psi:M\longrightarrow N$ be a $C^{\infty}$. A smooth vector field $X$ along $\psi$ (i.e. $X\in C^{\infty}(M,TN)$ $\textrm{and } \pi\circ X=\psi$) has local $C^{\infty}$ extenstions in $N$ if ...
2
votes
1answer
49 views

Graph theoretic view on manifold triangulations

To make the question (hopefully) clearer, I reformulated it: Some triangulation $T$ of a smooth manifold $M$ is a piecewise linear manifold, because smooth manifolds are topological manifolds. Such a ...
2
votes
1answer
102 views

Is a Variety a manifold?

Is it true that every smooth variety (over $\mathbb{R}$ or $\mathbb{C}$ ) is a (real or complex) manifold? I have tried to show this using the implicit function theorem but I am not getting anywhere. ...
0
votes
0answers
46 views

Grothendieck topology

Hello : Here is a small parapgraph that i try to understand : If $ M $ is a smooth manifold, then we can recover the underlying set of $ M $ by considering the set $ \mathrm{Hom} ( \{ \star \} , ...
2
votes
1answer
50 views

Extension of smooth maps at a cusp

There is a short remark in deCarmos "Riemannian Geometry" (p. 67) and I wonder about the condition that the vertex angles must be $\neq \pi$. If $s_1$ and $s_2$ are two differentiable maps on an ...
2
votes
0answers
43 views

Prove the existence (or well-definedness) of the induced connection in tensor bundle

Given a connection $\nabla$ on a vector bundle $E$ over a smooth manifold $M$, we know there is a unique extension of $\nabla$ to all tensor bundles of $E$ that satisfies Leibniz rule and contraction. ...
3
votes
1answer
35 views

Graph of a continuous function is a smooth manifold? [duplicate]

Let $f:(a,b)\to \mathbb{R}$ be a continuous function and define $\Gamma(f) = \{(x,f(x)):x\in (a,b)\}$. The two maps $\Psi: \Gamma(f)\to (a,b)$ given by $(x,f(x))\mapsto x$ and $\Phi: (a,b)\to ...
1
vote
1answer
51 views

How to find Partition of unity in $ \mathbb{S}^n$ with only $2$ functions

How to find Partition of unity in $\mathbb{S}^n$ with only $2$ functions?
5
votes
1answer
72 views

How to understand blowing up a submanifold

I am trying to understand the idea of blowing up a submanifold of a smooth real manifold. The definition I know is replacing the submanifold by its unit tangent bundle (however, in the place I read ...
0
votes
1answer
34 views

Why is every tangent vector part of a vector field?

I am reading a book that defines tangent vectors and vector fields on a manifold $M$ as derivations: A vector field is defined as a linear function and derivation $C^{\infty}(M)$ to $C^{\infty}(M)$. ...
0
votes
1answer
28 views

is a differentiable function is necessarily a smooth one

i know that each smooth function is differentiable which follows from the fact that if partial derivatives exist at each point in a domian then f is differentiable everywhere on that domain. but does ...
0
votes
1answer
30 views

Is there a local flow that is diffeomorphic at any time?

This question is regarding p.223-224 of Loring Tu's Introduction to Manifolds (Second edition). Without proof, the author previously assumed the following. Theorem. Let $M$ be a manifold and $X$ be ...
1
vote
2answers
150 views

Definition of “a topological manifold with corners”.

How can we define a topological manifold with corners and its corners? Then, do we use "invariance of domain" to define corners, as we really need this theorem in order to define "boundaries of a ...
0
votes
1answer
35 views

How to show that $n$ -dimensional sphere $S^{n}$ is a smooth manifold

Let $S^{n}:=\{x\in\mathbb{R}^{n+1}\;:|x|=1\}$, then $S^{n}$ is a smooth manifold. (Spivak ''Calculus on manifolds'' page 111) Spivak's remark is ''note that $S^{n}=g^{-1}(0)$ and ...
2
votes
1answer
48 views

Is the following set a manifold?

Show (using the implicit function theorem) that the following subset $$M:=\{(x,y,z)\in\mathbb{R}^{3}\;|x^2+y^4+z^4=3\}\subseteq\mathbb{R}^{3}$$ Theorem: Let $A\subset \mathbb{R}^{n}$ be open let ...
3
votes
1answer
67 views

(Whitney) Extension Lemma for smooth maps

I am currently reading Lee's book "Introduction to Smooth Manifolds (2nd edition)". Corollary 6.27 in that book states that a smooth map $f : A \rightarrow M$ where $M$ is a smooth manifold ...
5
votes
2answers
117 views

Why are 'differential operators on manifolds' differential operators?

It is clear what is meant by a differential operator on $\mathbb{R}^n$ (or some open subset). However, it is not clear to me why differential operators on smooth manifolds are defined the way they ...
2
votes
1answer
47 views

Euler characteristic for non-compact manifolds

How can one generalize the Euler characteristic to non-compact manifolds? Furthermore, is there a way to generalize the notion of an intersection number to non-compact manifolds, so that one could ...
2
votes
1answer
56 views

Proving that something is a manifold

I'm a beginner at differential geometry and I'm having some trouble with the following problem: Let $M \subset \mathbb{R}^n$ be a $k$-dimensional smooth manifold (smoothly embedded in ...
1
vote
1answer
20 views

Cont. Function smooth iff composition with submanifold inclusion is smooth

I'm trying to proof the following: Let $X$ be a smooth manifold, $X_0$ an open subset of $X$, $i: X_0 \to X$ the canonical inclusion, $Y$ another smooth manifold and $f: Y\to X_0$ continuous, then ...
7
votes
0answers
65 views

When $f\colon M\to N\times N$ satisfies that $f^{-1}(\Delta)$ is a ball?

Let $M$, $N$ be smooth manifolds of dimension $m+n$ and $n$, respectively. Suppose that $f\colon M\to N\times N$ is a smooth map and $f$ is transversal to the diagonal $\Delta=\{(x,x)\in N\times ...
0
votes
1answer
41 views

manifolds without symplicial or cell structure

In many situations in topology, (like the poincare duality) they put a distinction between the space being a manifold or just a cell or simplicial complex. I want to know why this is important, in ...
1
vote
1answer
39 views

Integrable Manifolds

I'm trying to understand why the line of slope y passing through (x,y) is an integral manifold. My intuition tells me that there exists a point in the slope field where the distribution cannot be ...
3
votes
2answers
67 views

Are $C^{k}$ manifolds the same as $C^{\infty}$ manifolds?

This is a theorem of Hassler Whitney: For $0<k<\infty$ and any $n$-dimensional $C^k$ manifold the maximal atlas contains a $C^\infty$ atlas on the same underlying set. It seems to me ...
1
vote
2answers
75 views

Proving a space is a manifold

Given a topological space defined as $A=A_1 \cup A_2$ with $A_1=\{(x,y) \in R^2 \space \space|\space \space x^2+y^2=1, x<0\}$, $A_2=\{(x,y) \in R^2 \space \space|\space \space |x|+|y|=1, ...
1
vote
0answers
28 views

Show an immersion is locally one to one using the inverse function theorem

Using the inverse function theorem, show that an immersion is locally one to one. I am really struggling with this homework question can anyone give me a hint?