4
votes
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
3answers
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
1answer
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
2answers
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
2answers
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
6answers
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
1answer
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
3answers
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
2answers
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
1answer
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
3answers
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
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
2answers
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
5answers
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
1answer
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
4answers
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
4answers
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
2answers
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
2answers
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
2answers
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
1answer
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
1answer
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
1answer
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
3answers
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 ...