0
votes
0answers
18 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
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 ...
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
23 views

Upper-half space of a manifold with boundary

Suppose that $X$ is a manifold with boundary and suppose that $x$ is a boundary point. Define the upper half space $H_x(X)$ in $T_x(X)$ to be the image of $\mathbb{H^k}$ under $d \phi_0:\mathbb{R^k} ...
3
votes
1answer
36 views

submanifold of Euclidean space is oriented if and only if normal bundle is an oriented vector bundle.

Let $f:M\longrightarrow \mathbb{R}^{n+k}$ be an immersion of $n$-dimensional manifold $M$ into $\mathbb{R}^n$. Let $\nu(M)$ be the normal bundle of $M$. Prove that $M$ is oriented if and only if ...
2
votes
1answer
39 views

measure on non-oriented Riemannian manifold

Let $M$ be a non-oriented Riemannian manifold of dimension $m$. Nash embedding theorem implies that there exists an isometric embedding $\phi: M\longrightarrow \mathbb{R}^n$ for $n$ sufficiently ...
1
vote
1answer
38 views

Tangent bundle of a manifold [duplicate]

can anyone help me with this problem: Show that for a manifold $M$, the tangent bundle $TM$ also has the structure of a manifold. If $M$ is an n-manifold, what is the dimension of $TM$? for the 1st ...
2
votes
1answer
58 views

Notation and hierarchy of cartesian spaces, euclidean spaces, riemannian spaces and manifolds

I am confused by some definitions. Forgive the looseness of my language. A Cartesian space is basically a space of points that can be represented by n-tuples ( and other things, but I won't go into ...
-1
votes
1answer
18 views

Is $f(x)+\sum_{p,i=1,…,m}\lambda_{p,i}x_{p,i}(x)$ globally defined?

Is the map $\Phi: \mathbb{R}^{N\cdot m}\times M\ni (\lambda_{p,i},x) \mapsto f(x)+\sum_{p}\sum_{i=1,...,m}\lambda_{p,i}x_{p,i}(x)\cdot \phi_{p}(x) \in \mathbb{R}$ globally defined, where M is ...
0
votes
0answers
49 views

Manifold locally looks like a open set but not as a euclidean space?

I am reading about manifolds from the book by Millman. He says that manifolds locally looks like a open set, but there is no canonical way to make M look like a Euclidean Space, and so we can't define ...
5
votes
0answers
74 views

Does there exist a vector field s.t. all orbits are dense on $\mathbb{R}^2$

Is there a complete vector field such that the all orbits are dense on a contractible manifold? For example, $\mathbb{R}^2$,the interior of a $n$-unit ball.
0
votes
1answer
22 views

Let $f:X \to Y$ be a smooth map, $df_x$ is an isomorphism, find parametrizations s.t. $f(x_1,x_2,\ldots,x_k)=(x_1,x_2,\ldots,x_k)$.

The following statement is in page 14 of Guillemin & Pollack Differential Topology: Let $f:X \to Y$ be a smooth map, and suppose that $df_x$ is an isomorphism, show that we can find ...
0
votes
0answers
50 views

Proving $d(f^*e_i')=0$

Let $f:M\to N$ be a differentiable map between two manifolds. $e_i$ is a basis vector of $N$ with respect to some chart and $e_i'$ its dual (i.e. $e_i'(e_j)=\delta_{ij}$). How do I prove the ...
1
vote
1answer
39 views

Morse height function for general compact manifold

Can you give me the form of the height function for any compact manifold embedded in the reals? Maybe the projection of the parametrization onto a basis vector ex. For the n-sphere is ...
0
votes
0answers
33 views

Question concerning the Lie derivative and the Lie bracket

Let $X,Y$ be vector fields on a differentiable manifold. In a proof I read that for a special chart (namely the chart in which we have $X\equiv e_1$) it holds ...
3
votes
2answers
92 views

Any N dimensional manifold as a boundary of some N+1 dimensional manifold?

Is this statement true: Question: Can any N dimensional manifold be realized as a boundary of some N+1 dimensional manifold? If so/not, how to prove/disprove it? I read a TQFT paper from Edward ...
2
votes
2answers
45 views

Hessian of Morse function on $S^{n}$ mistake

I am trying to get that $f(x_{0},...,x_{n+1})=x_{n+1}$ has $index_{(0,...,0,1)}=n$ Can you find my mistake or post a partial solution? My attempt I evaluate df using inverse of stereographic ...
1
vote
1answer
36 views

Extension of funcion

I think its right but Im not sure. I have topological space (exactly manifold - second countable, Hausdorff, local Euclidean topological space) M, dim M=m. Let $A \subset M$ is closed set, dim A=n, ...
2
votes
0answers
23 views

uniqueness of Hopf invariant

(Hopf invariant, page 427 of A. Hatcher's Algebrac Topology): Let $f: S^m\longrightarrow S^n$ with $m\geq n$. We can form a CW-complex $C_f$ by attaching a cell $e^{m+1}$ to $S^n$ via $f$. The ...
1
vote
1answer
32 views

Dependence on the class of differentiability between manifolds and maps

Maybe a silly question, but in some books (like "Differential Geometry - Manifolds, Curves, Surfaces - Gostiaux and Berger"), when differentiable maps of class $C^s$ are defined, we have something ...
2
votes
0answers
47 views

$\mathbb{RP}^2$ does not embed into $\mathbb{R}^3$: reduction to the differentiable case

It is not difficult to see that the real projective plane cannot be embedded into $\mathbb{R}^3$ as a differentiable submanifold (for example one can easily show that the complement would consist of ...
1
vote
1answer
26 views

Involutive Properties of Space-structures on Smooth Manifolds

I am currently reading Quantum Invariants of Knots and 3-Manifolds by Turaev, and I am having a hard time understanding a statement made on page 120. He is explaining the property of space-structures, ...
0
votes
1answer
39 views

Proving that charts are related

Let $A$ be an atlas on the set $M$ and let $ x: U \to x(U) $ and $ y : V \to y(V )$ be bijections from subsets $U, V \subset M$ to open sets $x(U), y(V ) \subset \mathbb{R^n} $. Show that if the ...
2
votes
1answer
34 views

integration of differential forms on covering space

Let $M_1,M_2$ be $n$-dimensional oriented manifolds. Let $f: M_1\longrightarrow M_2$ be an orientation-preserving diffeomorphism. Then for any $\omega\in \Omega^n_c(M_2)$ we have(page 85 of {Madsen: ...
1
vote
1answer
50 views

What is the best (in terms of effectively building understanding) direction from which to approach manifolds?

Thedore Frankel's book The Geometry of Physics presents Manifolds right away in Chapter 1 in the following manner: Introduce the Euclidean space $\mathbb{R}^N$ only as "the most important manifold". ...
0
votes
0answers
46 views

Is a manifold over $\mathbb{R}$ normal?

We have manifold $G$ over the reals with its finite atlas ($g_i:U_i \to g_i(U_i) \subseteq \mathbb{R}, G=\bigcup U_i$). The atlas induces a topology in the normal way ($A \subseteq G$ is open iff ...
0
votes
0answers
12 views

Persistence of invariant manifolds under noninvertible mappings

According to Fenichel's classic result, a normally hyperbolic invariant manifold of a diffeomorphism persists under perturbations to the diffeomorphism. Normal hyperbolicity requires contraction or ...
2
votes
1answer
44 views

Topological property of some manifold

I am provided with a smooth map $g : N \rightarrow N^\prime $ between differentiable manifolds. $N$ is assumed to be compact and connected. Moreover, the differential $dg_x: T_x N \rightarrow ...
0
votes
1answer
37 views

Assumptions required for an implicitely defined surface/manifold to have a specified dimension

What are some normal assumptions made on implicitly defined manifolds? More specifically, by implicitly defined manifold, I mean the definition of a surface such as $g(x,y)=x^2+y^2-1=0$ for the ...
3
votes
0answers
68 views

Does a “typical” reproducing kernel on a manifold generate an infinite-dimensional RKHS?

Let $M$ be a finite dimensional manifold and $k:M\times M\rightarrow\mathbb{R}$ a smooth reproducing kernel. Is the set of all such $k$ with the property that the reproducing kernel Hilbert space ...
3
votes
0answers
65 views

Concrete non trivial computation of Morse homology

I am studying Morse homology and have found only examples on spheres and tori so far. Of course the homology of these manifolds is better understood by other more standard methods, so I am having ...
0
votes
0answers
37 views

Some questions on definition of Grassman manifolds

In W.M. Boothby, An introduction to differentiable manifolds and Riemannian geometry , Page 64. We use coordinate correspondences $\phi_j : U_j \to R^{k(n-k)}$ in order to define Grassman manifolds ...
3
votes
0answers
42 views

Homological Interpretation of the intersection number

Let $M^r$ and $N^s$ be smooth submanifolds of the smooth manifold $V^{r+s}$ and $M,N,V$ compact, connected and orientable. The Thom-Isomorphism together with the Tubular Neighbourhood Theorem gives me ...
2
votes
0answers
37 views

Definition of linking number for disjoint submanifolds of the sphere- A problem from Milnor's book

In problem number 13 of Milnor's 'Topology from the Differentiable Viewpoint', the linking number for two compact boundary-less manifolds $M,N \subset \mathbb{R}^{k+1}$ of dimensions $m,n$ such that ...
2
votes
1answer
47 views

Product of manifolds with boundary

If $M$ and $N$ are manifolds with boundaries and $\{(U_a,f_a)\}$ and $\{(V_a,g_a)\}$ are their respectives $C^r$ atlas, why $\{(U_a \times V_b,f_a \times g_b)\}$ isn't an $C^r$ atlas for $M \times ...
3
votes
1answer
143 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)$, ...
7
votes
2answers
72 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?
3
votes
1answer
98 views

Non-vanishing vector fields on non-compact manifolds

In several papers the following result is invoked: Theorem. Every connected, non-compact, smooth manifold $M$ carries non-vanishing smooth vector fields $v$. (we are assuming $M$ is $2$nd countable ...
3
votes
2answers
133 views

A non orientable closed surface cannot be embedded into $\mathbb{R}^3$

Can someone please remind me how this goes? Here's the idea of proof I'm trying to recall: let $S$ be a closed surface (connected, compact, without boundary) embedded in $\mathbb{R}^3$. Then one can ...
0
votes
1answer
48 views

Diffeotopy and connectedness on manifolds

Let $M, N$ manifolds without bundary and $f: M\to N$ and $g: M\to N$ embeddings. We say that a differentiable map $h: [0,1]\times M\to N$ is an isotopy between $f$ and $g$ if each of the maps ...
17
votes
1answer
120 views

Reconstructing a manifold from critical points

I am teaching theoretical calculus this semester, and on the last discussion section we were discussing critical points of functions. I explained the idea of Morse theory, and a student of mine asked ...
3
votes
2answers
84 views

Existence of differential form on a manifold

I have a fundamental question about the existence of differential forms on manifolds. A $k$-form on a manifold in local coordinates looks like $f(x_1,...,x_n)dx_{i_1}...dx_{i_k}$, where $f$ is a ...
0
votes
0answers
35 views

Why is $\frac{f}{\|f\|}$ a submersion when this matrix has rank $k$?

A paper I'm reading defines the following $\left(\frac{(k-1)k}{2}+1\right)\times n$ matrix: \begin{align*} \Omega_f(x) := \begin{bmatrix} \omega_{1,2}(x)\\ \vdots \\ \omega_{i,j}(x) \\ \vdots \\ ...
1
vote
2answers
86 views

Definition of a $n$ - form on a manifold

I am confused about the definition of a differential form on a manifold. The definition I have comes from Bott and Tu and is as follows: A differential form, $\omega$, on a manifold $M$ is a ...
3
votes
2answers
87 views

How does a smooth structure on a subset of a manifold determine its status as an immersed submanifold?

As titles are limited to 150 characters, allow me to rephrase my question in a way that is hopefully more precise: Given a $d$-dimensional smooth manifold $M$ and some $k$-dimensional subset ...
3
votes
0answers
57 views

Visualizing Frobenius Theorem

Given a smooth vector field $v$ on a (finite dimensional) manifold $M$, one can find the associated integral curves i.e. integral submanifolds of M such that the tangent space at any point $p\in M$ is ...
0
votes
1answer
74 views

Intuition of a Submanifold

Could someone explain the intuition behind a submanifold. When, for example, is it appropriate to work with immersed submanifolds vs embedded submanifolds? Why is it important for a submanifold to be ...
0
votes
0answers
28 views

Existence of vector extensions for the Hessian

Q: $p$ a critical point of a smooth $f$ and $v, w$ two vectors in $T_{p}M$. We extend these two to vector fields $v^{*}, w^{*}$ such that at $p$ the first one equals $v$ and the second one equals $w.$ ...
2
votes
1answer
81 views

[ANSWERED]Lie brackets on vector fields

We consider $v = \frac{\partial}{\partial x}$ and $w = x * \frac{\partial}{\partial z} + \frac{\partial}{\partial y}$. I need to first find the Lie bracket between them which i get to be: ...
1
vote
0answers
33 views

levels curves of polynomial equations as manifolds

Q: For which real values c is the subset $f(x) = x_{1}^{2} + x_{1}^{3} - x_{2}^{2} + x_{3}x_{4} = c$ a smooth submanifold of $\mathbb{R}^4$? Try: for it to be a smooth submanifold, $c$ has to be a ...