127 2 13MB
English Pages 560 [564] Year 2016
Annals of Mathematics Studies Number 111
COMBINATORIAL GROUP THEORY AND TOPOLOGY EDITED BY
S. M. GERSTEN AND
JOHN R. STALLINGS
PRINCETON U N IV ER SITY PRESS
PRIN CETO N , N EW JE R S E Y 1987
Copyright © 1987 by Princeton University Press ALL RIGHTS RESERVED
The Annals of Mathematics Studies are edited by William Browder, Robert P. Langlands, John Milnor, and Elias M. Stein Corresponding editors: Stefan Hildebrandt, H. Blaine Lawson, Louis Nirenberg, and David Vogan
Clothbound editions of Princeton University Press books are printed on acid-free paper, and binding materials are chosen for strength and durability. Paperbacks, while satisfactory for personal collec tions, are not usually suitable for library rebinding
ISBN 0 -6 9 1 -0 8 4 0 9 -2 (cloth) ISBN 0 -6 9 1 -0 8 4 1 0 -6 (paper)
Printed in the United States of America by Princeton University Press, 41 William Street Princeton, New Jersey
☆ Library of Congress Cataloging in Publication data will be found on the last printed page of this book
CONTENTS PREFA C E
vii I Com binatorial Group Theory
PRO BLEM S IN COMBINATORIAL GROUP TH EO R Y by R oger Lyndon
3
POIN CARE D U A LIT Y GROUPS OF DIMENSION TWO A R E SU R FA C E GROUPS by B eno Eckmann
35
HOW TO G E N E R A L IZ E O N E-R ELA T O R GROUP TH EO R Y by Jam es Howie
53
G RAPH ICA L T H EO R Y O F AUTOMORPHISMS OF F R E E GROUPS by John R . Stallin gs
79
P E A K REDUCTION AND AUTOMORPHISMS OF F R E E GROUPS AND F R E E PRODUCTS by Donald J . C ollin s NONSINGULAR EQUATIONS OF SMALL WEIGHT OVER GROUPS by S. M. G ersten
107
121
A G R A PH -TH EO R ET IC LEMMA AND GROUP-EMBEDDINGS by John R . S tallin gs
145
T H E TO D D -C O XET ER PR O C ESS, USING GRAPHS by John R . S tallin gs and A. R o y ce Wolf
157
A SUBGROUP THEOREM FO R PREG R O U PS by F ran k Rimlinger
163
GROUPS WITH A RATIONAL CROSS-SECTION by Robert H. Gilman
175
ON T H E RATIONAL GROWTH O F V IR T U A L L Y N ILP O T E N T GROUPS by Max B enson
185
SJO G R EN ’S THEOREM FO R DIMENSION SUBGROUPS TH E M ETA BELIA N CASE by Narain Gupta
197
v
vi
CONTENTS
ON GROUP PR ESEN TA TIO N S, COPRODUCTS AND IN VERSES by Robert C raggs and Jam es Howie ON C O M PLEX ES DOMINATED B Y A TW O-COMPLEX by John G. R a tcliffe
21 3
221
SU B C O M PLEX ES OF TW O-COM PLEXES AND P R O JE C T IV E CROSSED MODULES by Michael Dyer
255
LENGTH FUNCTIONS OF GROUP ACTIONS ON A -T R E E S by Roger Alperin and Hyman B a s s
265
II Very Low Dim ensional Topology RESID UAL FIN ITEN ESS FO R 3-MANIFOLDS by John Hempel
379
T H E NIELSEN -THURSTON TH EO R Y OF SU R FA C E AUTOMORPHISMS by Steven A. B le ile r
3 97
WHITEHEAD GROUPS OF C ER TA IN H Y P E R B O L IC MANIFOLDS, II by A. J . N icas and C. W. Stark
415
A CHARACTERIZATIO N OF F IN IT E SUBGROUPS OF TH E MAPPING-CLASS GROUP by Ja n e Gilman
433
A SEQ U EN C E OF PSEUDO-ANOSOV DIFFEOMORPHISMS L . Neuwirth and N. P atterso n
443
D EH N ’S ALGORITHM R EV IS IT ED , WITH A PPLICA TIO N S TO SIM PLE CURVES ON SU R FA C ES by Joan S. Birman and C aroline S eries
451
PATHS OF GEODESICS AND GEOM ETRIC IN TERSECTIO N NUMBERS: I by Marshall Cohen and Martin L u stig
479
PATHS OF GEODESICS AND GEOM ETRIC IN TERSECTION NUMBERS: II by Martin L u stig
501
S E L E C T E D PROBLEM S by S. M. G ersten
545
PREFA C E Com binatorial Group Theory liv es in the fertile region betw een pure group theory and pure topology.
The interplay betw een the lo g ica l pre
cisio n of algebra and the intuitive depths of geometry gives it charm and strength.
Lyndon s u g g e sts in h is a rtic le that perhaps there is no e x a c t
definition of the su b je ct.
C ertain ly it inclu d es the study of equations
over groups (which tends to involve the study of geom etric diagram s), much of 3-manifold theory (the P o in care C onjecture is equivalent to a group-theoretic q u estion ), group a ctio n s on geom etric-com binatorial o b jects such a s tre e s , the theory of su rfa ce automorphism s, and many other developm ents.
A s the Walrus said , the time has come to talk of
many things. At A lta Lodge in the sp e cta c u la r W asatch Mountains of U tah, on Ju ly 1 5 -1 8 , 1 9 8 4 , six ty of us gathered for an intense co n feren ce.
Roger
Lyndon’s opening a d d re ss, in the tradition of H ilbert, offered a s c o re of open problems to guide the field in the future.
In the s ty le of the
Seminaire Bourbaki, s ix sp eak ers were assig n ed to p ics for exp ository ta lk s ; th ese were the origins of the papers in this book by Alperin and B a s s , B le ile r, Eckm ann, Hempel, and Howie.
In addition, there were
about tw enty-five shorter talk s on current re se a rch , from which we s e le c te d the rem aining a rtic le s h ere. Our goal was to produce a book full of id e a s, understandable to our s e lv e s and to stu d en ts, that will open up the future developm ent of th is field .
We co n scio u sly tried to reach a large c la s s of re a d e rs, including
good graduate stu d en ts with backgrounds in group theory and topology. We are grateful for the coop eration of the authors who have helped us in pursuing this goal.
viii
PREFA C E
It is a p leasure to acknow ledge the a s s is ta n c e given us by R oger Lyndon, with whom we frequently con sulted in the planning of the co n feren ce.
In tribute to his work in the field and his insight into d irection s
for future re se a rch , h is a rtic le has a prominent p lace in this volume. We are greatly indebted to Jam es Howie and Geoffrey Mess for frequent co n su ltatio n s.
In addition, we wish to thank some thirty
re fe re e s, who by tradition must remain anonymous, for their valuable aid. S p ecial thanks are due to Marty Jo n es of A lta Lodge and to Ann Reed for helping make the co n feren ce run sm oothly.
F in a lly we acknow ledge
with thanks and appreciation the fin an cial support of the U niversity of Utah and the N ational S cien ce Foundation. STEVE GERSTEN JOHN STALLINGS
Combinatorial Group Theory and Topology
PRO BLEM S IN COMBINATORIAL GROUP TH EO RY Roger Lyndon 0.
Introduction Steve G ersten ask ed me to give a talk like Hilbert gave in P a ris in
1900.
I said Pd be happy to , but pointed out th at Pm no H ilbert.
Merzlyakov [1 1 7 ] cam e to my re sc u e with the following su g g estio n : “ R ather than w aiting [for a new H ilbert] group th e o rists have com e to the more p rosaic idea of a P resen t-d ay c o lle c tiv e H ilb e rt.”
So I have
appealed to some of you for amendments to a provisional outline, for which I thank you, and I hope th is exo n erates me of any ch arge of arrogance in presenting this b iased survey. What is Com binatorial Group T heory?
T his term acquired o fficial
s ta tu s a s the title of the book of M agn us-K arrass-S olitar.
The first
se n ten ce of the History of Com binatorial Group Theory by Chandler Magnus [2 8 ] s a y s :
“ Com binatorial Group Theory may be ch a ra cte riz e d
a s the theory of groups which are given by g en erators and re la tio n s — ” (But compare M agnus-K arrass-Solitar with C oxeter-M oser, G enerators and R elation s for D iscre te G roups.) T his hardly does ju s tic e to the g oals or methods of the su b je ct.
On other o cc a sio n s Chandler-Magnus sp eak of
“ group theory with the excep tio n of L ie groups and of group re p resen ta tions and linear g ro u p s,’ ’ but this seem s to both include and e xclu d e too much. Maybe we could define Com binatorial Group Theory to be Very Low Dim ensional T opology.
In fa c t, group th e o rists , like oth ers, w ill a tta ck
w hatever problems in te re st them with w hatever tools they have a t hand, so perhaps Com binatorial Group Theory is ju st a s ta te of mind. Maybe it
3
4
ROGER LYNDON
is distinguished by a relu ctan ce to make the great supposedly sim plifying assum ptions of Com mutativity, L in earity , and either F in ite n e s s or Con tinuity, or, put more p o sitiv ely , a relish for the com binatorial co re of a problem. A ltogeth er, it seem s fru itless to try to define an elephant we have barely touched. I intended to talk about the history of the su b je ct, but ChandlerMagnus have let me off that hook.
I do not need to te ll anyone that the
major so u rce and strength of Com binatorial Group Theory has been Topology, wherein we ten tativ ely include D iscontinuous Groups, from P o in care on, with an a s s i s t from the more or le s s a b s tra c t or axiom atic sid e , beginning with C ay ley , through the influence of F in ite Groups and of problems from L o g ic .
T h ese influences will be evident, and, if my
d iscu ssio n appears biased a g a in st topology, it is b e ca u se a s a non top ologist I am reluctant or unable to te ll you what you know b etter than I. A ltogeth er, though, I was agreeab ly surprised by the homogeneity of the su b ject, if somewhat inconvenienced by the many interconn ections among the various ap proaches and problems in the su b je ct. My accou n t is a ls o biased for the most part toward rather recen t work, and to pathways to the future more than monuments to the p ast.
The s p a ce
devoted to a su b ject should not be taken a s a m easure of the im portance attach ed to it.
L ik e w ise , the mention of a name or cita tio n of a paper is
often more to draw attention to it than to bestow an honor.
R eferen ces
are illu strativ e or su g g e stiv e , and should usually be followed by ‘and o th e rs .’ I have not cited papers that are well known or e a s ily a c c e s s ib le (with a few e x ce p tio n s), in particular papers more than about five y ears old, or listed in the bibliography of Lyndon-Schupp.
Incomplete referen ces
in d icate lack of knowledge. D espite the unity of the su b je ct, a s a first ste p toward lin earization I have divided it into seven unequal and gerrymandered se c tio n s .
It took
some cutting and pasting to bring my lis t of problems to twenty, a modest three fewer than H ilbert. c l a s s i c a l form:
Even s o , many are really ‘ problem a r e a s ,’ of the
‘What can be said about — ? . ’
PROBLEMS IN COMBINATORIAL GROUP THEORY
1.
5
P ro p erties of fr e e gro u p s, equations in an d over groups The most ‘ a b s tr a c t’ and ‘a x io m a tic ’ of our problems is a folklore
problem of Alfred T a rsk i. PRO BLEM 1.
Do a ll n onabelian fr e e groups have the sa m e elem en ta ry th eo ry ?
The elem entary theory of a c la s s of groups is the s e t of a ll se n te n ce s in first order logic (with symbols for equality and group com position but, em p h atically, exclu d in g s e t theory) th at are true in a ll groups of the c la s s .
By co n tra st, among free a b elia n groups those of rank a t most 2
are distinguished by the property th at there e x is t elem ents a su ch th at, for a ll x , one of x , xa , xb , xab
and b
is the square y 2 of
some elem ent y . See V. Dyson [4 7 ]. In this co n n ectio n , R . Vaught posed the following te s t problem: free group, does
In a
x 2 y 2 = z 2 alw ays imply xy = yx ? T his w as proved by
Lyndon and gen eralized e x te n siv e ly .
The method w as c lo s e to that used
by H. Z iesch an g in studying automorphisms of su rface groups and F u ch sian groups. A much earlier theorem of Frob en iu s (1 8 9 5 ) d eals with the number of solu tion s of the equation x 11 = 1 in a finite group; for a survey of this problem se e H. F in k e lste in [57].
See a ls o Finkelstein-M andelberg [58].
Equations over groups entered Com binatorial Group Theory in a paper of B .H . Neumann (1 9 4 3 ), where he showed th at, for a p ositive integer n and an elem ent g of a group G , the equation x n = g has a s many so lu tions as desired in som e group H con tain in g G. Higman-NeumannNeumann exten sio n s are a g en eralizatio n of the fa c t th at the equation t- 1 g1t = g 2 , for g x and g 2 in G , has a solution containing G if and only if g^
t in a group H
and g2 h ave the same order.
The ce n tra l problem in th is area is the K ervaire-Lau d erb ach problem, which we sta te as follow s.
6
ROGER LYNDON
PRO BLEM 2.
If G has a p resen ta tio n G = (X :R ) and H = (XU tiR U w )
is obtained by adding one new gen era to r an d on e d efin in g rela tio n , when d o es the in clu sio n X -^X U t in d u ce an in jectio n of G into H ? In sim pler language, for g ^ ' ^ g n w(gl>, , , >gn>t) = 1 have a solution
G , when does an equation
t in some group H containing G ?
We have seen that t~ 1g 1tg 2 ~1 = 1 has no solu tion if gj have different orders.
and g2
G erstenhaber-Rothaus showed that if the sum of
the exponents on t in w is not 0 , and if G can be embedded in a com pact con nected L ie group, then a solution alw ays e x is ts .
Rothaus
[1 44] later improved the condition on G to lo ca l residu al fin iten ess. The su fficien t condition of lo cal in d icability has been studied by J . Howie [94].
The group G = ( a 1 ,- - - ,a 4 : a j+1~ l a ja j+ i = a j2 > i modulo 4 )
of G. Higman s a tis fie s none of the known su fficien t conditions for the so lvab ility of an equation (with non-zero exponent sum) over G . Without the exponent condition, probing by Lyndon [1 1 3 ] su g g e sts that the problem is difficult even for G a finite c y c lic group.
See a ls o B rodskii [19, 2 0 ]
and Short [152]. The resu lt of G erstenhaber-Rothaus ra is e s the following question. PRO BLEM 2a.
If the sum of the exp o n en ts on t
in w is not 0 , d o e s
the equation w = 1 alw ays have a solution ? So much for equations over groups. fied by the Vaught problem.
Equations in groups are exem pli
T his prompted Lyndon to a sk about solu tions
of an equation w (a 1 ,- - * ,a n, t^ ,--*, t m) = 1 a l , ’ *‘ , a n*
case
in a free group G with b a sis
m = 1 of one unknown he obtained a s e t of words
containing param eters a s exponents w hich, su b ject to conditions on the p aram eters, give p re cise ly the s e t of so lu tio n s. has e x a ctly the solu tions
t =a^
F o r exam ple,
for all integers
n.
t ^a^ta^ 1 = 1
This was sub
sta n tially improved and extended, but without definitive resu lt.
R ecen tly
Makanin [115] has given an algorithm that a s s o c ia te s with an equation w = 1 , a s ab ove, an integer N such th at, if any solution e x is t s , there
7
PROBLEMS IN COMBINATORIAL GROUP THEORY
e x is ts one with to ta l length of the t^ a t most N . T his s e ttle s the question of e x is te n c e of solu tion s and provides an algorithm for finding one if it e x is t s , but le a v e s open the following problem. P RO BLEM 3.
G iv en an equation over a fr e e group, find an a lg eb ra ic d escrip tio n o f the s e t o f a ll so lu tio n s.
See Howie [93 , 9 5 , 9 7 ], Ozhigov [1 3 0]. A s p e c ia l c a s e of this problem, for free groups and other groups, is the Substitution Problem (for free groups, the Endomorphism Problem ): D oes an equation w ^ , - - - , ^ ) = g have a solu tion ?
Wicks [1 6 9 ] showed
that an elem ent g of a free group is a commutator if and only if, re lativ e without
to any b a s is ,
g ca n be w ritten in the form g = a b c a ~ 1b“ 1c _1
ca n cella tio n .
T his resu lt has been extended su b stan tially by C .C . Edmunds
[5 1 , 5 2 ] and L . P . Comerford, Jr . [3 4 , 3 5 ] and, using to p o lo g ical methods, by M. C uller [37] and by G oldstein-Turner [7 3 , 74].
R elated methods have
been used by M. Scharlemann [1 4 6 ] and P . E . Schupp [1 4 8 ]; s e e a ls o E . R ips [1 4 0 ], and P . Hill and S. J . Prid e [90]. PRO BLEM 4 .
L e t w (a 1 , - * - , a n) b e a word in the fr e e group F
with
b a s is a p * " > a n * Is th ere an algorithm w hich, g iv en g in F , d e c id e s if th ere e x is t t^ , ***, t n in F —
s u c h that
= g ?
The Substitution Problem has been studied e x ten siv ely for finite sim ple groups and for various c l a s s i c a l infinite groups.
See F in k e lste in
[57], Fin kelstein-M andelberg [58], Lyndon [1 1 2 ], M ycielski [1 2 2 ], and a ls o E h ren feu ch t-Fajtlow icz-M alitz-M ycielsk i [5 3 ].
2.
A utom orphism s of gro u p s The general linear group G L (n r R ) is the group of automorphisms of
the free R-module of rank n . The automorphism group G L (2, Z ) of the free Z module, or free ab elian group, A 2 of rank 2 , and a ls o , in par-
8
ROGER LYNDON
ticu la r, the modular group P S L (2 , Z ) , have been much studied.
But it is
a giant strid e to the study of the automorphism group Aut Fn of the free nonabelian group Fn of rank n . N ielsen used automorphisms of free groups to great ad vantage, and obtained a finite presentation for Aut F . J . McCool recovered this presentation by different methods, which enabled him to obtain finite presen tations for the sta b iliz e rs of finite s e ts of elem ents.
His method
is based on that used by Whitehead to d ecid e whether two finite seq u en ces of elem ents of a free group are equivalent under some automorphism. A related problem of Whitehead, to d ecid e whether two finitely generated subgroups are equivalent under an automorphism, has been solved recen tly by G ersten [68], using new methods.
By the sam e methods he has proved
a co n jectu re of P . S cott that the subgroup of elem ents fixed by an au to morphism of a finitely generated free group is finitely generated.
J . L . Dyer
and S cott had shown earlier that the s e t of fixed points of a finite su b group of Aut F
is a free facto r of F . T here has been some study of the
structure of a sin gle automorphism, inducing the dream, or nightmare, of a ‘Jordan stru ctu re th eo rem .’ C onsiderable work on the structure of Aut F , related mainly to its actio n on various naturally arisin g c h a ra c te ris tic subgroups and their q uotien ts, has been done by S. Andreadakis and by S. Bachm uth-H. Mochizuki. PRO BLEM 5.
D eterm in e the stru ctu re of Aut F , of its su bgro u p s, e s p e c ia lly its fin ite su b gro u p s, and its quotient g ro u p s, a s w ell a s the stru ctu re o f individual autom orphism s.
If N is a normal subgroup of a free group F sta b iliz e r, then A utN F
and A utN F
is its
induces a group of automorphisms of G = F / N .
N ielsen showed th at for the usual presentation of a su rface group G the group A utN F
maps onto Aut G .
G. R osenberger [1 4 3 ] and H. Z ie sch a n g
have studied this Gifting problem ,’ e s p e c ia lly for F u ch sia n groups. a ls o S. J . Pride and A. D. V ella [137].
See
PROBLEMS IN COMBINATORIAL GROUP THEORY
P RO BL E M 6.
If G = F / N ,
F
9
fr e e , what su b gro u p s of Aut G a re
im a ges o f su b gro u p s of Aut F ? The mapping c l a s s group M of a su rfa ce can be identified e s s e n tia lly with the group of outer automorphisms (automorphisms modulo inner au to morphisms) of its fundamental group G . T he resu lts of J . McCool give M (or, d ire ctly ,
Aut G ) a s the fundamental group of a finite com plex,
which, unfortunately, exh ib its too many natural sym m etries to make it a c c e s s ib le to p resent day com putation. W. Thurston (s e e A. H atcherW. Thurston [8 8 ] ) has given a quite different method for obtaining a finite presen tation of the mapping c la s s groups, and, for the orientable case,
B . Wajnryb [1 6 8 ] has used this method to obtain presen tations that
are reasonably c o n c is e but not en tirely persp icu ou s. PRO BLEM 7.
Obtain fin ite p resen ta tio n s for the mapping c la s s groups that a re at o n ce usably c o n c is e and y et in w hich both the gen era to rs and the rela tio n s have fairly obvious g eo m etri c a l m ea n in gs.
F o r exam ple, H atcher-T hurston s a y :
“ . .. a ll relation s follow from
relation s supported in ce rta in su b s u rfa ce s, finite in number, of genus at most 2 . ” The following is an obvious addendum. PRO BL E M 7a.
3.
T h e sa m e for a ll F u ch sia n groups.
Morphisms of trees T he prefix ‘a u to ’ is omitted a s a s a lu te to the recen t work of G ersten
[6 2 , 6 4 -7 2 ] and Stallin gs [1 5 8 , 1 5 9 ] on morphisms in the categ o ry of graphs. A b a sic paper of J . T its [1 6 4 ] in itia te s the study of the group Aut T of automorphisms of a tree
T . He show s th at, if Aut T
le a v e s invariant
no proper subtree and no end of T , then the subgroup G generated by
10
ROGER LYNDON
all sta b iliz e rs of branch points is a sim ple group, while the quotient (Aut T )/G groups.
is a free product of groups of order 2 and infinite c y c lic
T his frequently cited work d e se rv e s to be extended.
A great d eal is coming to be known about certain very s p e c ia l but very remarkable groups of automorphisms of tre e s , introduced by N. Gupta and S. Sidki [84, 8 5 , 8 6 , 1 5 3 , 1 5 4 ].
If A is an ‘alp h ab et’ with a prime
number p of le tte rs , then the monoid
T = A*
ordered by left d iv isib ility , is a tree T .
of a ll finite words,
G eneralizing a con stru ction of
R I. Grigorchuk [7 9 ], Gupta and Sidki show that ce rta in e a sily describ ed 2-gen erator subgroups
G of Aut T
have remarkable p roperties:
they are
‘ Burnside g ro u p s,’ that is , infinite 2-gen erator p-groups (with elem ents of unbounded order); they contain isom orphically a ll finite p-groups; they are resid u ally finite, and all their proper quotient groups are fin ite. T h ese groups are remarkable not only for th ese prop erties, but a ls o b ecau se they are quite ‘c o n c re te ’ and a c c e s s ib le to detailed study. PRO BLEM 8.
Study the stru ctu re of the autom orphism groups of trees and of their su b gro u p s.
Fo r exam ple, do th ese groups have Sylow subgroups? C ertain naturally arisin g in sta n ce s of groups a ctin g on tre e s en countered by J - P . Serre appear to have led to the B a ss-S e rre theory of graphs of groups, with their a s s o c ia te d groups a ctin g on tre e s.
This
method has becom e a standard tool in the study of infinite groups, e sp e cia lly a s obtained by am algamated product and HN N -extension, and with regard to subgroup theorem s.
E a rlie r, Lyndon, in seek in g to unify
ca n cellatio n arguments based on N ielsen transform ations in the proofs of the N ielsen -S chreier and Kurosh Subgroup Theorem s and of the GrushkoNeumann Theorem , introduced axio m atically ch a ra cteriz e d length func tions on groups.
I. M. C hisw ell showed th at this theory, for integer
valued fu n ction s, is e s s e n tia lly equivalent to the B a ss-S e rre theory of groups actin g on tre e s .
J . W. Morgan and P . B . Shalen [1 2 0 ], following
PROBLEMS IN COMBINATORIAL GROUP THEORY
11
work of R .C . Alperin and K .N . Moss [4] on real valued length fu n ction s, have played off th e se two th eories to obtain new proofs of two theorem s of Thurston. In con nection with the Subgroup T heorem s, we note that R osenberger, Z ie sch a n g , and K arrass-S o litar a ll obtained refinem ents of the b a sic Sub group Theorem of Hanna Neumann for am algam ated products.
In particular,
K arrass and Solitar introduced tree products, which agree with a s p e c ia l c a s e of the B a ss-S e rre graph products.
They a ls o introduced polygonal
products: a group G is generated by v ertex groups, with the edge groups am algam ated.
(T h is group G differs in a sm all but sig n ifican t way from
the corresponding B a s s-S e rre group; the K arrass-S o litar definition is natural in the co n te x t of p resen tations of ce rta in geom etrically con stru cted groups, while that of B a ss-S e rre is natural for a graph of co m p le x e s.) Polygon al products w ere motivated by the recognition that the P icard group P S L (2 , Z [ i ] ) can be obtained from four very sm all groups at the v e rtice s of a square by am algam ating subgroups a s s o c ia te d with the sid e s of the sq uare.
S ee, for exam ple, B . F in e [5 5 , 5 6 ] and A. Brunner,
M. L . F ram e, Y .W . L e e , N .J . Wielenberg [24].
Square products are
studied a ls o in a paper of D. Z . Djokovic [4 2 ], w hich, although failing of its main o b jectiv e , co n tain s an e x te n siv e study of groups actin g on cu b ic tre e s .
See a ls o Djokovic>G. L . Miller [43].
A. Brunner, Y .W . L e e , and
N .J . W ielenberg [2 5 ] have used polygonal products to obtain elegan t d escrip tio n s of various 3-dim ensional E u clid ean groups.
M. W. D avis [40]
has used a sim ilar con stru ctio n in a more a b s tra c t co n text to obtain gen eralized C o xeter groups by sew ing together infinitely many co p ie s of an a b stra ct polytope by id en tification s a t v e rtic e s acco rd in g to sp ecified orthogonal groups; in this way he obtains a sp h e rica l manifolds of dimen sion
n> 4
not covered by E u clid ean s p a c e .
T here are a ls o various
a b stra ctly defined gen eralizatio n s of sym m etric groups, braid groups, and C oxeter groups; K. I. Appel and P . E . Schupp [5, 6 ] have used sm all c a n ce lla tio n theory to study ce rta in su ch groups.
12
ROGER LYNDON
PRO BLEM 9.
T h e various co n stru ctio n s m entioned a b o v e appear to o pen the way to a more co m p reh en siv e theory of the s tru c ture of in fin ite g ro u p s:
We mention a curious resu lt concerning the question of a c c e s s ib ility by D. E . Muller and P . E . Schupp [1 2 1 ], that a finitely generated group is virtually free if and only if it has a co n text-free word problem and is a c c e s s ib le . See a ls o W. D icks [41], J-C . Hausmann [8 9], A. K arrass-A . P ietrow sk iD. Solitar [1 0 8 ], S tallin gs [1 5 8 ], and M.D. Tretkoff [165].
4.
B u rn sid e groups W. Burnside asked if every finitely generated torsion group is finite.
T his is true for groups of certain sm all exp onen ts, for linear groups, and for analogous L ie rings.
In 1 9 6 0 Golod proved the e x is te n c e of what we
sh all c a ll B u rn sid e g ro u p s, finitely generated infinite torsion groups.
In
1964 P . S. Novikov and S. I. Adian showed that B (m ,p ), the free group on m> 2
generators in the variety of groups of prime exponent p , is infinite
for su fficien tly large
p ; s e e [1].
We have mentioned that Grigorchuk [79]
gave a very sim ple con stru ction for an infinite 3-generator 2-group, and that N .D . Gupta and S. Sidki extended this co n stru ctio n to obtain infinite 2-gen erator p-groups for all primes
p.
B efore Grigorchuk, S. V. A leshin
[3] had con stru cted groups like Grigorchuk’s in terms of autom ata, which Y . I. Merzlyakov [1 1 8 ] showed to be e s se n tia lly equivalent to those of Grigorchuk. A. Y . O lshanskii [1 2 4 , 1 2 5 , 1 2 6 , 1 2 8 , 1 2 9 ] used sm all ca n ce lla tio n theory to co n stru ct infinite 2-gen erator groups, with so lv ab le con ju gacy problem, in which a ll nontrivial proper subgroups are isomorphic c y c lic 7^ groups, a ll infinite c y c lic or a ll of order p , for som e prime p > 1 0 O lsh an sk ii’s groups are T arsk i M onsters, groups a ll of whose proper sub groups have sm aller card in ality .
S. Shelah [1 5 1 ], a ls o using sm all c a n c e lla
tion theory, had con stru cted e arlier an uncountable T arsk i Monster. E . Rips
PROBLEMS IN COMBINATORIAL GROUP THEORY
13
(s e e [1 4 0 ] ) has obtained re s u lts , not wholly published, p arallel to resu lts of O lshan sk ii, using sim ilar methods. The groups B (m ,p) of Novikov-Adian are u n iversal in the s e n s e of being a s large a s p o ssib le given the number m of generators and the exponent p , and thus they have a sim ple definition, but a t the exp en se of being com p licated to work with. D esp ite this Adian [1] has obtained co n sid erab le d etailed information about them.
The groups of O lshanskii
are more econ o m ical, a s im ages of the Novikov-Adian groups, but their definition is much more com p licated , their p resen tation being d ictated naturally by the problem a t hand; from th is it is e a s ie r to e sta b lish their cru cia l prop erties.
The groups of Gupta-Sidki, although not of finite
exponent, combine the virtu es of being very e a sily defined and relativ ely e a sy to work with. The Burnside problem may be viewed a s a te s t problem, of more in terest in terms of methods than of re su lts .
N o n eth eless, the natural
gen erality of the Novikov-Adian groups together with A d ian ’s d etailed resu lts on them, the fa c t that O lsh an sk ii’s groups of exponent p are infinite finitely generated sim ple groups, and the fa c t that the Gupta-Sidki groups a ris e as groups of automorphisms of tre e s and have in terestin g prop erties, a ll lead to the con clu sio n that B urnside groups are of co n sid e r able intrin sic in te re st.
(P erh ap s there was a time when finite p-groups
were con sid ered a s of in terest only a s Sylow g rou p s.) PRO BLEM 10.
D ev elo p a g e n e ra l theory of B u rn sid e gro u p s, in clu d in g a d e ta ile d study of certa in particular s u c h groups.
D esp ite enormous work, mainly for very sm all and very large prime valu es of n , the following problem is far from so lv ed . PRO BLEM 1 0 a .
For w hich pairs m and n is the group B (m ,n) fin ite ?
Another natural problem seem s to be folklore, and little more. PRO BLEM 10b.
Is ev ery fin itely p re s e n t e d torsion group fin ite ?
14
ROGER LYNDON
I have found no referen ce to this problem in print.
Gupta has pointed
out that a ll those who have con stru cted infinite Burnside groups have been a t pains to point out that their groups are not finitely presented. Scott has told me that he and, independently, W. J a c o , had recognized that the e x is te n c e of a finitely presented infinite torsion group would follow from the e x is te n c e of a 3-manifold whose nonabelian fundamental group had an infinitely generated ce n te r. F o r a survey of B urnside groups s e e Gupta [82].
5.
G enerators a n d rela tio n s From the point of view of p resen tatio n s, the sim plest groups after
free groups are the on e-relator groups.
T h e se groups have been studied
e x te n siv e ly , partly b e ca u s e the su rfa ce groups are on e-relator groups, and partly b ecau se they sh are some of the a c c e s s ib ility of free groups while exhibiting co n sid erab le individual com p lexity.
Magnus, giving
cred it to Dehn’s top ological in sigh t, solved the word problem for onerelator groups, and obtained other re su lts by the sam e method, notably the F re ih e its s a tz .
Although his method looks rather e a s y , and perhaps even
obvious from the alg eb raic sid e , in re tro sp e ct, it has yet to be incorporated into a general theory in an entirely s a tis fa c to ry w ay, e sp e cia lly from the to p o log ical point of view .
In con nection with the F re ih e its s a tz , s e e
Lyndon, and B . B au m slag -P rid e, and J . Howie [93].
It is striking th at,
d esp ite the solution of the con ju gacy problem for a fair variety of groups, the con ju gacy problem for on e-relator groups remains unsettled fifty years after M agnus’ solution of the word problem. PRO BLEM 11.
Is the co n ju g a cy problem so lv a b le for a ll one-relator g ro u p s ?
Note that B .B . Newman has solved this problem for a ll one-relator groups with torsion . R ecen tly A. Ju h asz [1 0 3 , 1 0 4 , 1 0 5 , 1 0 6 ] has developed new methods in sm all ca n ce lla tio n theory that so lv e the con ju gacy problem for certain
PROBLEMS IN COMBINATORIAL GROUP THEORY
15
groups, including a new s p e c ia l c la s s of on e-relator groups.
Other recen t
work, e s p e cia lly of S. J . P rid e [1 3 3 , 1 3 4 , 1 3 5 , 1 3 6 ] and of Pride together with P . Hill [90] and with P . Hill and A .D . V ella [9 1 ], has extended sm all ca n ce lla tio n theory to derive co n sid erab le information about the stru ctu re of on e-relator groups and th eir subgroups.
F o r exam ple, Pride
has shown that a on e-relator group with torsion can have only finitely many isomorphism typ es of nonfree tw o-generator subgroups.
See a ls o
G. B aum slag [9] and H .D . Hurwitz [1 0 2 ]. PRO BLEM 1 1 a .
D eterm in e further the stru ctu re of one-relator gro u p s.
Although sm all c a n ce lla tio n theory seem s now to be the b e st tool for studying on e-relator groups and, e s p e c ia lly , their con ju gacy problem, if it turns out th at th ere are on e-relator groups with unsolvable conjugacy problem, it would seem to require very co n sid erab le ingenuity on the sid e of logic to co n stru ct one. A secon d q uestion a risin g sim ply in terms of g en erato rs, initially without referen ce to re la tio n s, is that of the rate of growth on a group. If a group G is generated by a finite s e t X , let elem ents of G represented by words in X
g(n) be the number of
of length a t most n .
J . Milnor,
who introduced th e se id eas in con nection with d ifferential geom etry, asked if the asym p totic rate of growth of g (n ), which does not depend on the c h o ice of X , is alw ays either polynomial (a s for a free ab elian group) or exp onen tial (as for a nonabelian free group), and, with J . A. Wolf, e s ta b lished this co n jectu re for finitely generated so lv ab le groups; for th ese M. Gromov [80] (s e e a ls o A. J . W ilkie-L. van den D ries [1 7 0 ] ) showed th at the growth is polynomial ju st in c a s e the group co n tain s a nilpotent group of finite index.
R ecen tly Grigorchuk has shown that one of his
groups is neither polynomial nor exp onen tial. J.W . Cannon [2 7 ] showed th at for ce rta in F u ch sia n groups and C oxeter groups, with a natural c h o ice of generating s e t
X , the growth generating
function G (z) = 2 g (n )z n is a ration al function, and ch a ra cte riz e d its zero s and p o les.
M. B enson [1 4 ] showed th at G (z) is ratio n al for finite
16
ROGER LYNDON
exten sio n s of free ab elian groups of finite rank. Grigorchuk [78] con sid ered a function
See a ls o M. Grayson [77].
H (z) = X h (n )z n for H a subgroup
of a free group
F , where h(n) is now the number of elem ents of H
minimal length
n re la tiv e
is a rational function.
to a b a s is
F o r H normal and
of
X for F , and showed that G = F /H , he obtains the
sp e ctra l radius
rG of a random walk on G in terms of the radius of
con vergen ce of
H (z ), and proves the following.
integers
M and
T o given
N , there corresponds an integer
e > 0 and
L with the property
th at, if G has a presen tation with M generators and n < N re la to rs, a ll of length a t le a s t condition, then
L , which s a tis fie s a standard sm all ca n ce lla tio n
|rG - \ /2M -l/M | < e, and hence
G is not am enable.
Adian u ses th ese id eas to show that his infinite groups B (m ,p) are not am enable.
C . S eries [1 4 9 , 1 5 0 ] u ses sim ilar methods to study the d is tri
bution of the s e t of lim its of random walks on F u ch sia n groups. H. B a s s
[8 ], W. J .
PRO BLEM 12.
See a ls o
Floyd [5 9 ], and P . W agreich [167].
T h e re is cle a rly m uch to b e d one in determ ining the p o s s ib le growth fu n ctio n s of groups and in rela tin g them to p ro p erties of groups.
A sim ilarity between the formula for the growth function of a free product and that for the c h a ra c te ris tic su g g e sts a con nection between th ese two co n ce p ts , which is borne out in some of Cannon’s exam p les. It appears th at further understanding is needed of the dependence of the d etailed structure of the growth function on the ch o ice of generating s e t, and, with it, on properties of the s e t of relatio n s. A long standing question is that of the sig n ifica n ce of the d eficien cy of a p resen tation, the e x c e s s of the number of relation s over the number of gen erators.
D eficien cy of a finite group has been much studied.
The
d eficien cy can be viewed a s a truncation of a P o in care s e rie s of a reso lu tion of the p resen tation , and seem s related to the E u le r-P o in ca re c h a ra c te r is tic .
See B . B aum slag-S. J . Pride [10, 1 1 ], K. S. Brown [21, 2 2 ] (and
H (z)
PROBLEMS IN COMBINATORIAL GROUP THEORY
17
the review of [2 1 ] by K.W . Gruenberg [8 1 ] ), I. M. C hisw ell [2 9 ], M. Edjvet [4 9 ], J .G . R a tcliffe [1 3 8 ], N .S . Rom anovskii [1 4 2 ] and R . Stohr [1 6 0 ]. We p ose only a rather vague problem. PRO BLEM 13.
E x te n d a n d re la te the th eo ries of the d e fic ie n c y , the rate of growth, a n d the E u ler-P o in c a re ch a ra c te ristic .
In
particular, what in flu e n c e d o es the d e fic ie n c y have on the stru ctu re of an in fin ite gro u p ? T his seem s an appropriate point to sp eak of ce rta in problems of a d irectly to p o lo g ical origin which have led to eq uivalent or related prob lems that can be sta te d in purely group th eo retic term s.
I do not feel it
is my part to do more than mention th e se problems. PRO BLEM 14.
T h e P o in ca re c o n jec tu re .
See G. A. Swarup [1 6 1 ].
Among the many problems in group theory
stim ulated by the P o in ca re co n je ctu re , that of J . J . Andrews and M. L . C urtis is possib ly the b e st known. PRO BLEM 15-
L e t the trivial group have a b a la n ced p resen ta tio n ( X : R ) , w here
jX j = |R| < . C an this p resen ta tio n b e re d u c e d
to a trivial p resen ta tio n by a s u c c e s s io n of transform ations of the follow ing kinds : 1.
N ie ls e n transform ations of X ;
2.
N ie ls e n transform ations of R ;
3.
R ep la cin g an elem en t of R
4.
T ie t z e transform ations introducing (or d e le tin g ) a new elem en t x
of X
by a co n ju ga te;
together with a new relator r in R
d efin in g x ? See R. C raggs [3 6 ], W. M etzler [1 1 9 ], and C . P . Rourke [1 4 5 ]. A geom etrically finite group G is one p o s s e s s in g a finite
K (G ,1 ),
and its geom etric dimension is then the le a s t dimension of su ch a
K (G ,1 ).
18
ROGER LYNDON
G eom etrically finite groups, along with many related co n ce p ts and problems, are d iscu sse d in G. B au m slag -E . Dyer-A. H eller [12]; in co n nection with a related problem of B aum slag-D yer-H eller s e e T . Bortnik [18].
The equality of geom etric dimension and cohom ological dimension
has been proved with one excep tio n . PRO BLEM 16 (T he E ilenberg Problem ).
If G has co h o m o lo gica l dim en-
2, must it a ls o have geo m etric d im ension 2 ? We remark that Baum slag-D yer-H eller exam ine alg e b ra ica lly clo se d groups, using, a s does S .D . Brodskii [1 9 ], a definition that is natural but which differs from the original definition given by W .R . S co tt. A third problem from topology with many group th eoretic con n ection s is W hitehead’s asp h ericity problem. PRO BLEM 17.
Is ev ery su b co m p lex of an a s p h e rica l 2 -com plex a s p h e rica l ?
T his problem has receiv ed con sid erab le attention re ce n tly .
See
R. B row n-J. Huebschmann [23], I. M. C hisw ell-D . J . C ollins-H uebschm ann [30], Collins-H uebschm ann [3 1 ], M. G u tierrez-J. G. R a tcliffe [87], J . Howie [96], Huebschmann [99, 1 0 0 , 1 0 1 ], and A. J . Sieradski [1 5 5 ]. The problems above touch on the large area of q uestions of a homologi c a l nature, of which we mention only one more.
T hat is the study of
P o in care duality groups; for th is s e e R. B ieri [2] and, e s p e c ia lly , the talk by B . Eckm ann. We cannot re s is t introducing sm all ca n ce lla tio n theory with a quota tion from J . N ielsen (1 9 1 2 ), s e e [123]. “ While in the solution of the generation problem one arranges e le ments in seq u en ce in a ll p ossib le ways — one could sp eak of a linear problem — one rep resen ts the [re la to rs] in the group graph by polygons and in the treatm ent of the identity problem one puts th ese together in a map.
T his latter problem h a s, th erefore, in an exp ressio n
PROBLEMS IN COMBINATORIAL GROUP THEORY
of Dehn’s , ‘ one more dim ension’ than the first.
19
Whether this is a real
or only an apparent d ifferen ce in lev el . .. rem ains u n d ecid ed .” Small ca n ce lla tio n theory has becom e a useful and ubiquitous tool. Applied sm all c a n ce lla tio n theory is exem plified by recen t work of Ju h a s z , O lshanskii, P rid e , and R ip s, who have a ls o , a s w ell a s , for exam ple, Do Long Van [4 4 ], J . Howie-S. J . P rid e [9 8 ], and J . Perraud [1 3 2 ], greatly extended the methods of pure sm all c a n ce lla tio n theory. The theory, a s developed so far, could be d escrib ed a s follow s. From ‘ lo c a l ’ h y p o th eses, on ‘s m a ll’ su bcom plexes of the (2-dim ensional) C ayley com plex (Gruppenbild) of a presen tation (in itia lly , on the s ta rs of f a c e s ) , one d eriv es properties of ‘ la rg e ’ su bcom plexes (singular d is c s , sp h eres, annuli, to ri, . . . ) or of the entire com plex.
T here is an evident
an alogy, or con n ectio n , with corresponding d ifferen tial-in tegral co n c e p ts , for exam ple, in sm all c a n ce lla tio n theory the formulas relatin g ‘ arc le n g th ,’ c u rv a tu re ,’ and ‘ a r e a .’ (Tw o papers in the 4 0 ’s by C. B lan c [1 6 ] and F . F ia la [5 4 ], developing and applying com plex function theory on planar graphs do not seem to have been pursued further.
T here is more
recen t work by P . C artiei on harmonic a n a ly s is on tre e s , and a ls o work on harmonic a n a ly s is on free grou p s.) T h u s, a s w ell as Dehn’s original ap p lication of sm all ca n c e lla tio n theory in the hyperbolic plane to lo g ica l d ecisio n problem s, from which the theory a ro s e , and of the more or le s s obvious co n n ectio n s with topology (for exam ple, a sp h e ricity ) and with purely group th eo retic ‘stru ctu re problem s’ (for exam ple, P rid e ’s work on subgroups), there are co n n ectio n s of an a n a ly tic nature, con cern in g rate of growth, random w alk s, a n a ly sis on groups, e tc . PRO BLEM 18.
E x te n d sm all ca n c e lla tio n theory, e s p e c ia lly in a c c o rd a n c e with the co n n ectio n or analogy with a n a ly s is , and unify the s p e c ia l e x te n s io n s a n d a p p lica tio n s noted a b o v e.
6.
G eom etric groups Much of com binatorial group theory a ro se from the study of F u ch sia n
groups, if one includes su rfa ce groups, and there is no need to mention
20
ROGER LYNDON
the role of hyperbolic groups in the study of higher dim ensional manifolds. In the study of F u ch sia n groups, e sp e c ia lly su rface groups, there seem s to be a long tradition, beginning with Dehn and Magnus, and with N ielsen , and continuing through the work of R eid em eister and Z ie sch a n g and, in an extrem e form, two papers of A .H .M . H oare, A. K a rra ss, and D. Solitar on subgroups of F u ch sia n group, which could be d escrib ed , somewhat invidiously, a s a more or le s s co n scio u s attem pt to free the su b ject from a n a ly sis.
T his tendency is not entirely a matter of p rejudice, in view of
the in creasin g difficulty of applying a n aly tic methods in higher dim ensions and in more a b stra c t situ a tio n s, notably to ‘ g eo m etric’ groups defined com binatorially without any d irect referen ce to an a n a ly tic stru ctu re, as mentioned in S ection 3. To a n on-analytic mind it seem s a great m ystery that com binatorial and an aly tic methods often lead to the sam e re s u lts ; it happens often that o b jects definable com binatorially are realizab le a n a ly tica lly .
A modest
exam ple is the com binatorially regular te s s e lla tio n s of the n-sphere and n -sp ace for n > 2 , and a more im pressive one is the definition by Z ie sch a n g , E . V ogt, and H .D . Coldewey of Richsian groups a s automor phism groups of planar 2 -co m p lexes.
So perhaps we should not re je ct
a n a ly s is , but seek to a s sim ila te it. A striking exam ple of such assim ilatio n is J . Cannon’s work based in part on the fa ct th at, if the C ayley com plex for a discontinuous hyper b olic group is realized in the natural way in hyperbolic s p a c e , then the co n cep ts of com binatorial (word) and m etric hyperbolic g eo d esic agree about a s well a s could be hoped for.
T his provides a new approach to
sm all ca n ce lla tio n theory a s well a s opening up other v is ta s . Something along the sam e line ap p ears, with a different purpose, in the papers of C . S e rie s.
A geom etrically com binatorial approach appears
in a number of papers by A. L . Edmonds, J . E . Ew ing, and R . S. Kulkarni (e .g . [5 0 ] ) in which they study, for exam ple, torsion free subgroups of finite index in F u ch sia n groups.
Somewhat in the sam e sp irit is the
PROBLEMS IN COMBINATORIAL GROUP THEORY
21
rather ex te n siv e use by a number of workers of c o s e t graphs in the study of Riemann su rfa ce s and of subgroups and quotient groups of F u ch sia n groups and other groups.
S ee, for exam ple, re ce n t work of J . L . Brenner-
R . C . Lyndon and of W.W. Stoth ers. PRO BLEM 19.
D ev elo p a u n ified com binatorial theory of a su itably co m p reh en s iv e c la s s of ‘g e o m e t ric ’ groups.
See a ls o Floyd-H oare-Lyndon [6 0 ] and C . L . and M .D. Tretkoff [1 6 5 ].
7.
A lg eb ra ic rep resen ta tio n s of groups We are now far d ista n t from logic and topology and approaching the
forbidden v a s tn e s s e s of rep resen tation theory, L ie theory, and group rings. B u t, d esp ite the in terdiction by Chandler-M agnus, we must mention Magnus’ rep resen tation of free groups in a s s o c ia tiv e rings, L ie rin gs, and matrix rings.
The first and ce n tra l exam ple here is M agnus’ rep resen ta
tion of a free group F
in the power se rie s com pletion A of a free
a s s o c ia tiv e ring, carryin g with it a rep resen tation of the descending cen tral quotients of F
by the dim ension modules of the free L ie ring
a s s o c ia te d with A . We refrain from mentioning a ll but one of the many e xten sio n s of th ese id eas. The con nection between the commutator stru ctu re of a group, e sp e cia lly a p-group, and L ie theory, although not a s p erfect a s for co n tinuous groups, has been highly developed, e s p e c ia lly by P . Hall and his follow ers.
C lo sely related to the Magnus rep resen tation is the free differ
e n tial ca lcu lu s of R . H. F o x , originating in knot theory, but with a homologi c a l interpretation along the lines of the work of R eid em eister. Any group G is naturally embedded in its in tegral group ring ZG . L e t A be the fundamental id eal, the kernel of the augm entation map ZG -» Z . The n-th dimension subgroup Dn(G) of G is then defined to be G fl ( 1 + A n) , the group of a ll
g in G such that g = 1 modulo An .
Magnus (1 9 3 5 ) showed that if G is a free group, then Dn(G) = y nG , the
ROGER LYNDON
22
n-th term of the d escending cen tral se rie s of G ; from fl An = 0 it follows that
H y nG = 1 .
It was con jectu red that Dn(Gr) = y nG for a ll groups tive integers
G and a ll p o si
n , and this co n jectu re is e a sily reduced to the c a s e that G
is a finite p-group.
However, Rips (1 9 7 2 ) exhibited a 2-group G with
y^G = 1 but D4 (G) 4 1 • T his very s p e c ia l counterexam ple, using the only even prime, seem s to leave the door open for a p o ssib le rehabilitation of the problem.
See I. B . S. P a s s i [1 3 1 ], J . A . Sjogren [1 5 6 ], K-I. Tahara
[1 6 2 , 1 6 3 ], and the talk by Gupta. F o x (1 9 5 3 ) introduced the groups a normal subgroup of the free group F natural map Z F -» Z ( F / R ) .
F (n ,R ) = F H ( l + j A n) , where R is and
J
is the kernel of the
The dimension subgroups of G = F / R
represented an alogou sly by the groups
are
D (n,R ) = F D (1 + J + An) . By the
resu lt of Magnus, F ( n ,F ) = Dn+1( F ) = y n+i F > anc* Magnus showed a ls o that F ( l ,R ) = y 2R .
Enright showed that F (2 ,R ) = y 2 (R H y 2F ) y 3R , and
Gupta and P a s s i derived properties of F / F ( n ,R ) from a matrix re p resen ta tion.
F o r th ese re su lts s e e the survey a rtic le by Gupta, A problem of
R .H . F o x , C anad. Math. B ull. 2 4 ( 1 9 8 1 ) , 1 2 9 -1 3 6 . PRO BLEM 2 0 .
Obtain in trin sic d escrip tio n s of the F o x su bgroups F (n ,R ) a n d the d im ension su bgro u p s D (n,R ) in terms of the commutator structure of the fr e e group F
and its normal
subgroup R .
A cknow ledgem ent.
The author gratefully acknow ledges partial support of
the N ational S cien ce Foundation. DEPARTMENT OF MATHEMATICS UNIVERSITY OF MICHIGAN ANN ARBOR MICHIGAN 48109-1003
23
PROBLEMS IN COMBINATORIAL GROUP THEORY
REFERENCES
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
Adian, S. I. The Burnside problem and identities in groups. Nauka, Moscow 1975; Springer 1978. ------------- Random walks on free periodic groups. Izv. Akad. Nauk 46(1982); Math. USSR Izv. 21 (1983), 425-434. Aleshin, S. V. Finite automata and the Burnside problem for periodic groups. Mat. Zametki 11 (1972), 319-328; Math. Notes 11 (1972), 199-203. Alperin, R.C., Moss, K.N. Complete trees for groups with a real valued length function. J. London Math. Soc., to appear. Appel, K. I. On Artin groups and Coxeter groups of large type. Contemporary Math. 33(1984), 50-78. Appel, K. I., Schupp, P. E. Artin groups and infinite Coxeter groups. Invent. Math. 72(1983), 201-220. Bass, H. Euler characteristics and characters of discrete groups. Invent. Math. 35(1976), 155-196. _________ H. Growth of finitely generated groups. Proc. 11 Braz. Math. Coll. I. Inst. Mat. Pur. Apl., Rio de Janeiro 1978, 103-115. Baumslag, G. Some problems on one-relator groups. Proc. 2 Internat. Conf. Theory of Groups, Canberra 1973. Springer Lecture Notes 372 (1974), 75-81. Baumslag, B., Pride, S. J. Groups with two more generators than relators. J. London Math. Soc. 1 7(1978), 425-426. -------------Groups with one more generator than relators. Math. Z. 1 6 7 (1979), 279-281. Baumslag, G., Dyer, E., Heller, A. The topology of discrete groups. J. Pure Appl. Alg. 16(1980), 1-47. Beardon, A. F. The Geometry of Discrete Groups. Springer 1983. Benson, M. Growth series of finite extensions of Zn are rational. Invent. Math. 73(1983), 251-269. Bieri, R. On groups of cohomological dimension 2. Topology and Algebra. Monograph Enseign. Math. 26(1978), 55-62. Blanc, C. Une interpretation elementaire des theoremes fondamentaux de M. Nevanlinna. Comm. Math. Helv. 12(1940), 153-163. -------------- Les reseaux Riemanniens. Comm. Math. Helv. 13(1941), 54-67. Bortnik, T. Two-generator two-relator acyclic group. Bull. Acad. Polon. Sci. Math. 23(1980), 433-436. tVi
n j
24
[19]
[20] [21]
ROGER LYNDON
B rod skii, S, D. Equations over groups and groups with a sin gle defining relation . Uspekhi Math. Nauk 3 5 (1 9 8 0 ) , 1 8 3 ; R u ss. Math. Surveys 3 5 ( 1 9 8 0 ) , 1 6 5 . --------------- . Equations over groups and groups with one defining relation . Sib. Mat. Zh. 2 3 (1 9 8 4 ) , 8 4 -1 0 3 . Brown, K. S. Complete Euler c h a ra c te r is tic s and fixed-point theory. J . Pure Appl. Alg. 2 4 (1 9 8 2 ) , 1 0 3 -1 2 1 .
[2 2 ]
----------------Cohomology of Groups. Springer Graduate T e x ts 3 7 (1 9 8 2 ). (Review by K.W . Gruenberg, B ull. Amer. Math. Soc. 11 (1 9 8 4 ), 2 4 4 -2 4 6 .)
[23]
Brown, R ., Huebschmann, J . Identities among relatio n s. P ro c. Conf. on Topol, in Low Dim., Bangor 1 9 7 8 . London Math. Soc. L ectu re Notes 4 3 (1 9 8 2 ) , 1 5 3 -2 0 2 .
[24]
Brunner, A. M., F ram e, M. L ., L e e , Y . W., Wielenberg, N. J . C la s s i fying torsion -free subgroups of the P icard group. T ra n s. Amer. Math. Soc. 2 3 2 (1 9 8 4 ) , 2 0 5 -2 3 5 .
[25]
Brunner, A .M ., L e e , Y .W ., W ielenberg, N .J . P olyhedral groups and graph am algam ation products, Topology and Its A p p lications 2 0 (1 9 8 5 ) , 2 8 9 -3 0 4 .
[26]
Cannon, J . W. The com binatorial structure of co co m p act d iscre te hyperbolic groups. Geom. D edicata 1 6 (1 9 8 4 ) , 1 2 3 -1 4 8 .
[2 7 ]
__________ The growth of the clo sed su rface groups and the com pact hyperbolic C o xeter groups. Preprint.
[28]
C handler, B ., Magnus, W. The History of Com binatorial Group Theory. A C a s e Study in the History of Id eas. Springer 1 9 8 2 .
[29]
C h isw ell, I. M. E uler c h a ra c te r is tic s of groups. (1 9 7 6 ), 1 -1 1 .
Math. Z . 1 4 7
[30]
C hisw ell, I. M., C o llin s, D. J . , Huebschmann, J . p resen tatio n s. Math. Z . 1 7 8 { 1 9 8 1 ), 1 -3 6 .
A sp h erical group
[31]
C o llin s, D. J . , Huebschmann, J . Spherical diagram s and id en tities among rela tio n s. Math. Ann. 261 (1 9 8 1 ), 1 5 5 -1 8 3 .
[32]
C o llin s, D. J . , Z ie sch a n g , H. R escu in g the Whitehead method for free products. I. Math. Z . 1 3 5 (1 9 8 4 ) , 4 8 7 -5 0 4 ; II. The algorithm .
[3 3 ]
__________ On the Whitehead method in free products. Math. 3 3 (1 9 8 4 ) , 1 4 1 -1 5 8 .
[34]
Comerford, L . P ., Jr . Q uadratic equations over free groups and free products. J . Algebra 6 3 (1 9 8 0 ), 7 5 -8 6 .
[35]
Comerford, L . P ., J r ., Edmonds, C. C . Quadratic param etric equa tions over free groups. Contemporary Math. 3 3 (1 9 8 4 ) , 1 5 9 -1 9 6 .
[36]
C rag g s, R. F re e ly reducing group readings for 2-com plexes in 4-m anifolds, Preprint.
Contemporary
PROBLEMS IN COMBINATORIAL GROUP THEORY
25
[37]
C u ller, M. U sing su rfa ce s to so lv e equations in groups. 2 0 (1 9 8 1 ) , 1 1 3 -1 4 5 .
[3 8 ]
__________ F in ite groups of outer automorphisms of a free group. Contemporary Math. 3 3 (1 9 8 4 ) , 1 9 7 -2 0 7 .
[39]
C u ller, M., Vogtmann, K. Moduli of graphs and automorphisms of free groups. Invent. Math. 3 4 (1 9 8 6 ) , 9 1 -1 1 9 .
[40]
D av is, M. W. Groups generated by re flectio n s and a sp h e rica l mani folds not covered by E u clid ean s p a c e . Annals Math. 1 1 7 (1 9 8 2 ) , 2 9 3 -3 2 4 .
[41]
D ick s, W. Groups, tre e s N otes 7 9 0 (1 9 8 0 ).
and p rojective modules.
Topology
Springer L ectu re
[42]
D jokovic, D. Z . Another exam ple of a finitely presented infinite sim ple group. J . Algebra 6 9 (1 9 8 0 ) , 2 6 1 -2 6 9 .
[43]
D jokovic, D. Z ., M iller, G. L . R egular groups of automorphisms of cu bic graphs. J . Comb. Theory B 2 9 (1 9 8 0 ), 1 9 5 -2 3 0 .
[44]
Do Long Van. The word and con ju gacy problem for a c l a s s of groups with nonhomogeneous conditions of sm all ca n ce lla tio n . A rch. Math. 41 (1 9 8 3 ), 4 8 1 -4 9 0 .
[45]
Dyer, E ., V asq u ez, A. T . Some sm all a sp h e rica l s p a c e s . Math. S oc. 1 6 ( 1 9 7 3 ) , 3 3 2 -3 5 2 .
J . A u stral.
[46]
Dyer, J . L . A remark on automorphism groups. Contemporary Math. 3 3 ( 1 9 8 4 ) , 2 0 8 -2 1 1 .
[47]
Dyson (H uber-Dyson), V. An inductive theory for free products of groups. Algebra U n iv ersalis 9 (1 9 7 9 ) , 3 5 -4 4 .
[48]
Eckm ann, B ., L in n ell, P . Poin care"d u ality groups of dimension two, II. Comm. Math. H elv. 5 3 (1 9 8 3 ) , 1 1 1 -1 1 4 .
[49]
E d jv e t, M. Groups with balanced p resen tatio n s. Arch, der Math. 4 2 ( 1 9 8 4 ) , 3 1 1 -3 1 3 .
[50]
Edm onds, A. L ., Ew ing, J . E . , Kulkarni, R . S. T orsion free sub groups of Fuchsion groups and te s s e lla tio n s of s u rfa c e s . B ull. Amer. Math. S o c. 3 6 (1 9 8 2 ) , 4 5 6 -4 5 8 ; Invent. Math. 6 9 (1 9 8 2 ), 3 3 1 -3 4 6 .
[51]
Edmunds, C . C . On the endomorphism problem for free groups II. P ro c. London Math. S oc. 3 3 ( 1 9 7 9 ) , 1 5 3 -1 6 8 .
[5 2 ]
---------------- A condition equivalent to the so lv ab ility of the endomor phism problem for free groups. P ro c . Amer. Math. Soc. 7 6 (1 9 7 9 ), 2 3 -2 4 .
[53]
E hrenfeucht, A ., F a jtlo w ic z , S ., M alitz, J . , M ycielski, J . Some problems on the u niversality of words in groups. Algebra Uni v e rsa lis 72 (1 9 8 0 ), 2 6 1 -2 6 3 .
26
ROGER LYNDON
[54]
F ia l a , F . Sur les polyedres a fa c e s trian g u laires. Helv. 1 9 (1 9 4 6 ), 8 3 -9 0 .
Comm. Math.
[55]
F in e , B . F u ch sia n subgroups of the P icard group. 2 5 ( 1 9 7 6 ) , 4 8 1 -4 8 5 .
C anad. J . Math.
[56]
---------------, The HNN and generalized free product structure of certain linear groups. P ro c . Amer. Math. Soc. 81 (1 9 7 6 ), 4 1 3 -4 1 6 .
[57]
F in k e lste in , H. Solving equations in groups: a survey of F ro b e n iu s’ theorem. P e r. Math. Hung. 9 (1 9 7 8 ), 1 8 7 -2 0 4 .
[58]
F in k e lste in , H ., Mandelberg, K. I. On solutions of “ equations in symm etric g ro u p s.” J . Comb. Theory A 2 5 ( 1 9 7 8 ) , 1 4 2 -1 5 2 .
[59]
F lo yd , W. J . Group com pletions and limit s e ts of Kleinian groups. Invent. Math. 5 7 ( 1 9 8 0 ) , 2 0 5 -2 1 8 .
[60]
F lo y d , W. J . , H oare, A. H. M., Lyndon, R. C. The word problem for geom etrically finite groups,. Geom. D ed icata 2 0 (1 9 8 6 ) , 2 0 1 -2 0 7 .
[61]
G ersten, S. M. In tersectio n s of finitely generated subgroups of free groups and resolution s of graphs. Invent. Math. 71 (1 9 8 3 ), 5 6 7 -5 9 2 .
[6 2 ]
__________ On fixed points of automorphisms of finitely generated free groups. B ull. Amer. Math. Soc. 5 (1 9 8 3 ) , 4 5 1 -4 5 4 .
[6 3 ]
__________ C o n serv ativ e groups, indicable groups, and a theorem of H ow ie’s . J . Pure Appl. Alg. 2 9 ( 1 9 8 3 ) , 5 9 -7 4 .
[64]
__________. Solution of equations over 1 . Such
a group admits a presen tation G = < x 1 ,y 1 , " - , x g ,y g |[x1 ,y 1 ]---[x g)y g ] = 1 > in the orientable c a s e , G
< Z Q.Zj , " ’ >Zg lZQZl ’ ” Zg = 1 >
in the non-orientable c a s e . We will a lso use the co n cep t of a s u rfa c e group-pair (G; iS Q,S 1 ,--*,S m! ) : it c o n s is ts of the (free) fundamental group of a clo se d su rface of genus g > 0 with m + 1 disks removed, sp h ere), together with the
m > 0 (but > 1
if the su rfa ce is a
m + 1 infinite c y c lic subgroups generated by
the boundary c ir c le s of th e se d isk s.
Surface group-pairs have p resentations
G =t2’-"’tm’Xl'yi’”->Xg'yg> ’ S 0 = < t l t 2 - t m Cx 1 ,y 1 ] - " [ x g ,y g] > , S j = < t j > in the orientable c a s e ,
m+ g > 0 ;
35
for j =
36
BENO ECKMANN
S 0 = < t l t2 * , ' tm z oz l ' " z g > > s j = < t j > for j = in the non-orientable c a s e ,
m > 0,
g > 0.
The “ lo w e st” c a s e s of su rface group-pairs are G = < t 1 >,
SQ= < t 1 >,
S1 = < t 1 >
and G = < z 0 > , S Q = < Z q> . A P o in ca re duality group G of d im ension n , in short a
1. 2.
PD n group,
is a group fulfilling P o in care duality in (c o -) homology for a ll co e fficien t ZG-modules
A with re sp e ct to the formal dimension n and to a certain '■v, G -action on the additive group of integers Z : Hi(G ;A ) 3£ Hn_ j(G ;2 ® A ) ,
Here Z ® A
i fZ .
is a ZG-module by diagonal a ctio n , and the isomorphisms are
natural in the ZG-modules ZG-module structure of Z
A . As we will s e e the dimension n and the n PD -group being
are determined by G (the
orientable or non-orientable accord in g to whether the actio n is triv ial or not). The definition above is , of co u rse , analogous to the P o in care duality valid for a ll clo se d n-dim ensional manifolds being 7Tj(X)-modules.
If X
X , the co e fficie n ts
is asp h e rica l then the (c o -) homology of X
is isomorphic to that of G = 77^ (X ) s o th at, in that c a s e , PD n-group.
A
G is a
It is not known whether in general the co n v erse is true; i .e .,
whether a PD n-group is n e c e s s a rily isomorphic to the fundamental group of a clo sed n-dim ensional a sp h e rica l manifold. Since the u niversal covering of the su rface su rface P D 2 -groups.
is a sp h e rica l.
2 g , g > 1 , is
R 2 the
Thus the su rface groups in 1.1 above are
The T heorem formulated in the title s ta te s that the co n v erse
POINCARE DUALITY GROUPS
is true, thus solving the problem in the c a s e
37
n = 2 . T he proof of that
T heorem has been ach ieved in se v e ra l s te p s contained in a s e rie s of papers by the p resent author and various co lla b o ra to rs; th e se papers were w ritten partly with other o b jectiv es in mind.
The co n feren ce organizers
have asked the author to present a su rvey, a s com plete a s p o ssib le , of that proof. We do so and use the opportunity to sim plify som e of the argum ents. 1 .3 .
There a re , in fa c t, different techniques and methods involved in that
proof.
They belong roughly speaking to the following three a re a s of id e a s:
(I)
H om ological alg eb ra, homology of groups.
(II)
Structure and sp littin g theorem s for groups (S ta llin g s-B a ss-S e rre and o th ers).
(III) Ranks of p rojective modules and E uler c h a ra c te ris tic (H attoriS tallin g s-B a ss-K a p la n s ky). The papers leading to or containing the ste p s of the proof are as follow s.
In the field (I) by Robert B ieri and the author [2 ], [4], [5]; in (II)
by Heinz Muller and the author [1 2 ], [1 4 ]; in (III) by P e te r L in nell and the author [1 0 ], [11]. 1. 4.
F o r com p act manifolds-with-boundary ( (9-manifolds), in particular
for the clo se d su rfa ce s with d isk s removed, one has the well-known “ re la tiv e ” P o in care d uality.
The su rface group-pairs listed in 1.1 above
fulfill su ch a rela tiv e P o in care d uality, of dimension 2 . T o formulate th is in a p re cise way, re la tiv e (co -) homology groups for pairs of groups (G;
,***,SmS) have to be co n sid ered , c f. Section 2 .3 below; this
yields the con cep t of a P D n-pair of groups.
An important step in the proof
of the T heorem will be to show that a ll P D 2 -pairs of groups are su rfa ce group-pairs (“ R ela tiv e T h eo rem ,” S ection 3 .2 ). 1 .5 .
We mention here two co ro lla rie s of the T heorem .
38
BENO ECKMANN
C O R O LLA R Y 1.1 (cf. [1 2 ], [1 1 ]).
A ll P o in c a re -2-co m p lexes a re homotopy
eq u iv alent to c lo s e d s u rfa c e s (of g e n u s > 0 ). C O RO LLA RY 1. 2.
L e t G be a torsion-free group containing a s u rfa c e
group S a s subgroup of fin ite in d ex ; then G is a lso a s u rfa c e group. Indeed, a hom ological argument (s e e Section 2 . 2 ) shows that G is a P D 2 -group.
This corollary is a s p e c ia l c a s e of the “ N ielsen realizatio n
c o n je ctu re ” proved by Kerckhoff [Annals of Math. 1 1 7 (1 9 8 3 ) , 2 3 5 -2 6 5 ]. The s p e cia l c a s e above was estab lish ed by Eckmann-Miiller [12] before K erckhofPs proof, and before our Theorem on P D 2 -groups had been com pletely se ttle d . 1. 6.
T his survey is organized a s follow s.
S ection 2 con tain s general
prelim inaries on duality and relativ e duality groups.
In Section 3 we
assum e that the PD 2 -group fu lfills a certain “ sp littin g ” property and show that the T heorem can then be reduced to the R e la tiv e Theorem ; both that reduction and the proof of the R elativ e Theorem are given on the b a sis of general sp littin g arguments explained in S ection 4.
In Section 5
we show, by quite different methods involving ranks of finitely generated p rojective modules, that any P D 2 -group fulfills the sp littin g assum ption.
2. 2. 1 .
Duality groups The group G is ca lle d a duality group of dim ension n > 0 with
resp ect to a dualizing ZG-module C , in short a Dn group, if one has isomorphisms Hi(G ;A) a for all
i eZ
A , and C ® A
and a ll ZG-modules
Hn i(G; C ® A) A ; they are assum ed to be natural in
is endowed with the diagonal G -action.
Abelian group, one has P o in care duality (cf. 1 .2 ), i .e .,
If C = Z G is a
as an PD n-group.
From the definition it follows that H *(G ;A ) commutes with d irect limits in A . This is p o ssib le only if G admits a projective resolution
POINCARE DUALITY GROUPS
...
^
^ -> ••• -> P Q ->-> Z
with a ll
P-
39
finitely generated over ZG
(by the B ieri-Eckm ann-B row n fin iten ess crite rio n , s e e [3] and [7 ] ). Furtherm ore one e a s ily ch e ck s that C ® Z G = C Q®ZG
(where C Q is the
Abelian group underlying C ) is an induced module, and thus for all
H1(G ;ZG ) = 0
i 4 n ; as for Hn(G ;Z G ), it is isom orphic to HQ(G ;C ® Z G ) = C ,
and this is a (right) ZG-module isomorphism.
The dualizing module C
is thus determined by G ; it is e a s ily se e n to be torsion-free a s an Abelian group. The cohomology dimension cd G is cle a rly it is
< n , and by the above
= n ; hence the integer n is a ls o determined by G , and G admits
a finitely generated p rojective resolution of finite length (equal to
n );
such groups are said to be of type F P . Summarizing we s e e that a Dn-group G fulfills (1) G is of type F P . (2 ) H*(G;ZG) = 0 for i 4 n and Hn(G ;ZG ) is to rsio n -free, (3 ) cd G = n . It has been proved by B ieri-E ckm ann [2] th at, co n v e rse ly , a group fulfilling (1 ) and (2) is a Dn-group with dualizing module C = Hn(G ;Z G ). We note that cd G = n implies that G is torsion -free. 2. 2 .
As an ap p licatio n , let G b e to rsio n -free and S a subgroup of fin ite
index.
By S erre’s theorem (se e e .g . [8 ], p. 1 9 0 ) cd G = cd S = n . C learly
G admits a finitely generated free resolution over ZG does over Z S ; hence
G is of type F P
if and only if S
if and only if S is.
Moreover
Hi(S ;Z S ) ^ Hi(G ;H om s (Z G ,Z S )) s Hi (G ;ZS® ZG) - H *(G ;Z G ), and it follows that G fu lfills (1 ) and (2 ) above if and only if S d o es, with the “ sa m e ” dualizing module C . Thus
G is a Dn-group if and only if S is a Dn-group, and the
dualizing modules are isomorphic a s A belian groups. is a PD n-group if and only if S is.
In p articu lar,
G
BENO ECKMANN
40
1) REMARKS:
D im en sio n 1 .
generated free.
It is a P D 1-group if and only if it is infinite c y c li c .
G is a D 1 -group if and only if it is finitely
2) Subgroups of in fin ite in d ex.
F o r PD 2 -groups G , Strebel [17] has
proved, by hom ological methods, that for a subgroup S of infinite index in G one has cd S < n - 1 . F o r
n =2
it follows that S is a free group;
this is the P D 2 -analogue of a fa ct well known for su rface groups. 2.3.
We briefly re c a ll rela tiv e duality for group pairs (for d e ta ils s e e
B ieri-Eckm ann [4], [ 5 ] ). a family
S
= |Sj, j ^l i
A group pair (G ,S) c o n sists of a group G and
of subgroups, not n e ce ssa rily d istin ct.
subgroup S C G one w rites
Z G /S
for the G-module whose underlying
A belian group is freely generated by the c o s e ts left multiplication.
F o r any
xS , with G -action by
R elative (co-) homology is defined by means of the
“ augmentation k ern el”
A = ker i ©. Z G /S - -^ -> Z ! where
e(xS-) = 1 for
J
a ll x e G and
j eI : Hi(G ,S;A ) = Hi_ 1 (G ;A ® A ) , H ^G .SjA) = Hi - 1 (G; Hom(A,A)) ,
A being a G-module, ® and
Horn equipped with diagonal G -action.
A duality pair of dimension
n with dualizing module C is a pair
(G ,S) fulfilling Hi(G ;A ) ss Hn_ i(G ,S ;C « A ) and Hi(G ,S;A ) a
Hn_ j(G ;C ® A ) .
In the (orien tab le) P o in care duality c a s e ,
C = Z , each of th ese isom or
phisms implies the other one and the first one becom es H^G jA) S Hn i l (G;A ® A) ; i .e .,
(G ,S) is a P D n-pair of groups if and only if G is a Dtv~1-group
POINCARE DUALITY GROUPS
41
with dualizing module A . R e la tiv e e x a c t se q u e n ce s show that S must be a finite family of P D n - 1 -groups
S Q > S y ,S m .
In p articu lar, if (G ,S) is a PD 2 -pair then G is finitely generated free and
S is a finite family of infinite c y c lic groups.
morphisms yield
The duality is o
H2 (G ,S;Z G ) = Z , HX(G ,S;Z G ) = 0 , HX(G ;ZG ) = A . As
shown in [4] the only important hom ological property is
H2 (G ,S;Z G ) = Z ;
indeed, if G is finitely generated free and S a finite family of infinite c y c lic groups it c h a ra c te riz e s PD 2 -p airs.
3. 3. 1.
P D 2 -groups sp littin g over a fin itely g e n e ra te d subgroup A group G is said to sp lit over the subgroup H if either
a non-trivial am algam ated free product G = G- * H N N-extension 1)
G = G,^
H is finitely gen erated ,
(a ) G is
G9 , or (/3) G is an
. Two c a s e s are of s p e c ia l im portance: 2 ) H is finite.
We re ca ll that S ta llin g s’
stru ctu re theorem [1 5 ], [16] for finitely generated groups te lls that 2 ) holds if and only if H1(G ;ZG ) 4 0 . T h e a s s ertio n of the T h eo rem holds if the P D ^-group
PROPOSITION 3. 1.
G sp lits over a fin itely g e n era te d group L . The proof of P rop osition 3 .1 makes strong use of the ‘ ‘sim ultaneous sp littin g theorem ” (in sh o rt: by Heinz Muller [14].
SST) for groups and subgroups, estab lish ed
The SST is a refinement of the relativ e version
(Swan [18], Swarup [1 9 ] ) of S ta llin g s ’ structure theorem ; it d eals with sp littin gs over finite subgroups free only H = 1 will o ccu r.
H , and s in c e in our c a s e
G is torsion -
A short outline of SST and its ap p lication
in the present co n te x t will be given in Section 4 below. The ap p licatio n of SST to P D 2 -groups G = G1
p , with
H1(G ;ZG ) = 0 ,
L
L is
(a ) G = G1 * l G2 , or (/3)
finitely generated, is a s follow s. 4 1 • The index of L
theorem [17] one has cd L < 1 , and hence
Since
in G is infinite; by S treb el’s L
is (finitely gen erated ) free.
We only d escrib e the c a s e (a ), the c a s e (j8) being sim ilar.
42
BENO ECKMANN
If in G = Gj * l G2 the rank of L
is
>1
one h a s, by virtue of SST
(s e e Section 4. 4, A )), sp littin g s Gx = H1 * H2 , L = L j * L 2 with
C H j,
^ , L = h 1 * q L 2 Xq with
G1 = H *< q > = H
i = 1 ,2 ,
L j, L2 C H .
The first p ossib ility yields G = Hx * L1 if L j 4 Hj L 2 . Thus
then G sp lits over
(H2 * G ); L2
L j , and if L j = Hj
then G sp lits over
G sp lits over a subgroup whose rank is le s s than that of L .
The second p o ssib ility yields G = (H *
G )* L1
so
, L 2 ’*
G sp lits over L 2 , again of rank le ss than that of L . Thus we are alw ays reduced to the c a s e where G sp lits over an
infinite c y c lic subgroup C as (a) G = G1 * Since
G2 , or (j8) G =
*
C ,p
C is a P D ^ grou p we can apply the general hom ological argu
ments of [4], Theorem 8.1 and 8 .3 . group pairs
c
(G ^ C ) and
It follows that in the c a s e (a) the
(G2 ,C ) and in the c a s e Q3 ) the group pair
(G j, !C ,p _ 1 C p !) are PD 2 -p airs.
Now the R ela tiv e T heorem below te lls
that th ese pairs are su rface group-pairs (se e 1. 1) corresponding to clo sed su rfa ce s with one d isk , or two disks re sp e ctiv e ly , removed. In (a ),
G = Gj^
G2 is the fundamental group of the clo sed su rface
obtained by identifying the boundary c ir c le s ;
in (/3),
G = G1 *
C ,p
is the
fundamental group of the clo se d su rface obtained by joining the two boundary c ir c le s by a tube. 3.2.
R e l a t i v e T h e o r e m . A ny P D 2 -pair (G; { S0 , -- -, Smi) is a su rfa c e
group-pair.
43
POINCARE DUALITY GROUPS
r\
Again the proof u se s mentioned in 2. 3.
SST, in addition to the properties of PD -pairs
We proceed by induction on the rank of the finitely
generated free group G . If that rank is H ^ G jZ G ) = Z
1 , i .e .,
s in c e
G =C
G infinite c y c lic
C = ,
is a P D 1-group, and
one has
H1(G ;ZG ) = A sin ce
G is a duality group of dimension 1 with dualizing module A . The e x a c t seq uen ce
then yields S = i < c 2 >f.
A
0
ZG /Sj
©ZG/ S - = Z © Z ; this is p o ssib le only if S = |C,C} or j J Thus the pair (G ,S) is either
(C, {C, Cl)
or
(C=,
1< c 2 >1); i.e . , we obtain p re cise ly the low est orientable c a s e m = 1 , or the low est non-orientable c a s e
g = 0,
g = 0,
m = 0 of the p resen ta
tion list of su rface group-pairs in 1 .1 . If the rank of G is (a)
> 1 , SST
(se e Section 4. 4 , B )) y ield s sp littin g s
G = Gx * G 2 with S Q = < g 1g 2 > ,
1
4 gj
are (con ju gate to ) subgroups of G1 and
e G j , while the Sj for j > 0
G^ , sa y
S ^ - - - ^ C G1 ,
Sk + l’ " ' = Gx * 1 ; [J with S Q = < p q 1 P^'1g2 > , g l , g2 e G1 , while S l , . . . , S m are (conjugate to) subgroups of G1 . We will deal with (a) only, the c a s e (/3) being sim ilar.
G = (Gj *< g2 >) * , Then S ( ) C G 1 * < g 2 > .
The pair
2
We can write
G2 .
(G2 ; l< g 2 > , Sk+1 ,••• ,Sml) is a P D 2 -pair
by Theorem 8.1 of [4 ]; note that the c a s e argument, and the pair must then be
< g2 > = G2 needs a s p e c ia l
(< g2 > , S < g 2 > , < g 2 >S), cf. [4] p. 5 1 7 .
Similarly the pair ( G1 , {< g^ >, S^^,••• ,S^!) is a PD 2 -pair.
By induction
they are su rface group-pairs, and one e a sily ch eck s that so is (G jiSo,^,-,^)-
44
BENO ECKMANN
Sim ultaneous sp littin g of groups and su bgroups
4. 4. 1.
We con sid er throughout this se ctio n a finitely generated group G
which sp lits over a finite subgroup K a s &
*
i .e ., with H1(G ;ZG )
4 0,
F
cf. Section 3. 1.
G = G. * 1
K
G0 2
or G = G. *
1 K,p
,
Given a finite family
of subgroups of G let N( G; S1 , -*-,Sm) be the in tersectio n of the kernels of the re strictio n maps resj : H ^ G jZ G ) -> H1 (S j;Z G ), j = l , - - - , m.
By the relativ e version of the structure theorem (Swan [18],
Swarup [1 9 ] ) N (G ;S1 ,--*,Sm)
40
if and only if there is a sp littin g of G
su ch that the Sj are conjugate to subgroups of G1 or G2 ; this will be the c a s e in the following and only such sp littin g s will be con sid ered . L e t T be a further subgroup of G , and assu m e that T generated.
is finitely
Sx^i denoting a s e t of c o s e t rep resen tativ es of G mod T , we
con sid er the restrictio n map
H ^ G jZ G ) -!§§» H1 (T ;Z G ) s
H 1( T ; Z T ) x i / .
The minimal number of non-zero components of r e s (c ) for a ll 0 4 c e N(G;S1 ,***,Sm) is ca lle d the w eight n(T) of T with re sp e ct to G (and to S 1 ,***,Sm) .
Note that n (T ) = 0 if and only if N (G ;T ,S 1 ,• **,Sm)
4 0;
i. e. , if there is a sp littin g of G with T C G^ or G2 . 4.2.
The sim ultaneous sp littin g theorem (SST) estab lish ed by H. Muller
[14] (actu ally for more general G and T ) con cern s the c a s e
n (T ) > 0 .
It can be formulated roughly a s follow s, its full content being in fa ct more com p licated . There is a tree T
on which
G a c ts with finite e d g e -sta b iliz e rs and
with proper subgroups of G a s v e rte x -sta b iliz e rs such that T /G one edge (and that e a ch r
Sj , j = l , - - - , m s ta b iliz e s a v ertex of T ); and
con tain s a su btree T t
n (T) ed ges.
has
invariant under T with T t / T
having at most
45
POINCARE DUALITY GROUPS
EXA M PLES.
1)
Let
G be to rsio n -free, and
n (T ) =
1.
Then one has the
following p o s s ib ilitie s :
(1) G = Gx *G2 ,
T = Tx*T2 , T j C G j , T2 CGr
(2)
= G1 * i, T = T 1 * p T 2 p_ 1 , T j . T j C G j .
G = G1 * < p >
(3) G = < p > , 2)
T=
,
L e t G be to rsio n -free,
S1 = - - - = S m = l T
or m = 0 .
infinite c y c li c , and
n (T ) = 2 . Then one
has the following p o ssib ilitie s (cf. [1 4 ] ) (1) 0 = 0 ^ 2 , (2)
G = Gj * < p >
(3) G = < p > , 4 .3 .
T = < g l g2 > ,
1/gjfG j,
i = 1, 2 •
= Gx T = < p g 1p ' 1g 2 > ,
T = < p 2 >,
S 1 = " - = Sm = l
gr g2
fG j .
or m = 0 .
We re s tric t ou rselv es to some remarks concerning the proof of SST.
We w rite Z 2 for Z / 2 Z
and u se
Z 2G , Z 2 T
instead of Z G , Z T ; one
e a sily ch e ck s that this yields the sam e weight n ( T ) . Then H1(G ;Z 2 G) can be interpreted a s group of a ll su b se ts of G which are “ alm ost in v a ria n t” under tran slatio n without being G or 0 ; alm ost invariant means invariant e x ce p t for finite s e ts . 11 Z 0x and x H ° ( G ; eG) - H ^ G jZ G )
H ^ G jZ ^ G ) = 0
yield s ( eG ) g / ( Z 2 G ) g a= H1 (G ;Z 2 G) . The restrictio n map H1 (G ;Z 2 G) U H> U H T x ^
for a ll v where
e ^ H 1( T ;Z T ) x j/ is then given by U is a non-trivial alm ost invariant s e t.
46
BENO ECKMANN
The com ponents
U fl T x^ are alm ost T -in variant.
By the techniques of
Dunwoody [9] and Swarup [19] th ese alm ost invariant s e ts yield the theorem. 4. 4.
There remains to compute the w eights of th ose subgroups which
occur in the proofs of P roposition 3.1 (subgroup L ) and of the “ R e la tiv e Theorem ” in 3 .2 (subgroup S Q ). A) We again re s tric t ou rselves to the c a s e (a) in the proof of Proposition 3. 1.
Thus
G is a P D 2-group with G = G1 * G9 , L free of rank > 1 . * L ^
We claim that
n (L ) with re sp e ct to
(G ^ 0 )
or to (G2 ; 0 )
is equal to 1 .
By example 1) in 4 .2 this yields the required sim ultaneous sp littin g s of G1 and
L.
T o prove the claim we con sid er the e x a c t M ayer-Vietoris seq u en ce i i (r e s 1- r e s 0 ) 1 § 0 ••• -> 0 - H1(G1 ;Z G )© H 1(G2 ;Z G ) i HX(L ;Z G ) ~^>H2 (G ;ZG ) and note that the weight is not 0 sin ce H1(L ;Z L )
res^
and
is free A belian of infinite rank sin c e
Thus the re strictio n of 8
L
r e s 2 are in je ctiv e . is free of rank > 1 .
to H1 ( L ;Z L ) cannot be in je ctiv e ,
being = Z ; i .e ., the in tersectio n
H2 (G ;ZG )
im (r e s 1 , - r e s 2 ) fl H ^ L jZ L )
On the other hand, if both n (L ) with re sp e ct to
•••
is
^0.
(G ^ ,0 ) and to (G2 , 0 )
are > 1 , the image r e s 1( c 1 ) - r e s 2 ( c 2 ) of H1(G2 ;Z G ) cannot lie in H1( L ;Z L ) C H ^ L jZ G ); this is se e n by looking a t the lengths of elem ents with re sp e ct to c o s e t rep resen tativ es of G mod G1 and
G2 . Thus
n(T ) with re sp e ct to , s a y ,
(G ^ 0 )
is
=1 ,
and we obtain the sim ultaneous sp littin g . B ) In 3 . 2,
(G ,S) is a P D 2 -pair,
S = i SQ, S1 ,*• *,Sm! with m > 0
and a ll
Sj infinite c y c li c , and we have to con sid er the c a s e where the free group G is of rank > 1 . The claim is that n(SQ) with re sp e ct to (G, J is
= 2 . By exam ple 2 ) in 4 .3 this yields the required sp littin g s.
, — ,Sm J)
POINCARE DUALITY GROUPS
47
The e x a c t rela tiv e cohomology seq u en ce of G mod S is m
0 — » (G ,S;Z G ) — » H1 (G ;ZG )
cs
® H ^ S -jZ G ) j=0
where r d enotes the map with components P D 2 -pair properties te ll that the first term is
H2 (G ,S;Z G ) —* 0 ,
r e s j , j = 0, l , - - - , ni .
0 , the la s t isomorphic to
Z . If S Q (or any proper su b se t) is omitted from the family term becom es
non-zero.
S , the la st
40
(cf. [4], S ection 1 1 );
N = N (G ;S1 ,*-*,Sm) of the
ker resj , j = l , - - - , m
0 and the first term must be
i . e. , the in tersectio n
The
is
The weight n(SQ) is the minimal number of components in
H ^ S q jZ G ) = ®^H1 (S 0 ;Z S 0)x^/ = © ^Zx^ of r e s Q(c ) for a ll
O^ceN;
note that ker r e s Q fl N = 0 . Now r(N) = ( r e s o(N ) ,0 ,- '- ,0 ) = (H1 (S o;Z G ) ,0 ,- " ,0 ) 0 ker S . e a sily ch e ck s th at S re stricte d to any summand Z x^ b ije ctiv e .
One
of H ^ S q jZ G ) is
So obviously the minimum number of components of elem ents
40
in r e s Q(N) is
5.
T h e first B etti number of a P D ^-group
5. 1.
In order to con clu d e the proof of the Main T heorem we have to show
2 , which proves the claim .
that a P D 2 -group, without any further assum ption, sp lits over a finitely generated subgroup.
T his is guaranteed by the following proposition
w hose proof w ill be given in 5 .2 and 5 .3 below. are of type F P
R e c a ll that PD n-groups
so that B e tti numbers j3j(G) = rank H^(G;Z) are defined
P r o p o s i t i o n 5. 1.
If G is a P D 2 -group then j81( G ) > 0 .
From this it follow s that H1( G; Z) , the ab elian ized group G , co n tain s at le a s t one infinite c y c lic summand C , and thus
G admits a
facto r group = C . By a resu lt of B ieri-S treb el ([6 ], Theorem A) this im p lies that G sp lits a s L
G = G^
over a finitely generated subgroup
(as shown in [6], th is holds for any group G of type F P 2 , i .e ., ad
mitting a p ro jectiv e resolution which is finitely generated in dim ensions
48
BENO ECKMANN
< 2 , and having an infinite c y c lic factor group).
The splittin g is co n
structed e x p licitly , the generator p being any elem ent projecting onto a generator of C . 5 . 2.
For the proof of Proposition 5.1 we use the hom ological Euler
c h a ra c te ris tic
x (G ) =
0(G )-
2 (G) of G .
By the E u ler-P o in care
formula ^ (G ) is equal to the altern atin g sum of the ranks of the free Abelian groups Z ®G P .
for any F P -re so lu tio n over ZG
We re ca ll that in the orientable c a s e even; in the non-orientable c a s e
/3 Q(G) = 1 , /32 (G) = 0 (the proofs are
the sam e a s for clo se d s u rfa c e s). Proposition 5.1 is
y (G ) < 0 .
/3 Q(G) = /32 (G) = 1 and /3X(G) =
Thus in both c a s e s the claim of
If G is a non-orientable PD 2 -group, let
G q be the orientable subgroup of index 2 . By the m ultiplicative property of the E u ler c h a ra c te ris tic (valid for groups of type F P , c f. [8], § IX .6 ) X (G 0) = 2 x ( G ) ; hence x ( G0) < 0 implies
y (G ) < 0 , and we are reduced
to the orientable c a s e . G being an orientable P D 2 -group we ch o o se a resolution
with
ZGd
0 — >P
(1)
ZG
z
P finitely generated projective over ZG . Applying HomG(-,Z G )
to (1 ) we get the seq uen ce
(2 )
ZG 0. BENO ECKM ANN M A T H E M A T IK E T H -Z E N T R U M C H -8 0 9 2 Z U R IC H S W IT Z E R L A N D
REFERENCES [1]
B a s s , H., Euler c h a ra c te r is tic and c h arac ters of d iscre te groups. Inventiones Math. 3 5 ( 1 9 7 6 ) , 1 5 5 -1 9 6 .
[2]
B ie ri, R ., and Eckmann, B . , Groups with homological cuality gen eralizing P oin care duality. Inventiones Math. 2 0 ( 1 9 7 3 ) , 1 03 -1 2 4 .
[3]
______ ___ , F in ite n e s s properties of duality groups. Helv. 4 9 ( 1 9 7 4 ) , 4 6 0 -4 7 8 .
[4]
, R elativ e homology and Poincare duality for group pairs. J . of Pure and Applied Algebra 1 3 ( 1 9 7 8 ) , 2 7 7 -3 1 9 .
[5]
, Two-dimensional Poincare duality groups and pairs, in: Homological Group Theory, London Math. Soc. Lecture Notes 3 6 ( 1 9 7 9 ) , 2 2 5 -2 3 0 .
[6]
B ieri, R ., and Strebel, R ., Almost finitely presented soluble groups. Comment. Math. Helv. 5 3 ( 1 9 7 8 ) , 2 5 8 -2 7 8 .
[7]
Brown, K. S., Homological criteria for finiten ess. Helv. 5 0 ( 1 9 7 5 ) , 12 9 -1 3 5 .
[8] [9]
, Cohomology of Groups.
Comment. Math.
Comment. Math.
Springer Verlag New York 1 9 82 .
Dunwoody, M. J . , A c c e s s ib ility and groups of cohomological dimen sion one. P roc. of the London Math. Soc. 3 8 ( 1 9 7 9 ) , 1 9 3 -2 1 5 .
[10] Eckmann, B . , and Linnell, P . , Groupes a dualite de P oincare de dimension 2. C .R . Acad. Sci. P aris 2 9 5 ( 1 9 8 2 ) , Serie I, 4 1 7 -4 1 8 .
POINCARE DUALITY GROUPS
51
[11] Eckmann, B . , and Lin nell, P . , P o in care duality groups of dimension two, II. Comment. Math. Helv. 5 8 ( 1 9 8 3 ) , 1 1 1 -1 1 4 . [12] Eckmann, B . , and Muller, H., P o in ca re duality groups of dimension two. Comment. Math. Helv. 5 5 ( 1 9 8 0 ) , 5 1 0 -5 2 0 . [13] Montgomery, S., L eft and right inverses in group alge b ras. Amer. Math. Soc. 7 5 ( 1 9 6 9 ) , 5 3 9 -5 4 0 . [14] Muller, H., Decom position theorems for group pairs. 1 7 6 ( 1 9 8 1 ) , 2 2 3 -2 4 6 .
Bull.
Math. Z eitsch rift
[15] Stallings, J . R ., On torsion-free groups with infinitely many ends. Ann. of Math. 8 8 ( 1 9 6 8 ) , 3 1 2 -3 3 4 . [16]
__________ , Group theory and three-dimensional manifolds. Monographs 4 , Y a le Univ. P r e s s 1 9 7 1 .
Y a le Math.
[17] Strebel, R ., A remark on subgroups of infinite index in Poincare duality groups. Comment. Math. Helv. 5 2 ( 1 9 7 7 ) , 3 1 7 -3 2 4 . [18] Swan, R. G., Groups of cohomological dimension one. 1 2 ( 1 9 6 9 ) , 5 8 5 -6 0 1 .
J . Algebra
[19] Swarup, G. A ., R e la tiv e version of a theorem of Stallings. and Applied Algebra 11 (1 97 7 ), 7 5 -8 2.
J . of Pure
HOW TO G E N E R A L IZ E O N E-R E L A T O R GROUP THEORY Ja m es Howie1 The primary purpose of this paper is to survey a number of recent results in combinatorial group theory. in the title:
The main theme is the one indicated
that of trying to g eneralize the rich theory of one-relator
groups to a more general construction known a s the one-relator (or anom alous) product.
There are a l s o a number of subplots.
F o r example,
I want to illustrate the use of a geometric technique from 3-manifold topology—that of (P apakyriakopoulos)—towers in combinatorial group theory.
The rele va n ce of one-relator theory here is that the c l a s s i c a l
one-relator technique initiated by Magnus [38] is just the tower technique in d isg u ise . v a rie tie s.
I a ls o want to d is c u s s equations over groups and q uasi
L a s t , but not le a s t, I want to give some publicity to the c l a s s
of locally indicable groups, which I believe to be of fundamental impor ta n ce in low-dimensional topology. Our story begins in 1 9 8 0 , with a 1-page announcement [6] by Sergei Brodskii of the following three strong resu lts. THEOREM 1.
T o rsio n -free 1 -relator groups a re lo ca lly in d ica b le.
THEOREM 2.
A ny n o n -d eg en era te equation over a lo cally in d ica b le group
has a solution in so m e overgroup. THEOREM 3.
T h e re e x is t s a nontrivial q u a siv a riety
under e x t e n s io n s , s u c h that ev ery group in 3 eq uationally c l o s e d 2 group in
S’
of g ro u p s, c lo s e d
ca n be em b ed d ed in an
S’ .
1 S u p p o rte d b y a n S E R C A d v a n c e d F e llo w s h ip .
2
T h e R u s s ia n te rm is * ‘ a lg e b ra ic h e s k i z a m k n u ty ,” w h ic h m e ans l i t e r a l l y “ a lg e b r a i c a ll y c l o s e d , ” a n d is u s u a lly t r a n s la te d as s u c h (s e e [6 ] a n d [3 2 ], p. 2 , Q u e s tio n 2 ). U n fo r tu n a te ly th e re a lre a d y e x is t s a d i s t i n c t n o tio n o f “ a lg e b r a ic a lly c lo s e d g r o u p ” [5 7 , 4 3 ] in E n g lis h . I am t r y in g to a v o id c o n fu s io n b e tw e e n th e s e tw o n o tio n s .
53
54
JAMES HOWIE
By the time [6] appeared, I had independently discovered Theorems 1 and 2 [21, 2 2 ], and Hamish Short had independently discovered Theorem 2 [58].
B ro d sk ii’s proofs were published only recently [5].
One interesting
factor is that his arguments are purely a lg eb raic, while Short and I use (different) geometric methods.
B. Baumslag [2] later rediscovered
B ro d skii’s proof of Theorem 2, which e ssen tia lly follows Magnus’ proof of the F r e i h e i ts s a tz [38]. The paper is organized a s follows. briefly d i s c u s s , resp ectively :
In se ctio n s 1 - 3 below I shall
locally indicable groups; one-relator
products and equations over groups; and q uasivarieties.
In se ction 4 I
sh all introduce the notion of a tower of 2-co m plexes, and sketch a proof of the c l a s s i c a l F r e i h e i ts s a tz to illustrate their use.
In sectio n 5 I shall
list a number of resu lts, and in sectio n 6 I shall d iscu ss some open problems. Almost all the results mentioned in this paper have appeared (or will soon appear) elsew here, so I will for the most part omit proofs.
Lemmas
2 and 3 in sec tio n 4 and Theorem 16 in sec tio n 5 are new, and I will indicate how to prove them. This is an expanded version of my lecture at the conference.
I have
deliberately included more material here than I could present in a single lecture, in the hope of broadening the scop e of the a rticle .
Much of this
material was contained (in a very unpolished form, and complete with gory details of proofs) in a co u rse of lectures given at the University of Glasgow in 1982.
I am grateful to the audience there for their fortitude.
In particular I am grateful to Steve Pride for reading and commenting on a draft version of the paper.
I am a ls o grateful to Steve Gersten for further
helpful comments.
1.
What a re loca lly in d ica b le gro u p s, and why a re they in te re s tin g ? A group G is in d ica b le (or X -in d ica b le) if H1 (G ,Z) = Hom (G ,Z) ^ 0 .
In other words, if there e x is t s an epimorphism G -» Z (called an in d exin g
ONE-RELATOR GROUP THEORY
fu n ctio n ).
55
A group is lo ca lly in d ica b le if every nontrivial, finitely gen
erated subgroup is indicable. group is torsion free.
Thus, for example, every locally indicable
T h e se groups first appeared in Higman’s th esis [20]
(se e a ls o [19, 5 0 ] ) on group rings. THEOREM 4 [19]. in d ica b le group.
L et R
be an in tegra l domain and G a locally
T h e n the
idem potents other than 0
group a lgeb ra RG
has no z ero d iv iso rs, no
and 1 , a nd no units other than th o se of the
form ug ( u a unit in R , g e G ). Higman’s results have subsequently been extended to larger c l a s s e s of groups.
(See for example [47] for d e ta il s .)
Theorem 4 holds whenever
One example is that
G is right o rderable.
In other words
G
admits a total order relation < which is invariant under right multiplica tion x < y '=5> x z < y z . THEO REM
5 [7].
L o c a lly in d ica b le groups a re right o rderable.
Here are two further ch aracte riz ation s of locally indicable groups. his paper [ l ] on Whitehead’s Conjecture [67] that any subcomplex an a sp herical 2-complex
L
is a sp h e rica l,
of co n serv a tiv e (or Z -co n serv a tiv e) groups.
co n cept in a cohomological form: ® (Z )
K of
Adams introduced the c l a s s A group G is co n serv a tiv e
if, whenever G a c t s freely and cellularly on a 2-complex H2 ( X / G , Z ) = 0 , then H2 ( X , Z ) = 0 .
In
X
such that
Strebel [61, 6 2] rediscovered this
say that G is a ® group, or G e ® =
if, whenever f : P -» Q is a ZG-homomorphism between projective
ZG-modules, with Ker (1 ® f ) = 0 , then Ker f = 0 , where l ® f : Z ® G P-> z ®g Q • THEOREM 6 [13, 29 ].
G is lo ca lly in d ica b le
G is co n serv a tiv e
G G are in jective.
Fo r more
general one-relator products, we will say that the F re ih e its s a tz holds (in a given situation) if A -> G , B -> G a re injective.
Unfortunately, the
F r e i h e i ts s a tz does not alw ays hold. A , B be simple groups, and let a e A , b e B be e l e
Let
EXAM PLE.
ments of d istinct finite orders.
Then
(A * B ) / N ( a b ) = i l i .
This example clearly represents the worst possible pathology, from the point of view of one-relator products.
Since the F r e i h e i ts s a tz is
fundamental to one-relator group theory, we cannot hope to pursue our program of generalization without imposing some conditions to avoid su ch examples.
One possibility is a condition on the relator.
THEOREM
8 [16].
T h e F re ih e its sa tz holds w h en ev er r = s m for som e
m> 4 . We sh all be concentrating, however, on the other possibility, namely imposing re strictions on the fa c to rs.
The following “ folklore” conjecture
is one plausible example. C O N JE C TU R E .
T h e F re ih eitss a tz holds for torsion fr e e fa cto rs.
At present this is merely a con jectu re.
None of the known methods of
a tt a c k apply to torsion free groups in full generality. res u lts, a stronger restriction is needed.
To actu ally obtain
There are generalizations of
the F r e i h e i ts s a tz in [3, 15 , 3 5 , 4 8 ], but the following is the most general form to date.
58
JAMES HOWIE
THEOREM 2 ' [6, 2 1 , 58].
T h e F reih e its sa tz holds for lo ca lly in d ica b le
factors. It turns out that the condition of local indicability is just the right one to make proofs work—not just of the F r e i h e i ts s a tz , but a lso , a s we will s e e later, of other results from one-relator group theory.
T h e se re
s u lts , in fa ct, can all be extended to constructions more general than onerelator products, namely to the fundamental groups of s ta g g e re d g e n e ra liz e d 2 -co m p lex es in the se n s e of [28].
I shall not go into d etails here, but
these groups all have the form ( *• A-)/NSrj \, where the Aassumed locally indicable, and the relators
are to be
rj are “ s ta g g e r e d .”
This is
a natural generalization of staggered presentations, and a ls o of s ta g g e re d 2 -c o m p le x e s , which will be defined in s e c tio n 4 below.
An interesting
sp e cia l c a s e is the tree anom alous product of Brodskii [5]. factors
A-
Here the
correspond to the vertices of a tree whose edges correspond
to the relators
rj , and each
rj
involves only the two factors correspond
ing to the endpoints of the corresponding edge. As the numeration s u g g e s ts, Theorems 2 and 2 ' are c lo s e ly related. To explain this relationship, I must now d is c u s s equations over groups. Consider a one-relator product G = (A * B ) / N ( r ) infinite c y c l i c .
We can regard
in which B = < t >
r as a “ polynomial”
is
r(t) in the variable
t , with co efficien ts from the group A . The polynomial equation r(t) = 1 has a solution in A if and only if the natural map A -> G is split in je c t iv e .
If this map is merely in je ctiv e , then we can regard
overgroup of A in which the equation has a solution. solution is universa l in the obvious s e n s e :
to h e H . (H ence, in particular,
A
Moreover, this
if H is any overgroup of A
in which the equation r(t) = 1 has a solution A -> H factors uniquely through A
G a s an
h , then the inclusion
G in such a way that t e G is sent G is in je ctiv e.) We can think of
G as being formed from A by “ adjoining a root” of the polynomial r ( t ) . T h ese ideas are due originally to B. H. Neumann [42].
59
ONE RELATOR GROUP THEORY
C all a polynomial r = r(t) n o n d eg en era te if r does not belong to any conjugate of A , and c a ll an equation nondegenerate.
r(t) = 1
n o n d eg en era te if r is
Now Theorem 2 ' clearly implies Theorem 2 (put B = < t > ).
C onversely, Theorem 2 a ls o implies Theorem 2 ' : the “ tw iste d ” embedding A * B = A * ( t B t _ 1 ) c — > (A * B ) * < t > of length a t lea st 2
in (A * B )
sends any c y c li c a lly reduced word
to a nondegenerate polynomial.
We can a ls o co nsider the idea of a system
ri(ti» -.tn) = “ •=rm(tl> - ’tn) = 1 of se v e ra l equations in s e v e ra l unknowns, over a group A . It is then appropriate to study the group G = (A * < t 1 , •••,tn > )/N lr 1 ,-- -,r mS, and the natural map A -> G . A group A is called a lg eb ra ica lly c lo s e d [43, 57] (or ex isten tia lly c l o s e d ) if A ^ 1 and any finite system
2
of equations
over A , having a solution in some overgroup, has a solution in A . (In other words, whenever the map A
G is injective in the above, then it
is split in je c tiv e .) A group A is called equationally c lo s e d if every (single) nondegenerate equation over A has a solution in A . (In other words the map A -> (A * < t > ) / N ( r )
is always split in jec tiv e.) It is not too
difficult to s e e that equationally c lo s e d groups are torsion free, while a lg eb ra ica lly c lo s e d groups contain elements of all finite orders, s o that no group falls into both c l a s s e s (cf. footnote 2). T o any fin ite system
X of equations over a group, we can naturally
a s s o c i a t e an integer matrix
M(£) = (/zy), where /z-
is the algeb raic sum
of the exponents of t- appearing in the word rj . If rank M(2) is equal to the number of equations in 2 , then we c a l l or nonsingular. £
2
( lin ea rly ) in d ep en d en t
If this remains true working modulo some prime p , then
is called p-in d ep en d en t.
THEO REM
9 [14].
E v ery in d ep en d en t sy stem of equ a tio n s over a com pact,
c o n n e c te d L ie group A has a solution in A .
60
JAMES HOWIE
CO R O LLAR Y
1 [14].
E v ery in d ep en d en t sy stem of equations over a
fin ite group has a solution in som e fin ite over group. C O R O LLAR Y
2 [49].
E v e ry in d ep en d en t sy stem of equations over a
locally resid u a lly fin ite group has a solution in som e overgroup. THEOREM 10 [13].
E v e ry p -independent sy stem of eq u a tio n s over a
lo ca lly p-ind ica b le group has a solution in som e overgroup. C O RO LLA RY [21].
E v ery in d ep en d en t sy stem of equations over a locally
in d ica b le group has a solution in som e overgroup. There are a ls o numerous results about equations over groups based on restrictions on the equations [11, 2 3 , 33, 4 2 , 52, 5 3, 54] (se e a ls o [37], Chapter 1.6, and the survey a rtic le [36] of Lyndon).
A number of other
results and conjectu res related to th ese problems are d isc u ss ed in [25, 60].
3.
Q u a siv a rieties Varieties of groups have been extensively studied (s e e for example
[ 4 4 ] ).
A variety is a c l a s s of groups defined by some co lle ctio n of laws
or id en tities, for example the variety of metabelian groups is defined by the single identity [[a,b], [c,d ]] = 1 . Similarly a quasivariety is a c l a s s of groups defined by a c o lle ctio n of q u a si-id en tities (in which implication signs may appear).
Thus for example the c l a s s
3?
of torsion-free groups
is a quasivariety defined by the colle ctio n gn = 1
g = 1 (n = 2 , 3 , 4 , - " )
of quasi-identities. All the above can be made p recise using the language of predicate ca lc u lu s.
F o r d etails s e e [39], Chapter V.
Alternatively, a c l a s s
A of
groups is a quasivariety if and only if it contains the trivial group and is clo sed under subgroups, direct products and ultra products. nontrivial notion here is that of an ultraproduct.
The only
The reader is referred to
[39], Chapters IV-V for a comprehensive introduction, but here is a brief sketch.
ONE-RELATOR GROUP THEORY
L e t I be a s e t .
61
An ultrafilter U on I is a subset
of the power s e t
of I which s a t i s f i e s : (i)
X , Y £ U =^> X fl Y 6 U ;
(ii)
X £U, XCY => Y £U ;
(iii)
X C I ==> p r e c is e ly one ofX ,
I-X
belongs
Obvious examples are the p rincipal ultrafilters
to U . U
= {X C I ; x £ Xi
for x £ I , but th e se are not interesting from our point of view.
If I is
finite, then all ultrafilters on I are principal, but otherwise examples of nonprincipal ultrafilters c a n be found using Z o rn ’s Lemma. Now let
{G^S be a family of groups indexed by I .
The ultraproduct
of the G- defined by U is the group G = (11^ G ^ ) /~ , where ~
is the
equivalence relation (gj) ~ (hi) Fo r example
and only if (i £ l : gi = hi ) £ U .
G = Gx whenever
U is the principal ultrafilter
Ux .
(This is why principal ultrafilters are uninteresting.) It is an e a s y e x e r c i s e to c h e ck that the c l a s s e s
2) , ®p , 3 1 0 , J ®
of locally indicable,
locally p-indicable, right orderable and torsion-free groups, re sp ectiv ely , are close d under the formation of ultraproducts (and hence q uasiv arieties). It is not too difficult to write down exp licit s e t s of quasi-identities d e fining $ , ®p and (as we have se e n ) J ® , but I do not know of an exp licit s e t of quasi-identities defining 5 1 0 . Ultraproducts c a n be very powerful.
An interesting application is the
proof of van den Dries and Wilkie [65] of Gromov’s Theorem on groups of polynomial growth. A class
3
of groups is idem potent or e x te n s io n -c lo s e d if 3 * 3 = 3 , in
other words if any extension of an 3-group by an 3-group is an 3-group. Brodskii [5] co n stru cts a quasivariety (i)
$
of groups satisfyin g:
Z fS ;
(ii) (iii) 2
is minimal with r e sp e c t to (i) and (ii).
62
JAMES HOWIE
(Indeed properties ( i ) - ( i i i ) uniquely determine d .) He then proves the following result. THEOREM
3 [5, 6].
T h e q u a siv a riety 3
e x te n sio n s, and ev ery group in 3
is nontrivial and c lo s e d under
ca n he em b ed d ed in an equationally
c lo s e d group in 3 . This answ ers, in an extremely strong way, a question of Bokut' [32], Question 2, p. 2:
does there e xist a nontrivial, equationally clo sed group?
It would be more sa tisfa cto ry to have an exp licit description of the quasivariety
3 . There is a chain of inclusions & c $ c R 0 c .T5F
of which the first follows from property (iii) of 3 Theorem 5. 3 .3 ,
and the second from
Only the third inclusion is known to be s trict ([47], Lemma
p. 6 0 6 ), so $
is a plausible candidate for d
(as a ls o is
Some evidence in this direction is given by Theorem 3 ' in se ctio n 5 below. Here is a
mod p version.
R eplace
Z by
in property (i) of 3 .
Then B ro d skii’s construction works equally well to produce a quasivariety 3 p with 3 p c ® p .
T ow ers and the Magnus argum ent
4.
There is a “ stan d ard ” method of proving results about one-relator groups, which was first exploited by W. Magnus in his fundamental paper [38].
There have sin ce been various refinements (see for example [ 4 0 ] ),
but the b a sic idea remains the same. c a l trick s, it is a s follows.
Briefly, and omitting a few tech n i
Given a one-relator group presentation
G = K with f(S1 ) C T of 7 ^ ( 0 .
K be the 2-complex
is injective.
If not, then
representing a nontrivial element
Make f “ r e a s o n a b le ,” and let K'
be a maximal tower lifting.
Then
K' is staggered, and indeed the proof
of Lemma 2 shows that we may assume of K A l s o
g(m ax a ) = x n for each 2 -c e l l a
K' is finite (for otherwise f' would factor through an in
clu sio n , contradicting maximality), and H ^ K ' ) = 0 (for otherwise V would lift over an infinite c y c li c cover, contradictin g maximality). F in a lly , no 2 -c e l l in K' is attached by a proper power. cations of Lemma 3 show that sarily a tree), such that
K' c o ll a p s e s to a 1-complex
T
(n e c e s
g(y) = x n for ea ch 1-ce ll y in K - F . In
particular f ^ S 1) C g- 1 ( r ) C and
Repeated appli
so f(S*)
ffS1) is nullhomotopic in F .
is nullhomotopic in g- 1 ( r ) ,
Contradiction.
68
5.
JAMES HOWIE
R e s u lts Many other theorems about one-relator groups can be proved using
towers in a manner similar to the proof of Theorem 11 above.
T h es e in
clude B ro d sk ii’s Theorem 1, that torsion free one-relator groups are locally indicable.
The argument is identical, e xcep t that the d isc
replaced by some finite 2-complex
S with H1(S) = 0 (so that
D2 is
^ ( 77^ (S))
is a finitely generated, nonindicable subgroup of ^ ( K ) ). A large c l a s s of genuinely new results can be obtained by a relative version of the tower method.
I shall omit the d e ta ils, exce p t to say that 1 2 we are now considering pairs (L ,K ) of 2 -com plexes, with L = K U e U e connected, and su ch that the attaching map for e
properly involves
On the fa c e of it, there are two distinct c a s e s , depending a s
e
.
K is co n
nected or not, but there is in fact no e sse n tia l difference between th ese two c a s e s .
To obtain positive re su lts, we a ls o have to assume that (each
component o f ) THEOREM
2".
K has locally indicable fundamental group. With the a bove notation and c o n v en tio n s,
is in je c tiv e for e a c h com ponent
of
Theorem 2 " is just Theorem 2 when
77
^(K 1) -> 771 (L )
K. K is connected, andTheorem 2 '
otherwise.
We can a ls o obtain the following generalization of Theorem 1.
THEOREM
12 [22].
A one-relator product of lo ca lly in d ica b le groups is
lo ca lly in d ica b le, provided the relator is not a proper power (in the fr e e product). The following remark is due to S. D. Brodskii.
When solving an equa
tion r(t) - 1 , in which r = s m is a proper power, it is enough to solv e the equation
s (t ) = 1 . Thus by Theorems 2 and 12, each nondegenerate
equation over a locally indicable group actually has a solution in some locally in d ica b le overgroup. following embedding theorem.
By a standard argument we now have the
69
ONE-RELATOR GROUP THEORY
THEOREM 3 ' [ 2 2 ] .
E v e ry lo ca lly in d ica b le group ca n be em b ed d ed in an
equationally c lo s e d lo ca lly in d ic a b le group. The next result g en eralizes a theorem of Weinbaum [66]. THEOREM 13 [22].
In a one-relator product of lo ca lly in d ic a b le groups,
no proper subw ord of the relator re p re s e n t s the identity elem en t. The Spelling Theorem of B . B . Newman [45] s a y s that , in a one-relator group with relator r = s m , any nonempty word which represents the identity element must contain a ( c y c l i c ) subword of r or r- 1
longer than
s 1* - 1 . More p recise versions are due to Gurevich [17], Schupp [55] and Pride [48].
T h e se results a ll have appropriate generalizations to one-
relator products of locally indicable groups [28].
The d etails are somewhat
te ch n ica l, but the spirit is conveyed by the following (slightly vague) statement. THEOREM 14 [28].
L e t G = ( A * B ) / N ( r ) , w here A a nd B
are locally
in d ica b le and r = s m . L e t w b e a nonempty word in A * B in N (r).
which lies
T h en eith er w is c o n ju g a t e to r or r- 1 , or w co n ta in s two
alm ost-disjoint ey e lie subw ords, e a ch of w hich is a c y c lic subw ord of r or r- 1
longer than s m_1 .
COROLLARY.
If m > 1 and A and B
have so lv a b le word problem in
T heorem 14, then G a ls o has s o lv a b le word problem . The above Corollary has been independently obtained by Brodskii and Mazurovskii (unpublished). G in the c a s e
They h a v e a ls o solved the word problem for
m = 1 , but under the str o n g e r hypothesis that A and
B
be e ffe c tiv e ly loca lly in d ica b le (there e x is t s an algorithm which, given a finite s e t of generators for a subgroup H , will decide whether or not H = { l I , and if not will exhibit an epimorphism H -> Z ). THEO REM
15 [26].
L et
G
= ( A * B ) / N ( r ) , w here A and B
indi c a b le and r = s m w here s
is not a proper power.
L et
a re lo cally KA , KB , Kc
70
JAMES HOWIE
be E ilen b erg-M a cL a n e c o m p lex es w here C
is c y c lic of order m . L e t KG = (KA v K g ) Ug Kc , w here
S = S 1 -> Ka v Kb T h en
K ( A ,1 ), K ( B , 1 ) , K (C ,1) r e s p e c t iv e ly ,
r e p re s e n ts s
KG is a K(G,
and S = S1 -> Kc
r e p re s e n ts a gen era to r.
compl ex.
Theorem 15 is a generalization of a theorem of Dyer and Vasquez [10] for one-relator groups, which can be thought of a s a geometric version of Lyndon’s Identity Theorem [34].
The usual (algebraic) version of the
Identity Theorem is in terms of the rela tio n module N(r)a ^ = N ( r )/[ N (r ), N ( r )]. C O R O LLAR Y
1.
L et G , A , B , r, s
b e a s in T heorem 1 5 .
T h en N(r)a ^
is isom orphic, a s a ZG-m odule, to the c y c lic module Z G / ( l - s ) Z G , g e n era ted by r •[N(r), N ( r ) ] . Either interpretation allows one to compute the (co)homology of G in high dimensions. C O R O LLAR Y
2.
T h e re
a re natural isom orphism s, for e a c h q> 2:
Hq(G; - ) = Hq(A; - ) © Hq(B; - ) © Hq(C; - ) Hq ( ° ; - ) = Hq(A; - ) © Hq(B ; - ) © Hq(C; - ) .
Combining Corollary
2 with a result of Serre [31], we s e e that the co n
jugates of C = gp(s) are precisely the maximal finite subgroups of G ; and that th ese conjugates are disjoint in the strong s e n s e that C fl gCg-1 ^ {1 }'= > g f C . r\
A similar type of argument (involving computation of H
a s well as
of Hq , q > 2 ) shows that any subgroup of the form S = A fl gBg- 1 or S = A D gAg-1
(g eG -A )
or S = B fl gB g- 1
cohomological dimension at most
(g e G -B )
(geG)
has
1 , and hence [59, 63] is free.
One can
then show by induction on the length of r in the standard way that S has rank at most
1 . In the c a s e where the relator is a proper power, the
situation is much simpler.
It follows without too much difficulty from the
71
ONE-RELATOR GROUP THEORY
Spelling Theorem of [28] (s e e Theorem 1 4) that
S = ill.
Putting these
fa c t s together, we have the following result. THEOREM 16.
In the a b o v e notation, the group S is c y c lic .
If r is a
proper power then S = i l l . In the ordinary one-relator group c a s e , th e se statements are due to Bagherzadeh [4] and Newman [45] re sp ectiv ely .
6.
Open problem s I ’ll finish with some “ homework” for the interested reader.
On the
whole th e se are difficult unsolved problems, but it may be that there is hope of partial progress in some of them. 6.1 .
Does the F re i h e i ts s a tz extend to some c l a s s
greater than D ? factors
((2 = 3*3r)
(2
of groups strictly
Ideally, one would like to prove it for all torsion free . F a ilin g that, what about
Dp H Dq for distinct primes
(2 = Dp
H
DD
or C
=
p and q ?
The F r e i h e i ts s a tz fails for Dp in general b e cau se of the occurrence of torsion.
F o r example, put p = 2 ,
The c l a s s e s
fl D
p €77
"
6 .3 .
17r| > 1
(or “ m > 2 ”
77
r = a b a 2b 1 . , and are
[29].
Can Theorem 8 be improved so that “ m > 4 ”
“m >3”
B=,
are d istin ct, for fin ite s e t s of primes
contained in DD whenever 6 .2 .
A = < a ;a 4 >,
c a n be replaced by
or “ m > 1 ” )?
Is the word problem for a one-relator product of two locally indicable
groups solvable under some condition on the factors weaker than “ e f f e c tively locally in d icab le” (se e se ctio n 5)? Effe ctiv e ly locally indicable clearly implies a solution to the word problem (for the fa cto rs), but this is a n e c e s s a ry condition in any c a s e , s in c e the factors embed in the whole group by the F r e i h e i ts s a tz .
72
JAMES HOWIE
Does there e x ist a locally indicable group, with solvable word problem, which is not effectively locally indicable? 6 .4 .
L et
reA*
be such that
(A * < t > ) / N ( r ) = i l l . Is A = { l ! ?
This is the so -ca lled Kervaire (or Laudenbach) conjecture.
It is c le a r
from abelian considerations that A must be perfect, and that t must occur in r with exponent sum ± 1 . It su ffices to consider the c a s e when A is an infinite simple group. 6 .5 .
Let
Does
2
2
be a system of n equations in n unknowns over a group A .
have a solution in some overgroup of A whenever det M(2) 4 0 ?-
Whenever det M(2) ^ 0 mod p for some fixed prime p ? Whenever det M(2) = ± 1 ? The third (and w eak est) of th ese would be sufficient to prove the Kervaire conjecture 6 .4 . 6.6.
Let
See [25, 60] for other related problems.
M1 C M2 be a tame embedding of ( smooth or P L ) 3-manifolds,
su ch that H2 (M2 ,M1 ;Z ) = 0 (resp. prime p ; resp.
H2 (M2 ,M1 ;Z ) = 0 for some fixed
H2 (M2 ,M1 ;Z ) = 0 for all primes
p ).
L et
S be a com
pact orientable su rface and f : S -> M2 a (smooth or P L ) map such that f( x 2 y x “ 1y~1 , y f-> y 2zy _ 1 z “ 1 , z h> z 2x z _ 1 x ~ 1 . Then for each
n > 0 the group
Gn = < x , y , z ; f n( x ) , f n(y)> is locally indicable. Here is another way of statin g Theorem 1:
A one-relator group is
lo cally in d ica b le if and only if e a c h of its one-generator subgroups is lo ca lly in d ica ble. C O N JE C TU R E.
This s u g g ests a conjecture.
A two-relator group is locally in d ica ble if and only if
ea ch of its tw o-generator su bgroups is lo ca lly in d ica ble. Of co u rs e , one could generalize this conjecture by replacing 2
by n .
I would like to be able to prove something like this for arbitrary n , but s o far even the c a s e 6.11.
Let
n = 2
is elusive.
K be a subcomplex of a contractible 2-complex
L.
Is
^ (K )
locally indicable? This implies the Whitehead Conjecture (cf. Corollary to Theorem 6). 6 .1 2 .
Let
ZG-module
I denote the augmentation ideal in the group ring ZG . A M is p e rfe c t if IM = M . Do there e x is t nonzero, finitely
generated, perfect projective ZG-modules?
ONE-RELATOR GROUP THEORY
75
From the definition of ©-groups, it is cle a r that the answer is no whenever G no unless
(or even
G e ©p for some
p ).
Indeed, the answer is
G has a nontrivial, finitely generated, perfect subgroup [29].
On the other hand, if G does contain such a subgroup, then there e x is t s an infinitely g e n e ra te d perfect projective ZG-module [68].
J A M E S H O W IE D E P A R T M E N T O F M A T H E M A T IC S U N IV E R S IT Y O F G L A S G O W U N IV E R S IT Y G A R D E N S G L A S G O W G 12 8QW U. K.
REFEREN CES [1]
J . F . Adams, A new proof of a theorem of W.H. Cockcroft, J . London Math. Soc. 4 9 ( 1 9 5 5 ) , 4 8 2 -4 8 8 .
[2]
B. B aum slag, F r e e products of lo cally indicable groups with a single relator, Bull Austral. Math. Soc. 2 9 ( 1 9 8 4 ) , 4 0 1 -4 0 4 .
[3]
B. Baum slag and S. J . Pride, An e xten sion of the F r e i h e i ts s a tz , Math. P ro c. Camb. Phil. Soc. 8 9 ( 1 9 8 1 ) , 3 5 -4 1 .
[4]
G. H. Bagherzadeh, Commutativity in one-relator groups, J . London Math. Soc. 1 3 ( 1 9 7 6 ) , 4 5 9 -4 7 1 .
[5]
S .D . Brodskii, Equations over groups and groups with a single de fining relator (R u ssian ), Sibirskii Mat. Zh. 2 5 , 2 ( 1 9 8 4 ) , 8 4 -1 0 3 .
[6]
,Equations over groups and groups with a single defining relator, Uspehi Mat. Nauk. 3 5 , 4 ( 1 9 8 0 ) , 183. (R ussian Math. Surveys 3 5 , 4 ( 1 9 8 0 ) , 1 65.)
[7]
R .G . Burns and V .W .D . Hale, A note on group rings of certain torsion-free groups, Can. Math. Bull. 1 5 ( 1 9 7 2 ) , 4 4 1 -4 4 5 .
[8]
T . Cochran, Ribbon knots in S4 , J . London Math. Soc. 2 8 ( 1 9 8 3 ) , 5 6 3 -5 7 6 .
[9]
D . E . Cohen and R . C . Lyndon, F r e e b a s e s for normal subgroups of free groups, Tran s. Amer. Math. Soc. 1 0 8 ( 1 9 6 3 ) , 52 8 -5 3 7 .
[10]
E . Dyer and A . T . Vasquez, Some small a sp h erical s p a c e s , J . Austral. Math. Soc. 1 6 ( 1 9 7 3 ) , 3 3 2 -3 5 2 .
[11] M.H. Freedman, Remarks on the solution of first degree equations in groups, L e c t . Notes in Math. 6 6 4 ( 1 9 7 8 ) , 8 7 -93 . [12] M.H. Freedman, J . H ass and P . Scott, L e a s t area incompressible su rfa ce s in 3-manifolds, Invent. Math. 71 (1 9 8 3 ), 6 0 9 -6 4 2 .
76
JAMES HOWIE
[13] S. Gersten, Conservative groups, indicability and a conjecture of Howie, J . Pure Appl. Alg. 2 9 ( 1 9 8 3 ) , 5 9-74 . [14] M. Gerstenhaber and O .S . Rothaus, The solution of s e ts of equations in groups, P ro c. Nat. Acad. Sci. U.S.A. 4 8 ( 1 9 6 2 ) , 1 5 3 1 -1 5 3 3 . [15] D. Gildenhuys, A generalization of Lyndon’s Theorem on the cohomology of one-relator groups, Can. J . Math. 2 8 ( 1 9 7 6 ) , 4 7 3 -4 8 0 . [16]
F . Gonzalez-Acuna and H. Short, Knot surgery and primeness, Math. P roc. Comb. Phil. Soc. 9 9 ( 1 9 8 6 ) , 8 9 -1 0 2.
[17] G. A. Gurevich, On the conjugacy problem for groups with one d e fining relator, Dokl. Akad. Nauk. SSSR 2 0 7 , 1 (1 97 2), 1 8 -2 0 (Soviet Math. Dokl. 1 3 ( 1 9 7 2 ) , 1 4 3 6 -1 4 3 9 ). [18] J . Hempel, 3-manifolds, Ann. of Math. Studies 86, Princeton 1 976. [19] G. Higman, The units of group rings, P roc. London Math. Soc. 4 6 (19 40 ), 2 3 1 -2 4 8 . [20]
, Units in group rings, D. Phil. T h e s i s , University of Oxford 19 40.
[21] J . Howie, On pairs of 2-com plexes and system s of equations over groups, J . Reine Angew. Math. 3 2 4 ( 1 9 8 1 ) , 1 6 5 -1 7 4 . [22]
__________ , On locally indicable groups, Math. Z . 1 8 0 ( 1 9 8 2 ) , 4 4 5 -4 6 1 .
[23] __________ , The solution of length three equations over groups, P ro c. Edinburgh Math. Soc. 2 6 ( 1 9 8 3 ) , 89-96. [24]
__________ , Some remarks on a problem of J . H . C . Whitehead, Topology 22 (1 9 83 ), 4 7 5 -4 8 5 .
[25]
__________ , Spherical diagrams and equations over groups, Math. P roc. Camb. Phil. Soc. 9 6 ( 1 9 8 4 ) , 2 5 5 -2 6 8 .
[26]
__________ , Cohomology of one-relator products of locally indicable groups, J . London Math. Soc. 3 0 ( 1 9 8 4 ) , 4 1 9 -4 3 0 .
[27]
__________ , On the asphericity of ribbon d isc complements, Trans. Amer. Math. Soc. 2 8 9 ( 1 9 8 5 ) , 2 8 1 -3 0 2 .
[28] J . Howie and S. J . Pride, Spelling theorems for staggered generalized 2 -com plexes, with applications, Invent. Math. 7 6 ( 1 9 8 4 ) , 5 5-74 . [29] J . Howie and H . R . Schneebeli, Homological and topological proper ties of locally indicable groups, Manuscripta Math. 4 4 ( 1 9 8 3 ) , 7 1 -9 3 . [30] J . Howie and H. Short, The band sum problem, J . London Math. Soc. 31 (19 8 5 ), 5 7 1 -5 7 6 . [31] J . Huebschmann, Cohomology theory of asp h erica l groups and small can cellatio n groups, J . Pure Appl. Alg. 1 4 ( 1 9 7 9 ) , 1 3 7-14 3.
77
ONE-RELATOR GROUP THEORY
[32] L . Y a . Leifman and D . L . Johnson (e d s .) The Kourovka Notebook. Unsolved problems in group theory, AMS T ranslations (2) 1 2 1, 19 83 . [33] F . Levin, Solutions of equations over groups, Bull. Amer. Math. Soc. 6 8 ( 1 9 6 2 ) , 6 0 3 -6 0 4 . [34] R . C . Lyndon, Cohomology theory of groups with a single defining relation, Ann. of Math. 5 2 ( 1 9 5 0 ) , 6 5 0 -6 6 5 . [35] __________ , On the F r e i h e i t s s a t z , J . London Math. Soc. 5 ( 1 9 7 2 ) , 9 5 -10 1. [36] __________ , Equations in groups, Bol. Soc. B ra s. Math. 11 (1 9 80 ), 7 9 -1 0 2 . [37] R . C . Lyndon and P . E . Schupp, Combinatorial Group Theory, Springer-Verlag 1 97 7 . [38] W. Magnus, Ueber diskontinuierliche Gruppen mit einer definierenden R elation (Der F r e i h e i t s s a t z ) , J . Reine Angew. Math. 1 6 3 ( 1 9 3 0 ) , 1 4 1 -1 6 5 . [39] A . I . Mal’c e v , Algebraic System s, Springer-Verlag 1 9 7 3 . [40] J . McCool and P . E . Schupp, On one-relator groups and HNN e x te n sio n s , J . Austral. Math. Soc. 1 6 ( 1 9 7 3 ) , 2 4 9 -2 5 6 . [41] J . Milnor, On the three-dimensional Brieskorn manifolds Ann. of Math. Studies 8 4 ( 1 9 7 5 ) , 1 7 5 -2 2 5 .
M(p,q,r),
[42] B . H . Neumann, Adjunction of elements to groups, T. London Math. Soc. 1 8 ( 1 9 4 3 ) , 4 -1 1 . [43] ----------------, A note on algeb raically clo se d groups, J . London Math. Soc. 2 7 ( 1 9 5 2 ) , 2 2 7 -2 4 2 . [44] H. Neumann, V arieties of Groups, Springer-Verlag 19 67 . [45] B . B. Newman, Some results on one-relator groups, Bull. Amer. Math. Soc. 7 4 ( 1 9 6 8 ) , 5 6 8 -5 7 1 . [46] C . D . Papakyriakopoulos, On Dehn’s Lemma and the asp hericity of knots, Ann. of Math. 6 6 ( 1 9 5 7 ) , 1 -2 6. [47] D. P a s s m a n , The Algebraic Structure of Group Rings, Wiley 19 77 . [48] S. J . Pride, One-relator quotients of free products, Math. P ro c. Camb. Phil. Soc. 8 8 ( 1 9 8 0 ) , 2 3 3 -2 4 3 . [49]
O .S . R othaus, On the nontriviality of some group exten sio n s given by generators and relato rs, Ann. of Math. 1 0 6 ( 1 9 7 7 ) , 5 9 9 -6 1 2 .
[50] R. Sandling, Graham Higman’s th esis “ Units in group r i n g s ,” L e c t . Notes in Math. 8 8 2 ( 1 9 8 1 ) , 9 3 -1 1 6 . [51]
M. Scharlemann, 3-manifolds with H2 ( A , § A ) = 0 and a co n jectu re of Stallings, L e c t . Notes in Math. 1 14 4 (1 9 8 5 ), 1 3 8 -1 4 5 .
78
JAMES HOWIE
[52] H. Schiek, Adjunktionsproblem und inkompressible Relationen I, Math. Ann. 1 4 6 ( 1 9 6 2 ) , 3 1 4 -3 2 0 ; II, Math. Ann. 161 (1 9 6 5 ), 16 3 -1 7 0 . [53]
__________ , Das Adjunktionsproblem der Gruppentheorie, Math. Ann. 1 4 7 ( 1 9 6 2 ) , 1 5 8 -1 6 5 .
[54]
H. K. Schuff, Ueber Wurzeln von Gruppenpolynomen, Math. Ann. 124 (1 9 52 ), 2 9 4 -2 9 7 .
[55]
P . E . Schupp, A strengthened F r e i h e i ts s a tz , Math. Ann. 221 (1976), 73-80 .
[56]
P . Scott, Compact submanifolds of 3-manifolds, J . London Math. Soc. 7 ( 1 9 7 3 ) , 2 4 6 -2 5 0 .
[57] W .R. Scott, Algebraically closed groups, P ro c. Amer. Math. Soc. 2 (1 9 51 ), 1 18 -1 2 1 . [58]
H. Short, T opological methods in group theory: the adjunction problem, Ph.D. T h e s i s , University of Warwick 1 9 8 4 .
[59]
T. Stallin gs, On torsion free groups with infinitely many ends, Ann. of Math. 8 8 ( 1 9 6 8 ) , 3 1 2 -3 3 4 .
[60]
__________ , Surfaces in three-manifolds and non-singular equations in groups, Math. Z . 1 8 4 ( 1 9 8 3 ) , 1-17.
[61] R. Strebel, Die Reihe der Derivierten von E-Grippen, D iss. 5 1 4 8 , E T H Zuerich 19 7 3 . [62]
_____ , Homological methods applied to the derived s e rie s of groups, Comment. Math. Helv. 4 9 ( 1 9 7 4 ) , 3 0 2 -3 3 2 .
[63] R . G . Swan, Groups of cohomological dimension one, J . Alg. 1 2 ( 1 9 6 9 ) , 5 8 5 -6 1 0 . [64] C . B . Thomas, Splitting theorems for certa in P D 3-groups, Math. Z . 1 8 6 ( 1 9 8 4 ) , 2 0 1 -2 0 9 . [65]
L. van den Dries and A. J . Wilkie, Gromov’s theorem on groups of polynomial growth and elementary logic, J . Alg. 8 9 ( 1 9 8 4 ) , 3 4 9 -3 7 4 .
[66] C.M . Weinbaum, On relators and diagrams for groups with a single defining relator, Illinois J . Math. 1 6 ( 1 9 7 2 ) , 3 0 8 -3 2 2 . [67] J . H . C . Whitehead, On adding relations to homotopy groups, Ann. of Math. 42 (19 41 ), 4 0 9 -4 2 8 . [68] J . M. Whitehead, P ro jectiv e modules and their tr ace ideals, Comm. Alg. 8 ( 1 9 8 0 ) , 1 8 7 3 -1 9 0 1 .
GRAPHICAL TH EO R Y OF AUTOMORPHISMS OF F R E E GROUPS John R. Stallin g s*
Abstract.
T h e e q u a liz e r o f tw o m o n o m o rp h is m s o f f i n i t e l y g e n e ra te d fre e g ro u p s
is f i n i t e l y g e n e ra te d .
T h is g e n e r a liz e s G e r s te n ’ s T h e o re m th a t th e f ix e d s u b g ro u p
o f a n a u to m o rp h is m o f a f i n i t e l y g e n e ra te d fre e g ro u p is f i n i t e l y g e n e ra te d . p r o o f is a n e x p o s it io n o f G e r s te n 's id e a s , u s in g g ra p h - th e o ry . d e v e lo p e d w h ic h m a y h a v e o th e r u s e s , ‘ ‘ d y a d s , ”
The
T e c h n iq u e s a re
“ f o l d s , ” “ la d d e r-a tta c h m e n ts . ”
T h e p a p e r c o n ta in s a h i s t o r ic a l s k e tc h a n d a l i s t o f r e la te d u n s o lv e d p ro b le m s , a n d a ls o a n a p p e n d ix r e la t in g d y a d s to H e e g a a rd d ia g ra m s o f 3 - m a n ifo ld s .
Introduction In the fall of 1 9 8 2 , S.M. Gersten [G3] proved his fixed-point theorem: If a : F -> F
G E R S T E N ’S T h e o r e m .
is an autom orphism of a fin itely
g e n era ted fr e e group, then F i x (a) = lw A . Three important properties are 1.
An immersion f : T ^ A is injective on
2.
A fold map e : V -> T / ( e 1 = ^ 2 ) is both su rjective itse lf, and is
su rjectiv e on 3.
.
.
A non-degenerate map f is an immersion if and only if it admits
no fold. 2.4 . paths
p
Here and q
are some tec h n ical definitions about paths. in F , that
We sa y of
p is a left seg m en t of q , and write
p < q , if : ‘( p ) = i ( q ) ; If p
p = X j - - - x n , q = y 1 ---yk ; n < k ; a n d
and q
V i e [l,n ],
Xj = yj .
are paths with the same initial vertex, we define pAq
to be the unique maximal common left seg m en t of p and q . Note th ese f a c t s : If f *.r -> A
is a map of graphs and
p and
q are paths in F
the same initial vertex, then f(p Aq) < f(p)Af(q) .
If, additionally, In any c a s e ,
p
f is an immersion, then f(p Aq) = f(p )A f(q ).
0 / which is an identification of a pair of edges
, e2
having the same initial vertex and having the properties that a ( e j ) = a ( e 2 ) and
Then a
= j8(e2 ) .
and (3' are the unique graph-maps such
that a cf) = a and /3' = /3 . We c a l l
(a ,/3 ,0 )
d eg en era te-im m ersiv e or “ D I ,” if no fold is p o s s i
ble; that is, if a|Dj8 and j3|Da are immersions. A fold reduces the minor complexity and is surjectiv e on
. Thus
we obtain: 3.4.
LEM M A.
L et
(a ,/3 , 0 )
b e a (T ,A )-d y a d .
T h en there is a
(F,A)-c/yac/ (a ',j3 ',® ') and a graph-map . ® ^ ® ' su ch that (i)
a eft = a , f3'cf> = /3 .
In other w ords, cf> is a map of dyads.
(ii)
cf> is the com position of a fin ite number of fo ld s.
(iii)
(a ',f3 ',® ')
is d eg en era te-im m ersiv e. (A nd it follow s from (ii) that: )
4.
(iv)
cf> is s u rje c tiv e .
(v)
cf)^ : tt^( 0 ) -> 7r1 (0 O
is s u rje c tiv e .
Q uasi-im m ersion 4 .1 .
(/3 ,a ,0 ).
A (r ,A )-d y a d
(a, j3 , 0 )
is said to be symmetric to the (A ,r)-d y a d
In what follows, all definitions and theorems are to be inter
88
JOHN R. STALLINGS
preted symmetrically.
F o r example, “ q uasi-fold ’ ’ is defined in terms of
the ordering (a ,/3 ) and is supposed to include the symmetric possibility. The major co m p lexity of a (r ,A )-d y a d is the sum of the number of components of Da and the number of components of D/3 . 4 .2 .
A fo ld of a dyad d o es not in c re a s e the major
P R O P O S IT IO N .
com plexity. Proof.
What a fold does is to perform a fold on one of Da , D/3 and to
identify a pair of v e rtic e s , which may already be equal, of the other.
If
Da is folded, its number of components s ta y s the same, and the number of components of Dj3 s ta y s the same or d e c re a s e s by one. □ 4 .3 .
A q u asi-fo ld of a dyad
counterpart):
A triple
(e^ e^ p )
(a ,/3 ,0 )
is the following (or its symmetric
where
and e
edges of D/3 such that a ^ ) = a ( e 2 ) ; where in Da from
to
are non-degenerate
p is a non-degenerate path
t(e2 ) ; such that r ( e 1) and r ( e 2 ) are in different
components of Da . A dyad is said to be qua si-im m ersiv e or “ Q l” if it has no quasi-folds. If a dyad is both DI and QI we ca ll it “ DQI.” 4 .4 .
A ladder L = L (a ,p )
in ( r , A )
is the following, or its symmetric
counterpart: L
is a (r ,A )-d y a d ;
a
is a non-degenerate edge of T , and
p is a
non-degenerate path in A of length n > 0 . The underlying graph of L c o n s is ts of two disjoint a rcs
A^ , A 2 sub
divided into n = |p| ed ges; th ese are the s id e s of the ladder; and of n+1 edges
^0 , £1 ,-*-,£n connectin g corresponding v ertices in A^^ and A 2 ,
with initial v ertices in A 1 ; th ese are the ru n gs of the ladder. Here are the two graph maps a , /3 : L -> T , A . a A 1 and A 2 and maps each
£■ to a .
the path p and is degenerate on the (Figure 1).
is degenerate on both
/3 maps each of A 1 and A 2 by £• . We ca n describe this pictorially
To describe a dyad in pictures, we draw a picture of a directed
AUTOMORPHISMS
89
graph, and label each edge with a pair of lab els, the first describing the map a , the second d e s c ribing the map /3 ; the symbol 0 denotes the unique vertex of T
or A ; an edge labelled
“ cO” then belongs to D/3
and an edge labelled “ 0 z M belongs to Da .
OU
ov F ig u r e 1
Note that both a and (3 map ^ ( L ) , with any basepoint, to ! l S , that is, trivially. 4 .5 .
If the (r ,A )-d y a d
co n stru ct the ladder
(a ,/3 ,0 )
A 1 to 0
rungs
en to e^ and e^
dyad
(e^e
,p ) , we
L ( a ( e t ), /3(p)) and attach it to ( a , / 3 , 0 ) , by identi
fying the side and
admits a quasi-fold
along the path p and identifying the extreme resp e ctive ly .
This results in a new
(a', f3', 0 ' ) . We can imagine this attachment done in s t a g e s ; first
identify the corner vertex
i(£Q) to
t ( p ) ; then fold, in s u c c e s s i o n , the
edges of A 1 onto the edges of p ; and then fold the extreme rungs onto e 1 and e 2 . 4 .6 .
P R O P O S IT IO N .
T h e attachm ent of a ladder L
to a dyad ( a , / 3 , 0 )
along a qu a si-fo ld re d u c e s the major co m p lexity . Proof.
D/3 changes by adding the rungs of the ladder and the ve rtice s of
A^ ; s in c e one vertex of each rung is in D/3 to begin with, the number of components of D/3 does not change.
But Da
is changed by joining the
90
JOHN R. STALLINGS
points r ( e 1) and r ( e 2 ) by the arc
A 2 , thus reducing the number of com
ponents of Da by 1 . □ 4 .7 .
LEM M A.
If ( a , / 3 , @ )
is any (Y ,k )-d y a d , then th ere is a ( r , A ) -
dyad (a ',/3 ',® ') and a map ® -> ® ' s u c h that 1.
a'cf) = a , /3'c/>=/3.
2.
^
is the com position of a fin ite num ber of fo ld s and ladder
attachm ents. 3. Proof.
( a ',P ',® ')
i s DQI .
If the dyad is not QI, a quasi-fold may involve a path p of length
0 ; in this c a s e , the dyad may be folded to reduce the major complexity; if the path
p has length greater than 0 , a ladder may be attached to re
duce the major complexity.
We can then reduce the minor complexity by
folding, and this does not, by 4 . 2 , in crea se the major complexity.
Thus, a
double induction e sta b lis h e s that we eventually reach the point that there are neither quasi-folds nor folds. □
5.
T h e com m on-kernel condition 5 .1 .
P R O P O S IT IO N .
L et 0 : T - > T ' ,
a:T^C,
j3:T^D,
a ':T '-> C ,
/3': T '-* D b e group-hom omorphisms su c h that a - a cf), f3 = fi'cf). S u p p o se ker a = ker /3 . (i)
T h en
If cf) is s u rje c tiv e , then ker a = ker (3 '.
(ii) If T '= T * K ,
a fr e e product, 0 : T -» T * K is the in clu sio n , and
a '( K ) = 111 = /3 '( K ) , then k e r a ' = k e r / 3 \ P roof. 5 .2 .
Easy. □ L et
(a ,/3 ,0 )
be a (F,A )-dyad.
We sa y that this dyad s a ti s fie s
the com m on-kernel condition if ker a = ker /3 on tt^ with some ch o ice of
AUTOMORPHISMS
basepoint in © .
Since 0
91
is con nected , this is independent of the ch o ice
of basepoint. 5 .3 .
If ( a , / 3 , 0 )
LEM M A.
is a ( r , A )-dyad with common k e rn e l} then
(by 4 .7 ) there is a DQI-dyad ( a , f i ',® ') and a map of dyads where
We have y 8 ( f ) = )8(f2 ) and
i(fj) is joined to
in D/3 . Therefore, by the symmetric version of the above
r(fj)
a ( e 3 ) = a ( e 1) .
L e t q = ^ q ' and
/3(q)
is joined to r(f2 ) by an edge By induction on
e” 1 in D/3 such that
|p| , we se e that e^ and e 2 are extreme
rungs of a ladder mapped into ® ; by adjoining the extra square ! e 1 ,e ^ ,f1 ,f2 ! we get e 1 and e 2 to be the extreme rungs of the desired ladder. □ 5 .7 .
REMARK.
The above, 5 .6 , if the form of G ersten’s “ path-
su rge ry” axiom G4 which is appropriate in this situation. 5.8.
In a (r,A )-d y a d
( a , / 3 , 0 ) , a non-degenerate path p is called
(a ,fi)-re d u c e d if #a(p) and #/3(p) are reduced paths in T and A . (R e ca ll that #q is got from q by striking out degenerate e d g e s .) P s e u d o-homotopy is the equivalence relation
^
on paths in ©
generated by two operations: (a) Homotopy:
pee- 1 q ^ pq , and pvq — pq if v is a vertex.
(b) Replacing a segment joining diagonal points of a ladder by the other segment; that is: pefq ^ pfre'q when f ' e T - 1 e _1
is a clo se d path,
e , e '< r D /3 , f, f' ] = [a (q )],
[/8(p)] - [/3(q)L
93
AUTOMORPHISMS
Proof.
Elementary. □
5 .1 0 .
P R O P O S IT IO N .
mon k ern el.
L et ( a ,/ 3 ,0 )
be a DQI (T ,k y d y a d with co m
For ev ery path p in ® , th ere e x is t s an (a, fi)-r e d u c e d path
p ' s u c h that p
p'; and in this c a s e Ip '! = |[a(p)]| + |[/3(p)]| .
P roof.
C hoose
p ' — p so that
|p'| is minimal.
(a,13)-reduced, it would have a segment s
If p ' were not
of the following kind or its
symmetry: p ' = P l s p 2 , s = e ~ 1 p 3e 2 where e 1 , e 2 are parallel edges in D/3 , joined by a path p3 in Da . Since in 0
|p'| is minimal,
p3 is a reduced path.
By 5 .6 , there is a ladder
connecting th e se e d g e s, and so there is a path p4 in Da from
r ( e 1) to r ( e 2 ) su ch that j3(p3 ) = /3(p4) . Then:
P" =
P i P 4 P2
~
P'
and p" would have shorter length. □ 5 .1 1 . k ern el.
THEO REM .
L et
initial v ertex.
L et ( a ,/ 3 ,0 )
be a DQI (T,/\)-dyad with common
p and q be (a ,fi)-re d u c e d paths in 0 C o n sid er paths
p ' , q ' w hich a re (a fj3)-red u ced , s u c h that
p Aq < p'Aq' and p' — p an d q' ^ q . s u c h that |p/ Aq, | is maximal.
having the sam e
Of th e s e , c h o o se a pair p ', q /
T h en
# a ( p ^ q ' ) = #a(p ) a #a(q') , and #j8(p'Aq') - #jS(p') a #j8(q') • P roof.
Note that
such a pair with
|p'Aq'| jp'Aq'j
is bounded by maximal e x i s t s .
]p'| = |[a(p)]| + |[/3(p)]| . So Let
r = p ' a q'.
C learly
94
JOHN R. STALLINGS
Suppose #a( r) < #a(p ') a #a(q')*
Let
e x be the first edge of D/3 in
p' after r , and e 2 the first edge of D/3 in q' after r . The situation is that
p' = r s ^ j t j , q ' = r s 2 e 2t 2
where Sj
By 5 .6 , (a ,/3 ,0 ).
and s 2 are paths in D a , and a ( e 1) = a ( e 2) .
The picture is:
e ^ and e 2 are joined by a ladder L ( a ( e 1) ,/ 3 ( s ~ 1s 2 )) in Thus, a s in the p ictu re , there is an edge e 3 in D/3 with
a ( e 3) = a ( e 1 ) , and paths jS(s2 ) = /S(s2 ^).
s ^ s^
in Da with /3 ( s x) = /^ ( s ^ ) and
Then p^= r e 3s 1 ^t1 , and q ^ = r e 3s 2 ' t 2
are pseudo-homotopic to p' and q ' , but they have
r e 3 < p " a q" and so
|p'a q'| was not maximal. □ 5.12.
C O R O LLAR Y.
with common k ern el.
L et
(a ,/3 ,0 )
be a
r,& )-d y a d w hich is DQI
L e t p and q b e paths in 0
su c h that p an d q
have the sam e initial v ertex and s u ch that [a(p)] = [a ( q ) ] , [/3(p)] = [/3(q )]. T h en p
q . In particular, p and q have the sam e terminal v ertex .
95
AUTOMORPHISMS
Proof.
Apply 5 .1 1 to find (a,/3)-reduced
q ^ q ', and the co n clu sio n s of 5 .11 hold. the paths
p ', q ' such that p ', q'
Since
# a ( p ' ) , e t c . , are reduced paths in T
p
^ p ' , and
are (a,/3)-reduced
and A .
Thus the
assumption that the homotopy c l a s s e s of the images of p and q under a and /3 are equal implies # a (p 'Aq ') = #a( p') = #a( q ') # ^ (p 'A q ') = # 0 ( p ') = #/3(q') . We can thus compute the lengths of p ', q ', and they are all the same. 5 .1 3 .
REMARK.
Thus
p 'a
q ' ,and
find that
p ' a q' = p ' = q '. □
This implies that the kernel of the homomorphism « * X /3* : ^ l( ® )
is normally generated by ladders.
x 77j (A)
This is not surprising, s in c e this
image is isomorphic to the image of a , which is finitely generated and free, and thus finitely related. squares.
The ‘ ‘ re la tio n s ’ ’ are given by ladder-
The hope that this could be arranged only under the assumption
that the image of a^ x
is finitely related (without assuming the com
mon kernel condition) is the b a sis for problem P 6 .
6.
C o in c id e n c e s We sh all now d is c u s s the c a s e of ( r , r ) - d y a d s .
That is ,
A = F.
In
this c a s e , we can compare a(p) and /S(p) and therefore d is c u s s the equalizer on 6.1.
.
L e t a : T -» C , /3 : T -> C be homomorphisms of groups.
We
define the im age of the e q u a liz e r : IEq(«,/3) = {x C
L et T * K is the
in clu sio n , and a \ K ) = ! l j =
j8'(K ), ^e/7 IEq(a',|8') = IE Q (a,/3). Proof.
Easy. □
6 .3 .
LEM M A.
//
is a ( F ,T )-d y a d with common k ern el, then
( a , / 3 ,0 )
there is a DQI-dyad (a', fi', 0 ' )
and a map of dyads cf> : 0
0'
w hich is
the com position of a fin ite s e r i e s of fo ld s and ladder-attachm ent s. end resu lt (a', fd', 0 ' )
The
s a tis fie s the com m on-kernel condition, and I E q ( a ; , £ * ) = IE q C a *,^ ) .
[This is to be interpreted by choosin g a basepoint in 0 0 ' is to be the basepoint of 0 ' . on
Then
whose image in
, e t c . , are the homomorphisms
relative to th ese basepo ints.]
Proof. This is a restatement of 5.3 with the additional conclusion about IEq, which follows from 6 .2 s in ce folds and ladder-attachments satisfy on the conditions of 6 .2 (i) and (ii). □ 6 .4 .
Suppose that
(a ,/3 ,0 )
is a DQI ( r , F ) - d y a d with common kernel.
An (a,/3)-reduced path p in 0
will be called invariant (or a
c o in c i d e n c e ) if #ct(p) = #/3(p) . L e t e be an edge of 0 .
There may or may not be an invariant path
p whose first edge is e . [ R E M A R K :
As Gersten shows, there is an
efficient and direct mechanical procedure to find such a path exists.
p if it
This procedure may not terminate if such a path does not e x i s t .]
If there is an invariant path p whose first edge is
e , then out of all
su ch , ch o o se one whose length is minimal, and c a ll it
m ( e ) . The plan
now is to invent a graph made up of |m(e)i which determines, up to pseudo-homotopy, all the invariant paths.
AUTOMORPHISMS
6.5.
Let
(a ,/3 ,0 )
97
be a DQI ( r , r ) - d y a d with common kernel, and
c h o o s e , a s above, for e a c h edge e
of 0
for which it is p ossib le, a
minimal invariant path m ( e ) . Define the c o in c id e n c e graph an d map,
(3, o) ,
a s fo llo w s: \A (e)S , where A (e)
F i r s t , we take disjoint a r c s
|m(e)| e d g e s, and the s e t of v e rtices terminal v e rtice s of A(e) to the graph
6 .6 .
V ( 0 ) ; identify the initial and
t(m(e)) and r(m (e)), re sp ectiv ely.
o \3 -> 0
On A ( e ) , let THEO REM .
as follows:
On V ( 0 ) , let
L et (a ,/3 ,0 )
b e a DQI (V ,T )-d y a d with common
(3, o)
w hich the c o in c id e n c e graph and map (i) For ev ery path p of & V (@ )>
o be the
o define the path m ( e ) .
k e rn el, and let a c h o ic e of minimal invariant paths im(e)i
in
This is
3.
Then, we define identity.
is subdivided into
a re form ed.
b e m ade, with T h en :
w hose initial and terminal v e rt ic e s a re
r
r
[ a (a (p ))] = [/3(a(p))] .
(ii) For ev ery path q of 0 , path p of a
if [a(q)] = [/3 (q )], then there e x is t s a
w h o se endpoints a re those of q in V ( 0 ) , s u c h that #cr(p) — #q .
Proof,
(i) Since
p has its endpoints in V ( 0 ) , it is homotopic to a
product of paths, ea ch cro ssin g some A(e) once, and so
C
a re m onom orphism s, then Eq(a,/3)
is
fin itely g en era ted . Proof.
Note that
ker a = ker /3 = l l i , and IEq(a,/3) = a (E q (a ,/3 ))
is
isomorphic to E q ( a , / 3 ) . D 7 .3 .
REMARK.
7 .2 implies 7.1 by an e a s y argument, left to the
reader.
But 7.1 is the form of the result which is proved by this graph -
theory.
The monomorphism condition deteriorates into the common kernel
condition b e c a u s e of the need to a tta c h ladders.
8.
Two exa m p les
F ig u r e 4
F igure 3
100
JOHN R. STALLINGS
T h e se are DQI ( r , r ) - d y a d s , with the pictorial description d is cu s se d in 4.4 .
The circled v e rtic e s are the basepoints.
Figure 4 is a general c a s e ,
in which various types of ladders can be made out.
Figure 3 is a picture
of one of G ersten ’s “ CMT” automorphisms. What is notable about Figure 3 is that there is a minimal invariant path starting at the basepoint (it happens to be a c lo se d path); it has length 10 0.
T hus, long after you
want to quit, if you keep at it, you may find that a minimal invariant path exists.
9.
A p p en d ix : H eeg a a rd diagram s 9 .1 .
The notions of “ d y a d ,” “ f o ld ,” and “ degenerate-immersive” can
be used to explain some of the work of Volodin, Kuznetsov, and Fomenko [V-K-F].
They developed a technique for simplifying Heegaard diagrams
of 3-manifolds.
They conjectured that an unsimplifiable diagram of the
3-sphere was the standard one, and got a computer to verify the conjecture on 1 ,0 0 0 , 0 0 0 randomly constructed diagrams.
Viro and Kobelskii [V-K]
then drew a picture of a genus three counterexample.
This is an in stance
in mathematics of the common “ s c i e n t i f i c ” phenomenon of a survey of an unexpectedly biased population (cf. [ L a ] ) .
N ev erth eless, the technique of
Volodin et al. , is worth further study. 9 .2 .
A H eega a rd diagram of genus
connected, oriented 2-manifold
T
n , ( T , A , B ) , c o n s is ts of a clo se d ,
of genus
n , and two s e t s ,
A and B ,
each co n sistin g of n oriented disjoint simple clo se d curves on T , such that
T - A and
T - B are connected (and therefore of genus
such that A and struct Ha
B
intersect transversely.
by attaching
3 -c e l l to the result;
Given ( T , A , B ) , we can c o n
n 2 -c e l ls to T along A , and then attaching a
HA is a handlebody, the resultof taking the 3 -c e l l
and identifying n pairs of disjoint 2 - c e l ls on its boundary. there is the handlebody common boundary and every such
T
0 ), and
Similarly,
HB . The union of HA and HB along their
is a c lo s e d , connected, orientable 3-manifold
M;
M is obtained from some Heegaard diagram in this way.
101
AUTOMORPHISMS
We obtain the same 3-manifold M if certain ch an g es are made on A and B . Thu s, we ca n change intersection of A f l B .
A by an isotopy to minimize the points of
If some component of T - A U B
connected, then an a n a ly sis shows that
is not simply
M can be decomposed into a
non-trivial connected sum, e a c h summand having a Heegaard diagram of smaller genus (or, in the extreme c a s e , we have = 1 ).
M = S 1 x S 2 and genus
Once we have made th ese immediately simplifying ch a n g e s, we
sh all have what we c a l l a sim p le Heegaard diagram: ponents of T - A U B A flB
One having all com
simply con nected , and having the cardinality of
minimal within the isotopy c l a s s of A on T .
9.3 .
A su b sp a ce
A of a topological s p a c e
X
is said to be
b ico lla red in X , if it has a neighborhood homeomorphic to ( - 1 , + 1 ) x A in su ch a way that A corresponds to 0 x A . In a Heegaard diagram and B
( T ,A ,B ) we s e e that A is bicollared in T ,
is bicollared in T , and AUB - AflB
9 .4 .
Suppose A is bicollared in X .
is bicollared in T - AHB .
We co n stru ct a graph F = F ( X , A )
a s follows: V (r)
is the se t of connected components of X - A .
E (r)
con tain s a reverse pair of edges for e ach component
think of e e E ( F )
of A .We
as a “ normal orientation’ ’ to the corresponding com
ponent of A , and thus c o n n e cts one side of that component to the other sid e.
t(e)
The components of X - A containing th ese sid es constitute
and r ( e ) . 9 .6 . struct
r
Let = r(T,A),
(T ,A , B ) be a Heegaard diagram of genus
ed ges.
r
We can c o n
A = T ( T , B ) , and © = T ( T - A f l B , A U B - A f l B ) .
There are maps of graphs in the Gersten s e n s e , Both
n.
a : © -> T , /8 :
© -> A.
and A are 1 -vertex graphs, ea ch with n reverse
An edge of © corresponding to a component of A - AflB
B - AflB ) belongs to D/8 (resp.,
Da ).
Thus
(a ,/8 ,@ )
pairs of (r esp.,
is a (r ,A )-d y a d .
JOHN R. STALLINGS
102
(A similar construction works for any s p a c e
X and pair of bicollared
su b s p a ces in tersecting tran sv e rsely .) Now, there is an embedding of the topological realization of the a s s o c ia t e d graph ® into T . Surrounding each point of intersection of A and
B there is the image of a ladder-square.
and of B
E a c h component of A
gives rise to a ladder that goes around in a c ir c le .
If (T ,A , B )
is a simple Heegaard diagram, then
Da
and
D/3
are
deformation retracts of T - A and T - B , resp ectively. 9 .7 .
What does it mean for the dyad
Heegaard diagram ( T , A ,B ) to admit a fold?
(a ,/3 ,® )
a s s o c ia te d to the
It is the following, or its
symmetric an alogue:
There is a component E
of T - AUB
on whose boundary there are
two components of A - AflB which belong to the same component A^
of
A , and which are oriented coherently in the boundary of E . Volodin et a l. , term the arc
y which is drawn in Figure 5, a “ w a v e .”
Ordinarily, in higher dimensions, a fold would be topologically realized by joining up th ese two p ieces of Bd E y in the picture.
by a tube along the arc
However, b eca u se of the fact that T
is 2-dimensional,
this com plicates the picture by replacing one component A 1 of A by
AUTOMORPHISMS
two cu rves
A 11
and
103
A 12 . Thus, the attempt to simplify, in fa ct com
p lic a te s ; this is a common exp erience in 3-manifold labor. 9.8 . one of
H ow ever, Volodin et a l .t note that one can simply throw away or A 12 . This produces a new Heegaard diagram
(T ,A ',B )
of the same 3-manifold, with fewer points of intersection A ' f l B .
On the
a s s o c ia t e d dyad this produces a change that is rather different from simply a fold; in particular, the graph F
ca n be imagined to change,
changing the free b a sis of n 1 ( T ) = 7Jp1(Ha ) . The ch o ice of which of A 11
or A 12
to omit is made like th is:
A " = A - A j ; then T - A " is a surface of genus H ^ T - A", B d(T - A " )) . Homologically, l e a s t one of A ^ other one away.
or A 12
is
1 , and A^ 4 0 in
A 1 = A 1 1 + A 1 2 , and therefore at
4 0 in H j ( T - A", B d ( T - A " )) ; throw the
This c h o ic e insures the condition that T - A ' be c o n
nected and thus be of genus 9 .9 .
Let
0.
The co n jectu re of Volodin et al . , which was disproved by the
Viro-Kobelskii example, was that if ( T ,A ,B )
is a simple Heegaard
diagram of the 3-sphere whose a s s o c ia t e d dyad admits no fold, then it is the obvious diagram of genus
0.
In other words, given any Heegaard
diagram of S 3 in which the number of components of A f l B
has been
minimized, then either T - AUB has a non-s imply-connected piece, or e ls e there is a “ w a v e .” If that conjecture had been true, it would have given some hope that the P o in care Conjecture might be attacked from that angle.
There are
other kinds of manipulations on Heegaard diagrams; the dyad picture gives an a b s tra c t idea of what is happening to the fundamental groups. It might be worthwhile to pursue this further to find some clarificatio n of algorithmic problems in 3-manifolds, a s well a s to quest for the solution to the Poin care C onjectu re. Perhaps the major te ch n ic a l snag is that a path-surgery result, such as 5 .6 , is lacking. kernel condition.
The dyads that come up do not have the common-
104
JOHN R. STALLINGS
D E P A R T M E N T O F M A T H E M A T IC S U N IV E R S IT Y O F C A L IF O R N IA B E R K E L E Y , C A L IF O R N IA 9 4 7 2 0
REFERENCES [Co]
D. Cooper, “ Automorphisms of F r e e Groups Have F . G. F ix e d Point S e t s , ” Preprint Prin ceton U. (1983).
[C-V]
M. Culler, K. Vogtmann, “ Moduli of Graphs and Automorphisms of F r e e G roup s,” Inv. math (to appear).
[D-S]
J . L . Dyer, G. P . Scott, “ Periodic Automorphisms of F r e e Groups,” Comm. Al g. 3 ( 1 9 7 5 ) , 1 9 5 -2 0 1 .
[G l]
S. M. Gersten, “ On F ixe d Poin ts of Certain Automorphisms of F r e e G roups,” P ro c. L ondon Math. S o c. 4 8 ( 1 9 8 4 ) , 7 2 -90 , “ Addendum,” 4 9 ( 1 9 8 4 ) , 3 4 0 -3 4 2 .
[G2]
, “ On F ixe d Points of Automorphisms of F in itely Generated F r e e G roups,” B u ll. A m er. Math. S o c. 8 ( 1 9 8 3 ) , 4 5 1 -4 5 4 .
[G3]
, “ F ix ed Points of Automorphisms of F r e e Groups,” Adv. in Math, (to appear).
[G4]
, T opology of the Autom orphism Group of a F r e e Group, (to appear).
[G-T]
R . Z . Goldstein, E . C . Turner, “ Automorphisms of F r e e Groups and Their F ix e d P o i n t s , ” Inv. math. 7 8 ( 1 9 8 4 ) , 1-12.
[Hoa]
A. H. M. Hoare, “ On Automorphisms of F r e e Groups” (to appear).
[How]
A. G. Howson, “ On the In tersection of F in itely Generated F r e e G roups,” J . L ondon Math. S o c. 2 9 ( 1 9 5 4 ) , 4 2 8 -4 3 4 .
[j-S ]
W. J a c o , P . B . Shalen, “ Surface Homeomorphisms and P e r io d ic i ty ,” Topology 1 6 ( 1 9 7 7 ) , 3 4 7 -3 6 7 .
[L a]
S. Lang, T h e F ile , Springer-Verlag (1 9 8 1).
[L-S]
R . C . Lyndon, P . E . Schupp, Com binatorial Group Theory, Springer-Verlag (1977).
[Me]
J . McCool, “ Some Finitely Presented Subgroups of the Automor phism Group of a F r e e Group,” J . A lgeb ra 3 5 ( 1 9 7 5 ) , 2 0 5 -2 1 3 .
[Mi]
K. A. Mihailova, “ The Occurrence Problem for Direct Products of G roups,” Doklady A kad. Nauk SSSR 1 1 9 ( 1 9 5 8 ) , 1 1 0 3 -1 1 0 5 .
[Ni]
J . Nielsen, “ Die Isomorphismengruppe der F re ie n Gruppen,” Math. A nn. 9 1 ( 1 9 2 4 ) , 169-2 09.
[Po]
E . L . P o s t, “ A Variant of a R ecursively Unsolvable P rob lem ,” B u ll. A m er. Math. S o c. 5 2 ( 1 9 4 6 ) , 2 6 4 -2 6 8 .
AUTOMORPHISMS
[Fa]
105
E . S . Rapaport, “ On F r e e Groups and their Automorphisms,” A cta Math. 9 9 ( 1 9 5 8 ) , 1 3 9 -1 6 3 .
[Se]
J - P . Serre, A rb res , A m algam es SL„ , Asterisque 4 6 , Soc. Math, de F r a n c e (1 97 7 ).
[Sq]
C. Squier (private communication).
[S tl]
J . R . Stallings, “ Topologically Unrealizable Automorphisms of F r e e G roups,” P ro c. A m er. Math. S o c. 8 4 ( 1 9 8 2 ) , 2 1 -2 4 .
[St2]
----------------, “ Topology of F in ite G ra p h s,” Inv. math. 7 1 ( 1 9 8 3 ) , 5 5 1 -5 6 5 .
[V-K]
0 . Y a . Viro, V. L . Kobelskii, “ The Volod in-Kuznetsov-Fomenko Hypothesis on Heegaard Diagrams of the 3-Sphere is F a l s e , ” U spehi Mat. Nauk 3 2 :5 (197) (1 9 7 7 ), 1 7 5 -1 7 6 .
[V -K-F]
1. A. Volodin, V . E . Kuznetsov, A . T . Fomenko, “ On the Problem of Algorithmic Discrimination of the Standard Three-Dimensional S p h ere,” U sp eh i Mat. Nauk 2 9 :5 (179) (1 9 74 ), 7 1 -1 6 8 . English translation : R u ssia n Math. S u rv ey s 2 9 :5 , London Math. Soc. (1 9 7 4 ) , 7 1 -1 7 2 .
[Whl]
J . H . C . Whitehead, “ On Certain Sets of Elements in a F r e e Group,” P ro c. London Math. S o c. 4 1 ( 1 9 3 6 ) , 4 8 -5 6 .
[Wh2]
--------------- , “ On Equivalent Sets of Elements in a F r e e Group,” A nn. of Math. 3 7 ( 1 9 3 6 ) , 7 8 2 -8 0 0 .
P E A K REDUCTION AND AUTOMORPHISMS OF F R E E GROUPS AND F R E E PRODUCTS Donald J . Collins “ Every mountain and hill shall be made low, the crooked made straight and the rough p lace s sm oo th .”
Abstract.
(Isaiah 4 0 :4 ) .
In a w e l l k n o w n p a p e r p u b lis h e d in 1 9 3 6 , J . H . C . W h ite h e a d g a v e a n
a lg o r it h m to d e c id e w h e th e r tw o e le m e n ts o f a fre e g ro u p o f f i n i t e ra n k a re e q u iv a le n t u n d e r a n a u to m o rp h is m . A n a lg e b r a ic p r o o f o f W h ite h e a d ’ s r e s u l t w a s la t e r g iv e n b y P . J . H ig g in s a n d R . C . L y n d o n a n d t h i s w a s th e b a s is fo r th re e im p o r ta n t p a p e rs b y J . M c C o o l on p r e s e n t a tio n s o f g ro u p s o f a u to m o rp h is m s o f a fre e g ro u p . T h e p u rp o s e o f th is a r t ic l e is to d e s c r ib e to w h a t e x te n t th e s e r e s u lt s c a n be c a r r ie d o v e r to a r b it r a r y fre e p r o d u c ts .
§1.
Introduction In a well known paper [14] published in 1 9 3 6 , J . H . C . Whitehead gave
an algorithm to decide whether two elements of a free group of finite rank are equivalent under an automorphism.
An algebraic proof of Whitehead’s
result was later given by P . J . Higgins and R . C . Lyndon [9] and this was the b a s is for three important papers [10, 11, 12] by J . McCool on presen ta tions of groups of automorphisms of a free group.
The purpose of the
present a rticle is to outline to what extent th e se results can be carried over to arbitrary free products.
F o r the most part the article is a summary
of [3] and [4], where complete d eta ils are given, but the author has a ls o sought to give a c le a r and e a sily understood description of the e s s e n tia l features of the method, introduced by Whitehead, which has been christened “ P e a k R e d u ctio n .”
Much of what is new or recent in what
follows has been obtained by the author and Heiner Z ie sch an g in the course of a harmonious and stimulating co llaboration.
107
DONALD J . COLLINS
108
We begin with a little notation and terminology.
L et
G = * G- be i |v| ,
(c )
Iu| < jw | or
(u,w,v,cr,r) where
o , r are elements of 12 and
wt = v , |w| > |v| .
Plottin g length upwards, we can v isu aliz e a peak a s one of:
W
V
W
G
We sa y such a peak is reducible (over 12 ) if
07 = Plp2'" PfPi e ^
with lu/ V P j l < H ' j =
1.
109
PEA K REDUCTION
Reducibility can be visualized as w
We say word ( 1 .4 )
12 allow s p ea k red u ctio n if every peak is reducible.
A cyclic
u and p ^, p^, " , p T € 12 form a v a lley if, for 0 < s < t < r , (a)
|up1 - - - p j _ 1 | > |up j - ■p j |,
(b)
|up1 - - - p k_ 1 l = |up1 - - - p k l ,
(c)
l u p j-'-p j jl < lupj — pjl ,
(interpreting e .g .
l < j < s s + 1 < k< t t + 1 < 1< r
s = 0 to mean that (a) is vacuous).
A v alley can be
visualized a s :
The easy part of Whitehead’s argument is contained in the following two propositions.
110
1.5
DONALD J . COLLINS
P R O P O S IT IO N .
S u p p o se
allow s p eak red u ctio n .
c y c lic word u of G and any a e Aut G , there e x is t su ch that y ,
P i > " ’ ’ Pr ^orm a va^ e Y-
Proof.
1) generates
Since
k = l,2 ,* , * ,s .
Aut G , a = o 1
•••crg , with
In general plotting the lengths of
T h en for any p T€ H
e0 , 0 xz
— xz xy - 1 z - 1 y - I
and t : y -> yz .
The way to a ch ie v e peak reduction is to enlarge the generating s e t s o a s to include products su ch a s reducible. ( 2 .1 )
S pecifically
f] is ch o sen to c o n sis t of the automorphisms
and (2 .3 ) the W hitehead autom orphism s, i . e . , those automorphisms
such that, for some fixed
y e S U S ' 1 and any s e S , s o is one of s ,
sy , y- 1 s , y- 1 sy . Clearly that
o r . The above peak is then trivially
Q is finite and Whitehead was able to show
12 allows peak reduction. Now let G = * G- = ( * G-) * F irf id
be an arbitrary free product of
finitely many indecomposable factors
G^. According t o D . I . F o u x e -
Rabinowitsch [6. 7] a generating s et for Aut G can be formed from (2 .4 ) the perm utation autom orphism s, i.e. automorphisms which permute, via fixed isomorphisms, any factors that are isomorphic to one another; ( 2 .5 ) the factor autom orphism s, i . e . , those of form
* y _ 1 Gjy , some
i e J , y k Gj ,
or x -» xy , some
x e S , y 4 x~* .
113
PEA K REDUCTION
The automorphisms ( 2 .6 ) are the analogues of the Nielsen automor phisms (2.2 ).
So if the example of an irreducible peak given above is to
be avoided then the generating s e t must be extended to include (2 .7 ) the W hitehead autom orphism s, i .e ., those automorphisms which there is some fixed letter (a)
for any i e J
(b)
for any s e S , s o
(In (a)
either
y (called the operative letter) and y
is one of s , sy , y *s , y 1sy .
o is understood to operate pointwise and if y e
o leav es
a for
, k e J , then
G^ fix e d .)
An u n su ccessfu l attempt to e stab lish peak reduction with this ch oice of £2 is recorded in [2].
The sticking point occurs for peaks involving
two Whitehead automorphisms whose operative letters come from the same factor G^ (not infinite c y c l i c ) and examples of irreducible peaks are given there.
The resolution of the difficulty is achieved by further en
larging £2 s o that it contains products of Whitehead automorphisms all of whose operative letters lie in the same factor
G^ (not infinite c y c l i c ) .
We refer to th e s e a s m ultiple W hitehead autom orphism s. 2.8 .
PROPOSITION.
L et 0
p le W hitehead autom orphism s.
c o n s is t of a ll perm utation, fa cto r and multi T h en fl allow s p ea k red u ctio n .
Proposition 2 . 8 is the principal result of [3].
The proof parallels the
Higgins-Lyndon argument for Whitehead’s original theorem by using a formula which gives the change in length that occurs when a multiple Whitehead automorphism is applied to a c y c l i c word. line of the argument and need the following notation. of exposition, assume no factor is infinite c y c l i c . automorphism with operative letter x e G ^ , write
We give a brief out Purely for sim plicity
If o is a Whitehead
114
DONALD J . COLLINS
Then by
o is uniquely defined by the pair
( A ,x ) .
(2 .9 )
(A ,x) and we shall denote
o
It is e a s y to c h e c k that
if A 1 H A 2 = l G ^ i ,
then (A 1 , x ) ( A 2 ,x) = (A1UA2 ,x)
and (2 .1 0 )
(A , x 1 ) ( A , x 2 ) = (A , x 2 x x) , where X j , x 2 e
.
It follows, after a little calcu latio n , that any multiple Whitehead automor phism can be written a s a product p = (A1 , x 1) ( A 2 , x 2) ••• (Af ,x r) , where x j e Gk , j = 1 , 2 , — , r , Ap PI Aq =
^ - P' ^ - r anc*’ ^ence
r < |l| .
We c a ll A = A 1UA2 U ••• UAr the domain of p . The reduction of a peak (u,w,v,x 2 ’ ’ ‘ ' ' x r are a ^ a c tual
letters of u . The final ste p , in generalizing Whitehead’s result, is to decide when two c y c l i c words which are of minimal length within their re sp e ctiv e auto morphism c l a s s e s are equivalent.
To indicate, albeit very sketch ily , how
this is done, we need some further notation.
Let
£
denote the group of
all permutation automorphisms and the group of all factor automorphisms (se e ( 2 .4 ) and (2 .5 )).
117
PEAK REDUCTION
For c y c lic words u~ v
u and v , which are of minimal length write
if there exists
r e
carrying one of
these representatives into v . Carrying out this last step requires, of course, some unavoidable assumptions about the factors
Gj and their
automorphism groups. When infinite c y c lic factors occur, path components in F longer fin ite.
are no
However, it turns out that the boundedness of the diameter
of a path component s till gives enough control to squeeze out an algorithm. It is difficu lt to say anything very useful about the proof of P rop osi tion (2.17) without going into a lot of detail and we content ourselves with two very brief, and only approximately correct, comments. (2.18) At the minimal le v e l, a multiple Whitehead automorphism “ frequently” simply permutes the letters of the c y c lic word on which it operates. any “ lon g” path in V
So
must contain a loop.
(2.19) When no factor of G is infinite c y c lic , an argument somewhat like that for Proposition (2.16) shows that for any minimal c y c lic word
u,
DONALD J . COLLINS
118
there are only finitely many multiple Whitehead automorphisms |u H be the homomorphism induced by inclusion, where H - G * < t 1 , t 2 ,--*,tn > / « w 1 ,w2 ,---,w n » .
Here the group < t 1 ^ 2 ; “ ‘ ,t n >
is freely generated by t 1 ,t2 ,-* - ,tn and the determinant of the matrix of exponent sums of the variables
t^ in the elements
Wj is assumed to be
different from zero (such a map G -> H is called a “ Kervaire e x te n s io n ” ). r
Let gii
z "*>gr r c G and assume that 1 e II i=i gj*i , where gj* i denotes the
co njugacy c l a s s of the image of g^ in H .
Then we conjecture that
r
1 f II gp i=l
(the Kervaire con jectu re is the s p e c ia l c a s e
r = 1 ).
Fin ally we show that F . L e v in ’s argument [6] can be strengthened to show that the reciprocity law is valid for a single equation in one variable of weight
n and exponent sum n (so all occurrences of the variable
occur with positive exponent). I want to thank John Stallings for suggesting that Theorem 1 below may be related to a theorem of Baumslag and Taylor. proved to be the c a s e .
This suggestion
I a ls o want to thank Jim Howie for his careful
reading of the manuscript.
Howie observed the change in focus that
occurs in this paper in §2 from the Kervaire conjecture to the reciprocity law, which was gradually taking place in my mind a s I wrote it.
He su g
gested that I inform the reader of this change of emphasis at the start, as I have done here, so the reader will be spared the pains I had to endure in discovering the reciprocity law.
NONSINGULAR EQUATIONS
§1.
123
W eight Let
G be a group and let F
elements
be the free group freely generated by
. An equation over G is simply an element
w e G * F . We may write w uniquely in the form
W = M iJ where
40,
g- e G , si i
and where
••• g/ i T Sr+1
^ tij
4 t-ij+1
if g- = 1 (so no c a n c e lla i r
tion can occur).
We define the weight of w to be
£
i= l
|e-| . Informally,
1
the weight of w is the number of t^ 1 occurring in the reduced e x p r e s sion for w . We sa y that an n-tuple of elements
(h 1 ,h2 ,---,h n) in an overgroup H
of G is a solution of the equation w if w is in the kernel of the com posite homomorphism G * F - L
H * F LZ, H ,
where y : F -> H is given by y ( t •) = h- . y\’ The homomorphism G * F >Z sending G to 0 and tj to w2 > "* 'wn € ^
^
c a ^ e(^ nonsingular if
Thus the Kervaire con jectu re s ta t e s that there is a
simultaneous solution of the nonsingular system
w i>w 2 ’ “ *'wn
an over'
group of G . P R O P O S IT IO N
1.
T h e K erv a ire c o n je c tu re is valid if and only if it is
valid for nonsingular s y stem s of equ a tio n s of w eight at most three. The argument is analogous to the familiar procedure of converting a differential equation of high order into a sy stem of first order equations. We shall illu strate the procedure in two exam ples.
Observe that in e ach
c a s e the determinant of the a s s o c ia t e d sy stem of equations of weight < 3 is the same as that of the original sy stem .
124
S. M. GERSTEN
E X A M P L E 1.
w = t 3a t ~ 1b t _1c , where a , b , C f G .
t 2 = t 2a t ~ 1bt~1c , t 3 = tat- 1 bt- 1 c ,
We define
= t ,
= t_ 1 bt_ 1 c , t g = t~ *c . The
a s s o c ia t e d system of equations is
/
W1
=*1*2
\ W2
=*2 •W
' 1
/ w3
=t 3 •( t 1a t 4 )~1
/
w4
=l 4
•( ‘ T 1 b t 5>_ 1
\
W5
=‘ S
'
C)_1
Observe that the original equation w has weight 5 , the number of equations of the a s s o c ia t e d system , and determinant is unchanged. 5-tuple of elements
( h j , h 2 ,h3 ,h4 ,h 5) is a solution of the second system
in an overgroup only if hj E x a m p l e 2.
is a solution of the original equation w . w 1 = x 2aybxc w2 = x
( a ,b ,c ,d ,e
in G ;
The
x ,y
o
dye
indeterminates).
Define
tj = x , t 2 = y ,
t 3 = xaybxc , t 4 = ybxc , tg = x c , t fi = x - 1 dye , and t 7 = ye . The a s s o c ia t e d system of equations is
NONSINGULAR EQUATIONS
125
The sum of the weights of the original system is equal to the number of equations in the a s s o c ia t e d system . seven-tuple
The determinants are equal.
A
(hj ,h2 ,h3 ,h4 ,h 5 ,h6 ,h 7) in an overgroup is a solution of the
a s s o c ia t e d sy stem only if the pair
(h1 ,h2 ) is a solution of the original
sy stem . The argument for the general c a s e , which we omit, shows in fact the following refinement of Proposition 1. P R O P O S IT IO N
L e t w j , w 2 >’ *‘ >wn
2.
a sy stem of equations over G
of p o sitiv e w eigh ts y ^ ,y 2 , “ *, y n re s p e c t iv e ly .
T h en there is an
n
a s s o c ia t e d sy stem of y = 2 y : equations in y 1=1
unknow ns, ea ch of
w eight < 3 , having the sam e determ inant a s the original sy stem and s u c h that (hj ,h2 ,- * - ,h p
is a so lu tio n of the a s s o c ia t e d sy stem in an
overgroup of G only if (h.^,h2 ,**‘ ,hn) is a solution of the original sy stem .
§2.
S y stem s of eq u a tio n s of w eight 2 In considering nonsingular sy stem s of equations of weight at most two,
we may eliminate variables occurring in equations of weight one to obtain a new system with the same determinant and co n sistin g of equations of weight two.
Hence we sh all consider a nonsingular system of equations
w l ' w2 ' * " ' wn over a SrouP G where each wthe indeterminates Let L
K be a
2
in
^ , t 2 ,***,tn .
CW complex with one vertex where ^ ( K ) = G , and let
be obtained from K by a ttaching n 1 -ce lls trivially, so that
771 (KU L*-1
= G * F , where F
the oriented 1 -c e l ls of L - K 77
is of weight ex a c tly
j (K U
is freely generated by
are identified with the elements
), and then a ttaching
C all th ese 2 - c e l l s
a- , l < i < n ,
( ^ us t^ in
n 2 -c e l ls by the maps w- , 1 < i < n . so aj
is attached by word w^ e G * F .
The Kervaire conjecture s ta t e s that the homomorphism ^ ( K ) -> ^ ( L ) induced by inclusion
K U L
is in jective.
From the e x a c t homotopy
S. M. GERSTEN
126
s eq uen ce, we s e e that this is equivalent to showing that the map 772 (L ) -» 7 7 2 ( L ,K )
is su rjectiv e.
a map f [ ( D ^ S 1) -> ( L , K ) .
P-
of L we now describe.
in the interior of the 2 -c e l l a-
the attaching map g ^ S 1 ^ K U L ^
for a j is
weight two, if we fix an interior point Qj L
is represented by
We shall make this map transverse regular to
a tamely imbedded subgraph P Choose one point
An element of 772 (L ,K )
w - , where w-
and
Join
P-'
n U Q - . Thus j=l J
Since has
in the interior of the 1 -c e ll of
corresponding to tj , then we may assum e the map g-
regular to
of L .
is transverse
-l g. ( U Q-) c o n s is ts of precisely two points J
in d a •.
P ^ , P j ' , and
P j by a properly imbedded
PL
interval J j
in a-x
n
and let F
be the image of
U Ji=l
in L .
Since
T
has a regular neigh-
borhood in L , we may make f : ( D ^ S 1) -> (L ,K ) transverse regular to T , and adjust the notation so this is done.
Then f _ 1 ( F )
properly imbedded in D2 . Since f(S1) C K and that A = f - 1 ( r ) that f _ 1 (
is a 1-manifold
R H T = yS, it follows
is a disjoint union of c ir c l e s in the interior of D2 and
U P . ) is a finite union of points subdividing th ese c i r c l e s . l