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)

2
votes
1answer
30 views

Level set of the hopf map

The Hopf map is given by the projection $\pi: \mathbb{S}^3 \to \mathbb{S}^2$, and: $\pi: z \mapsto zi\bar{z}$, where $z \in \mathbb{S}^3$ and $i \in \mathbb{H}$ is a unit quaternion. Show that ...
4
votes
1answer
371 views

Difference Between Tensor and Tensor field?

I don't understand the difference between tensor and tensor field. I'm learning from Barret O'neill's Semi-Riemann Geometry and here are the definitions: If $A:(V^*)^r \times V^s\to K$ ...
1
vote
1answer
36 views

Intersection of kernels of linearly independent smooth 1-forms on $\mathbb R^n$

I'm trying to solve the following problem: Let $\omega^1,\dots,\omega^k$ be smooth $1$-forms on $\mathbb R^n$ that are linearly independent at each point of $\mathbb R^n$. For $p\in\mathbb R^n$, ...
1
vote
1answer
38 views

An orientation on a $(n-1)$-dimensional submanifold.

This question goes on where this question ended. Given is an non-empty $(n-1)$-dimensional ($n\ge2$) differentiable submanifold $X\subset\mathbb{R}^n$ such that there exists an open $U\subset\mathbb{R}...
2
votes
2answers
44 views

Topological boundary of a specific manifold.

Let $\emptyset\neq X\subset\mathbb{R}^n$, $n\ge2$, be an $(n-1)$-dimensional differentiable submanifold, i.e. for every $p\in X$ there is an open $U_p\subset\mathbb{R}^n$ with $p\in U_p$, and a ...
0
votes
0answers
107 views

Orientability of the level set of a map between abstract oriented manifold

Let M and N be oriented manifold and let $f:M\to N$ be a smooth map between them. Suppose $y \in N$ is a regular value for $f$, how can we show that $f^{-1}(y)$ is orientable? I've seen a solution ...
3
votes
1answer
95 views

Property of second Steifel-Whitney class?

Let $M$ be manifold, $n = 4$. Is $w_2$ special in in the regard it's the only thing of $H^2(M, \mathbb{Z}_2)$ where $w_2 \cup \tau = \tau \cup \tau$, $\tau \in H^2(M, \mathbb{Z}_2)$ or not? I wondered ...
4
votes
2answers
63 views

connected sum of surfaces is well defined proof attempt

Suppose $S_1$ and $S_2$ are compact surfaces (connected 2-dimensional manifolds). If we cut out of them two closed disks, and glue the surfaces along disk boundaries we get new surface, their ...
1
vote
2answers
49 views

Why are tangent vectors coordinate-dependent?

Why does the coordinate basis for $T_pM$ depend on the coordinate chart we are using? Any two charts containing $p$ agree on some neighborhood of $p$, so shouldn't we be able to find a basis for $T_pM$...
0
votes
1answer
44 views

Reference for real analytic manifolds

I'm trying to find a reference for some introduction to real analytic manifolds. I'm especially interested in the fact, that the set of regular points of an analytic function $F \colon M \to \mathbb{R}...
12
votes
0answers
186 views

Which Algebraic Properties Distinguish Lie Groups from Abstract Groups?

This question is motivated by a previous one: Conditions for a smooth manifold to admit the structure of a Lie group, and wants to be a sort of "converse". Here I am taking an abstract group $G$ and ...
0
votes
1answer
20 views

Proof Writing: Given 2 two dimensional manifolds $\emptyset \neq N \subseteq M \subseteq \mathbb{R}^3$, $N$ is compact, $M$ is pconnected: $N = M$

Statement: Given 2 two-dimensional manifolds $\emptyset \neq N \subseteq M \subseteq \mathbb{R}^3 $, if $N$ is compact and $M$ is path-connected, then $N = M$. Proof: We know that there is at least ...
1
vote
0answers
30 views

Why are PDEs with Hamiltonians usually solved on compact manifolds?

The title is self explaining: I see in a lot of literature that PDEs with some Hamiltonian structure in it are solved over a torus or some other compact manifold. Why is that? At least I now that it ...
0
votes
0answers
34 views

Brownian motion on a manifold

If I have a manifold $M$ and a chart $\left(x,U\right)$, is it possible to simulate Brownian motion on that manifold by solving an SDE in the chart representation $x\left(U\right)$ and then use the ...
0
votes
1answer
29 views

Symplectic form on $T^ ∗X$

If $\mu$ is any closed 2-form on a manifold $X$, then $d\alpha_X + π^∗\mu$ is also a symplectic form on $T^ ∗X$, where $\alpha_X$ is tautological one-form and $\pi:T^*X\to X$ is projection. In fact, ...
1
vote
0answers
74 views

Explicit form of the exponential map

I am stuck by the following problem. Let $ g = 1/y^2 (dx \otimes dx + dy \otimes dy)$ be a Riemannian metric on the half-plane $ S = \mathbb{R}^2_{y > 0}$. What is the explicit form of the ...
4
votes
2answers
829 views

Understanding the Definition of a Differential Form of Degree $k$

Let $M$ be a smooth manifold. A differential form of degree $k$ is a smooth section of the $k$th exterior power of the cotangent bundle of $M$. Does it mean that a differential form of degree $k$ ...
2
votes
0answers
87 views

Kirby diagrams for nonorientable $4$-manifolds

In http://www.math.msu.edu/~akbulut/papers/akbulut.lec.pdf, which is a (still developed) set of lecture notes on 4-manifolds by Selman Akbulut, in section 1.5 there is a way to draw a non-orientable ...
0
votes
0answers
14 views

Is there an atlas of Kirby diagrams of 4-manifolds?

We've defined an invariant of 4-manifolds (article) in terms of Kirby diagrams and I'm looking for a lot of manifolds to test it on. Now I'm not a big differential topologist myself, and coming up ...
2
votes
1answer
33 views

$A\cup \text{Fr}A$ is a manifold

I'm dealing with the following exercise from Spivak's "Calculus on Manifolds": Let $A\subset \mathbb R^n$ be an open set such that the (topological) boundary of $A$, $\text{Fr}A$ is an $n-1$ ...
0
votes
1answer
18 views

Convert line parametrization into two equations

Consider the following parametrization on $\mathbb{R}^3$ $$g(t) = (t^2,t\cos(t),t\sin(t))$$ This is a line, and as such can be characterized by two equations. I already found the first one to be $$...
2
votes
1answer
21 views

how to prove that $C^{k}$ map does not depend on choice of the charts

I was reading an article about Manifolds.They have defined a $C^{k} $ function in the following way : Let $M$ and $N$ are two $C^{k}$ manifolds of dimensions $m$ and $n$ respectively.A continuous ...
0
votes
1answer
23 views

What can you say about the $k$-th cohomology group of a closed orientable $n$-manifold for $k = n$ and $k = n-1$?

What can you say about the $k$-th cohomology group of a closed orientable $n$-manifold for: (1) $k = n$, and (2) $k = n - 1$. Poincaré Duality tells us that for $M$ a closed $R$-...
0
votes
0answers
21 views

Prove that integration of a differential $k$-form is independent of choice of basis

This is Exercise 4 of Section 33 of Munkres' "Analysis on Manifolds" book: (Let $A$ be an open set in $\mathbb{R}^k$.) If $\eta$ is a $k$-form in $\mathbb{R}^k$ and if $\mathbf{a}_1,\ldots,\mathbf{a}...
1
vote
1answer
27 views

Find a nontrivial bundle of $S^1$ with fibre isomorphic to $\mathbb{R}^n$

Show that such a nontrivial bundle exists for every $n\in\mathbb{N}$. I don't really have any useful ideas here. I'm not sure if there is a general approach I should be taking or if there is just a ...
0
votes
1answer
29 views

Why is $\int_{X} d(\alpha \wedge *\bar{\beta})$ zero on a compact hermitian manifold?

I am reading the book Complex Geometry - An Introduction by Huybrechts. In proving Lemma 3.2.3 that $\partial$ and $\partial^*$ are formal adjoints to each other, he mention that the following ...
3
votes
1answer
142 views

Does every manifold M always admit a Riemannian metric?

In the book "Geometry and Topology for Physicists" by Nash and Sen, in Section 7.6, after showing that the structure group $GL(n,\mathbb{R})$ of a frame bundle $F(M)$ (for a general manifold $M$ of ...
2
votes
1answer
29 views

How transversality condition implies that a value is regular?

Currently I am self-learning some manifold theory and just come across concept of functions transverse to submanifolds. It seems that this concept is used a lot for proving regularity of values, but I ...
1
vote
1answer
24 views

Oriented atlas on a circle

I'm trying to find an oriented atlas on the circle $S^1$, i.e., I want to find an atlas for $S^1$ such that for any two overlapping charts $(U,s)$ and $(V,t)$ of the atlas, the derivative $d s/d t$...
0
votes
1answer
25 views

Integration on k-1 form

If $\omega$ is a $k-1$ form on a closed $k$-dimensional manifold $M$ then $\int_M d \omega = 0$. I'm looking for a short proof to this problem, would Stokes be helpful?
-1
votes
1answer
30 views

analysis on manifods

Let $M$ be a compact oriented $k+l+1$ dimensional manifold without boundary in $\mathbb R^n$. Let $\omega$ be a $k$-form and let $\eta$ be an $l$-form, both defined in an open set of $\mathbb R^n$ ...
1
vote
2answers
42 views

Specific example of integrating a 1-form over a curve

I was given the following definition in my course but no corresponding examples: Supppose $\gamma:[a,b]\rightarrow{M}$ is a smooth curve and $\omega$ a 1-form on $M$ (so $\omega:M\rightarrow{T^*M}$). ...
3
votes
0answers
18 views

Counterexample for the density of smooth functions in Sobolev spaces on a manifold

I'm in desperate need for help understanding a counterexample for the assertion that for (appropriate) manifolds $M,N$ the space $C^\infty (M,N)$ is dense in $L^p (M,N)$ if $\dim(M) > p$. (The ...
1
vote
0answers
28 views

What is concretely a vector field?

Let $M$ be a manifold and $TM=\coprod_{x\in M}T_xM$ be the tangent bundle. By definition, a vector field is an application \begin{align*} X: M&\longrightarrow TM\\ m&\longmapsto X_m\ni T_mM \...
0
votes
0answers
20 views

Quadrature over a (smooth, compact, convex, etc.) Riemannian manifold

Problem setting Consider three points on the surface of the earth (which I want to assume to be a perfect ellipsoid here) that are pairwise sufficiently close for unique geodesics to be found between ...
0
votes
1answer
25 views

Prove the boundary is a compact 1 manifold

A closed surface with boundary is a compact connected topological space $B$ with the property that each point $p \in B$ has an open neighborhood $U$ homeomorphic to either: $\{(x, y) \in \mathbb{R^2}|...
10
votes
3answers
96 views

Can we recover a compact smooth manifold from its ring of smooth functions?

It is well-known that if $X$ is a reasonably nice topological space (compact Hausdorff, say) then we can recover $X$ from the ring $C(X)$ of continuous functions $X\to\mathbb R$; see this MSE question ...
8
votes
2answers
102 views

Examples of Manifolds such that $\chi (X)=-3$

I am trying to come up with an example of a closed oriented manifold with euler characteristic equal to $-3$. I have tried to use $\chi (\underbrace{T^2\mathbin{\#}\cdots \mathbin{\#} T^2}_{\text{$g$ ...
11
votes
0answers
314 views

Norm Inequality on a Compact Riemannian Manifold

Consider the following problem: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality $$\Delta u \geq -...
0
votes
1answer
38 views

Proof formalization help: Given a vector $u$ in $\mathbb{R}^3$ and a compact 2 dimensional manifold $m$, $u$ is normal to the $m$ at 2 points.

Proof formalization help: Given a vector $u$ of Euclidean length $1$ in $\mathbb{R}^3$ and a compact 2 dimensional manifold $m$, $u$ is normal to the $m$ at at least 2 points. I've thought about the ...
3
votes
1answer
112 views

Hausdorff measure, volume form, reference

Could you tell me where I can find a reference to the fourth corollary in this encyclopedia? Corollary $4$: Assume that $\Sigma \subset \mathbb{R}^m$ is an $n$-dimensional $C^1$ submanifold....
0
votes
0answers
46 views

equivalent characterizations of manifolds such that configuration spaces are homotopy equivalent

Let $M$ and $N$ be manifolds. If $M$ is homeomorphic to $N$, then the $k$-th configuration spaces $F(M,k)$ is homeomorphic to $F(N,k)$. If $M$ is homotopy equivalent to $N$, then the $k$-th ...
4
votes
1answer
167 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)
0
votes
0answers
52 views

Computing relative de Rham cohomology?

Let $f: N \to M$ be a smooth map. Then in Bott and Tu they define a relative de Rham complex $\Omega^{\bullet}(f)$ where $\Omega^k(f) = \Omega^k(M) \oplus \Omega^{k-1}(N)$ with coboundary map given in ...
1
vote
1answer
34 views

Under which additional hypothesis are open maps locally injective

Recollection of basic definitions: We recall the basic definitions that a continous map of topological spaces $f : X \to Y$ is open if $f(U)$ is an open subset of $Y$ whenever $U$ is an open subset ...
2
votes
2answers
47 views

Showing that the set of semi-orthogonal matrices is a $C^\infty$ submanifold

For $k, n \in \mathbb{N}$ with $k ≤ n$, we define $$S_{n, k} = \{X \in \mathbb{R}^{n \times k}: X^t X = I_k\}$$ where $I_k$ is the identity matrix of rank $k$. I want to prove that $S_{n, k}$ is a ...
3
votes
1answer
67 views

Cut out characteristic Submanifold N ($w_1(M)=w_1$(Normalbundle of N in M)). Remainder M-N is orientable? Orientation Character or CW-Structure?

So I try to understand the following (which is taken from Dold, "Structure of the cobordism ring", Page 3/274, in the paragraph "1. La suite exacte de Wall."): https://eudml.org/doc/109581 ): Giving a ...
2
votes
1answer
308 views

“Completing” a vector field on a non-compact manifold $M$

Suppose I have a non-compact smooth manifold $M$ and an arbitrary nowhere-vanishing smooth vector field $X$ on $M$ which is not complete. Is there a way to create a smooth vector field $V$ that is ...
2
votes
1answer
52 views

Is the cuspidal cubic $\{y^2 = x^3\} \subset \Bbb R^2$ not smooth?

Cuspidal cubic $y^2=x^3$ in $\Bbb R^2$ "seems to be not smooth" intuitively because its pictured graph has a cusp at the origin. But I read from book that it is a smooth manifold. I feel so confused. ...
0
votes
0answers
15 views

explaination of the metric tensor on another manifold?

In skew -product decomposition the following features are observed :- 1.the Riemannian Manifold $(M,g)$ has a product form of $$M=R\times \Theta$$ Where $\Theta ,R $ are connected $C^\infty$ ...