**2**

votes

**0**answers

87 views

### Strictly Convex Smoothing of a function defined on an affine manifold

A function defined on an interval is strongly convex if it has positive definite second derivative. A function on an affine manifold is strongly convex
if its restriction to each line is. An affine ...

**3**

votes

**2**answers

353 views

### The group of diffeomorphisms with compact support

Let $M$ be a topological/differentiable manifold. Is there any topology on the group of homeomorphisms/diffeomorphisms with compact support, turning it into a (locally-)compact topological group?
(My ...

**1**

vote

**1**answer

389 views

### A multilinear question and its smooth version

Let $E$ and $F$ be two finite dimensional vector spaces. For every $k\in \mathbb{N}$, $E^{k}$ has a natural vector space structure and is isomorphic to $E\otimes \mathbb{R}^{k}$, in a natural way.
...

**1**

vote

**1**answer

213 views

### A special type of transitivity

Let $M$ be a smooth orientable manifold with volume form $\Omega$. Fix two pints $x,y \in M$. Put $A$=all volume preserving diffeomorphism of M which maps $x$ to $y$.
Define $B$=All linear volume ...

**3**

votes

**0**answers

170 views

### smoothing a current

Let $M$ be a smooth oriented manifold of dimension $n$ and $T$ a current of dimension $k$ on $M$. Let $\phi:P\times M \to M$ be a proper smooth family of diffeomorphisms of $M$ (i.e. $P$ is a smooth ...

**6**

votes

**1**answer

206 views

### Dimension of a set detected by a homology class

A colleague asked me a topology question which comes down to this: Suppose that $M$ is a smooth $n$-manifold, and $C\subset M$ is a closed set such that $H_{n-p}(M-C)\to H_{n-p}(M)$ is not surjective. ...

**22**

votes

**1**answer

288 views

### Finite limits in the category of smooth manifolds?

The category of smooth manifolds does not have all finite limits. However, it does have some limits: it has finite products, it has splittings of idempotents, and it has certain other limits if we ...

**3**

votes

**1**answer

323 views

### Compactly supported cohomology of homotopy equivalent manifolds

Are there examples of homotopy equivalent smooth, orientable manifolds $M$ and $N$ of the same dimension with non-isomorphic compactly supported cohomology rings?

**2**

votes

**1**answer

154 views

### Anti_symplectic 2-forms

A two form $\alpha$ on a n- manifold $M$ is called anti symplectic if for every $x\in M$, $\{ v\in T_{x} M \mid i_{v} \alpha=0 \}$ is a $n-2$ dimensional subspace of $T_{x}M$. So we obtain a $n-2$ ...

**2**

votes

**2**answers

206 views

### analytic vector bundles

Let $E$ be a real analytic vector bundle on an analytic manifold $M$. Assume that $E$, as a smooth vector bundle, is a trivial bundle.
Is $E$ a trivial analytic vector bundle?
I need to the ...

**2**

votes

**0**answers

124 views

### Analytic version of the Cartan lemma

Assume that $\beta$ is a real analytic 2-form on an analytic manifold $M$ and $\alpha$ is an analytic non vanishing 1-form on $M$. Assume that $\beta \wedge \alpha=0$. Is there an analytic 1-form ...

**11**

votes

**1**answer

466 views

### Are the mapping class groups of manifolds finitely presentable?

The mapping class group of a manifold is the group $\pi_0 Diff(M)$ of components of the diffeomorphism group. There are several variations: oriented manifolds and orientation preserving ...

**1**

vote

**2**answers

241 views

### A cohomology associated to a 1- form

In this question all objects are real analytic.(manifolds, differential forms..)
Assume that $M$ is a compact manifold and $\alpha \in \Omega^{1}(M)$ is a one form.
We define a map ...

**0**

votes

**1**answer

130 views

### Comparison of two infinite dimensional Lie Algebras

Is there an example of a real analytic (compact) manifold $M$ such that the following two lie algebras are isomorphic Lie algebras:
$\chi^{\infty}(M)$, the Lie algebra of all smooth vector ...

**-3**

votes

**1**answer

312 views

### Lie algebraic Grassmannian

Assume that $L$ is a Lie algebra structure on $\mathbb{R}^{n}$, and $1<k<n$ is given.
We define $Gr(k,n)_{L}$, the space of all $k$ dimensional Lie subalgebra of $(\mathbb{R}^{n}, L)$.
For ...

**3**

votes

**1**answer

164 views

### A Manifold for which $\chi^{\infty}(M)$ is rich

Is there a manifold $M$ for which $\chi^{\infty} (M)$, the lie algebra of smooth vector fields on $M$ contains all finite dimensional Lie algebras(Up to isomorphism)?
A weaker question:
Is there a ...

**1**

vote

**0**answers

109 views

### Riemann normal coordiantes and change of metric

Le $(M,g)$ be Riemannian manifold. Fix point $p\in M$. We can define the map
$$\exp: U \subset T_p M \rightarrow M$$
$$\exp(X) = \gamma_{p,X}(1)$$
where $t\mapsto \gamma_{p,X}(t)$ is geodesic such ...

**4**

votes

**1**answer

223 views

### Exercises around Diffeological Spaces or a Diffeologic Atlas Theory

Is there a Book or a bunch of exercises to get used to diffeological spaces from a practical point of view? It seems to me that papers on this topic are mostly concerned with their very good ...

**0**

votes

**0**answers

56 views

### Question on center-stable manifold

Assume that you have a gradient system smooth enough and a fixed point $x_{0}$. Is it true that if $x_{0} \in \omega(x)$ then $\gamma^{+}(x)$ must intersect the local center-stable manifold of ...

**3**

votes

**3**answers

342 views

### undergraduate handle decomposition. Reference

As the title says, I'm searching for a nice textbook for introducing the theory of handle decomposition of manifolds to undergraduate students.

**16**

votes

**1**answer

621 views

### Derivation on real analytic manifolds

Let $M$ be a real analytic manifold. By $C^{\omega}(M)$ we mean the algebra of all analytic functions from $M$ to $\mathbb{R}$. Assume that $D$ is a derivation on $C^{\omega}(M)$ .
Is there a ...

**3**

votes

**2**answers

280 views

### Markov Partitions for toral automorphisms

I know that my question is more practical than theoretical. But, I do know where to look for the theoretical sources.
I want to find a program in the case that it exists (does it?), or to program it. ...

**10**

votes

**2**answers

452 views

### The boundary of a domain whose interior is diffeomorphic to the ball

We know that there are compact manifolds with diffeomorphic interiors but their boundaries are not homeomorphic (see the question Manifolds with homeomorphic interiors).
My question is about a very ...

**1**

vote

**1**answer

83 views

### Integration from vector bundles

Let $(E,M,p)$ be a smooth n dimensional vector bundle. Then $(TE,TM,Dp)$ is a 2n dimensional vector bundle. We restrict this bundle to $M\subset TM$. We denote this restricted bundle by $F$, as a ...

**1**

vote

**1**answer

105 views

### Are these two bundles, stably equivalent?

Let $(E,M,p)$ be a n dimensinal smooth vector bundle where $M$ is a k dimensional manifold. We assign to $M$, two different vector bundles $F_{1}$ and $F_{2}$ over $M$ as follows:
1)$TE$ is a ...

**6**

votes

**1**answer

309 views

### Can the monoidal structure on manifolds be strictified?

I'm asking this question purely out of curiosity.
Let $\{M_\alpha\}_{\alpha\in A}$ be a collection of closed smooth manifolds, with exactly one in every diffeomorphism class of closed smooth ...

**3**

votes

**1**answer

304 views

### Exponential mapping versus flow

In Hamilton's article on the Nash-Moser Theorem, he gives the map that maps a vector field $X$ to its flow $e^{tX}$ in $\mathrm{Diff}(M)$ as an example where the implicit function theorem in Frechet ...

**9**

votes

**2**answers

713 views

### Reference Request: Compact manifolds with boundary have the homotopy type of a CW-complex

Let $M$ be a compact manifold (possibly non-smooth) manifold with boundary $\partial M$.
Is the inclusion $\partial M\hookrightarrow M$ homotopy equivalent to the inclusion of a subcomplex into a ...

**-1**

votes

**1**answer

177 views

### A closed manifold with a subset with the same ring cohomology

Is there an example of a closed manifold $M$ with a proper subset $A\subset M$ such the inclusion $i:A \to M$ gives a ring isomorphism $i^{*}$ between $\mathbb{Z}$-cohomologies?
In this question ...

**3**

votes

**1**answer

279 views

### Is any smooth homeomorphism isotopic to a smooth embedding?

Let $f:D^m\to \mathbb{R}^m$ be a smooth map ($D^m$ is the unit ball).
We call $f$ embedding if it is a homeomorphism on the image and the
derivative $D_xf$ is nonsingular at each point $x\in D^m$ ...

**0**

votes

**0**answers

73 views

### Foliation values of Exotic spheres

In the following question, we defined the foliation values of an smooth manifold;
Foliation values of a manifold
Let $S_{i}$'s, $i\in \{0,1,\ldots,27\}$, be the smooth structures of topological ...

**2**

votes

**0**answers

121 views

### Foliation values of a manifold

Let $M$ be a smooth n dimensional manifold. The foliation values of $M$, denoted by $F(M)$, is defined as
\begin{equation} F(M)=\{ 1\leq k\leq n\mid \text{there exist an smooth $k$ dimensional ...

**2**

votes

**1**answer

259 views

### Frobenius rank of a manifold

The rank of an smooth manifold M is defined by Milnor, as follows:
"The maximum number of independent commuting vector fields on M"
For example it is well known that the rank of $S^{3}$ is 1 (Lima, ...

**3**

votes

**0**answers

132 views

### A symplectic version of critical points

According to the interesting comment of Mohammad F Tehrani, I revise the question as follows:
Assume $n>2$. For what type of compact n dimensional manifolds $M$ we can say:
For every smooth ...

**6**

votes

**1**answer

196 views

### A lagrangian version of the Withney theorem

Let $M$ be a smooth n dimensional manifold. Is there an smooth embedding $f:M \to \mathbb{R}^{2n}$ which image is a Lagrangian submanifold of $\mathbb{R}^{2n}$?

**3**

votes

**1**answer

178 views

### Fundamental proof of the baby case of Hofer's theorem about displacement energy

In 1990, Hofer proved that the displacement energy of a standard ball in $C^{n}$ equals it's Gromov area.
Here is the baby case: Consider a smooth bounded function $f:R^{2}\rightarrow R$. Consider ...

**0**

votes

**0**answers

121 views

### Interpolating between two points on Stiefel manifold

I'm looking for a formula to interpolate between two given matrices from the Stiefel manifold (orthogonal n by k matrices).
I do not know the tangent direction, I only know the start and end points ...

**0**

votes

**1**answer

154 views

### $S^n$ admit a real polarization $D\subset TS^n$?

When the $n$-sphere, $S^n$,admit a real polarization $D\subset TS^n$

**22**

votes

**1**answer

1k views

### Periodic Orbit property

A topological space $X$ satisfies "Periodic orbit property", briefly POP, if for every continuous map
$f:X \to X$, there exist a natural number $n$ and a point $x_{0}\in X$ such that ...

**-2**

votes

**1**answer

153 views

### A question on parallelizable manifolds [closed]

Let $M$ be a manifold with the property that $f^{*}(TM)$ is isomorphic to TM, for every diffeomorphism $f$ on $M$. Does this imply that $M$ is parallelizable?

**4**

votes

**1**answer

303 views

### Totally non parallelizable manifold

Does there exist a manifold M which all iterated tangent bundles are non parallelizable manifolds? That is$ M, TM , T^2(M), \ldots ,T^n(M)\ldots$ are non parallelizable manifold?
What is ...

**9**

votes

**1**answer

487 views

### Pontryagin numbers on manifolds with an $S^1$-action

Let $M$ is a smooth compact manifold with an $S^1$-action with isolated fixed points. Suppose the representation of $S^1$ at tangent spaces at all fixed points is known. Can one then find all ...

**3**

votes

**1**answer

435 views

### Quantization of symplectic vector space and choice of lagrangian subspaces

My question is related to Geometric Quantization.
I don't undrestand the philosophy of following assertion
If $(V,\omega)$ be a symplectic vector space then the quantizations of
$V$ ...

**6**

votes

**1**answer

299 views

### how to obtain a generalized Morse function out of a fiber bundle?

I already asked this question in MSE but did not get any answer/comment yet.
Let $M\to E\to B$ be a smooth fiber bundle. In "Parametrized Morse Theory and Its Applications,(Proceedings of the ICM, ...

**15**

votes

**1**answer

847 views

### The cone on a manifold

I believe that I have run across the statement that if $X$ is a compact smooth manifold and $CX$ is the cone on $X$, i.e. $[0,1] \times X$ modulo $(0,x)\sim(0,y)$ for all $x,y \in X$, then $CX$ admits ...

**8**

votes

**0**answers

328 views

### Space of embeddings of an $n$-ball into an $n$-manifold

Let $M$ be a smooth $n$-manifold without boundary, and let $B$ be the open unit ball in $\mathbb{R}^n$. I am trying to understand the space $\text{Emb}(B,M)$ of smooth embeddings of $B$ into $M$. ...

**3**

votes

**0**answers

80 views

### Analytic stuctures on $\mathbb R^n$ and the nilpotent ideal of supermanifolds

I have two questions which are somewhat related:
(a) It is a well known result (of Freedman?) in differential topology that $\mathbb R^4$ has exotic smooth structures. Apparently, it is known that ...

**11**

votes

**3**answers

843 views

### Is the class of n-dimensional manifolds essentially small?

Question: Consider the proper class of all $n$-dimensional smooth manifolds. If we take the equivalence classes where two manifolds are identified if there exists a diffeomorphism between them, is ...

**3**

votes

**1**answer

629 views

### Is it possible to define a structure of differentiable manifold on the Hilbert cube $[0,1]^\mathbb{N}$?

Is it possible to define a structure of differentiable (smooth) manifold on the Hilbert cube $[0,1]^\mathbb{N}$ ?
Has it been done in the literature?
In textbooks, only the Banach case is treated, ...

**11**

votes

**1**answer

277 views

### Hyperbolic Manifolds which fiber over the circle

If $N^2$ is a closed, orientable surface of genus at least $2$, and if $\phi$ is an (orientation-preserving) pseudo-Anosov mapping on $N$, then one can form the closed orientable 3-manifold $M^3$ by ...