Hauptvermutung

The Hauptvermutung^[a] of geometric topology is a now refuted conjecture asking whether any two triangulations of a triangulable space have subdivisions that are combinatorially equivalent, i.e. the subdivided triangulations are built up in the same combinatorial pattern. It was originally formulated as a conjecture in 1908 by Ernst Steinitz^[1] and Heinrich Franz Friedrich Tietze,^[2] but it is now known to be false.

History

The non-manifold version was disproved by John Milnor in 1961 using Reidemeister torsion.^[3]

The manifold version is true in dimensions $m\leq 3$ . The cases $m=2$ and $3$ were proved by Tibor Radó and Edwin E. Moise in the 1920s and 1950s, respectively.^[4]^[5]^[6]

An obstruction to the manifold version was formulated by Andrew Casson and Dennis Sullivan in 1967–69 (originally in the simply-connected case), using the Rochlin invariant and the cohomology group $H^{3}(M;\mathbb {Z} /2\mathbb {Z} )$ .

In dimension $m\geq 5$ , a homeomorphism $f\colon N\to M$ of m-dimensional piecewise linear manifolds has an invariant $\kappa (f)\in H^{3}(M;\mathbb {Z} /2\mathbb {Z} )$ such that $f$ is isotopic to a piecewise linear (PL) homeomorphism if and only if $\kappa (f)=0$ . In the simply-connected case and with $m\geq 5$ , $f$ is homotopic to a PL homeomorphism if and only if $[\kappa (f)]=0\in [M,G/{\rm {PL}}]$ .

This quantity $\kappa (f)$ is now seen as a relative version of the triangulation obstruction of Robion Kirby and Laurent C. Siebenmann, obtained in 1970. The Kirby–Siebenmann obstruction is defined for any compact m-dimensional topological manifold M

\kappa (M)\in H^{4}(M;\mathbb {Z} /2\mathbb {Z} )

again using the Rochlin invariant. For $m\geq 5$ , the manifold M has a PL structure (i.e., it can be triangulated by a PL manifold) if and only if $\kappa (M)=0$ , and if this obstruction is 0, the PL structures are parametrized by $H^{3}(M;\mathbb {Z} /2\mathbb {Z} )$ . In particular there are only a finite number of essentially distinct PL structures on M.

For compact simply-connected manifolds of dimension 4, Simon Donaldson found examples with an infinite number of inequivalent PL structures, and Michael Freedman found the E8 manifold which not only has no PL structure, but (by work of Casson) is not even homeomorphic to a simplicial complex.^[7]

In 2013, Ciprian Manolescu proved that there exist compact topological manifolds of dimension 5 (and hence of any dimension greater than 5) that are not homeomorphic to a simplicial complex.^[8] Thus Casson's example illustrates a more general phenomenon that is not merely limited to dimension 4.

Notes

^ German for main conjecture. It is an abbreviation for die Hauptvermutung der kombinatorischen Topologie, which translates as the main conjecture of combinatorial topology.

References

^ Steinitz, E. (1908). "Beiträge zur Analysis situs". Sitz-Ber. Berlin Math. Ges. 7: 29–49.
^ Tietze, H. (1908). "Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten". Monatsh. Für Math. Und Phys. 19: 1–118. doi:10.1007/BF01736688. S2CID 120998023.
^ Milnor, John W. (1961). "Two complexes which are homeomorphic but combinatorially distinct". Annals of Mathematics. 74 (2): 575–590. doi:10.2307/1970299. JSTOR 1970299. MR 0133127.
^ Radó, Tibor (1925). "Über den Begriff der Riemannschen Fläche". Acta Scientarum Mathematicarum Universitatis Szegediensis. 2 (1): 96–114. JFM 51.0273.01.
^ Moise, Edwin E. (1952). "Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermutung". Annals of Mathematics. 56 (2): 101–121. doi:10.2307/1969769. JSTOR 1969769.
^ Moise, Edwin E. (1977). Geometric Topology in Dimensions 2 and 3. Springer. ISBN 978-0-387-90220-3.
^ Akbulut, Selman; McCarthy, John D. (1990). Casson's invariant for oriented homology 3-spheres. Princeton University Press. ISBN 0-691-08563-3. MR 1030042.
^ Manolescu, Ciprian (2016) [2015]. "Pin(2)-equivariant Seiberg–Witten Floer homology and the Triangulation Conjecture". Journal of the American Mathematical Society. 29: 147–176. arXiv:1303.2354. doi:10.1090/jams829. S2CID 16403004.

External links

Ranicki, Andrew. "Triangulation and the Hauptvermutung". University of Edinburgh. Additional material, including original sources
Rudyak, Yuli (2016). Piecewise Linear Structures on Topological Manifolds. arXiv:math/0105047. doi:10.1142/9887. ISBN 978-981-4733-78-6. S2CID 16750789.
Ranicki, Andrew, ed. (30 September 1996). The Hauptvermutung Book (PDF). Springer. ISBN 0-7923-4174-0.
Ranicki, Andrew. "High-dimensional manifolds then and now" (PDF).

[1] German for main conjecture. It is an abbreviation for die Hauptvermutung der kombinatorischen Topologie, which translates as the main conjecture of combinatorial topology.

[2] Steinitz, E. (1908). "Beiträge zur Analysis situs". Sitz-Ber. Berlin Math. Ges. 7: 29–49.

[3] Tietze, H. (1908). "Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten". Monatsh. Für Math. Und Phys. 19: 1–118. doi:10.1007/BF01736688. S2CID 120998023.

[4] Milnor, John W. (1961). "Two complexes which are homeomorphic but combinatorially distinct". Annals of Mathematics. 74 (2): 575–590. doi:10.2307/1970299. JSTOR 1970299. MR 0133127.

[5] Radó, Tibor (1925). "Über den Begriff der Riemannschen Fläche". Acta Scientarum Mathematicarum Universitatis Szegediensis. 2 (1): 96–114. JFM 51.0273.01.

[6] Moise, Edwin E. (1952). "Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermutung". Annals of Mathematics. 56 (2): 101–121. doi:10.2307/1969769. JSTOR 1969769.

[7] Moise, Edwin E. (1977). Geometric Topology in Dimensions 2 and 3. Springer. ISBN 978-0-387-90220-3.

[8] Akbulut, Selman; McCarthy, John D. (1990). Casson's invariant for oriented homology 3-spheres. Princeton University Press. ISBN 0-691-08563-3. MR 1030042.

[9] Manolescu, Ciprian (2016) [2015]. "Pin(2)-equivariant Seiberg–Witten Floer homology and the Triangulation Conjecture". Journal of the American Mathematical Society. 29: 147–176. arXiv:1303.2354. doi:10.1090/jams829. S2CID 16403004.

[a]

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]