# Tagged Questions

**4**

votes

**1**answer

276 views

### Manifolds such that every homeomorphism of a submanifold to itself extends to the full manifold

Let manifold $S$ (connected, without boundary) have next property: for every submanifold $D \subset S$ (connected, compact, without boundary), every homeomorphism $f:D \to D$ extends to a ...

**4**

votes

**1**answer

315 views

### On the fundamental group of closed 3-manifolds

I know that every finitely presented group can be realized as the fundamental group of a compact, connected, smooth manifold of dimension 4 (or higher). In dimension 2 there are strong restriction on ...

**3**

votes

**0**answers

163 views

### Action of the mapping class group on separating spheres in a connected sum of aspherical 3-manifolds

Let $M$ be a connected sum of $g$ closed aspherical 3-manifolds $M_1, \ldots, M_g$. [Update: I also assume that all the $M_i$-s are diffeomorphic, i.e. $M$ is a connected sum of copies of the same ...

**19**

votes

**1**answer

457 views

### good covers of manifolds

It is well-known and easy to prove (see for instance this post) that every smooth manifold admits a "good cover", i.e. a locally finite cover by open balls such that all nonempty intersections of the ...

**2**

votes

**1**answer

136 views

### homology of punctured manifolds

Let $M$ be an $n$-dimensional closed manifold. Choose $x \in M$. Using long exact sequence of pairs $(M,M - x)$, we have
$$H_k(M - x, \mathbb{Z}) \cong H_k(M, \mathbb{Z})$$
for $k<n-1$. For ...

**1**

vote

**0**answers

159 views

### Does there exist any subspace of R^n, homeomorhic to a manifold but not a C^0 submanifold of R^n?

At first I thought that if a subspace of $\mathbb{R}^n$ is homeomorphic to a manifold, then it is a $C^0$ submanifold of $\mathbb{R}^n$. But I found an asterisked exercise in the book Differential ...

**6**

votes

**1**answer

560 views

### How can gauge theory techniques be useful to study when topological manifolds can be triangulated?

I was reading a review article arXiv:1310.7644 and it was explained there that in the last few years it was proven that there are topological manifolds of dimension greater than four that cannot be ...

**14**

votes

**1**answer

402 views

### Are there geometrically formal manifolds, which are not rationally elliptic?

Formality of a space is meant in the sense of Sullivan, i.e. a space $X$ is called formal, if it's commutative differential graded algebra of piecewise linear differential forms $(A_{PL}(X),d)$ is ...

**2**

votes

**0**answers

187 views

### What kinds of manifolds admit non-vanishing vector fields defining convergent congruences?

One of the corollaries of the Poincaré–Hopf index theorem is that a closed, connected manifold $M$ admits non-vanishing vector fields iff its Euler characteristic is zero; i.e. $\chi(M) = 0$.
I am ...

**1**

vote

**0**answers

76 views

### PL or projective PL map on the links of a PL manifold

Let $M$ be a PL manifold and $f: M\rightarrow M$ be a PL homeomorphism. Suppose that $f(x)=x$ for some vertex $x$. Is the restriction map of $f$ on the links of $x$ also PL? Someone claims that this ...

**7**

votes

**0**answers

175 views

### Reference Request: Topological h-cobordism theorem in higher dimensions

I think this question on math.stackexchange is more appropriate on mathoverflow. Correct me, if you don't think so.
The h-cobordism theorem is true in the topological and in the smooth category in ...

**7**

votes

**1**answer

189 views

### High dimensional generalized Poincare hypothesis without the h-cobordism theorem?

The generalized PL Poincare hypothesis states that in dimension $n$ there is a unique PL manifold that has the homotopy-type of $S^n$. It's known to be true in all dimensions except perhaps $n=4$.
...

**15**

votes

**2**answers

473 views

### Distinct manifolds with the same configuration spaces?

For a space $X$, let $C_k X$ denote the space of configurations of $k$ distinct unordered points in $X$.
What is an example of a pair of smooth manifolds $M$ and $N$ that are not homeomorphic but ...

**4**

votes

**0**answers

145 views

### Haken manifolds and characterising sutured manifold hierarchies

In Gabai's paper (Knot Theory and Manifolds Lecture Notes in Mathematics Volume 1144, 1985, pp 14-17 An internal hierarchy for 3-manifolds) he considers sutured manifold decompositions of Haken ...

**13**

votes

**3**answers

618 views

### Does a *topological* manifold have an exhaustion by compact submanifolds with boundary?

If $M$ is a connected smooth manifold, then it is easy to show that there is a sequence of connected compact smooth submanifolds with boundary $M_1\subseteq M_2\subseteq\cdots$ such that ...

**7**

votes

**1**answer

470 views

### Cancellation law for $M^n\times \mathbb R= N^n\times \mathbb R$.

Assume $M^n$ and $N^n$ are null bordant, i.e. each can be realized as boundary of an $n+1$ dimensional manifold. Suppose $M^n \times \mathbb R$ is homeomorphic to $N^n\times \mathbb R$. Is there any ...

**13**

votes

**2**answers

446 views

### Are there results from gauge theory known or conjectured to distinguish smooth from PL manifolds?

My question begins with a caveat: I sometimes spend time with topologists, but do not consider myself to be one. In particular, my apologies for any errors in what I say below — corrections are ...

**11**

votes

**2**answers

915 views

### homotopy type of embeddings versus diffeomorphisms

Previously, I asked a question on mathoverflow comparing smooth embeddings and diffeomorphisms, which received a very interesting and somewhat unexpected answer by Agol. I now ask a further question ...

**4**

votes

**1**answer

607 views

### an extended question of Gromov: Every **generalized open almost complex manifold** admits a **generalized symplectic structure**? [closed]

Definition (Open Manifolds):An open manifold is a manifold without boundary with no compact component. For a connected manifold, "open" is equivalent to "without boundary and non-compact.
we know that ...

**10**

votes

**1**answer

213 views

### orbit space of a topological manifold

Given a compact Lie group G acting freely on a topological manifold M, is it true that the orbit space M/G is also a topological manifold? If so, why?

**15**

votes

**2**answers

452 views

### If $X$ is a simplicial complex, is their a characterization of the links of the vertices of $X$ that is equivalent to the statement "$|X|$ is a manifold

We have a characterization when we want $|X|$ to be a PL-manifold, in particular that the links of all the vertices are themselves (PL) spheres. If we are in the category of PL- spaces then this is a ...

**7**

votes

**0**answers

134 views

### PL surface projections - is there a theory of folds and cusps?

For smooth surfaces, the generic singularities of a map of one surface to another are folds and cusps (Whitney). It is a standard result in singularity theory that the generic isotopy of such a map is ...

**17**

votes

**1**answer

741 views

### isotopy inverse embeddings vs. diffeomorphisms

I would like to find an example, if one exists, of manifolds $M$ and $N$ with embeddings $f:M\to N$ and $g:N\to M$ such that $f\circ g$ and $g\circ f$ are both isotopic (i.e. homotopic through ...

**0**

votes

**1**answer

265 views

### Is it possible to classify the boundaries of a manifold?

The open ball is a manifold, and the closed ball is a compact manifold-with-boundary which extends the open ball, in which the open ball is dense, in which all the new points are boundary points. Is ...

**31**

votes

**6**answers

3k views

### Status of PL topology

I posted this question on math stackexchange but received no answers. Since I know there are more people knowledgeable in geometric and piecewise-linear (PL) topology here, I'm reposting the question. ...

**5**

votes

**1**answer

353 views

### Triangulation of Surfaces without Jordan-Schoenflies

Does anyone know of a proof of the fact that any 2-manifold can be triangulated that does not use the Jordan-Curve Theorem or the Jordan-Schoenflies Theorem? Thanks for your help

**6**

votes

**3**answers

913 views

### When is a finite cw-complex a compact topological manifold?

I think the statement of the question is pretty straightforward. Given a finite $n$-dimensional CW complex, are there necessary and sufficient conditions for determining that it is also a compact ...

**13**

votes

**2**answers

626 views

### Uniqueness of compactification of an end of a manifold

Let $M$ be an $n$-dimensional manifold (smooth or topological). I call $\bar{M}$ a compactification of $M$ if it is an $n$-dimensional compact manifold with boundary $\partial \bar{M}$, an ...

**11**

votes

**1**answer

527 views

### Stable normal bundle of a manifold

Hi,
in bordism-theory and many bordering areas one has the following construction: Given a manifold M (say closed for the purposes of this discussion and k-dimensional), we embed it into some ...

**20**

votes

**3**answers

2k views

### A “meta-mathematical principle” of MacPherson

In an appendix to his notes on intersection homology and perverse sheaves, MacPherson writes
Why do we want to consider only spaces $V$ that admit a decomposition into manifolds? The intuitive ...

**9**

votes

**1**answer

303 views

### Can an action of a compact Lie group be nontrivial if it is trivial on the boundary?

Let $G$ be a compact Lie group acting on a connected topological manifold $M$ with boundary. Suppose the action on one boundary component is trivial. Does it follow that the action on the whole of $M$ ...

**1**

vote

**1**answer

295 views

### Do bistellar flips preserve shellability?

I notice there is a strong connection between shellability of simplicial complexes and bistellar flips on these complexes; in particular, adding in a new facet of a shelling induces a bistellar flip ...

**3**

votes

**2**answers

358 views

### uniqueness of regular/tubular neighborhood with equivariant boundary

Let $N$ and $N'$ be regular neighborhoods of a subpolyhedron $P$ in a closed PL manifold $M$, and suppose that $t$ is a free PL involution on $M$ such that each of $\partial N$, $\partial N'$ is ...

**7**

votes

**2**answers

315 views

### Fragmenting a homeomorphism of a compact manifold

Let $M$ be a compact manifold and let $f : M \rightarrow M$ be a homeomorphism which is isotopic to the identity. We will say that $f$ can be fragmented if it satisfies the following property. Let ...

**7**

votes

**1**answer

484 views

### Riemannian metrics on non-paracompact manifolds

After proving the existence of Riemannian metrics on manifolds, one of the students asked if the "paracompactness" is necessary. Of course the standard proof with the partition of unity
uses this ...

**8**

votes

**2**answers

728 views

### Manifolds with rectifiable curves

To begin with, observe that the notion of a rectifiable curve makes sense in, say, a smooth or a PL-manifold but not in merely a topological manifold. Indeed if $f:[0,1]\rightarrow U\subset{\Bbb ...

**15**

votes

**5**answers

1k views

### Is every real n-manifold isomorphic to a quotient of $\mathbb{R}^n$?

I'm curious about the following:
Is every real $n$-manifold isomorphic to a quotient of $\mathbb{R}^n$?
Thanks.
EDIT: As Tilman points out, the manifold should be connected. Also, yes, I'm thinking ...

**12**

votes

**1**answer

1k views

### Proofs of Rohlin's theorem (an oriented 4-manifold with zero signature bounds a 5-manifold)

A celebrated theorem of Rohlin states the following
An oriented closed 4-manifold $M^4$ bounds an oriented 5-manifold if and only if the signature of $M^4$ is zero.
Simple homological arguments ...

**63**

votes

**4**answers

4k views

### Which manifolds are homeomorphic to simplicial complexes?

This question is only motivated by curiousity; I don't know a lot about manifold topology.
Suppose $M$ is a compact topological manifold of dimension $n$. I'll assume $n$ is large, say $n\geq 4$. ...

**5**

votes

**4**answers

917 views

### Higher-dimensional braid group?

Let $\Delta$ be 2-disk. Let $C(\Delta;n)$ be a configuration space.
i.e.) $C(\Delta;n)= \lbrace (z_1,\ldots,z_n)\in \Delta\times\ldots\Delta | z_i\neq z_j ~\textrm{if}~ i\neq j \rbrace $
Then, it ...

**23**

votes

**2**answers

948 views

### A Pachner complex for triangulated manifolds

A theorem of Pachner's states that if two triangulated PL-manifolds are PL-homeomorphic, the two triangulations are related via a finite sequence of moves, nowadays called "Pachner moves".
A ...

**21**

votes

**2**answers

2k views

### Are topological manifolds homotopy equivalent to smooth manifolds?

There exist topological manifolds which don't admit a smooth structure in dimensions > 3, but I haven't seen much discussion on homotopy type. It seems much more reasonable that we can find a smooth ...

**6**

votes

**2**answers

768 views

### G-spaces and manifolds

In his book "The geometry of geodesics" H. Busemann defines the notion of a G-space to be a space which satisfies the following axioms:
The space is metric
The space is finitely compact, i.e., a ...

**23**

votes

**1**answer

640 views

### “Affine communication” for topological manifolds

There is a situation that comes up regularly in algebraic topology when giving proofs of facts about manifolds, like Poincare duality and the like. The typical sequence goes like this:
Prove ...

**7**

votes

**1**answer

543 views

### How does the Lefschetz-Poincare dual torsion linking pairing on manifolds with boundary interact with the maps of the long exact sequence of the manifold-boundary pair?

I'm wondering if anyone can point me to a reference on how the various
Lefschetz-Poincare dual torsion pairings of a manifold with boundary fit
together.
To explain in more detail, consider a ...

**7**

votes

**1**answer

529 views

### Counting submanifolds of the plane

After thinking about this question and reading this one I am led to ask for an uncountable collection of homeomorphism types of boundaryless connected path-connected submanifolds of the plane.
My ...

**13**

votes

**3**answers

1k views

### Can we decompose Diff(MxN)?

If you have two manifolds $M^m$ and $N^n$, how does one / can one decompose the diffeomorphisms $\text{Diff}(M\times N)$ in terms of $\text{Diff}(M)$ and $\text{Diff}(N)$? Is there anything we can say ...