**4**

votes

**1**answer

259 views

### Smooth manifolds for which every metric is geodesically convex

Are there non compact smooth manifolds which have the property that every Riemannian metric is geodesically convex?
Note that a manifold for which every Riemannian metric is complete must be compact.
...

**1**

vote

**0**answers

122 views

### How close (Homology-wise) can we approximate a topological manifold with a PL or smooth one?

Sorry if this question is to naive or badly phrased. I am curious about the following problem, given a manifold $M$, how "close" can we find a smooth or PL manifold, $N$, with a map $f:N\to M$. The ...

**1**

vote

**1**answer

58 views

### Tube formula for r-neighbourhood of a manifold

Let $P$ be a topologically embedded submanifold in a Riemannian manifold $M$. Then the tube $T(P, r)$ of radius $r \geq 0$ about $P$ is the set of all points $m \in M$ such that there exists a ...

**3**

votes

**1**answer

114 views

### Generalized functions on a product of two manifolds

Let $X,Y$ be smooth compact manifolds. Let $C^\infty(X)$ and $C^{-\infty}(X)$ denote the spaces of smooth and generalized functions on $X$ respectively. We have the obvious canonical linear map $$T\...

**0**

votes

**1**answer

358 views

### Dimension of two homotopy equivalent manifolds [closed]

Let $M,N$ be a closed (connected, without boundary, say smooth) manifolds which are homotopy equivalent. Does it follows that they are of the same dimension? One should be aware of examples of ...

**4**

votes

**1**answer

268 views

### What is the (co-)homology of $K(\mathbb{R}_\delta,n)$?

To elaborate on the question from the title, $\mathbb{R}_\delta$ is the additive group of real numbers (without any topology) and $K(\mathbb{R}_\delta,n)$ is an Eilenberg-MacLane space. I would like ...

**3**

votes

**1**answer

225 views

### Construction of appropriate Morse functions

I am interested in the properties of connectedness of level sets of Morse functions. Let $M$ a compact smooth $n$-manifold, and $1\leq k<n$. Is it possible to construct $k$ Morse functions $f_1,\...

**1**

vote

**2**answers

223 views

### Reference request: $\mathcal{C}^\infty_c(M)$ is a topological vector space with the Whitney topology

Let $M$ be a smooth manifold and let $\mathcal{C}^\infty(M)$ be the space of all smooth real valued functions with the (strong) Whitney topology. This space is a topological vector space iff $M$ is ...

**4**

votes

**1**answer

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

**6**

votes

**1**answer

234 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

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

**1**

vote

**0**answers

385 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

225 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 N\times\mathcal{C}^\...

**7**

votes

**1**answer

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

135 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

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

**-2**

votes

**1**answer

85 views

### Exponential map and convergence [closed]

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

540 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

60 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 $v_{\gamma}...

**-1**

votes

**1**answer

58 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 (t)...

**2**

votes

**1**answer

137 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

84 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

127 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 C^{\...

**9**

votes

**1**answer

285 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

264 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)$?

**2**

votes

**1**answer

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

**7**

votes

**3**answers

602 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$ w.r....

**2**

votes

**0**answers

58 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

419 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

138 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:
...

**5**

votes

**0**answers

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

**4**

votes

**0**answers

156 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

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

**11**

votes

**0**answers

254 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

62 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

385 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

498 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 $C^\...

**6**

votes

**0**answers

271 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

130 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

235 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$$
$$(\alpha,\beta,\gamma)\longmapsto(\mathrm{d}\alpha+\beta\wedge\gamma,\mathrm{d}\beta+\...

**7**

votes

**2**answers

821 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

165 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

122 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

254 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

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

**6**

votes

**0**answers

256 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

342 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

225 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 $\text{Rc}:\Gamma(S^2_+M)\rightarrow\...

**4**

votes

**1**answer

238 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}, \dot{\...