**9**

votes

**2**answers

151 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

68 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

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

**19**

votes

**2**answers

525 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

172 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

171 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

86 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

244 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

87 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

73 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

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

**11**

votes

**1**answer

276 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

97 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

80 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

251 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

68 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

43 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

478 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

68 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

180 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

53 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

62 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

383 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

300 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

133 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

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

**6**

votes

**1**answer

405 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

105 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

260 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

52 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

137 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

231 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

130 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

150 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

55 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

125 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

294 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

97 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

203 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

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

**4**

votes

**1**answer

77 views

### $E \times_H \mathbb{R}^n$ is isomorphic to the total space of the tautological bundle $\gamma^n$ over $G_n(\mathbb{R}^{n+k})$?

Let $H$ be the subgroup of $\text{GL}(n + k, \mathbb{R})$ consisting of matrices whose lower $n \times k$ block is empty; i.e. consisting of matrices of the form$$\begin{pmatrix} A & * \\ 0 & ...

**0**

votes

**0**answers

90 views

### Unit sphere of a norm is a submanifold implies the norm is smooth?

Let us call a norm on $\mathbb{R}^n$ smooth if its restriction $\| \cdot \|:\mathbb{R}^n\setminus \{ 0 \} \to \mathbb{R}$ is a smooth map.
Suppose the unit sphere of a norm $\| \cdot \|$ is an ...

**4**

votes

**0**answers

93 views

### Higher tangent bundles of manifolds with non integer dimension

One way to define the tangent space of a manifold at a point $p\in M$ is the following: We define an equivalent relation on the space of curves passing $p$ as follows: Two curves $\alpha, \beta$ are ...