Mini-Workshop: The Hauptvermutung for High-Dimensional Manifolds

  • Andrew Ranicki

    University of Edinburgh, United Kingdom
  • Erik Kjaer Pedersen

    Binghamton University, United States
Mini-Workshop: The Hauptvermutung for High-Dimensional Manifolds cover
Download PDF

A subscription is required to access this article.

Abstract

The Mini-Workshop The Hauptvermutung for High-Dimensional Manifolds, organised by Erik Pedersen (Binghamton) and Andrew Ranicki (Edinburgh) was held August 13th–18th, 2006. The meeting was attended by 17 participants, ranging from graduate students to seasoned veterans.

The manifold Hauptvermutung is the conjecture that topological manifolds have a unique combinatorial structure. This conjecture was disproved in 1969 by Kirby and Siebenmann, who used a mixture of geometric and algebraic methods to classify the combinatorial structures on manifolds of dimension . However, there is some dissatisfaction in the community with the state of the literature on this topic. This has been voiced most forcefully by Novikov, who has written “In particular, the final Kirby–Siebenmann classification of topological multidimensional manifolds therefore is not proved yet in the literature.” (arXiv:math-ph/0004012v1)

At this conference we discussed a number of questions concerning the Hauptvermutung and the structure theory of high-dimensional topological manifolds. These are our conclusions:

We found nothing fundamentally wrong with the original work of Kirby and Siebenmann [4], which is solidly grounded in the literature. Their determination of depends on Kirby's paper on the Annulus Conjecture and his ‘torus trick’. It was noted that Kirby's paper is based on the well-documented work on classification of homotopy tori (Hsiang and Shaneson, Wall) and Sullivan's identification of the normal invariants with , but does not depend on any other work of Sullivan, documented or undocumented. This classification can be reduced to the Farrell Fibering Theorem [1], the calculation of (Kervaire and Milnor [3]), and Wall's non-simply connected surgery theory [7].

There are modern proofs determining the homotopy type of using either the bounded surgery of Ferry and Pedersen [2] or a modification of the definition of the structure set.

Sullivan's determination of the homotopy type of , which is well documented (for instance, in Madsen and Milgram [5]) is used to determine the homotopy type of and is fundamental to understanding the classification of general topological manifolds.

The 4-fold periodicity of the topological surgery sequence established by Siebenmann [4, p.283] contains a minor error having to do with base points. This is an easily corrected error, and the 4-fold periodicity is true whenever the manifold has a boundary.

The equivalence of the algebraic and topological surgery exact sequence as established by Ranicki [6] was confirmed. Sullivan's characteristic variety theorem, however it is understood, is not essential for the Kirby–Siebenmann triangulation of manifolds.

The following papers have been commissioned:

  • W. Browder, “ classification of homotopy tori”
  • J. Davis, “On the product structure theorem”
  • I. Hambleton, “ classification of homotopy tori”
  • M. Kreck, “A proof of Rohlin's theorem”
  • E.K. Pedersen, “Determining the homotopy type of using bounded surgery”
  • A. Ranicki, “Siebenmann's periodicity theorem”
  • M. Weiss, “Identifying the algebraic and geometric surgery sequences”

Cite this article

Andrew Ranicki, Erik Kjaer Pedersen, Mini-Workshop: The Hauptvermutung for High-Dimensional Manifolds. Oberwolfach Rep. 3 (2006), no. 3, pp. 2195–2226

DOI 10.4171/OWR/2006/36