Celebratio Mathematica

by Laurence R. Taylor

1. Manifolds pre-Kirby

1.1. Smooth and PL manifolds before 1969

Once upon a time, not so long ago, topological manifolds were rather like unicorns. Other kinds of manifolds, like other animals, were plentiful and intensively studied: nonsingular algebraic varieties had been studied for over a century; Poincaré [e77] worked with PL manifolds; and by the early nineteen fifties, many of the fundamental results on smooth manifolds had been developed, including the theorem that smooth manifolds were PL. Still, no one had yet seen either a unicorn or a topological manifold that was not smooth.

Indeed, by the mid-1950s we knew all topological manifolds of dimension less than 4 were smooth, where by topological manifold we mean a locally Euclidean, paracompact, Hausdorff topological space. As for homeomorphisms, even on the real line there are homeomorphisms that are not differentiable. But any homeomorphism between smooth manifolds of dimension less than 4 is isotopic to a diffeomorphism and the isotopy can be chosen to move every point no more than a predetermined positive distance (usually called an $ε$ -isotopy).

Original citations for these results in dimensions 0 and 1 are unknown to this author. T. Radó [e5] is usually credited with the final details in dimension 2 and Moise [e10] did dimension 3 in a series of papers around 1952.

Milnor’s [e14] 1956 example of a smooth manifold which was homeomorphic but not diffeomorphic to the 7-sphere ended the hope that all homeomorphisms might be isotopic to diffeomorphisms. By 1961 Smale [e25] had proved the h-cobordism theorem, which implied that smooth manifolds homotopy equivalent to a sphere were PL homeomorphic if the dimension was at least 7 (later lowered to 5). This meant that simplicial complexes constructed by Milnor in 1956 were actually PL manifolds with no smooth structure. Other examples followed. Some were by explicit construction but others needed more technique. The Kervaire–Milnor [e29] classification of homotopy spheres in dimensions at least 5 used transversality, surgery theory and the h-cobordism theorem. Handlebody theory was used to classify certain types of smooth manifolds.

Smooth transversality due to Pontryagin [e7] and Thom [e13] works in all dimensions, as does handlebody theory, initiated by Morse [e6] and Bott [e15]. However, other basic tools such as the h-cobordism theorem and surgery theory depend on the Whitney trick and so only were known to work in dimension at least 5.

In 1963 Milnor [e36] introduced microbundles for all three kinds of manifolds and showed manifolds of each type had tangent bundles of each type. Smooth microbundles are essentially vector bundles. There are classifying spaces and maps $B O (n) \to B PL (n) \to B TOP (n) .$ A great deal was known about $B O (n)$ but the other two were mysterious.

Smale [e16] and Hirsch [e18] reduced immersions of smooth manifolds to bundle theory and after microbundles were available Haefliger and Poenaru [e37] produced the analogous results for locally flat PL immersions. Much later, but just before Kirby’s big breakthrough, Lees [e55] proved his immersion theorem which brought topologically locally flat immersion into line with the smooth and PL cases.

During the sixties the theory of PL manifolds caught up with the theory for smooth manifolds. In 1966 Williamson [e46] proved a transversality result for locally flat PL submanifolds. Handlebody theory, the s-cobordism theorem and surgery for PL manifolds in dimensions at least 5 were developed by the combined work of many authors. So now even theorems first proved in the smooth category became available in the PL category with essentially the same proofs.

The questions of when a PL manifold is smooth and when a PL homeomorphism is isotopic to a diffeomorphism were reduced to lifting problems for stable bundles and the homotopy groups of the fibration $PL / O \to B O \to B PL$ were understood in terms of the groups of homotopy spheres.

The role of algebraic K-theory in the theory of manifolds became clearer. Problems whose solutions were unobstructed in the simply connected case became obstructed in the presence of a nontrivial fundamental group but necessary and sufficient conditions for a solution could be given using algebraic K-theory, coupled with handlebody theory, transversality and embedding theory. Smale’s h-cobordism theorem was extended to the s-cobordism theorem by Barden [e32], Mazur [e30] and Stallings [e40] using J. H. C. Whitehead’s theory of torsion [e1]. Wall [e41] used the projective class group to study when a finitely generated, projective chain complex was chain homotopy equivalent to a finitely generated, free one. Browder, Levine and Livesay [e44] showed that a noncompact manifold with finitely generated homology which was simply connected at infinity was the interior of a compact manifold with boundary, and Siebenmann’s thesis [e45] gave necessary and sufficient conditions for this to be true in general using the projective class group. Browder and Levine [e47] showed that a connected manifold with fundamental group $Z$ fibers over a circle if and only if an obviously necessary finiteness condition holds. Farrell’s thesis [e62] gives a necessary and sufficient condition for this to hold in general in terms of the Whitehead group of the fundamental group.

Surgery theory as introduced by Wallace [e21], Milnor [e22] and Kervaire–Milnor [e29] is obstructed even in the simply connected case. Browder [e76](originally published in [e26]) and Novikov [e27] introduced the idea of surgery on a normal map.

Classification of compact manifolds in a fixed homotopy type of dimension at least 5 was becoming a problem that could be solved. Sullivan [e50] focused attention on the structure set of a space $X$ , $S_{n}^{PL} (X)$ . It consists of simple homotopy equivalences $f : M^{n} \to X$ modulo the relation $f_{1} : M_{1}^{n} \to X$ is equivalent to $f_{2} : M_{2}^{n} \to X$ if and only if there exists a PL homeomorphism $h : M_{1} \to M_{2}$ with $f_{2} \circ h$ homotopic to $f_{1}$ . There are also $TOP$ and smooth versions and a version for manifolds with boundary.

For $S_{n}^{PL} (X)$ to be nonempty restricts $X$ : it must satisfy Poincaré duality since $M$ does. Using Spivak’s construction [e51] of a normal spherical fibration for Poincaré spaces and Atiyah’s uniqueness result [e23] for them, Sullivan constructed a “differential” $d : S_{n}^{PL} (X) \to [X, G / PL]$ provided the Spivak normal fibration, $X \to B G$ lifts to $B PL$ , in analogy with the $PL$ to $O$ smoothing theory. Moreover the homotopy fiber of $B PL \to B G$ is $G / PL$ . From the description of $G / PL$ as this homotopy fiber, one can see it is a homotopy associative, homotopy commutative H-space.

For a simply connected Poincaré duality space $X^{n}$ , Sullivan defined a map $[X, G / PL] \overset{α}{\to} L_{n} (Z)$ and for $n ⩾ 5$ , fit them into the “exact sequence” below. The map $β$ below is just a version of $α$ for $X \times [0, 1]$ rel $X \times {0, 1}$ .

Wall [e49] used quadratic algebraic K-theory, also known as L-theory, to extend surgery on normal maps to the nonsimply connected case. Just as in the simply connected case, these groups are 4-fold periodic, essentially by their construction. Wall generalized Sullivan’s maps $α$ and $β$ below to the nonsimply connected case. They are defined in all dimensions. Sullivan’s $d$ already worked with no $π_{1}$ or dimension assumptions. The sequence is easiest to explain when $X$ starts out as a PL manifold $M$ . The sense in which the sequence is exact needs some explanation. Here is where $n ⩾ 5$ comes in.

The structure set $S_{n}^{PL} (M)$ is only a based set with the identity as the base point and $α$ need not be a homomorphism. Nevertheless, $α^{- 1} (0)$ is the image of $d$ . The map $∙$ comes from a group action on a set: $L_{n + 1} (Z [π_{1} (M)]) \times S_{n}^{PL} (M) \to S_{n}^{PL} (M) .$ The map $β$ is a homomorphism and the quotient group $L_{n + 1} (Z [π_{1} (M)]) / image (β)$ acts freely on $S_{n}^{PL} (M)$ with orbit space $α^{- 1} (0)$ . $[Σ M, G / PL] \overset{β}{\to} L_{n + 1} (Z [π_{1} (M)]) \overset{∙}{\to} S_{n}^{PL} (M) \overset{d}{\to} [M, G / PL] \overset{α}{\to} L_{n} (Z [π_{1} (M)]) .$

To compute the structure set of a manifold $M^{n}$ , $n ⩾ 5$ , one needs to compute two of the four Wall groups. One also needs to compute the group of normal invariants, $[M, G / PL]$ and $[Σ M, G / PL]$ . Sullivan gave a detailed analysis of the homotopy type of $G / PL$ but for Kirby’s needs, only the homotopy groups are needed. For low dimensions they can be computed from the homotopy exact sequence of the fibration and the fact that $B O \to B PL$ is an isomorphism on homotopy groups for $n ⩽ 6$ . For $n ⩾ 5$ the Sullivan exact sequence computes the groups in dimensions $⩾ 5$ since all homotopy spheres in these dimensions are PL-standard.

Of particular relevance to Kirby’s work, Shaneson [e57] and Wall [e60] used Farrell’s thesis to compute the Wall groups of free abelian groups Bass–Heller–Swan [e38] computed the Whitehead, projective class and Nil groups of free abelian groups.

1.2. Topological manifolds before 1969

Whilst non-PL manifolds were unknown before 1969, embeddings and homeomorphisms which were not smooth or PL or even piecewise-differentiable were well known. These can be constructed by producing a sequence of smooth/PL functions, embeddings, etc., and by arguing that the limit of the sequence has whatever properties are desired.

Alexander [e4] constructed his famous horned sphere in 1924 as an example of an embedding of the 3-ball in the 3-sphere which could not be isotopic to a smooth embedding. In the 1950’s, Bing [e12] and others constructed many strange objects, presciently topological spaces which were not manifolds but which became manifolds after crossing with some Euclidean space.

Results about manifolds without assuming a smooth or PL structure before 1950 were very rare. Algebraic topology results such as Poincaré duality, the Jordon–Brouwer separation theorem and Brouwer’s invariance of domain result were known.

Hanner [e9] proved topological manifolds were ANR’s and hence, by a result of Whitehead’s [e8], the homotopy type of CW complexes. But even compact topological manifolds were not known to always have the homotopy type of finite CW complexes. Wall’s finiteness obstruction [e41] in the projective class group of the fundamental group was known to be defined, but not known to be zero.

Mazur [e17], Morse [e19] and Brown [e20] proved the topological Schoenflies theorem in all dimensions which says that a locally flat embedding of $S^{n - 1}$ in $S^{n}$ divides the sphere into two disks, each with boundary the embedded $S^{n - 1}$ . Mazur’s proof required an additional hypothesis that the embedding was “nice” at one point, a condition which was removed by Morse. Brown gave a self-contained proof of the full result.

The next most complicated result along these lines was to consider a locally flat embedding of $S^{n - 1}$ into the interior of an $n$ -disk. The sphere divides the disk into two pieces: one piece is a smaller $n$ -disk by the Schoenflies theorem. The other piece was conjectured to be an annulus, a space homeomorphic to $S^{n - 1} \times [0, 1]$ . Milnor’s inclusion of the annulus conjecture on his 1963 problem list from the Seattle conference [e42] plus its inherent simplicity to state made it an attractive problem which generated some interest. Cantrell [e43], LaBach [e52] and even Kirby [1] proved versions of the annulus conjecture with “small additional hypothesis” but a proof of the full conjecture remained elusive.

In a positive direction, M. Newman [e48] was able to extend Stallings’s theory of engulfing [e28] to topological manifolds and managed to prove, amongst other things, that any topological manifold homotopy equivalent to a sphere was homeomorphic to a sphere.

In a different, seemingly unrelated direction, people began to study homeomorphisms of $R^{n}$ and embeddings of $R^{n}$ in $R^{n}$ . Kister [e39] proved that microbundles are fiber bundles so that Milnor’s mysterious classifying spaces, $B TOP (n)$ are the classifying spaces of the group of homeomorphisms, $R^{n} \to R^{n}$ . These however were also very mysterious. Before 1969 the number of path components of $Homeo (R^{n})$ was unknown. Two homeomorphism are in the same path component if and only if they are isotopic. As a first step, people tried to determine if a homeomorphism is isotopic to the identity. Clearly such a homeomorphism must preserve orientation.

In the other direction, it is not hard to show that a homeomorphism which is the identity in a neighborhood of a point is isotopic to the identity. Define a stable homeomorphism of $R^{n}$ to be one that is a composite of a finite number of homeomorphisms, each of which is the identity in a neighborhood of some point. All orientation-preserving homeomorphisms of $R^{n}$ which are differentiable or PL in a neighborhood of a point are stable. The stable homeomorphism conjecture conjectures that all orientation-preserving homeomorphisms of $R^{n}$ are stable.

Brown and Gluck [e33], [e34], [e35] extended these ideas. They defined a notion of stable in a neighborhood of a point and showed that a homeomorphism of $R^{n}$ was stable if and only if it was stable in a neighborhood of any one point. This gives a notion of stable between different open subsets of $R^{n}$ and from there to the notion of a stable atlas for a manifold and hence the notion of a stable manifold. There is also the notion of a stable immersion between stable manifolds.

It further follows that all orientable smooth and orientable PL manifolds are stable as are all smooth or PL orientation-preserving immersions.

Using this circle of ideas, Brown and Gluck were able to show that the stable homeomorphism conjecture in dimension $n$ implies the annulus conjecture in dimension $n$ .

Slightly earlier, E. Connell [e31] proved that stable homeomorphisms of $R^{n}$ could be approximated by PL homeomorphisms if $n ⩾ 7$ . In the midst of the proof is a lemma that bounded homeomorphisms of $R^{n}$ are stable, $n ⩾ 7$ . In 1967, Bing [e54] reduced 7 to 5.

2. Kirby’s breakthrough

Kirby was familiar with Connell’s results since he had used them in his thesis [2]. Lemma 5 of Connell’s paper proves that bounded homeomorphisms of $R^{n}$ are stable, $n ⩾ 5$ . The local nature of stable implies that any covering space of a stable manifold is stable and if $f : N \to M$ is a homeomorphism between stable manifolds and if $\tilde{f} : \tilde{N} \to \tilde{M}$ is the homeomorphism induced between covering spaces, $f$ is stable if and only if $\tilde{f}$ is stable. Given any homeomorphism $f$ of $T^{n}$ , the induced map on the universal cover is bounded and hence stable ( $n ⩾ 5$ ) by Connell. Hence all homeomorphisms $T^{n} \to T^{n}$ are stable ( $n ⩾ 5$ ).

Kirby says his big breakthrough came one night in August 1968 when he realized that given a homeomorphism $h : R^{n} \to R^{n}$ , he could construct a homeomorphism $\hat{h}$ from a PL manifold, $K^{n}$ , to $T^{n}$ , $n$ large. The homeomorphism $h$ would be stable if and only if $\hat{h}$ were stable.

This is not quite enough since $\hat{h}$ may not be a self-homeomorphism of $T^{n}$ . If there is a PL homeomorphism $g : T^{n} \to K^{n}$ then $\hat{h}$ is stable if and only if $\hat{h} \circ g : T^{n} \to T^{n}$ is stable.

There is an old conjecture, the Hauptvermutung, due to Steinitz [e3] and Tietze [e2] in 1908, which conjectures that if two simplicial complexes are homeomorphic then they are PL homeomorphic. Milnor [e24] disproved this for complexes but the conjecture was still open for PL manifolds in 1968. At this point Kirby had a proof that the Hauptvermutung for $T^{n}$ implies the stable homeomorphism conjecture for $R^{n}$ for $n ⩾ 5$ .

In the fall of ’68 experts would have probably bet that the Hauptvermutung for $T^{n}$ was false. Nevertheless during that fall and the spring of ’69, Kirby, together with Siebenmann, tried to make this idea work. The Hauptvermutung can be attacked via the Sullivan–Wall sequence. Several phenomena can result in nontrivial elements in $S^{PL} (M^{n})$ . There might be a pair $(N, f)$ with $N$ not homeomorphic to $M$ . The Hauptvermutung makes no prediction in this case. There might be $(N, f)$ with $f$ a homeomorphism but $N$ not PL homeomorphic to $M$ . In this case the Hauptvermutung is false. There might be $(N, f)$ with $N$ PL homeomorphic to $M$ but $f$ not homotopic to a PL homeomorphism. The Hauptvermutung still holds in this case. In general it can be difficult to sort out which elements are which, even in 2021, but if $S_{n}^{PL} (M)$ , $n ⩾ 5$ , is a single point the Hauptvermutung holds for $M$ .

Unfortunately, $S^{PL} (T^{n})$ is never a single point for $n ⩾ 5$ but it can be computed from the Sullivan–Wall sequence. Fortuitously the calculations of $L_{k} (Z [π_{1} (T^{n})])$ , $[T^{n}, G / PL]$ and $[Σ T^{n}, G / PL]$ can be done in a similar fashion, which enables an inductive calculation of $α$ and $β$ . It turns out that $α$ and $β$ are injective and $coker (β)$ is naturally isomorphic to $H^{3} (T^{n}; Z / 2 Z)$ , so $S^{PL} (T^{n})$ and $H^{3} (T^{n}; Z / 2 Z)$ have the same number of elements. The $Z / 2 Z$ ’s come from the fact that PL surgery problems over $T^{3} \times [0, 1]$ rel $T^{3} \times {0, 1}$ have signature divisible by 16 by Rohlin’s theorem [e11], whereas the surgery group realizes all signatures divisible by 8. Both Wall [e56] and Hsiang–Shaneson [e58] have proofs.

The standard $r^{n}$ -fold cover of $T^{n}$ is the product of $n$ copies of the degree- $r$ cover on $S^{1}$ . The explicit form of the identification of $S^{PL} (T^{n})$ with $H^{3} (T^{n}; Z / 2 Z)$ shows that the map $S^{PL} (T^{n}) \to S^{PL} (T^{n})$ induced by the standard $r^{n}$ -fold cover is the identity if $r$ is odd and maps all elements to the identity homeomorphism if $n$ is even.

To go back to that night in August, $h$ is stable if and only if $\hat{h}$ is stable if and only if $\tilde{\hat{h}}$ is stable where tilde denotes the standard $2^{n}$ -fold cover. But $\tilde{\hat{h}}$ is a homeomorphism from a manifold $K^{n} \to T^{n}$ , where $K^{n}$ is PL homeomorphic to $T^{n}$ and hence $\tilde{\hat{h}}$ is stable.

All orientation-preserving homeomorphisms of $R^{n}$ with $n ⩾ 5$ are stable.

Here is the torus trick. Start with an orientation-preserving homeomorphism $h : R^{n} \to R^{n}$ and pick a PL immersion of $g : T^{n} \to R^{n}$ . The map $h \circ g : T^{n} \to R^{n}$ is a topological immersion so there is a, potentially different, PL structure on $T^{n}$ , say $K^{n}$ , such that $h \circ g$ is a PL immersion and hence stable. There is a map $\hat{h} : K^{n} \to T^{n}$ which is the identity on the underlying topological manifolds and hence a homeomorphism. Moreover $h$ is stable if and only if $\hat{h}$ is stable.

The only problem is that there is no such immersion. However, the tangent bundle of $T^{n}$ is trivial and if $t_{0}$ is a point in $T^{n}$ , $T = T^{n} - t_{0}$ is a noncompact manifold. Hirsch [e18] supplies a smooth immersion $g : T \to R^{n}$ . Let $τ^{n}$ be the smoothing of $T$ for which $h \circ g$ is smooth and let $h_{1} : τ \to T$ be the induced homeomorphism as above.

There remains the problem of “filling in the hole”. By Browder–Livesay, $n ⩾ 6$ , and Wall [e53] $n = 5$ , there is a smooth embedding of $e : S^{n - 1} \times R \to τ$ so that $τ - e (S^{n - 1} \times R)$ is compact. Let $K = τ \cup R^{n}$ , using $e$ to identify $R^{n} - \vec{0} = S^{n - 1} \times R$ , where $\vec{0}$ denotes the origin in $R^{n}$ , with the image of $e$ in $τ$ . Extend $h_{1} : τ^{n} \to T^{n}$ to $\hat{h}$ by letting $\hat{h} (\vec{0}) = t_{0}$ . Clearly $\hat{h} : K^{n} \to T^{n}$ is a bijection. If $U \subset T^{n} - t_{0}$ is open, ${\hat{h}}^{- 1} (U) = h_{1}^{- 1} (U)$ is open in $τ$ and hence open in $K^{n}$ . If $U \subset T^{n} - t_{0}$ is closed, it is compact. Hence ${\hat{h}}^{- 1} (U) = h_{1}^{- 1} (U)$ is compact in $τ$ and hence closed in $K^{n}$ . If $U \subset T^{n}$ is open and $t_{0} \in U$ , then $T^{n} - U$ is closed so ${\hat{h}}^{- 1} (T^{n} - U) \subset K$ is closed and, since $\hat{h}$ is a bijection, ${\hat{h}}^{- 1} (U) = K - {\hat{h}}^{- 1} (X - U)$ is open, so $\hat{h}$ is continuous and therefore is a homeomorphism.

At some point during academic ’68–69, it was noticed that by crossing everything with the ~~$n$ -ball~~, $B^{n}$ , the torus trick became a solution to the handle-straightening problem. After that most of the results needed to put topological manifolds on the same footing as smooth and PL manifolds follow.

The most famous was the result that isotopy classes of PL-triangulations of a topological manifold $M^{n}$ , $n ⩾ 5$ , were given by lifts of the tangent bundle $M \overset{τ_{M}}{\to} B TOP$ to $B PL$ . The homotopy groups of $TOP / PL$ were determined. First it was shown that $TOP / PL$ was either a point or $K (Z / 2 Z, 3)$ and then in the spring, they showed it was $K (Z / 2 Z, 3)$ . It follows from the Serre spectral sequence that there is a class $κ \in H^{4} (B TOP; Z / 2 Z)$ such that a topological manifold $M^{n}$ , $n ⩾ 5$ , is PL if and only if $κ (M) = τ_{M}^{*} (κ) = 0$ . If $M$ is PL, define $S^{TOP / PL} (M)$ to be homeomorphisms $f : N \to M$ with $N$ PL modulo the relation $f_{1} : N_{1} \to M$ is equivalent to $f_{2} : N_{2} \to M$ if and only if there exists a PL homeomorphism $h : N_{1} \to N_{2}$ with $f_{2} \circ h$ isotopic to $f_{1}$ . Then $S^{TOP / PL} (M)$ and $H^{3} (M; Z / 2 Z)$ are bijective. To see $TOP / PL = K (Z / 2 Z, 3),$ they constructed a nontrivial element in $S^{TOP / PL} (T^{n})$ . For the Arbeitstagung that summer, Siebenmann described a topological manifold with no PL structure: see [e61] or page 309 of [3].

Many long-standing problems with topological manifolds now had solutions. Since the total space of a normal bundle to $M$ is PL, compact manifolds of any dimension have the homotopy type of finite complexes. This also allows for the assignment of a Whitehead torsion for homotopy equivalences between manifolds.

Every map $f : N \to M$ is homotopic to a map $g$ transverse to a submanifold $P \subset M$ with normal microbundle provided none of $g^{- 1} (P)$ , $N$ and $M$ have dimension 4. Manifolds of dimension $⩾ 6$ have handlebody structures. Hence surgery and the s-cobordism theorem follow by their usual proofs and there is a Sullivan–Wall sequence for topological manifolds, $n ⩾ 5$ . The homotopy groups of the Thom spectra associated to $B TOP$ and the oriented version $B S TOP$ give the bordism groups of topological manifolds and oriented topological manifolds respectively, except maybe in dimension 4.

Siebenmann [e59] also pointed out that there was tension between Moise’s 3-manifold results and the high-dimensional results above. A simple example is that 4-dimensional handlebodies are smooth so if there were genuine topological 4-manifolds they could not be handlebodies.

The picture was clarified a decade later when Freedman [e74] proved that Casson handles could be straightened topologically. Quinn [e75] then proved the stable homeomorphism conjecture in dimension 4, so both it and the annulus conjecture now are known in all dimensions. The dimension restrictions on transversality were removed and 5-manifolds acquired handlebody decompositions. The theory of topological manifolds of dimension $⩾ 5$ is now on an equal footing with differentiable and PL manifolds.

Finally, the author cannot resist showing a genuine topological manifold. Siebenmann and Freedman certainly construct lots of them but they are not easy to visualize the way spheres or projective spaces and such are.

It is said that the pure of heart can sometimes see a unicorn where ordinary folk see only a horse. Let $E 8$ be the result of plumbing eight copies of the cotangent bundle of $S^{2}$ according to the Dynkin diagram for the exceptional Lie group $E_{8}$ and then coning the boundary, which recall is the Poincaré homology sphere. Define the Bing-unicorn as the simplicial complex $E 8 \times S^{1} .$

It is a unicorn because it is a very ordinary simplicial complex but only the pure of heart can see that it is actually a manifold [e71].

3. The torus trick post-Kirby

The torus trick went on to have a fine career.

Almost immediately after the introduction of the torus trick, Siebenmann [e63] used a version to prove that a CE map between manifolds of dimension greater than 5 is near a homeomorphism.

A bit later, T. Chapman used a handle-straightening theorem for $Q$ -manifolds to prove the topological invariance of Whitehead torsion for finite CW complexes [e67] and that the homeomorphism group of a compact $Q$ -manifold is locally contractible [e65]. An adaptation of Siebenmann’s ideas produced theorems about CE maps between $Q$ -manifolds [e68].

The Edwards–West result that compact ANR’s are $Q$ -manifold factors and Chapman’s work defines a unique simple-homotopy type for compact ANR’s and homeomorphisms between ANR’s are simple. See [e70].

Daverman [e64] used a theorem of Price and Seebeck [e66] (which also uses handle-straightening) and a torus trick to show that a 1-ULC embedding of manifolds in codimension one is locally flat.

Using some hyperbolic manifolds constructed by Deligne and Sullivan [e69], Sullivan [e72] used covers of these in the same way Kirby used the torus to show that manifolds of dimension at least 5 have Lipschitz and quasiconformal structures.

As late as 2013, M. Hastings [e78] was using the torus trick to classify quantum phases.

By now much of the “trickery” in the torus trick has been subsumed and generalized under the rubric of “controlled surgery”. Quinn’s ends-of-maps papers [e73] are one such sublimation.

References

[e1]J. H. C. Whitehead: “Simplicial spaces, nuclei and $m$ -groups,” Proc. London Math. Soc. S2-45 : 1, pp. 243. MR 1576810

[e2] H. Tietze: “Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten,” Monatsh. Math. Phys. 19 : 1 (1908), pp. 1–118. MR 1547755 Zbl 39.0171.01 article

[e3] E. Steinitz: “Beiträge zur Analysis situs,” Sitzungsber. Berl. Math. Ges. 7 (1908), pp. 29–49. Zbl 39.0545.12 article

[e4] J. W. Alexander: “An example of a simply connected surface bounding a region which is not simply connected,” Proceedings of the National Academy of Sciences of the United States of America 10 : 1 (1924), pp. 8–10. Zbl 50.0661.02 article

[e5] T. Radó: “Über den Begriff der Riemannschen Fläche,” Acta Litt. Sci. Szeged 2 (1925), pp. 101–121. Zbl 51.0273.01 article

[e6] M. Morse: “The foundations of the calculus of variations in the large in $m$ -space, I,” Trans. Amer. Math. Soc. 31 : 3 (1929), pp. 379–404. MR 1501489 Zbl 55.0906.02 article

[e7] L. S. Pontryagin: “Homotopy classification of the mappings of an $(n + 2)$ -dimensional sphere on an $n$ -dimensional one,” Doklady Akad. Nauk SSSR (N.S.) 70 (1950), pp. 957–959. In Russian. MR 42121 article

[e8]J. H. C. Whitehead: “A certain exact sequence,” Ann. of Math. (2) 52 (1950), pp. 51–110. MR 0035997 Zbl 0037.26101

[e9] O. Hanner: “Some theorems on absolute neighborhood retracts,” Ark. Mat. 1 (1951), pp. 389–408. MR 43459 Zbl 0042.41102 article

[e10] E. E. Moise: “Affine structures in 3-manifolds, I: Polyhedral approximations of solids,” Ann. of Math. (2) 54 (1951), pp. 506–533. MR 44830 Zbl 0045.12101 article

[e11] V. A. Rohlin: “New results in the theory of four-dimensional manifolds,” Doklady Akad. Nauk SSSR (N.S.) 84 (1952), pp. 221–224. MR 52101 Zbl 0046.40702 article

[e12]R. H. Bing: “A homeomorphism between the 3-sphere and the sum of two solid horned spheres,” Ann. Math. (2) 56 : 2 (September 1952), pp. 354–362. MR 0049549 Zbl 0049.40401 article

[e13] R. Thom: “Quelques propriétés globales des variétés différentiables,” Comment. Math. Helv. 28 (1954), pp. 17–86. MR 61823 Zbl 0057.15502 article

[e14] J. Milnor: “On manifolds homeomorphic to the 7-sphere,” Ann. of Math. (2) 64 (1956), pp. 399–405. MR 82103 Zbl 0072.18402 article

[e15]R. Bott: “An application of the Morse theory to the topology of Lie-groups,” Bull. Soc. Math. Fr. 84 (1956), pp. 251–281. MR 0087035 Zbl 0073.40001 article

[e16] S. Smale: “The classification of immersions of spheres in Euclidean spaces,” Ann. of Math. (2) 69 (1959), pp. 327–344. MR 105117 Zbl 0089.18201 article

[e17]B. Mazur: “On embeddings of spheres,” Bull. Am. Math. Soc. 65 : 2 (1959), pp. 59–65. Research announcement for the author’s PhD thesis (1959). MR 0117693 Zbl 0086.37004 article

[e18] M. W. Hirsch: “Immersions of manifolds,” Trans. Amer. Math. Soc. 93 (1959), pp. 242–276. MR 119214 Zbl 0113.17202 article

[e19]M. Morse: “A reduction of the Schoenflies extension problem,” Bull. Amer. Math. Soc. 66 (1960), pp. 113–115. MR 0117694 Zbl 0091.36206 article

[e20]M. Brown: “A proof of the generalized Schoenflies theorem,” Bull. Amer. Math. Soc. 66 (1960), pp. 74–76. MR 0117695 Zbl 0132.20002

[e21]A. H. Wallace: “Modifications and cobounding manifolds,” Canadian J. Math. 12 (1960), pp. 503–528. MR 125588 article

[e22] J. Milnor: “A procedure for killing homotopy groups of differentiable manifolds,” pp. 39–55 in Proc. Sympos. Pure Math., vol. III. Amer. Math. Soc. (Providence, RI), 1961. MR 130696 Zbl 0118.18601 inproceedings

[e23]M. F. Atiyah: “Thom complexes,” Proc. London Math. Soc. (3) 11 : 1 (1961), pp. 291–310. MR 0131880 Zbl 0124.16301 article

[e24] J. Milnor: “Two complexes which are homeomorphic but combinatorially distinct,” Ann. of Math. (2) 74 (1961), pp. 575–590. MR 133127 Zbl 0102.38103 article

[e25] S. Smale: “Differentiable and combinatorial structures on manifolds,” Ann. of Math. (2) 74 (1961), pp. 498–502. MR 133133 Zbl 0111.18902 article

[e26] Colloquium on algebraic topology, Lectures. Aarhus Universitet, Matematisk Institut (Aarhus, Denmark), 1962. MR 146039 Zbl 0137.00104 book

[e27] S. P. Novikov: “A diffeomorphism of simply connected manifolds,” Dokl. Akad. Nauk SSSR 143 (1962), pp. 1046–1049. In Russian; translated in Soviet Math. Doklady 3 (1962), 540–543. MR 158405 Zbl 0142.40804 article

[e28]J. Stallings: “The piecewise-linear structure of Euclidean space,” Proc. Cambridge Philos. Soc. 58 (1962), pp. 481–488. MR 0149457 Zbl 0107.40203

[e29] M. A. Kervaire and J. W. Milnor: “Groups of homotopy spheres, I,” Ann. of Math. (2) 77 (1963), pp. 504–537. MR 148075 Zbl 0115.40505 article

[e30]B. Mazur: “Relative neighborhoods and the theorems of Smale,” Ann. Math. (2) 77 : 2 (March 1963), pp. 232–249. MR 0150786 Zbl 0112.38301 article

[e31] E. H. Connell: “Approximating stable homeomorphisms by piecewise linear ones,” Ann. of Math. (2) 78 (1963), pp. 326–338. MR 154289 article

[e32] D. Barden: On the structure and classification of differential manifolds. Ph.D. thesis, University of Cambridge, 1964. phdthesis

[e33]M. Brown and H. Gluck: “Stable structures on manifolds, I: Homeomorphisms of $S^{n}$ ,” Ann. of Math. (2) 79 (1964), pp. 1–17. MR 0158383

[e34]M. Brown and H. Gluck: “Stable structures on manifolds, II: Stable manifolds,” Ann. of Math. (2) 79 (1964), pp. 18–44. MR 0158384

[e35]M. Brown and H. Gluck: “Stable structures on manifolds, III: Applications,” Ann. of Math. (2) 79 (1964), pp. 45–58. MR 0158385

[e36]J. Milnor: “Microbundles, I,” Topology 3 : suppl. 1 (1964), pp. 53–80. MR 0161346 article

[e37] A. Haefliger and V. Poenaru: “La classification des immersions combinatoires” [The classification of combinatorial immersions], Inst. Hautes études Sci. Publ. Math. 23 (1964), pp. 75–91. MR 172296 Zbl 0147.42502 article

[e38] H. Bass, A. Heller, and R. G. Swan: “The Whitehead group of a polynomial extension,” Inst. Hautes Études Sci. Publ. Math. 22 (1964), pp. 61–79. MR 174605 Zbl 0248.18026 article

[e39]J. M. Kister: “Microbundles are fibre bundles,” Ann. of Math. (2) 80 (1964), pp. 190–199. MR 0180986 Zbl 0131.20602 article

[e40] J. R. Stallings: “On infinite processes leading to differentiability in the complement of a point,” pp. 245–254 in Differential and Combinatorial Topology (A Symposium in Honor of Marston Morse). Edited by S. S. Cairns. Princeton Univ. Press, 1965. MR 180983 Zbl 0136.44302 incollection

[e41] C. T. C. Wall: “Finiteness conditions for CW-complexes,” Ann. of Math. (2) 81 (1965), pp. 56–69. MR 171284 Zbl 0152.21902 article

[e42] R. Lashof: “Problems in differential and algebraic topology (Seattle Conference, 1963),” Ann. of Math. (2) 81 (1965), pp. 565–591. MR 182961 Zbl 0137.17601 article

[e43] J. C. Cantrell: “Some results concerning the union of flat cells,” Duke Math. J. 32 (1965), pp. 673–677. MR 185584 Zbl 0134.19405 article

[e44] W. Browder, J. Levine, and G. R. Livesay: “Finding a boundary for an open manifold,” Amer. J. Math. 87 (1965), pp. 1017–1028. MR 189046 Zbl 0134.42801 article

[e45] L. C. Siebenmann: The obstruction to finding a boundary for an open manifold of dimension greater than five. Ph.D. thesis, Princeton University, 1965. MR 2615648 phdthesis

[e46] R. E. Williamson, Jr.: “Cobordism of combinatorial manifolds,” Ann. of Math. (2) 83 (1966), pp. 1–33. MR 184242 Zbl 0137.42901 article

[e47] W. Browder and J. Levine: “Fibering manifolds over a circle,” Comment. Math. Helv. 40 (1966), pp. 153–160. MR 195104 Zbl 0134.42802 article

[e48] M. H. A. Newman: “The engulfing theorem for topological manifolds,” Ann. of Math. (2) 84 (1966), pp. 555–571. MR 203708 Zbl 0166.19801 article

[e49] C. T. C. Wall: “Surgery of non-simply-connected manifolds,” Ann. of Math. (2) 84 (1966), pp. 217–276. MR 212827 Zbl 0149.20602 article

[e50] D. P. Sullivan: Triangulating homotopy equivalences. Ph.D. thesis, Princeton University, 1966. MR 2615489 phdthesis

[e51] M. Spivak: “Spaces satisfying Poincaré duality,” Topology 6 (1967), pp. 77–101. MR 214071 Zbl 0185.50904 article

[e52] W. A. LaBach: “Note on the annulus conjecture,” Proc. Amer. Math. Soc. 18 (1967), pp. 1079. MR 217800 Zbl 0167.52102 article

[e53] C. T. C. Wall: “On bundles over a sphere with fibre Euclidean space,” Fund. Math. 61 (1967), pp. 57–72. MR 227994 Zbl 0312.57009 article

[e54]R. H. Bing: “Radial engulfing,” pp. 1–18 in Conference on the topology of manifolds (Michigan State University, East Lansing, MI, 1967). Edited by J. G. Hocking. Prindle, Weber & Schmidt (Boston), 1968. MR 0238284 Zbl 0186.57505 incollection

[e55] J. A. Lees: “Locally flat imbeddings of topological manifolds,” Ann. of Math. (2) 89 (1969), pp. 1–13. MR 238287 Zbl 0176.21801 article

[e56] C. T. C. Wall: “On homotopy tori and the annulus theorem,” Bull. London Math. Soc. 1 (1969), pp. 95–97. MR 242164 Zbl 0176.22002 article

[e57] J. L. Shaneson: “Wall’s surgery obstruction groups for $G \times Z$ ,” Ann. of Math. (2) 90 (1969), pp. 296–334. MR 246310 Zbl 0182.57303 article

[e58] W.-c. Hsiang and J. L. Shaneson: “Fake tori, the annulus conjecture, and the conjectures of Kirby,” Proc. Nat. Acad. Sci. U.S.A. 62 (1969), pp. 687–691. MR 270378 Zbl 0174.26404 article

[e59] L. C. Siebenmann: “Disruption of low-dimensional handlebody theory by Rohlin’s theorem,” pp. 57–76 in Topology of Manifolds (Univ. of Georgia, Athens, GA, 1969). Markham (Chicago, IL), 1970. MR 271955 Zbl 0281.57022 inproceedings

[e60]C. T. C. Wall: Surgery on compact manifolds. London Math. Soc. Monographs 1. Academic Press (London), 1970. MR 0431216 Zbl 0219.57024 book

[e61] L. C. Siebenmann: “Topological manifolds,” pp. 133–163 in Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 2. 1971. MR 423356 Zbl 0224.57001 incollection

[e62] F. T. Farrell: “The obstruction to fibering a manifold over a circle,” Indiana Univ. Math. J. 21 (1971/72), pp. 315–346. MR 290397 Zbl 0231.57019 article

[e63] L. C. Siebenmann: “Approximating cellular maps by homeomorphisms,” Topology 11 (1972), pp. 271–294. MR 295365 article

[e64] R. J. Daverman: “Locally nice codimension one manifolds are locally flat,” Bull. Amer. Math. Soc. 79 (1973), pp. 410–413. MR 321095 Zbl 0256.57005 article

[e65] T. A. Chapman: “Homeomorphisms of Hilbert cube manifolds,” Trans. Amer. Math. Soc. 182 (1973), pp. 227–239. MR 372863 Zbl 0288.57002 article

[e66] T. M. Price and C. L. Seebeck, III: “Somewhere locally flat codimension one manifolds with 1-ULC complements are locally flat,” Trans. Amer. Math. Soc. 193 (1974), pp. 111–122. MR 346796 Zbl 0297.57009 article

[e67] T. A. Chapman: “Topological invariance of Whitehead torsion,” Amer. J. Math. 96 (1974), pp. 488–497. MR 391109 Zbl 0358.57004 article

[e68] T. A. Chapman: “Cell-like mappings of Hilbert cube manifolds: solution of a handle problem,” General Topology and Appl. 5 (1975), pp. 123–145. MR 377894 Zbl 0308.58002 article

[e69] P. Deligne and D. Sullivan: “Fibrés vectoriels complexes à groupe structural discret,” C. R. Acad. Sci. Paris Sér. A-B 281 : 24 (1975), pp. A1081–A1083. MR 397729 Zbl 0317.55016 article

[e70] T. A. Chapman: Lectures on Hilbert cube manifolds (Guilford College, October 11-15, 1975). Regional Conference Series in Mathematics 28. Amer. Math. Soc. (Providence, RI), 1976. MR 423357 Zbl 0347.57005 book

[e71] J. W. Cannon, J. L. Bryant, and R. C. Lacher: “The structure of generalized manifolds having nonmanifold set of trivial dimension,” pp. 261–300 in Geometric topology (Athens, Georgia, 1977). Edited by J. C. Cantrell. Academic Press (New York-London), 1979. MR 537735 Zbl 0476.57006 inproceedings

[e72] D. Sullivan: “Hyperbolic geometry and homeomorphisms,” pp. 543–555 in Geometric topology (Athens, GA, 1977). Edited by J. C. Cantrell. Academic Press (New York), 1979. MR 537749 Zbl 0478.57007 inproceedings

[e73] F. Quinn: “Ends of maps, I,” Ann. of Math. (2) 110 : 2 (1979), pp. 275–331. MR 549490 Zbl 0394.57022 article

[e74] article M. H. Freedman: “The topology of four-dimensional manifolds,” J. Differential Geom. 17 : 3 (1982), pp. 357–453. MR 0679066 Zbl 0528.57011

[e75] F. Quinn: “Ends of maps, III: Dimensions 4 and 5,” J. Differential Geometry 17 : 3 (1982), pp. 503–521. MR 679069 Zbl 0533.57009 article

[e76] W. Browder: “Homotopy type of differentiable manifolds,” pp. 97–100 in Novikov conjectures, index theorems and rigidity, I. Edited by S. C. Ferry, A. Ranicki, and J. M. Rosenberg. London Math. Soc. Lecture Note Ser. 226. Cambridge Univ. Press, 1995. MR 1388298 Zbl 0954.57016 incollection

[e77] H. Poincaré: Papers on topology. History of Mathematics 37. Amer. Math. Soc.; London Math. Soc. (Providence, RI; London), 2010. MR 2723194 Zbl 1204.55002 book

[e78] M. B. Hastings: “Classifying quantum phases with the Kirby torus trick,” Phys. Rev. B 88 (2013), pp. art.~id.~165114. article

Laurent C. Siebenmann	Related
M. F. Atiyah	Related	Volume
John W. Milnor	Related

Robion C. Kirby

Kirby’s work on topological manifolds