**3**

votes

**1**answer

34 views

### Differential Operators On A Curve And On Osculating Circle

Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle ...

**0**

votes

**0**answers

85 views

### Derivative of a group action [migrated]

Let $\phi : G \times M \rightarrow M$ be a group action on a smooth manifold $M$ and Lie group $G$.
Then we define $$f(t):=\phi(g(t),d(t)).$$
where $g: I \rightarrow G$ and $d: I \rightarrow M$ are ...

**5**

votes

**1**answer

153 views

### Automorphism group of a fiber bundle surjects onto diffeomorphism group?

This should surely be well-known by I have not been able to find a good reference to the following question: Given a smooth fiber bundle $\pi\colon P \longrightarrow M$ over a smooth manifold $M$ with ...

**3**

votes

**1**answer

146 views

### Reference request: Intrinsic definition of the strong Whitney topology on $\mathcal{C}^{\infty}(M,\mathbb{R})$ without using charts or jets

Let $M$ and $N$ be smooth manifolds. There is a description of the strong Whitney topology on $\mathcal{C}^{\infty}(M,N)$ in terms of partial derivative in charts (using locally finite sets of charts ...

**2**

votes

**0**answers

262 views

### Differential and pre-differential of Jacobi identity

Let M be a manifold.
To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied?
That is a Lie algebra structure for which $[X,fY]=f[X,Y]$.
(For ...

**4**

votes

**2**answers

163 views

### Exponential rule for Whitney-$\mathcal{C}^{\infty}$-topology

Let $M,N,X$ be smooth manifolds. Equip the space of smooth functions between two manifolds with the (strong) Whitney- $\mathcal{C}^\infty$-topology.
The evaluation map $$ev\colon ...

**6**

votes

**1**answer

172 views

### Closed orientable 4-manifold with $H^1(M;\Bbb Z_2)=\Bbb Z_2$ and non-zero cup product $H^1\times H^1\to H^2$

I am looking for an example of a closed orientable 4-manifold $M$ with $H^1(M;\Bbb Z_2)=\Bbb Z_2$ and non-zero cup product $H^1(M;\Bbb Z_2)\times H^1(M;\Bbb Z_2)\to H^2(M;\Bbb Z_2)$.
A non-orientable ...

**0**

votes

**0**answers

94 views

### Certain principal bundle structure on $\mathbb{R}^{n} \setminus \{0\}$

I ask this question in MSE and I received no answer, so I repeat it here:
Is there a right action of $\mathbb{H}^{2}$ on some $\mathbb{R}^{n}\setminus \{0\}$ such that this action gives us a ...

**0**

votes

**0**answers

31 views

### Two successive isometric immersions: relation between mean curvature vectors? [migrated]

Let $M_0$ be a Riemannian manifold, $M_1$ an isometrically immersed submanifold of $M_0$ and $M_2$ an isometrically immersed submanifold of $M_1$, ie:
$$ M_2 \subset M_1 \subset M_0$$
Take $X \in ...

**1**

vote

**0**answers

47 views

### Taylor expansion in Riemannian foliations

Take:
$M$ a Riemannian manifold, ${X_0}\in M$,
$N_{X_0}$ a submanifold of $M$ going through ${X_0}$,
and $Z \in N_{X_0}$ in a neighborhood of ${X_0}$.
At ${X_0} \in N_{X_0}$, we consider the ...

**6**

votes

**1**answer

361 views

### Symplectic reversing diffeomorphisms on a compact symplectic manifold

I Ask this question in MSE and I received interesting comments and ideas. I repeat the question here for more discussion:
Let $(M,\omega)$ be a compact symplectic manifold.
Is there a ...

**0**

votes

**0**answers

79 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

**1**answer

72 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)$ ...

**17**

votes

**1**answer

458 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 ...

**2**

votes

**0**answers

35 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

**1**answer

51 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

**1**answer

114 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

**1**answer

75 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

**1**answer

117 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

**1**answer

236 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

**1**answer

218 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

**0**answers

66 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 ...

**6**

votes

**3**answers

362 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$ ...

**2**

votes

**0**answers

34 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

**2**answers

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

**1**answer

84 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

**0**answers

159 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

**0**answers

130 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

**0**answers

77 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

**0**answers

208 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

**0**answers

61 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 ...

**3**

votes

**1**answer

212 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

**2**answers

365 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

**0**answers

204 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

**1**answer

107 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

**1**answer

216 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

**2**answers

652 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

**0**answers

62 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

**1**answer

94 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

**2**answers

201 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

**1**answer

129 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

**0**answers

203 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

**1**answer

295 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

**1**answer

197 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

**1**answer

208 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

**2**answers

178 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

**0**answers

77 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

**1**answer

213 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

**1**answer

129 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

**0**answers

293 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 ...