# Tagged Questions

Smooth manifolds and smooth functions between them. For manifolds with additional structure, see more specific tags, such as [riemannian-geometry]. For more topological aspects, see [differential-topology].

78 views

### Lie subalgebra of $\chi^{\infty}(M)$ of codimension one

Assume that $M$ is an arbitrary manifold. Is there a Lie subalgebra of $\chi^{\infty}(M)$, the space of smooth vector fields on $M$, whose codimension is equal to one? If not, what is a counter ...
109 views

146 views

### Differential structures on compact Lie groups

Given a compact Lie group can there be a differential structure on it with respect to which one cannot define a smooth group operation?
163 views

### How far can one reconstruct the boundary of a manifold M given its interior $int M$? [duplicate]

Suppose I keep in my pocket a manifold with boundary $M$ , and I provide you access to $int M := M \setminus \partial M$ up to homeomorphism/diffeomorphism. What can you deduce about $\partial M$? can ...
338 views

### Are homology spheres stably trivial?

A homology sphere is a closed smooth $n$-dimensional manifold with the same homology groups as $S^n$. Igor Belegradek's answer to a previous question of mine shows that the smoothness hypothesis is ...
212 views

### On Johansson's Theorem on homotopy equivalences of 3-manifolds

Johansson's theorem states the following: Given $f:M_1\rightarrow M_2$ (not a pair map) an homotopy equivalence between 3-manifolds with incompressible boundary. Let $V_i$ be the components of the ...
2k views

### Questions on J. F. Nash's answer about his errors in the proof of embedding theorem

In the interview of John Nash taken by Christian Skau and Martin Gaussen, in EMS Newsletter, September, 2015 when asked Is it true, as rumours have it, that you started to work on the embedding ...
664 views

109 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) ...
108 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) ...
141 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$ ...
185 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 ? ...
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 Borel-...
171 views

92 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 real-...
81 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 ...
252 views

101 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$ ...
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 ...
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 inclusions–––...