相关论文: A proof of a homeomorphism theorem of Waldhausen
We define the class of Haken $n$--manifolds as a generalisation of Haken 3--manifolds. We prove that the interior of the universal covering of a Haken $n$--manifold is $\RR^n$, which generalises a result of Waldhausen. The techniques used…
We give a proof of the so-called generalized Waldhausen conjecture, which says that an orientable irreducible atoroidal 3-manifold has only finitely many Heegaard splittings in each genus, up to isotopy. Jaco and Rubinstein have announced a…
In this short expository note, we give a detailed proof of Markov's theorem on the unsolvability of the homeomorphism problem and of the existence of unrecognizable manifolds in all dimensions larger than 3.
We give a new elementary proof of the parallelizability of closed orientable 3-manifolds. We use as the main tool the fact that any such manifold admits a Heegaard splitting.
The Nielsen Conjecture for Homeomorphisms asserts that any homeomorphism $f$ of a closed manifold is isotopic to a map realizing the Nielsen number of $f$, which is a lower bound for the number of fixed points among all maps homotopic to…
This note is an exposition of Waldhausen's proof of Waldhausen's Theorem: the three-sphere has a single Heegaard splitting, up to isotopy, in every genus. As a necessary step we also give a sketch of the Reidemeister-Singer Theorem.
A new direct proof of the Virtual Haken Conjecture, which asserts that every compact, orientable, irreducible three-dimensional manifold with infinite fundamental group has a finite cover that is Haken, will be given.
A famous example of Casson and Gordon shows that a Haken 3-manifold can have an infinite family of irreducible Heegaard splittings with different genera. In this paper, we prove that a closed non-Haken 3-manifold has only finitely many…
We prove a homological stability theorem for unlinked circles in $3$-manifolds and give an application to certain groups of diffeomorphisms of 3-manifolds.
In this paper we prove two results, one semi-historical and the other new. The semi-historical result, which goes back to Thurston and Riley, is that the geometrization theorem implies that there is an algorithm for the homeomorphism…
We prove three theorems giving fixed points for orientation preserving homeomorphisms of the plane following forgotten results of Brouwer.
We derive a formula for the Dijkgraaf-Witten invariants of orientable Seifert 3-manifolds with orientable bases.
M Handel has proved in [Topology 38 (1999) 235--264] a fixed point theorem for an orientation preserving homeomorphism of the open unit disk, that may be extended to the closed disk and that satisfies a linking property of orbits. We give…
A homeomorphism of a 3-manifold M is said to be Dehn twists on the boundary when its restriction to the boundary of M is isotopic to the identity on the complement of a collection of disjoint simple closed curves in the boundary of M. In…
We prove Simon's conjecture for 3-manifolds.
Graph manifolds are a class of compact, orientable 3-manifolds introduced in 1967 by Waldhausen as a generalization of Seifert fibered 3-manifolds. From the point of view of Thurston's geometrization program, graph manifolds are exactly the…
We survey, complete, and modify a proof, involving knot theory, of Stiefel's theorem that all orientable $3$-manifolds are parallelizable. The completion of the proof is done by using the relationship between the tangent bundle and normal…
We give a short proof of Scharlemann's Strong Haken Theorem for closed $3$-manifolds (and manifolds with spherical boundary). As an application, we also show that given a decomposing sphere $R$ for a $3$-manifold $M$ that splits off an $S^2…
In this paper we give a new proof of Riemann's well known mapping theorem. The suggested method permits to prove an analog of that theorem for the three dimensional case.
In this paper, we prove a geometrization conjecture, every orientable smooth closed 3-manifold with finite fundamental group is homeomorphic to $S^3/G$ for some finite cyclic subgroup $G\subset {Isom}^+(S^3)$.