# Tagged Questions

**11**

votes

**2**answers

2k views

### Are non-PL manifolds CW-complexes?

Can every topological (not necessarily smooth or PL) manifold be given the structure of a CW complex?
I'm pretty sure that the answer is yes. However, I have not managed to find a reference for ...

**13**

votes

**3**answers

1k views

### When are (finite) simplicial complexes (smooth) manifolds?

Hi,
is there an algorithm that determines if a given simplicial complex is
a.) a manifold
b.) a smooth manifold
c.) homotopy equivalent to a manifold
d.) a real algebraic variety
?

**12**

votes

**3**answers

2k views

### Proof of the Reidemeister theorem

While preparing for my introduction to topology course, I've realized that I don't know where to find a detailed proof of the Reidemeister theorem (two link diagrams give isotopic links, iff they can ...

**93**

votes

**1**answer

8k views

### What are the shapes of rational functions?

I would like to understand and compute the shapes of rational functions, that is, holomorphic maps of the Riemann sphere to itself, or equivalently, ratios of two polynomials, up to Moebius ...

**39**

votes

**8**answers

4k views

### Questions about analogy between Spec Z and 3-manifolds

I'm not sure if the questions make sense:
Conc. primes as knots and Spec Z as 3-manifold - fits that to the Poincare conjecture? Topologists view 3-manifolds as Kirby-equivalence classes of framed ...

**29**

votes

**11**answers

3k views

### Compelling evidence that two basepoints are better than one

This question is inspired by an answer of Tim Porter.
Ronnie Brown pioneered a framework for homotopy theory in which one may consider multiple basepoints. These ideas are accessibly presented in his ...

**24**

votes

**6**answers

3k views

### Triangulating surfaces

I've had a few undergraduate students ask me for references for the classical fact (due to Rado) that closed topological surfaces can be triangulated. I know two sources for this, namely Ahlfors's ...

**18**

votes

**6**answers

2k views

### Failure of smoothing theory for topological 4-manifolds

Smoothing theory fails for topological 4-manifolds, in that a smooth structure on a topological 4-manifold $M$ is not equivalent to a vector bundle structure on the tangent microbundle of $M$. Is ...

**29**

votes

**9**answers

5k views

### Nice proof of the Jordan curve theorem?

As a student, I was taught that the Jordan curve theorem is a great example of an intuitively clear statement which has no simple proof.
What is the simplest known proof today?
Is there an intuitive ...

**31**

votes

**6**answers

2k 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. ...

**9**

votes

**6**answers

2k views

### CW-structures and Morse functions: a reference request

The following is probably well known, but I wasn't able to locate a reference in the literature.
Let $f$ be a Morse function on a smooth compact manifold $M$ without boundary and let $\rho$ be a ...

**15**

votes

**3**answers

1k views

### Complete knot invariant?

I've seen a couple papers (that I now can't find) that say that in his paper "On irreducible 3-manifolds which are sufficiently large" Waldhausen proved that the data $\pi_1(\partial (S^3\setminus K)) ...

**9**

votes

**2**answers

907 views

### When does the tangent bundle of a manifold admit a flat connection?

Let $M$ be a smooth manifold, and let $TM$ denote its tangent bundle. Under what conditions does $TM$ admit a flat connection $\omega$?
Edit: Formerly, I asked about a flat connection on the frame ...

**17**

votes

**3**answers

829 views

### Cohomology of fibrations over the circle: how to compute the ring structure?

This question is inspired by Cohomology of fibrations over the circle Moreover, it can be considered a subquestion of the above, but somehow it seems to me that some of the more interesting points ...

**12**

votes

**3**answers

1k views

### finite generated group realized as fundamental group of manifolds

This is discussed in the standard textbooks on algebraic topology.
Pick a presentation of the group $G = \langle g_1,g_2,...,g_n|r_1,r_2,...r_m \rangle$
where $g_i$ are generators and $r_j$ are ...

**10**

votes

**3**answers

577 views

### Homotopy type of set of self homotopy-equivalences of a surface

Let $\Sigma$ be an oriented topological surface. For simplicity, assume that the genus of $\Sigma$ is at least $2$. There are a number of classical results on the homotopy types of various groups of ...

**16**

votes

**5**answers

1k views

### Compactification theorem for differentiable manifolds ?

Just parallelling this question, that seemed not to admit an easy answer at all, let's "soft down" the category and ask the same thing in the case of $\mathcal{C}^{\infty}$-differentiable manifolds ...

**10**

votes

**2**answers

1k views

### What is Kirillov's method good for?

I am planing to study Kirillov's orbit method. I have seen Kirillov's method in several branch of mathematics, for instance, functional analysis, geometry, .... Why is this theory important for ...

**10**

votes

**2**answers

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

**30**

votes

**3**answers

4k views

### Mazur's unpublished manuscript on primes and knots?

The story of the analogy between knots and primes, which now has a literature, started with an unpublished note by Barry Mazur.
I'm not absolutely sure this is the one I mean, but in his paper, ...

**27**

votes

**3**answers

2k views

### Independent evidence for the classification of topological 4-manifolds?

Is there any evidence for the classification of topological 4-manifolds, aside from Freedman's 1982 paper "The topology of four-dimensional manifolds", Journal of Differential Geometry 17(3) 357–453? ...

**33**

votes

**0**answers

730 views

### Homotopy type of TOP(4)/PL(4)

It is known (e.g. the Kirby-Siebenmann book) that $\mathrm{TOP}(n)/\mathrm{PL}(n)\simeq K({\mathbb Z}/2,3)$ for $n>4$. I believe it is also known (Freedman-Quinn) that ...

**20**

votes

**2**answers

1k views

### Elevator pitch for the Virtual Fibering Theorem

There has been a great deal of excitement among topologists about the proof of the Virtual Haken Theorem, and in fact of the Virtual Fibering Theorem (for closed hyperbolic 3-manifolds, but I'm ...

**17**

votes

**2**answers

708 views

### Is there a discrete Cerf theory?

Towards the end of the 1990's, Robin Forman developed a discrete version of Morse theory, which concerns maps from a simplicial complex to $\mathbb{R}$ satisfying a combinatorial analogue to the ...

**12**

votes

**3**answers

649 views

### Is it true that all sphere bundles are boundaries of disk bundles?

Let $E$ be the total space of the sphere bundle $S^k\to E\to M$, is it true that there exists a disk bundle $D^{k+1}\to N\to M$ such that $E=\partial N$? (where $D^{k+1}$ is the unit disk in $\mathbb ...

**10**

votes

**5**answers

807 views

### Which manifolds admit a diffeomorphism of order $n$?

Let $n>1$. Which smooth manifolds admit a diffeomorphism $f$ of order $n$?
For a closed orientable surface $S_g$ of genus $g$ and $n=2$ the answer is in the affirmative, since $S_g$ can be ...

**8**

votes

**7**answers

1k views

### Orbifold fundamental group in terms of loops?

In chapter 13 in his notes on 3-manifolds, Thurston defines the orbifold fundamental group to be the group of deck transformations of the universal cover of the orbifold. He also makes a statement ...

**15**

votes

**0**answers

381 views

### Monoid structure of oriented manifolds with connect sum

Take the class of all compact, connected, boundaryless, smooth oriented $n$-dimensional manifolds, each taken up to orientation-preserving diffeomorphism. This is a commutative monoid with operation ...

**13**

votes

**2**answers

594 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

**4**answers

436 views

### Minimal-length embeddings of braids into R^3 with fixed endpoints

(Apologies in advance for any imprecision in the following; I am a computer scientist and regret never having taken an actual course on topology.)
One way to define the pure braid group $P_n$ is as ...

**9**

votes

**3**answers

1k views

### exotic differentiable structures on manifolds in dimensions 5 and 6

It's a result of low-dimensional topology that in dimensions 3 and lower, two manifolds are homeomorphic if and only if they are diffeomorphic. Milnor's 7-spheres give nice counterexamples to this ...

**7**

votes

**1**answer

827 views

### Seiberg-Witten theory on 4-manifolds with boundary

What generalizations of Seiberg-Witten theory to 4-manifolds with boundary do exist?
I would be especially interested in theories which "behave good" under gluing along the boundary (comparable to ...

**6**

votes

**5**answers

2k views

### Geometric group theory and analysis

Geometric group theory is mainly concerned with topological and geometric properties of groups, spaces on which they act etc., so the ideas employed in GGT are mainly algebraic/geometric/topological. ...

**4**

votes

**1**answer

421 views

### Relation of SW and Donaldson Invariant

My question is:
I am request for the reference that Is there any relationship between the Seiberg-Witten Invariant and Donaldson's Invariant? Or the relationship between Seiberg-Witten Moduli Space ...

**19**

votes

**2**answers

595 views

### Manifolds with homeomorphic interiors

Suppose that two compact topological manifolds with boundary have homeomorphic interiors. Can we conclude that the two manifolds are homeomorphic? What happens in the smooth category?

**15**

votes

**1**answer

457 views

### Can the SL_2 character variety of a three-manifold be nonreduced?

Let $M^3$ be a three-manifold and consider the representation variety and the character variety of $M$:
$$Y=\operatorname{Hom}(\pi_1(M^3),\operatorname{SL}(2,\mathbb C))$$
...

**14**

votes

**3**answers

695 views

### The number of cusps of higher-dimensional hyperbolic manifolds

Suppose $n$ is an integer greater than 3. Sometimes ago I heard somewhere that it is still not known if there exist complete finite-volume hyperbolic $n$-manifolds having exactly one cusp.
Could ...

**9**

votes

**3**answers

614 views

### Is the cut locus of a generic point in a hyperbolic manifold a generic polyhedron?

Let $p\in M$ be a point in a closed riemannian manifold $M$. Recall that the cut locus of $p$ is the subset of $M$ consisting of all points that are connected to $p$ by at least 2 distance-minimizing ...

**2**

votes

**1**answer

321 views

### looking for an identity for higher jet bundle $J^kM$?

We know this fact that the first jet Bundle $J^1M$ is diffeomorphic with $T^*M×\mathbb{R}$.i.e,
($J^1M=T^*M×\mathbb{R}$)
Is there something like this identity for higher jet bundle $J^kM$?
I editted ...

**10**

votes

**2**answers

1k views

### Example of Noetherian group (every subgroup is finitely generated) that is not finitely presented

A Noetherian group (also sometimes called slender groups) is a group for which every subgroup is finitely generated. (Equivalently, it satisfies the ascending chain condition on subgroups).
A ...

**7**

votes

**1**answer

157 views

### Is there a combinatorial version of PL ambient isotopy in dimension $>3$?

The classical PL Reidemeister Theorem reads:
Reidemeister Theorem: Two knots in $S^3$ are PL ambient isotopic if and only if any diagram of one can be transformed into a diagram of the other by ...

**6**

votes

**2**answers

664 views

### fundamental group and complete invariant of irreducible 3-manifolds

I heard that,by Perelman's work,we can get that the fundamental group is a
complete invariant of irreducible 3-manifolds (except for lens spaces).
can someone help explain this.Thank you!

**5**

votes

**1**answer

110 views

### Embedding of flat surfaces

Let $S$ be a orientable compact surface with a flat euclidean structure with conical singularities (cf. [T] for instance). Let also $\mathcal P$ be a polyhedral euclidean decomposition of $S$ (with ...

**5**

votes

**3**answers

861 views

### Reference request: gluing manifolds along pieces of boundary

I've been asked for a reference for the following construction and since I didn't know one, I thought I'd ask here if anyone did.
Consider two smooth manifolds with boundary of the same dimension, ...

**4**

votes

**1**answer

192 views

### CW structures on unitary sphere of a banach/Hilbert space

Does the unit sphere in a Banach space carries a structure of a CW complex? What about Finsler Manifolds?

**3**

votes

**2**answers

648 views

### Why is the mapping class group of hyperbolic manifolds finite?

Hi! I'm trying to understand why a hyperbolic n-manifold has finite mapping class group if $n \geq 3 $. In books I'm reading it's said it's a consequence of Mostow's rigidity theorem:
"If M and N are ...

**2**

votes

**1**answer

197 views

### Surgery diagram for the Seifert-Weber space

In every reference I see, the Seifert-Weber space is presented as an identification space (specifically identify opposite faces of a dodecahedron by a 3/10ths twist).
What I can't seem to find is a ...

**2**

votes

**1**answer

309 views

### References for the categories: DIFF PL LIP TOP

Is there any survey paper focusing on the study of DIFF PL LIP TOP categories?

**16**

votes

**1**answer

591 views

### A function composed with itself produces the identity

Let $B$ be the closed unit ball in $\mathbb R^3$ and $f: B\to B$ continuous, such that $f\circ f$ is the identity (i.e., $f\circ f=\mathbb 1_B$) and $f$ restricted on $\partial B$ is also the identity ...

**14**

votes

**1**answer

587 views

### A concrete realization of the nontrivial 2-sphere bundle over the 5-sphere?

Since $\pi_4 (PU(2)) = \pi_4 (SO(3)) = {\mathbb Z}_2$, the two-element group,
we know that half of the two-sphere bundles over the 5-sphere $S^5$ are trivial
and the other half are non-trivial and ...