Low-dimensional topology, problems in
Many problems in two-dimensional topology (cf. Topology of manifolds) arise from, or have to do with, attempts to lift algebraic operations performed on the chain complex of a universal covering complex to geometric operations on the complex (here and below, "complex" means a -complex, i.e. a polyhedron with a -structure, see [a4] for a precise definition; for simplicity, one may think of a polyhedron): The chain complex encodes the relators of the presentation (cf. Presentation) associated to only up to commutators between relators.
A first classical example for this phenomenon occurs in the proof of the -cobordism theorem (see [a7], which thus only works for manifolds of dimension . In this context, J. Andrews and M. Curtis (see [a8]) asked whether the unique -dimensional thickening of a compact connected -dimensional complex (in short, a -complex) in a -dimensional piecewise-linear manifold (a PL-manifold) is a -dimensional ball.
They show that this is implied by the Andrews–Curtis conjecture.
This conjecture reads:
AC) any contractible finite -complex -deforms to a point, i.e. there exists a -dimensional complex such that collapses to and to a point: . (Cf. [a4] for the precise notion of a collapse, which is a deformation retraction through "free faces" .)
A sequence of "elementary" collapses yielding a collapse
To a contractible finite -complex there corresponds a balanced presentation (cf. Presentation) of the trivial group. -deformations can be translated into a sequence of Andrews–Curtis moves on :
2) , ;
3) , any word;
4) add a generator and a relation , any word in .
Hence, an equivalent statement of the Andrews–Curtis conjecture is: Any balanced presentation of the trivial group can be transformed into the empty presentation by Andrews–Curtis moves.
Note that redundant relations cannot be added, since by Tietze's theorem (see [a9]) any two presentations of a group become equivalent under insertion and deletion of redundant relations and Andrews–Curtis moves.
Here are some prominent potential counterexamples to AC):
1) (E.S. Rapaport, see [a42]);
4) (C.McA. Gordon).
An analogue of the conjecture is true in all dimensions different from ; in fact, the following generalization of it to non-trivial groups and keeping a subcomplex fixed holds (see [a14] for and [a15] for ; cf. also Homotopy type): Let ; and let be a simple-homotopy equivalence of connected, finite complexes, inducing the identity on the common subcomplex , . Then is homotopic rel to a deformation which leaves fixed throughout. A deformation is a composition of expansions and collapses; if the maximal cell dimension involved is , this will be denoted by , see [a7].
The corresponding statement for is called the relative generalized Andrews–Curtis conjecture ( "generalized" because the fundamental group of may be non-trivial; "relative" because of the fixed subcomplex). The subcase , i.e. the expectation that a simple-homotopy equivalence between finite -dimensional complexes can always be replaced by a -deformation, is called the generalized Andrews–Curtis conjecture, henceforth abbreviated AC'); see [a4].
Suppose and are presentations of such that
D) each difference is a consequence of commutators () of relators, then the corresponding -dimensional complexes and are simple-homotopy equivalent. Furthermore, up to Andrews–Curtis moves the converse is true, see [a16].
Thus, in terms of presentations, AC') states that under the assumption D), can actually be made to coincide with by Andrews–Curtis moves, for all . Even though AC') is expected to be false, D) implies that the difference between the th relators by Andrews–Curtis moves can be pushed to become a product of arbitrarily high commutators of relators, see [a17]. Furthermore, taking the one-point union not only with a finite number of -spheres, but also with certain -complexes of minimal Euler characteristic, eliminates any potential difference between simple-homotopy and -deformations: A simple homotopy equivalence between finite connected -complexes , gives rise to a -deformation between the one point union of (respectively, ) with a sufficiently large number of standard complexes of , see [a16]. For a detailed discussion on the status of the conjectures AC), AC') and relAC'), see [a4], Chap. XII.
There is a close relation between -complexes and -manifolds. (cf. Three-dimensional manifold): Every compact connected -dimensional manifold with non-empty boundary collapses to a -dimensional complex, called a spine (see [a4], Chap. I, §2.2), and thus determines a -deformation class of -complexes. A counterexample to AC) which is a -manifold with spine would disprove the -dimensional Poincaré conjecture (cf. Three-dimensional manifold)
This prominent conjecture on -complexes actually implies the -dimensional Poincaré conjecture. The Zeeman conjecture states that (see [a23]):
Z) if is a compact contractible -dimensional complex, then , where is an interval. Note that Z) also implies AC), as would be a -deformation. Examples which fulfil are the dunce hat, Bing's house and the house with one room, see [a4]. However, is not even established (as of 1999) for most of the standard -complexes of presentations where , even though these are Andrews–Curtis equivalent to the empty presentation.
As for AC), there is a straightforward generalization to non-trivial groups; the generalized Zeeman conjecture:
Z') implies or . Of course, Z') implies both Z) and AC'). It is open (as of 1999) whether AC') implies Z'), but given a -deformation between finite -complexes , then can be expanded by a sequence of -expansions to a -complex such that , see [a18].
In the special case of expansion of a single -ball, followed by a -collapse, , it is true that , see [a19], [a20], [a21]. This can be viewed as a first step in proving Z') modulo AC'), as every -deformation between finite -complexes can be replaced by one where each -ball is transient, i.e. is collapsed (in general from a different free face) immediately after its expansion, see [a22]. For , this method is called collapsing by adding a cell and works for all above-mentioned examples for .
A second general method for collapsing was proposed by A. Zimmermann (see [a24]) and is called prismatic collapsing. At first one gets rid of the -dimensional part of as follows: For each -cell of one collapses to the union of and a -cell such that the direct product projection maps onto homeomorphically. Then one looks for a collapse of the resulting -complex.
One may say that prismatic collapsing is a very rough method, but exactly this roughness allows one to give an algebraic criterion for the prismatic collapsibility of : Attaching mappings for -cells of have to determine a basis-up-to-conjugation in the free fundamental group of the -dimensional skeleton (see [a7]) of .
Z) becomes true if one admits multiplication of by the -fold product of : For each contractible there exists an integer such that , see [a19], [a20]. In fact, suffices for all , see [a25]. It is surprising that there is such a large gap between the presently (1999) known () and Zeeman's conjectured () values of .
On the other hand, a generalization of Z) to higher-dimensional complexes is false, since for any there exists a contractible complex of dimension such that is not collapsible, see [a26]. The proof of non-collapsibility is based on a very specific (one may say "bad" ) local structure of . So, the idea to investigate Z) for -dimensional polyhedra with a "nice" local structure (such polyhedra are called special) seems to be very promising.
In fact, if is a special spine of a homotopy -ball , then collapses onto a homeomorphic copy of , see [a27]. It follows that Z) is true for all special spines of a genuine -ball and that for special spines of -manifolds, Z) is equivalent to the -dimensional Poincaré conjecture. Surprisingly, for special polyhedra that cannot be embedded in a -manifold, Z) turns out to be equivalent to AC) (see [a28]), so that for special polyhedra, Z) is equivalent to the union of AC) and the -dimensional Poincaré conjecture.
Another situation where dimension presents a severe difficulty in passing from chain complexes to geometry concerns the Whitehead group and the Whitehead torsion of a pair , where is a strong deformation retraction of (cf. Whitehead group, Whitehead torsion). All elements of can be realized by . Let be the set of those torsion values that can be realized by a -dimensional extension, i.e. . The -question is whether can happen; see [a4]. If so, another related question is whether is a subgroup.
A famous result of O.S. Rothaus is that there exist examples for dihedral groups with ; see [a29]. This result was the basis for work by M.M. Cohen [a26] on the generalization of Z) to higher dimensions.
Whitehead's asphericity question.
A -complex is called aspherical if its second homotopy group is trivial (or equivalently, if all for are trivial). J.H.C. Whitehead asked, (see [a30]), whether subcomplexes of aspherical -complexes are themselves aspherical. An affirmative answer to this question is called the Whitehead conjecture:
WH) A subcomplex of an aspherical -complex is aspherical.
A lot of work has already been done in trying to solve this conjecture and there are about six false results in the literature which would imply WH).
WH) is known to be true if has at most one -cell and also in the case where is either finite, Abelian or free, see [a31]. If is a subcomplex of an aspherical -complex, then one can show that the second homology of the covering corresponding to the commutator subgroup is trivial. In fact, J.F. Adams has shown [a32] that has an acyclic regular covering (i.e. ). A counterexample to WH) can thus be covered by an acyclic complex, but not by a contractible one.
In any counterexample to WH), the kernel of the inclusion induced mapping has a non-trivial, finitely generated, perfect subgroup, [a33].
J. Howie has shown [a34] that if WH) is false, then there exists a counterexample satisfying either
a) is finite and contractible, and for some -cell of ; or
b) is the union of an infinite ascending chain of finite non-aspherical subcomplexes such that each inclusion mapping is nullhomotopic.
This result has been sharpened by E. Luft, who showed that if WH) is false, then there must even exist an infinite counterexample of type b).
Let be a finite presentation where each relator is of the form . Such a presentation may be represented by a graph in the following way: For each generator of , define a vertex labelled and for each relator define an edge oriented from the vertex to the vertex labelled by . If is a tree, then or or the standard--complex modelled on is called a labelled oriented tree.
Now Howie showed [a34] that if the Andrews–Curtis conjecture is true and all labelled oriented trees are aspherical, then there are no counterexamples of type a) to WH). Conversely, if there are no counterexamples of type a) to WH), then all labelled oriented trees are aspherical, which is easy to see since adding an extra relator to a labelled oriented tree yields a balanced presentation of the trivial group and hence a contractible complex.
So the finite case of WH) can be reduced to the study of the asphericity of labelled oriented trees. Every knot group has a labelled oriented tree presentation (the Wirtinger presentation, see, e.g., [a6]) and by a theorem of C.D. Papakyriakopoulos, [a36], it is known that these labelled oriented trees are aspherical. Every labelled oriented tree satisfying the small cancellation conditions , or a more refined curvature condition such as the weight or cycle test, [a37], is aspherical. Apart from that, there are not many classes of aspherical labelled oriented trees known: Howie, [a35], shows the asphericity of labelled oriented trees of diameter at most and G. Huck and S. Rosebrock have two other classes of aspherical labelled oriented trees satisfying certain conditions on the relators.
An overview on WH), where further aspects of this conjecture are treated, can be found in [a4], Chap. X.
Wall's domination problem.
Given a CW-complex, it is natural to ask whether it can be replaced by a simpler one having the same homotopy type. Questions of this kind were first considered by J.H.C. Whitehead, who posed in particular the question: When is a CW-complex homotopy equivalent to a finite dimensional one? In [a38], C.T.C. Wall answered this by giving an algebraic characterization of finiteness. He also showed that a finite complex dominated by a finite -complex has the homotopy type of a finite -complex if and only if a certain algebraic obstruction vanishes. ( is dominated by if the "homotopy of X survives passing through Y" , i.e. if there are mappings , such that the composition is homotopic to the identity). Whether "max3,n" can simply be replaced by "n" is still (1999) unanswered, due to difficulties when attempting to geometrically realize an algebraic -complex.
In order to explain this in more detail, assume is a chain complex of free -modules,
where is freely generated by a single element , by , by , for some group element , and , . Wall asked if is necessarily the cellular chain complex of the universal covering of a -complex with fundamental group . An affirmative answer would resolve the difficulties in dimension two mentioned above.
This topological set-up can also be rephrased in terms of combinatorial group theory. Let be the free group generated by and let be the kernel of the homomorphism from to , sending to . The image of the second boundary mapping can be shown to be isomorphic to the relation -module . Wall's question of geometric realizability now translates to asking whether the relation module generators lift to give a set of normal generators for . This was answered negatively by M. Dunwoody (see [a39]).
Relation gap question.
M. Dyer showed that a more serious failure of this lifting problem, the relation gap question, would actually show that there does exist a finite -complex dominated by a finite -complex, with vanishing obstruction, that is not homotopically equivalent to a finite -complex. Here, a finite presentation of a group is said to have a relation gap if no normal generating set of gives a minimal generating set for the relation module . There have been many attempts to construct a relation gap in finitely presented groups (see [a4], p. 50). The existence of an infinite relation gap for a certain finitely-generated infinitely-related group was established in the influential paper of M. Bestvina and N. Brady [a1].
Another problem revolving around geometric realizability, connected to the relation gap problem and the Whitehead conjecture, is the Eilenberg–Ganea conjecture. A group is of cohomological dimension if there exists a projective resolution of length
but no shorter one (see [a2] for a good reference on these matters). It was shown by S. Eilenberg, T. Ganea and J. Stallings ([a40], [a41]) that a group of cohomological dimension admits an -dimensional complex . In particular, there is a geometric resolution of length arising as the augmented cellular chain complex of the universal covering of .
The Eilenberg–Ganea conjecture states that this is true in dimension as well. This conjecture is widely believed to be wrong; promising potential counterexamples have been exhibited by Bestvina and also by Bestvina and Brady [a1]. If the group in question does not have a relation gap, then J.A. Hillman showed that a weaker version of the conjecture is true, see [a3]. In particular, if the group does not have a relation gap and acts freely and co-compactly on an acyclic -complex, then it also admits a co-compact free action on a contractible -complex.
A perhaps unsuspected connection between the Eilenberg–Ganea and the Whitehead conjecture was found by Bestvina and Brady in [a1]: at least one of the conjectures must be wrong!
|[a1]||M. Bestvina, N. Brady, "Morse theory and finiteness properties of groups" Invent. Math. , 129 (1997) pp. 445–470|
|[a2]||K. Brown, "Cohomology of groups" , GTM , 87 , Springer (1982)|
|[a3]||J.A. Hillman, "2-knots and their groups" , Austral. Math. Soc. Lecture Notes 5 , Cambridge Univ. Press (1989)|
|[a4]||C. Hog-Angeloni, W. Metzler, A. Sieradski, "Two-dimensional homotopy and combinatorial group theory" , London Math. Soc. , 197 , Cambridge Univ. Press (1993)|
|[a5]||R. Kirby, "Problems in low-dimensional topology" W.H. Kazez (ed.) , Geometric Topology (1993 Georgia Internat. Topology Conf.) , 2 , Amer. Math. Soc. &Internat. Press (1993) pp. 35–473|
|[a6]||D. Rolfsen, "Knots and links" , Publish or Perish (1976)|
|[a7]||C.P. Rourke, B.J. Sanderson, "Introduction to piecewise linear topology" , Springer (1972)|
|[a8]||J.J. Andrews, M.L. Curtis, "Free groups and handlebodies" Proc. Amer. Math. Soc. , 16 (1965) pp. 192–195|
|[a9]||H. Tietze, "Ueber die topologische Invarianten mehrdimensionaler Mannigfaltigkeiten" Monatschr. Math. Phys. , 19 (1908) pp. 1–118|
|[a10]||R.H. Crowell, R.H. fox, "Introduction to knot theory" , Ginn (1963)|
|[a11]||C.F. Miller, P.E. Schupp, Letter to M.M. Cohen , Oct. (1979)|
|[a12]||S. Akbulut, R. Kirby, "A potential smooth counterexample in dimension 4 to the Poincaré conjecture, the Schoenflies conjecture and the Andrews–Curtis conjecture" Topology , 24 (1985) pp. 375–390|
|[a13]||R.E. Gompf, "Killing the Akbulut–Kirby sphere with relevance to the Andrews–Curtis and Schoenflies problems" Topology , 30 (1991) pp. 97–115|
|[a14]||C.T.C. Wall, "Formal deformations" Proc. London Math. Soc. , 16 (1966) pp. 342–354|
|[a15]||W. Metzler, "Aequivalenzaklassen von Gruppenbeschreibungen, Identitäten und einfacher Homotopietyp in niederen Dimensionen" , Lecture Notes London Math. Soc. , 36 , Cambridge Univ. Press (1979) pp. 291–326|
|[a16]||C. Hog-Angeloni, W. Metzler, "Stabilization by free products giving rise to Andrews–Curtis equivalences" Note di Mat. , 10 : Suppl. 2 (1990) pp. 305–314|
|[a17]||C. Hog-Angeloni, W. Metzler, "Andrews–Curtis Operationen mit höhere Kommutatoren der Relatorengruppe" J. Pure Appl. Algebra , 75 (1991) pp. 37–45|
|[a18]||R. Kreher, W. Metzler, "Simpliziale Transformationen von Polyedren und die Zeeman-Vermutung" Topology , 22 (1983) pp. 19–26|
|[a19]||P. Dierker, "Notes on collapsing where is a contractible polyhedron" Proc. Amer. Math. Soc. , 19 (1968) pp. 425–428|
|[a20]||W.B.R. Lickorish, "On collapsing " , Topology of Manifolds , Markham (1970) pp. 157–160|
|[a21]||D. Gillman, "Bing's house and the Zeeman conjecture" Topology Appl. , 24 (1986) pp. 147–151|
|[a22]||P. Wright, "Group presentations and formal deformations" Trans. Amer. Math. Soc. , 208 (1975) pp. 161–169|
|[a23]||E.C. Zeeman, "On the dunce hat" Topology , 2 (1964) pp. 341–358|
|[a24]||A. Zimmermann, "Eine spezielle Klasse kollabierbarere Komplexe " Thesis Frankfurt am Main (1978)|
|[a25]||M.M. Cohen, "Dimension estimates in collapsing " Topology , 14 (1975) pp. 253–256|
|[a26]||M.M. Cohen, "Whitehead torsion, group extensions and Zeeman's conjecture in high dimensions" Topology , 16 (1977) pp. 79–88|
|[a27]||D. Gillman, D. Rolfsen, "The Zeeman conjecture for standard spines is equivalent to the Poincaré conjecture" Topology , 22 (1983) pp. 315–323|
|[a28]||S.V. Matveev, "Zeeman conjecture for unthickenable special polyhedra is equivalent to the Andrews–Curtis conjecture" Sib. Mat. Zh. , 28 : 6 (1987) pp. 66–80 (In Russian)|
|[a29]||O.S. Rothaus, "On the nontriviality of some group extensions given by generators and relations" Ann. of Math. , 106 (1977) pp. 599–612|
|[a30]||J.H.C. Whitehead, "On adding relations to homotopy groups" Ann. of Math. , 42 (1941) pp. 409–428|
|[a31]||W.H. Cockroft, "On two-dimensional aspherical complexes groups" Proc. London Math. Soc. , 4 (1954) pp. 375–384|
|[a32]||J.F. Adams, "A new proof of a theorem of W.H. Cockroft" J. London Math. Soc. , 30 (1955) pp. 482–482|
|[a33]||J. Howie, "Aspherical and acyclic -complexes" J. London Math. Soc. , 20 (1979) pp. 549–558|
|[a34]||J. Howie, "Some remarks on a problem of J.H.C. Whitehead" Topology , 22 (1983) pp. 475–485|
|[a35]||J. Howie, "On the Asphericity of ribbon disc complements" Trans. Amer. Math. Soc. , 289 (1985) pp. 419–430|
|[a36]||C.D. Papakyriakopoulos, "On Dehn's lemma and the asphericity of knots" Ann. of Math. , 66 (1957) pp. 1–26|
|[a37]||G. Huck, S. Rosenbrock, "Eine verallgemeinerter Gewichtstest mit Anwendungen auf Baumpräsentationen" Math. Z. , 211 (1992) pp. 351–367|
|[a38]||C.T.C. Wall, "Finiteness conditions for CW-complexes" Ann. of Math. , 81 (1965) pp. 56–69|
|[a39]||J. Dunwoody, "Relation modules" Bull. London Math. Soc. , 4 (1972) pp. 151–155|
|[a40]||S. Eilenberg, T. Ganea, "On the Lyusternik–Schnirelman category of abstract groups" Ann. of Math. , 46 (1945) pp. 480–509|
|[a41]||J.R. Stallings, "On torsion-free groups with infinitely many ends" Ann. of Math. , 88 (1968) pp. 312–334|
|[a42]||E.S. Rapaport, "Groups of order 1, some properties of presentations" Acta Math. , 121 (1968) pp. 127–150|
Low-dimensional topology, problems in. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Low-dimensional_topology,_problems_in&oldid=18980