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
0answers
52 views

Exterior derivative for functions with values in a parallelizable manifold

In Sharpe's text on Cartan geometry, he explains in section 1.5 on page 52 how to define an exterior derivative for maps into a parallelizable manifold $N$. Let $f: M \to N$ be a smooth map, and ...
1
vote
1answer
37 views

Dimension of topology manifold

In the 3 page of Jurgen Jost's Riemannian Geometry and Geometric Analysis .Why it is harder in topology manifold than differentiable manifold ? I think it is easy in differentiable manifold because ...
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
37 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 ...
0
votes
0answers
30 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 ...
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 ...
3
votes
2answers
53 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 ...
0
votes
1answer
17 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 ...
0
votes
0answers
31 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 ...
1
vote
2answers
48 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 ...
1
vote
0answers
29 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
1answer
41 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 ...
0
votes
1answer
24 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, ...
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
35 views

Coverings of a three-manifold

He guys, I have two questions regarding the following: Consider the three-manifold $\mathbf{T}^3 = S^1 \times S^1 \times S^1$ and let $S_n$ be the permutation group acting on $n$ letters. Let ...
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
18 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 ...
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$ ...
3
votes
1answer
68 views

Conditions on characteristic polynomial to define a matrix submanifold.

I'm trying to find conditions on the characteristic polynomial, $p$, of a matrix such that the pre-image of matrices with characteristic polynomial $p$ form a manifold. More precisely, we can write ...
0
votes
0answers
20 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 ...
1
vote
0answers
69 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 ...
1
vote
1answer
22 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 ...
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?
2
votes
1answer
27 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
26 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 ...
-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$ ...
0
votes
1answer
28 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 ...
1
vote
2answers
40 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
1answer
22 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 ...
0
votes
1answer
21 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 ...
10
votes
3answers
87 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 ...
6
votes
2answers
87 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$ ...
0
votes
1answer
30 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 ...
0
votes
0answers
47 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 ...
2
votes
2answers
46 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 ...
1
vote
1answer
33 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
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$ ...
1
vote
0answers
29 views

the definition of relative Thom spaces

I find the definition of Thom space on the book Characteristic classes, J.W. Milnor, J.D. Stasheff, page 205: For a vector bundle $\xi$ with a Riemannian metric over a $CW$-complex $B$, let $A$ ...
3
votes
0answers
36 views

any open set in $\mathbb{R}^n$ is a $n$ dimensional manifold

I am trying to show this using the definition: M is a k-dimsensional submanifold of $\mathbb{R^n}$ if for all $x \in M$ the following condition holds: There exists an open set $U \subset ...
4
votes
0answers
30 views

$\mathbb{CP}^2$ realizable as boundary of compact smooth $5$-manifold? [duplicate]

As the title says, can $\mathbb{CP}^2$ be realized as the boundary of a compact smooth $5$-manifold?
2
votes
2answers
65 views

What does $C^k$ at a single point mean?

I'm reading textbooks on manifolds. I usually see a saying that "function $f$ is $C^k$ at a point $p \in M$". I am confused with this. What does this mean? Furthermore if $f$ is $C^k$ at $p$, is it ...
0
votes
0answers
21 views

What is the motivation for wanting to remove redundant terms that arise from the wedge product of two multilinear functions?

I am currently working through Loring Tu's "An Introduction to Manifolds," specifically the section in which the exterior algebra of multicovectors is introduced, and I am having trouble grasping the ...
1
vote
0answers
22 views

Why is $H_{DR}^p(M,\mathbb{C})\cong H_{DR}^p(M,\mathbb{R})\otimes_\mathbb{R}\mathbb{C}$

This question is related to my previous question. The answers to that question inspired a new question, namely For a complex manifold $M$, why is $H_{DR}^p(M,\mathbb{C})\cong ...
1
vote
1answer
42 views

Two proof of Petersen's 'Manifold'

Picture below is from the 5 page of Petersen's Manifold. First, why diffeomorphism is forced to be a lieanr isomorphism? The define of diffeomorphism accords to Wiki. Second , what space the point ...
1
vote
1answer
42 views

Poincaré Duality in Middle Dimension

I am reading a paper that states the following theorem without proof: Poincaré duality in middle dimension: Let $M$ be a connected oriented manifold of even dimension $2d$. Then the cup product ...
4
votes
1answer
35 views

Noncanonical isomorphism of spaces of differential forms

Let $\pi: V \to M$ be a smooth $n$-dimensional vector bundle over $M$. Are the spaces of differential forms $\Omega^i(V)$, $\Omega^i(V^*)$ noncanonically isomorphic? If so, how do I see this? Is there ...
1
vote
1answer
36 views

Left-invariant vector fields on the circle $S^1$

I'm trying to find the left-invariant vector fields on the circle $S^1$. If I understand correctly, $S^1$ is given the group structure of the multiplicative group of complex numbers on the unit ...