Smooth manifolds and smooth functions between them. For manifolds with additional structure, see more specific tags, such as [riemannian-geometry]. For more topological aspects, see [differential-topology].

learn more… | top users | synonyms (1)

0
votes
0answers
47 views

cobordism and smoth-manifold [on hold]

Let M, N , N' and M' be smooth n-manifolds with nonempty boundaries , and suppose h:∂M→∂N , g:∂M'→∂N' are diffeomorphisms . Let M∪_h N be the adjunction space formed by identifying each xϵ∂M with ...
0
votes
0answers
75 views

a construction on Stiefel manifolds

Are there any references concerning the following space $V(k,N,X)$ and $U(k,N,X)$? And the cohomology of these spaces? Thanks.
-1
votes
1answer
69 views

Exponential map and convergence

I posted this question on Math Stack Exchange, but nobody answered so I decided to ask this question here. Suppose that $M$ is smooth compact manifold and let $y \to x$. Let also $f \in C^{\infty}(M)$ ...
16
votes
1answer
433 views

Differential Topology over $\mathbb{Q}$

I have a specific question in mind, but it requires some explanation and context before it can be formally stated. To summarize it in a sentence, this is it: Are every two rational manifolds of the ...
1
vote
0answers
28 views

Second derivative in auto-parallel equation

I am trying to derive the auto-parallel equation for a curve. Consider a smooth manifold $M$ with chart map $x$, and let $\gamma$ be a smooth curve in $M$. The action of its tangent vector ...
-1
votes
1answer
42 views

Glueing smooth functions give a smooth function if reparametrized [closed]

Given $\mathbf{r}:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{R}^2$ be a $C^{1}$ application, with $\mathbf{r}'(t)=(0,0)\Longleftrightarrow\ t=t_0$, and $$\mathbf{r}(t)=\begin{cases} \mathbf{r}_1 ...
2
votes
1answer
104 views

Nowhere vanishing, normalized vector field with bounded derivatives

It is well-known that any non-compact manifold admits a nowhere vanishing vector field. If we have a Riemannian metric we may pick such a vector field and normalize it so that at every point it has ...
1
vote
1answer
71 views

Cayley Subspaces in a Calibrated 8-Space

Suppose we are given $(\mathbb{R}^8,\Phi)$, where $\Phi$ is the self-dual 4-form that defines $Spin(7)\subset SO(8)$ (Cayley calibration, see Notes on the Octonians, page 23). Now some 4-subspaces $V$ ...
-1
votes
1answer
112 views

Uniqueness of a smooth function [closed]

Let $x,y:[a,b]\to\mathbb{R},\ a<b, a,b\in\mathbb{R}$ be two smooth functions ($x,y\in C^{\infty}([a,b])$). How can I prove that there is a unique function $\theta:[a,b]\to\mathbb{R},\ \theta\in ...
8
votes
1answer
228 views

is there a diffeomorphism with only finite orbits but of infinite order?

I asked this in stackexchange, but got no answer, so I am trying here. Is it possible for a diffeomorphism $\phi$ (of a smooth manifold $M$) to have the following properties: All its orbits are ...
1
vote
1answer
207 views

symplectic reduction for pair $(M,D)$

Let $M$ be a symplectic manifold with divisor $D$. Then how can we define symplectic reduction for pair $(M,D)$?
1
vote
0answers
60 views

Real algebraic surface

Let $f(u,v,z)\in \mathbb{Q}[u,v,z]$ be a polynomial in three variables such that $X_{\mathbb{R}}\subset \mathbb{R}^{3} $ (the associated surface of real solution) is smooth. Suppose that the set of ...
5
votes
3answers
331 views

When a homeomorphism is a diffeomorphism w.r.t to a suitable smooth structure?

Assume we have a homeomoprhism $\phi:M\rightarrow M$, where $M$ is a topological manifold which admits at least one smooth structure. Is it always possible to construct a smooth structure on $M$ ...
1
vote
0answers
31 views

References to study Weak and Strong Topologies and aproximations on function spaces of manifolds

I´m studing weak and strong topologies and aproximations on the function space $C^{\infty}(M,N)$ of two manifolds $M$ and $N$. I´m using the book Differential Topology of Morris Hirsch but it is a ...
6
votes
2answers
287 views

Charts needed for an atlas

I just read this question link and asked myself, if there is any easy way to decide how many charts you actually need to cover a given compact manifold in $\mathbb{R}^3$, maybe at least in this ...
3
votes
1answer
80 views

Polygons with centroid at origin and vertices on compact codimension one submanifold of $\mathbb{R}^{n}-\{0\}$

Let $M$ be a compact codimension one submanifold of $\mathbb{R}^{n}$ which does not contaion $0$ and the origin lies in the bounded component of$\mathbb{R}^{n}-\{0\}$. Is it true to say that: ...
4
votes
0answers
148 views

manifold branched covering space for orbifolds

An orbifold structure on some topological space $X$ is a covering of $X$ with local quotient charts $V/G$, where $V$ is some connected manifold and $G$ effectively acts on $V$ via a finite group of ...
2
votes
0answers
128 views

(co)limits in the category of diffeological spaces vs. category of smooth manifolds

I am wondering which (co)limits that exist in the category of smooth manifolds are preserved by the inclusion into the category of diffeological spaces? Are there any results that allow us to ...
3
votes
0answers
75 views

Reference request: linearly independent cycles in a manifold

The following seems to be well known to experts, but I would be happy if there is a paper or textbook that I can cite. Note: all of the manifolds are assumed to be without boundary. Suppose that $C$ ...
9
votes
0answers
207 views

Reference for a proof of the fiberwise Stokes theorem

The fiberwise Stokes theorem says that given a differential form on a smooth fiber bundle whose fibers have boundary, the difference between the fiberwise integral of the differential and the ...
0
votes
0answers
60 views

Cohomology operators inducing local basis of $1-$forms

Suppose that $\partial$ is a non-trivial ($\partial \neq 0$) cohomology operator on an $m-$dimensional manifold $M$ (that is: $\partial:\Omega(M)\to\Omega(M)$ is a degree $1$ derivation such that ...
2
votes
1answer
193 views

Ehresmann fibration theorem for manifolds with boundary

All manifolds in consideration may have nonempty boundary and may be disconnected. Let me fix a definition first. A map between smooth manifolds $M\rightarrow N$ is a fiber bundle, iff it's locally ...
6
votes
2answers
351 views

Relating different topologies on $C^{\infty}_c(M)$

This is somehow connected to this question. I can think of at least four topologies to put on $C_c(M)$: Topologize $C^{\infty}_c(M)\subseteq C^{\infty}(M)$ as a subspace with the weak Whitney ...
6
votes
0answers
190 views

Schoenflies and symplectic topology

The final report from a workshop on Morse theory in low-dimensional and symplectic topology includes the following question, posed by Michael Hutchings: Can we apply symplectic geometry to solve the ...
1
vote
1answer
97 views

Are normal deformations of an embedding open in the $C^{\infty}$-space of embeddings of a compact smooth manifold`

Let $M$ be a compact smooth manifold (closed, for simplicity), $n\in\mathbb{N}$ and equip the space of embeddings $Emb(M,\mathbb{R^n})$ wih the Whitney-$C^{\infty}$-topology. (The weak and the strong ...
5
votes
1answer
211 views

Strange problem about triplets of differential forms

Suppose we have the following map: $$(\Omega^1(\mathbb{R}^n))^3\longrightarrow(\Omega^2(\mathbb{R}^n))^3$$ ...
7
votes
2answers
639 views

Stokes theorem with corners

I've found the following version of Stokes' theorem in G. Stolzenberg's lecture notes 19: Notation: for $1 \le n \le m$ $\Lambda(m, n) = \{ \lambda: \{1,...,n\} \rightarrow \{1,...,m\} \ | \ ...
0
votes
0answers
56 views

Wedge product of Endomorphism-Valued Forms

To define characteristic classes in smooth vector bundles $E\longrightarrow M$ there is a more or less standard procedure: to choose a connection $\nabla$ and to derive the curvature $\Omega$, which ...
1
vote
1answer
93 views

Global geometry measures for Riemannian manifolds

I'm working on a stochastic algorithm and considering it to apply in case of any curved space (manifolds). But in order to make the algorithm as efficient as possible I want to include in it some ...
9
votes
2answers
197 views

Neighborhoods of the identity in diffeomorphism groups

Finite dimensional Lie groups have the nice property that if $V$ is a small neighborhood of the identity, and $U \subset V$ another neighborhood, then $V$ is covered by $U^k$ (the set of all products ...
1
vote
1answer
127 views

Is there a name for the function on $TTM$ swapping the 2nd and 3rd coordinates?

I'm not so good on geometry, so I fear this is a relatively basic question. For any $N \in \mathbb{N}$, let us identify the tangent bundle of $\mathbb{R}^N$ with $\mathbb{R}^{2N}$ in the obvious ...
5
votes
0answers
201 views

Is there a citeable reference for star-shaped open subsets of R^n being diffeomorphic to R^n?

A folk theorem says that star-shaped open subsets of R^n are diffeomorphic to R^n. Is there a citeable reference for this result? For the sake of being definite, let's say that “citeable” means ...
5
votes
1answer
289 views

Geodesics on manifolds with boundary

Let $(M,g)$ be a Riemannian manifold with non-empty boundary. Is there any notion of injectivity radius on $(M,g)$ in points away from the boundary? By this I mean points lying in $M- \partial M$. ...
1
vote
1answer
193 views

Linearisation of Einstein operator

Let $(M,g)$ be a $(m+1)$-dimensional Riemannian manifold with Levi-Civita connection $\nabla$. The Ricci curvature can be viewed as a differential operator ...
4
votes
1answer
201 views

The heat kernel as an exponential of an integral

In $\mathbb{R}^n$, if $\gamma$ is a line segment between $x_0 = \gamma (0)$ and $x = \gamma (t)$, one has the following formula: $$\frac {\mathbb{e}^{- \frac{1}{4} \int_0^t <\dot{\gamma}, ...
3
votes
2answers
169 views

Modifying the Reeb vector field by multplying by a function

Given a contact 3-manifold $(M,\omega)$ and its Reeb vector field $R$ and contact structure $\Delta$, I want to understand in some sense 'how large' is the set of Reeb vector fields supported by ...
0
votes
0answers
76 views

Equivalence of Kahler structures of based loop group and its Grassmannian model

In Pressley-Segal's Loop Groups, we have the following spaces equipped with Kahler structures. Let $G$ be a compact, connected, (simply connected) group with Lie algebra $\mathfrak g$. Let ...
6
votes
1answer
209 views

Is there an analog of compactified moduli spaces(/stacks) for smooth manifolds?

This question has been inspired by an answer to the question Reference request: Topology on the space of smooth compact submanifolds; I've asked it in a comment to that answer but then decided to make ...
0
votes
1answer
128 views

Gluing submanifolds along their common boundary

This might be too elementary for this site, but I asked first on math.stackexchange and didn't get an answer even after offering 250 bounty points. Let $M$ be a smooth $m$-manifold and $N_1$, $N_2$ ...
5
votes
0answers
284 views

Kernel of Bianchi operator: Is a (smooth tame) Frechet manifold?

Let $M$ be a smooth compact manifold, $\mathcal{S}=\Gamma(\odot^2T^*M)$ the smooth tame Frechet space of smooth symmetric $2$-covariant tensors, and $\mathcal{M}=\Gamma(\odot^2_+T^*M)$ the smooth tame ...
4
votes
0answers
94 views

Connected sum of chiral manifolds

Let $M,N$ be two closed, smooth, orientable manifolds of the same dimension and assume that these manifolds are chiral, i.e. they do not admit an orientation reversing automorphism. Then there are two ...
1
vote
0answers
44 views

Measurability of eigenelements $s \mapsto (\varphi_k(s), \lambda_k(s))$ of Laplace-Beltrami on $M_s$

For each $s \in [a,b]$, let $M_s$ be a compact Riemannian manifold with no boundary. Under what conditions on $s \mapsto M_s$ do the eigenvalues and eigenfunctions $(\varphi_k(s), \lambda_k(s))_{k ...
1
vote
1answer
133 views

Sequence of smooth maps converging to the identity [closed]

Let $\{g_{n}:B_{1}(0) \rightarrow \mathbb{R}^{2}\}_{n\in \mathbb{N}}$ be a sequence of smooth maps where $B_{1}(0)=\{x\in \mathbb{R}^{2} \mid |x|<1\}$ is the unit ball in $\mathbb{R}^{2}$. Assume ...
4
votes
1answer
212 views

Are “Unions” of small exotic $\mathbb{R}^4$'s small?

Suppose $M$ is a smooth 4-manifold, and $U,V \subset M$ are exotic $\mathbb{R}^4$'s, i.e. homeomorphic to standard $\mathbb{R} ^4$. Further more suppose $U$ an $V$ intersect nicely sucht that $U \cup ...
7
votes
1answer
328 views

Intuitive Aproach to Dolbeault Cohomology [closed]

(Duplicated from math.stackexchange) I would like to understand an intuitive approach to the definitions of Dolbeault Cohomology (using $\partial$ and $\bar{\partial}$) similar to the one given here. ...
3
votes
2answers
224 views

Heat equation and evolution of number of critical points

Let $u_0$ be a smooth function on the unit sphere $S^1$ and assume that $u(t,x)$ is a smooth solution of the heat equation with initial data $u(0,x)=u_0(x)$. How one can apply the maximum principle to ...
-1
votes
1answer
133 views

cartan killing metric [closed]

I know that we can define the killing form on a lie algebra. However, when going to the group manifold, does this give rise to a metric on the manifold? I thought that would be the case, but I cant ...
0
votes
1answer
139 views

Functional Calculus and Fredholm index

Let $-\Delta: W^{2,2} \subset L^2(\mathbb{S}^2) \rightarrow L^2(\mathbb{S}^2)$. Then it is "easy" to show that $-\Delta $ is self-adjoint. Now, I am looking for closed operators $T$ and $T^*$ of order ...
1
vote
1answer
87 views

Existence of a fixed-point free map in a manifold [closed]

I'm having some to proof a question. I have to show that a compact manifold that admits a nowhere vanishing smooth vector field has a smooth map fixed-point free homotopic to the identity map. I know ...
4
votes
1answer
451 views

Elementary Proof of the Uniqueness of Smooth Structures on R

Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...