**2**

votes

**1**answer

94 views

### homeomorphism type of punctured real projective spaces

Let $\mathbb{R}P^m$ be the $m$-dimensional real projective space and let $\mathbb{R}P^m\setminus\{*\}$ be the punctured space. I observe:
$\mathbb{R}P^2\setminus\{*\}$ is homeomorphic to a (open) ...

**2**

votes

**0**answers

92 views

### If $X$ is a compact smooth Riemannian manifold, why don't we integrate on a fundamental domain in the universal cover? [closed]

Let $X$ be a compact connected Riemannian manifold. The metric gives a local volume form. The universal cover is orientable, and has a precompact subspace locally isometric (with the covering metric) ...

**3**

votes

**1**answer

129 views

### Is there a smooth polar decomposition for non-invertible matrices?

Every $n \times n$ real matrix $A$ has a polar decomposition $A=OP$, where $O \in O_n, P$ is symmetric positive semi-definite.
$P$ is uniquely determined by $A$, by $P(A)=\sqrt{A^TA}$,
and when $A$ ...

**9**

votes

**2**answers

177 views

### Triangulation with simplices of same volume

Let $M$ be a Riemannian smooth compact manifold.
It is known that $M$ has a triangulation, for any dimension. But do we know if there exists a triangulation such that all simplices have same volume ?
...

**5**

votes

**1**answer

74 views

### smoothing locally-finite (Borel-Moore chains)

Let $M$ be a smooth manifold. As is recorded in (for example) Lee's book, de Rham proved that one can calculated singular homology, $H_*(M)$ using smooth simplices. Does the result extend to ...

**2**

votes

**1**answer

170 views

### Non-diffeomorphic smooth structures on the quotient of a manifold by an integrable distribution

In geometric quantization, one of the important ingredients is an integrable distribution $D$ (let's say real) on some manifold $M$ (symplectic, but this is not important). The resulting object is ...

**20**

votes

**2**answers

544 views

### Is there a smooth manifold which admits only rigid metrics?

Does there exist a (finite dimensional) smooth manifold $M$, such that every Riemannian metric on $M$ has no isometries except the identity?
Of course, such a manifold must not admit a diffeomorphism ...

**3**

votes

**1**answer

187 views

### Is there a degree one map from a product $B\times S^1 \to \#_n S^2 \times S^1$ for any n

For any $n \geq 1$, let $\Sigma_n$ denote the closed orientable surface of genus n. In http://arxiv.org/abs/1202.6302, the authors showed that for any $n$, there is a degree two, $\pi_1$-surjective, ...

**5**

votes

**0**answers

176 views

### Does $\#_n S^2×S^1$ really admit a map of non-zero degree from $B×S^1$?

In Proposition 4 on page 6 of this paper, http://arxiv.org/abs/1202.6302, the authors claim to produce a degree 2 $\pi_1$-surjective map $f$ between $M=S^1 \times \Sigma_2$ and $N=\#_2 S^2 \times S^1$ ...

**3**

votes

**0**answers

50 views

### Transverse intersection in the $G$-orbit of paths

I know how to prove the following lemma but I assume that it is well-known. Can someone provide a reference for it?
Let $d>1$ and let $M$ be a $d$-dimensional connected smooth manifold with a ...

**9**

votes

**1**answer

100 views

### Harmonic function with injective boundary conditions is an immersion?

Let $(M,g)$ be an $n$-dimensional, connected, compact Riemannian manifold with boundary. Assume we are given an immersion $f:M \to \mathbb{R}^n$. (i.e $df$ is invertible at every point $p \in M$, note ...

**9**

votes

**1**answer

259 views

### Are there non-smoothable homotopy/homology spheres?

A homotopy sphere is a topological $n$-manifold $M$ which is homotopy equivalent to $S^n$.
A homology sphere is a topological $n$-manifold $M$ such that $H_i(M) \cong H_i(S^n)$ for all $i$.
Note, by ...

**2**

votes

**0**answers

64 views

### A problem of defining addition in a Quotient space

Let $\mathcal{C}$ be the space of all parametric curves $x:[0,1]\rightarrow \mathbb{R}^2$. Let the set of all re-parameterizations of curves is $\Gamma = \{\gamma : [0, 1] \rightarrow [0, 1]| \gamma ...

**5**

votes

**0**answers

88 views

### $H(M)$ necessarily highly non-integrable, i.e. forms contact structure?

Let$$M^{2n - 1} = \{z \in \textbf{C}^n : \textbf{h}(\textbf{z}, \textbf{z}) \equiv \textbf{z} \cdot \overline{\textbf{z}} = \textbf{1}\}$$be the unit sphere in $\textbf{C}^n$. Consider the ...

**4**

votes

**1**answer

74 views

### Locally nilpotent algebraic section of tangent bundle is complete?

Suppose $X$ is a smooth affine algebraic variety over $\mathbb{C}$ and let $V$ be an algebraic vector field (i.e. an algebraic section of the tangent bundle). If $V$ is locally nilpotent, meaning that ...

**7**

votes

**0**answers

249 views

### Can any smooth triangulation of a smooth manifold be blurred?

For the purposes of this question, let's say that a blurring
of a smooth triangulation $T$ of a smooth manifold $X$
is a smooth homotopy $h\colon [0,1] \times X \to X$ such that ...

**10**

votes

**1**answer

281 views

### A symmetric embedding of manifolds

Assume that $M$ is a manifold.
Is there an embedding of $M$ in some $\mathbb{R}^{n}$ such that the image of $M$ in $\mathbb{R}^{n}$ is invariant under each reflection $(x_{1},x_{2},\ldots ...

**0**

votes

**1**answer

100 views

### Variation of normals along loops

I've constructed a quotient space $M/\sim$ in $\mathbb{R}^d$ that must be a $2$-manifold. If $M/ \sim$ is a sphere then I know that its normal spaces must vary at least 90 degrees. That is $M / \sim$ ...

**1**

vote

**0**answers

82 views

### Tightening a loop

Consider two $d$-dimensional convex polytopes $c_1, c_2$ that share a $(d-1)$-dimensional face $f$. Let $M$ be a surface ($2$-manifold) that intersects each of $c_1$ and $c_2$ in a $2$-ball. Suppose ...

**11**

votes

**1**answer

252 views

### Whitehead products and Framed Manifolds

The attaching map for the top cell of the torus $S^n \times S^n$ is a map
$$
[x,y]: S^{2n-1} \to S^n \vee S^n
$$
where the notation is such that
$x,y : S^n \to S^n \vee S^n$ are the two ...

**0**

votes

**1**answer

77 views

### full set of invariant functions on manifold

Let $M$ be a smooth manifold and $G$ a Lie group acting properly on $M$. Let $k$ be the codimension of a maximal dimensional $G$-orbit in $M$.
Is it always possible to construct $k$ functions $f_1, ...

**0**

votes

**0**answers

45 views

### Foliation by Umbilic Surfaces

Suppose $(M,g)$ is a simply connected 3 dimensional Riemannian Manifold which is a foliation by Umbilic surfaces.
Can I make the claim that there exists a coordinate system $(x_1,x_2,x_3)$ in which ...

**9**

votes

**2**answers

490 views

### Do smooth manifolds admit linear atlases? [duplicate]

There is a theorem of Whitney showing that a smooth manifold can be endowed with a compatible real-analytic atlas (later, it was proven that this analytic structure is essentially unique).
I am ...

**3**

votes

**0**answers

71 views

### How to visualize the dual objects of jets of functions?

I work with a smooth $f: M \to \Bbb C$ and I would like to have an object mimicking the concept of "$k$-th order differential" from multivariate calculus. For various reasons that are not important ...

**8**

votes

**1**answer

185 views

### Homotopy type of diffeomorphism which are the identity on and near the boundary

Let $M$ be a compact manifold with boundary. Denote by $Diff(M), Diff_\partial(M)$ and $Diff_{U\partial}(M)$ the groups of diffeomorphisms of $M$ and the subgroups of the ones that are the identity on ...

**1**

vote

**0**answers

84 views

### “Nice” limits of sequences of smooth embeddings

Consider smooth embeddings of a manifold $M$ into some $\mathbb{R}^n$. If a sequence $f_k : M \to \mathbb{R}^n$ of such embeddings converges to some continuous function $f : M \to \mathbb{R}^n$, then ...

**0**

votes

**0**answers

49 views

### map of constant rank

Let $f_1, \dots, f_m \colon M^n \to \mathbb{R}$ be smooth functions on a manifold $M$, such that $F := (f_1, \dots , f_m) \colon M \to \mathbb{R}^m$ has constant rank $k <m,n $ on $M$.
I'm trying ...

**3**

votes

**0**answers

56 views

### Interpolating from a Hard Lefschetz class to a Kaehler class

Let $X$ be a compact smooth manifold that admits symplectic and Kaehler structures.
There is a paper by Ugarte, Rudyak, Tralle, and Ibanez, showing how the Lefschetz rank can vary along a path of ...

**1**

vote

**0**answers

49 views

### Flows and Lie brackets, $\beta$ not a priori smooth at $t = 0$ [closed]

Let $X$ and $Y$ be smooth vector fields on $M$ generating flows $\phi_t$ and $\psi_t$ respectively. For $p \in M$ define$$\beta(t) := \psi_{-\sqrt{t}} \phi_{-\sqrt{t}} \psi_{\sqrt{t}} ...

**3**

votes

**0**answers

72 views

### Using and understanding the Atiyah-Bott localization theorem/integration formula

I posted this on r/math, but was told I might have better success here given the level of the question.
Basically, I need to learn how to use the localization theorem to compute integrals on ...

**7**

votes

**2**answers

137 views

### Tangent bundle of smooth closed simply-connected $4$-manifold $w_1 = w_2 = 0$ can be trivialized in complement of point?

Let $M$ be a smooth closed simply-connected $4$-manifold with $w_1 = w_2 = 0$. Can $TM$ be trivialized in the complement of a point?

**11**

votes

**3**answers

388 views

### $A_{\infty}$-structure on closed manifold

Is there an exmaple of a closed smooth connected manifold $M$ having a structure of $A_{\infty}$-space (with unit) but $M$ is not homeomorphic to a compact connectd Lie group as space ?
Edit: First, ...

**16**

votes

**1**answer

307 views

### Is the restriction map for embeddings of manifolds with boundary a fibration?

Let $M$ and $W$ be smooth manifolds (possibly with boundary) and $V\subseteq W$ a submanifold. We have a map between embedding spaces
$$Emb(W,M)\rightarrow Emb(V,M)$$ given by restriction.
Richard ...

**7**

votes

**1**answer

139 views

### Admissibility in Heegaard Floer, especially with torsion Spin^c structures

I'm confused about the relationship between strong admissibility and weak admissibility for pointed diagrams in Heegaard Floer theory. For reference, here are Ozsváth-Szàbo's original definitions:
...

**4**

votes

**1**answer

107 views

### Glueing together functions defined on the leaves of a foliation

Even though my question can be asked for very general types of foliations, I am interesetd only in its answer for Poisson manifolds, which are what I am currently studying.
Consider a Poisson ...

**1**

vote

**1**answer

77 views

### Nash-type theorems for Poisson manifolds

My question comes as a natural follow-up of the previous one which concerned symplectic manifolds: if $(M, P)$ is a Poisson manifold, what embedding theorems are there into some target space (I am ...

**7**

votes

**1**answer

410 views

### Is there a Nash-type theorem for symplectic manifolds?

If $(M, \omega)$ is a symplectic manifold, is it possible to embed (or injectively immerse) it symplectically into a sufficiently large $(\Bbb R ^{2N}, \Omega)$, (with the usual symplectic structure)?
...

**2**

votes

**1**answer

109 views

### Existence of non-negative extensions of smooth functions on axes

I am struggling to solve an extension problem of smooth functions, and I would like someone to help me.
The setting is as follows:
Let $X_1$, $X_2$, and $T$ be either the real lines $\mathbb R$ or ...

**7**

votes

**1**answer

264 views

### Recovering a smooth manifold from its tensor fields

1) Consider the algebra $\mathcal T (M) = \bigoplus \limits _{p, q \ge 0} \mathcal T ^{p, q} (M)$, where $\mathcal T ^{p, q} (M)$ is the space of tensor fields of type $(p,q)$. I should endow it with ...

**1**

vote

**1**answer

55 views

### material derivative and relation to Riemannian metric

For each $n$ let $N_t$ be an embedded smooth hypersurface in $\mathbb{R}^n$ of dimension $n-1$. $\{N_t\}_t$ is a family of hypersurface that is evolving with some velocity $V$.
Smooth functions on ...

**6**

votes

**1**answer

142 views

### Rational cohomology of the Rosenfeld projective planes

The bioctonionic plane $(\mathbb{C} \otimes \mathbb{O})\mathbb{P}^2$, the quarteroctonionic plane $(\mathbb{H} \otimes \mathbb{O})\mathbb{P}^2$ and the octooctonionic plane $(\mathbb{O} \otimes ...

**1**

vote

**1**answer

233 views

### Soliton equation and non-killing potential vector field

I am searching for a non-Killing vector field $\zeta \in\frak X\rm (M)$ where $(M,g)$ is a Riemannian manifold such that
$$\frac12 \frak L_\zeta \rm g+Ric=\lambda g$$
$$ \frak L_\zeta \rm Ric=\lambda ...

**4**

votes

**1**answer

132 views

### subset of hermitian matrices given by eigenvalues form a submanifold

Let $\mathcal{O}_\lambda$ be the set of hermitian $n+1 \times n+1$ matrices with Eigenvalues $\lambda = (\lambda_1, \dots, \lambda_{n+1})$.
and $\mathcal{O}^\mu$ the set of hermitian $n \times n$ ...

**0**

votes

**0**answers

156 views

### First Chern class of the tautological line bundle over $\mathbb{CP}^n$

I'm trying to understand the following example in which the first Chern class of the tautological line bundle $L^{taut} \to \mathbb{CP}^n$ will be calculated and then it is shown that these bundles ...

**1**

vote

**0**answers

56 views

### What is $(L^2(M), H^1_0(M))_{\frac 12}$ on a smooth manifold with boundary?

Let $M$ be a smooth compact manifold. If $M$ is closed, we have that the interpolation space
$$(L^2(M), H^1(M))_{\frac 12}=H^{\frac 12}(M)$$
(see Taylor's book on PDE for example). Suppose $M$ has a ...

**3**

votes

**1**answer

126 views

### Constructing a “nice” cobordism

Denote by $\Sigma_g$ the closed, orientable surface of genus $g$. I want to construct a cobordism $M_g$ between $\Sigma_g$ and $\Sigma_{g+1}$ with the following two nice properties:
1) $M_g$ is an ...

**7**

votes

**1**answer

296 views

### A property stronger than the fixed point property

Assume that $X$ is a topological space. We say that $X$ satisfies the strong fixed point property if the graph of every surjective continuous self-map intersect the graph of every continuous ...

**1**

vote

**1**answer

98 views

### A weak fixed point property

The usual fixed point property can be interpreted in terms of non empty intersection of the graph of all maps with the graph of the identity map.
This motivates us to consider the following "weak ...

**7**

votes

**2**answers

206 views

### Does $\mathfrak{N}_4$ contain at least four distinct elements?

How do I see that the set $\mathfrak{N}_4$ consisting of all unoriented cobordism classes of smooth closed $4$-manifolds contains at least four distinct elements?

**1**

vote

**0**answers

45 views

### Smoothness of the twistor space of a lorentzian manifold, or “convexity wrt null geodesics”

Null lines in Minkowski space form a 5-dimensional manifold, represented as a (real) quadric $\mathbf{PN}\subset\mathbb{C}\mathbf{P}^3$. This is a well-known fact, on which R. Penrose’s twistor ...