Extensions realising a faithful abstract kernel and their ... - Springer Link

2 downloads 0 Views 1MB Size Report
Extensions realising a faithful abstract kernel and their automorphisms. Paul Igodt and Wire Malfalt 1. We are interested in group extensions 1 --* N ~ E --~ F -+ I, ...
manuscripta

math.

84,

135

-

161

(1994)

manuscripta mathematica (~ Springer-Vcrlag 1994

Extensions realising a faithful abstract kernel and their automorphisms P a u l I g o d t a n d W i r e Malfalt 1

W e are interested in group extensions 1 --* N ~ E --~ F -+ I, for which the corresponding abstract kernel F ~ Out(N) is faithful. For these groups E, we develop commutative diagrams which are helpful to understand and to compute Aut(E, N ) (the group of all E-automorphisms mapping N into itself)and Out(E, N ) = Aut(E, N)/inn(E). Of course, ifN is characteristic

in E, A u t ( E , N ) =- Aut(E) and Out(E,N) -- Out(E). These conditions occur e.g. when studying almost crystallographic groups, which were in fact the initiating cases to us. Similar work has bcen done previously by Conner and Raymond ([3]) (several types where N = Z~k) and by Charlap ([1]) (for crystallographic groups). Although the approach in both works is rather different, we did an effort to obtain a description covering most aspects of both previously developed pictures. We include the results of an example computation for one family of isomorphism types of 3-dimensional almost crystallographic groups. For K(E, 1)-manifolds it is known that Out(E) has an important geometric meaning. In the closing section and for certain K(E, 1)-manifolds, we establish a gcometric interpretation of Out(E, N) and its subgroups from the determining diagrams.

1

Introduction

Our goal in this paper is primarily algebraic. Let N be a (not necessarily abe]Jan) group and consider a one to one abstract kernel ~b : F ,-o Out(N). Write p : A n t ( N ) -~ O u t ( N ) for the canonical projection. In section (3) we tResearch AssistantNationalFund For ScientificResearch (Belgium)

136

IG ODT-MA LFAIT

construct an action of the group AAr -- p-t(NOut(N)r on H$(F,N) which is the set of 2-cohomology classes compatible with tb. If 1 --* N ---* E ---* F ~ 1 is an extension realising !b and determining a eohomology class a E H~ (F, N), the stabiliser of a for this group action is of major importance to determine and to describe Aut(E, N) (the group of automorphlsms of E mapping N into itself) and Out(E, N) = Aut(E, N)/Inn(E)" In section (4) a description of Aut(E, N) and Out(E, N) is given in terms of different (we establish two approaches) 9 - d i a g r a m s (diagrams (3) and (4)). Our picture covers similar ideas developed earlier by Conner and Raymond ([3]) and Charlap ([1]) for situations with an abelian kernel N = .~k. We briefly indicate the particularity of the case of splitting extensions. A context for which this set-up is of explicit importance is that of the almost crystallographic (and almost Bieberbaeh) groups E. Now we assume N is a finitely generated, torsion-free, nilpotent normal subgroup of finite index in E which is maximal nilpotent in E. An extension 1 -* N -* E --* F -4 1, satisfying these conditions, is called essential. The corresponding abstract kernel is faithful and Aut(E, N) -- Aut(E) (Out(E, N) = Out(E)). Starting from an extension of this type, in section (5.1) we obtain some additional information which will simplify significantly the computation of the fundamental 9-diagrams. Up to isomorphism, there are only finitely many almost crystallographic groups E, containing a fixed group N as their maximal nilpotent subgroup. In section (5.2) we explain the explicit A u t ( E ) (Out(E)) computation for one family of isomorphism types of 3-dimensional almost crystallographic groups E. A complete list of the outer automorphism groups for all isomorphism types of almost crystallographic groups in dimension _ 4 is in preparation ([7]). If E is the fundamental group of an aspherical manifold M, O u t ( E ) is naturally isomorphic to the group of homotopy classes of homotopy self equivalences H0(e(M)) and a geometric meaning of it is of interest. In section (6) and for a specific situation, we indicate an interpretation of the subgroups of O u t ( E , N ) , occurring in our fundamental 9-diagrams. Here, we will briefly recall the concept of the Seifert Space Construction for a given set of data. Based on fundamental properties of this construction (existence, uniqueness and rigidity), an interpretation of Out(E, N) can be given in terms of fiber preserving homeomorphisms.

2

Preliminaries

If N is a group containing n, we will write /~(n) for the inner automorphism determined by n; i.e. g(n) maps an element z to n z n - t . # ( N ) is known as the inner automorphism group Inn(N), while O u t ( N ) -- Aut(N)/inn(N) is called the outer automorphism group N. We write p : A u t ( N ) ---* O u t ( N ) for the natural projection. Each group extension (or short exact sequence of groups) 1 --* N --* E -4 F --* 1 induces an abstract kernel r : F -~ O u t ( N ) in a well known way. We

IGODT-MALFAIT

] 37

say t h a t the extension is an algebraic realisation of r or that it is compatible with r It is well known that, in general, not every abstract kernel has an algebraic realisation. In some results we draw diagrams which should be regarded as c o m m u t a tive in the set-theoretic sense. This will be indicated by writing SET for the category of sets and set-mappings. Our c o m p u t a t i o n s will use certain aspects of group cohomology with non abelian coefficients. In such a context, usually one takes the structure of crossed modules as optimal coefficient structure (see e.g. [9]). Let us quickly review some basic facts a b o u t this. A crossed module is a 4-tuple (N, p, H, O) where N and H are groups and p : N -~ II and ff : H --* A u t ( N ) are group h o m o m o r p h i s m s satisfying compatibility conditions @op=#

and, for every z E H, ]*(x) o p = p o @ ( = ) .

If ~ E 11 and n E N , we write " n for @(~)(n). There is a trivial way to build a crossed module for each group N: take (N,/~, A u t ( N ) , Id). If not explicitly mentioned otherways, most of the time this is the crossed module we will work with. Given a group F , a 2-cocycle of F with coefficients in (N,p, H, r is a pair (~, c), where ~o : F ~ H and c : F x F ---* N are maps satisfying

{

=

for all z, y and z in F. It will always be assumed t h a t ~ and c are normalised i.e. ~(1) = 1 and c(z, 1) = c(1,~) = 1. We write Z2(F, N) for the set of all 2-cocycles of F with coefficients in ( N , p , II, 0). Clearly, each 2-cocycle (~o, c) determines a mozphism r : F ---* O u t ( N ) . If we concentrate on a fixed abstract kernel r we write Z,~(F,N) for the set of 2-cocycles inducing r Two 2-cocycles (~, c), (~o', c') are called cohomologous if there exists a normalised m a p )~ : F ---* N such t h a t for z, y E F :

{ ~'(~1 = p(X(~))~(=) ~'(:, V) = ;~(:) "~'(') X(V)" ~(:, V)" ;'(:V) -~ T h e set of cohomology classes of Z~(F,N) is called H2(F,N). Similarly, H,~(F, N) is the set of all classes inducing a fixed abstract kernel r It is well known that H2(F, N ) has an interpretation in terms of so-called H-crossed extensions [9]. Here, it is enough to recall t h a t a 2-cocycle (~,c) gives rise to an extension E = N x(~,c) F with group operation

V,~,~, e N, V~, Y E F:

(,~,~) .(~,o)(.~, Y) = ('~ "~'(~ m" c(z, Y), zY).

Conversely, if 1 ---* N ---* E --* F --* 1 is compatible with r by choosing a n o r m a n s e d section s : F ---* E, we obtain a 2-cocycle (~o, c) e Z ~ ( F , N).

IGODT-MALFAIT

138

There is also a concept of 1-cohomology with non abelian coefficients. Here, start with a fixed 2-cocycle (~,c) E Z 2 ( F , N ) . A 1-cocycle is a (normalised) map A : F ~ N satisfying

~(~) .~(') ~(y). c(~, y). ~(~y)-I = ~(~, y) for all x and y in F. The set of all 1-cocycles is denoted by Z 1 ( F , N ) . Two 1-cocycles A and ~? are called cohomologous if there exists ~nC)element n e N satisfying 77(z) = n . A ( z ) . ~ ( ' ) n -1, for all z E F. The set of all cohomology classes of 1-cocyeles is denoted by H~,,,c)(F, N), and is called the first cohomology of F with coefficients in the crossed module (N, p, II, ~2) with respect to the 2-cocycle (~, c). For a given r : F --~ Out(N), it is clear that Z ( N ) , the center of N, becomes an F-module in the classical sense. So, there is no problem to talk about H$ ( F, Z( N) ), the (classical) 1-cohomology-group.

3

A crucial

group

action

In this section, starting from a faithful abstract kernel, we define an action which will be of crucial importance to construct our fundamental automorphism diagrams. First, we introduce D e f i n i t i o n 3.1 If r : F --~ O u t ( N ) is an abstract kernel , we define the subgroup A4r of A u t ( N ) by

~

= v-~(Nou~(~)r

the inverse image in A u t ( N ) of the normaliser of r

in O u t ( N ) .

Let us establish a sufficient condition for an automorphism of N to belong to A4r L e m m a 3.2 If ~ E Aut(N) is an automorphism for which there ezisis a surjective mapping u' : F --* F and lifts ~, ~ : F -4 A u t ( N ) of r for which the following diagram commutes (in S E T )

F

-~ Aut(N)

F

~

~'1

~ ,(~)

hut(N)

then v E AAr Proof: Use p : A u t ( N ) --4 O u t ( N ) and verify that p(v) belongs to the normaliser in O u t ( N ) since u' is onto. ,,

of r

The following properties will be of practical importance for our work later on.

IGODT-MALFAIT

139

L e m m a 3.3 A s s u m e an injective abstract kernel ~b : F ~

Out(N).

1. There is a group h o m o m o r p h i s m * : A4r ---. A u t ( F ) defined by v* = r o U(P('-')) o r for each ~, E M~, 2. I / v E M e , then for each lif2 ~o : F ---* Aut(N) o r e , there ezists a unique lift ~ : F --+ A u t ( N ) (of r such that the following diagram c o m m u t e s

(i~ scT) F ~ ~" ~ F 3. I f ~' is another lift o r e ,

~

Aut(N) ~ u(~') Aut(N)

e.g. ~' = U(A)~o (A : F ~

N ) , then ~o~ =

~(v -1 o ,~ o v*)~o~. 4. I f v l , v 2 E A.~r

then for each lif-t ~o o r e , ~o(~o~,) = ( ~ ) ~ , .

Proof: 1. This follows directly from the injectivity of r and the definition of AA,). 2. and 3. The proof consists of rather elementary verifications which are left to the reader. Essentially, if v E AAr and ~o : F --* A u t ( N ) is a lif~ of r then one defines the lift ~o~ = ~(v -1) o ~o o v*. 4. As the following diagram commutes F

(~v~)vl A u t ( N )

~'~ ,L

~, ~(~)

F

~~ --~

Aut(N)

F

-~

Aut(N)

the uniqueness of the lifts implies that V~(~,,~,) = (V~,)vl. If we have an injeetive abstract kernel, we obtain an interesting group action, as we see now. P r o p o s i t i o n 3.4 A s s u m e an injective abstract kernel r : F ~ O u t ( N ) . There is a group action of A4r on H ~2 ( F , N ) , defined as follows:

.~,p • H,~(~,N)

--,

/-/,~(F,N)

(~, < ~, ~ >)

~

~ < ~, c >%1


where "c = ~ , o c o ( v " - I x v * - 1 ) .

Proof: Assume (V',~) is a 2-cocycle in Z~,(F, N). We verify the clam in three steps: S t e p 1" (!o,c) E Z ~ ( F , N )

~ (tou-2,Uc) E Z ~ ( F , N ) .

140

IG O D T - M A L F A I T

Take x, y, z in F . F i r s t , there is ,[~(~,y)]

=

uo,[c(u*-z(~),u*-1(y))]ou

-~

=

~o [~(~'-l(~))~(~'-l)(y)~(~*-~(~y))-~]

=

~,,_, (~)~,,_~ (y)~,~_, ( : ~ ) - ~

o ~-~

a n d , s e c o n d l y we verify,

~c(=, y) .~(~y, z) = ~[~(~*-~(~), ~'-~(y)). ~(~*-~(~y), ~*-~(z))] = ~[~(~'-'(=))~(~*-l(y), ~.-~(~)). c(~*-~(~), ~*-~(y~))] = ~-,(-)[~(y, ~)] .~ :(~, y~) Step ~. (~, :) ~ (r ~') ~ (~,~-~ , ~ ) ~ (~,'_~,~d). Let A : F --* N be t h e cochain such t h a t ~# = ]z()Q~.

T h e n ~_~, =

,(~ o ~ o ~'-~)~_, (~.3) and, for each ,, y e F ~'(~, y)= ~(d(~ "-~(~), ~*-~ (y))) = ~[A(~.-~(~))~(~'-'(=))(~(~*-~(y)))~(~*-~(~),~.-~(y))~(~'-l(~y))-~] = (,., o,~ o ~,*-~)(~).~%-~ (=)(~,o ;,o ~,'-' )(y).~' ~(~, y). (~, o,,, o ~,*- ~) (~y) -~ . S t e p 3: We have a g r o u p action. Take vl a n d v2 in M e .

Then

v2o,,,~ < (p~ c >

4

Automorphisms ful abstract

V2OVl

=

< ~(v;-,o~,;-~),

=

u ' ( v ' < ~,c >).

of extensions

c >

realising

a faith-

kernel

F r o m now on, we fix a n a b s t r a c t kernel r : F --* O u t ( N ) a n d a g r o u p e x t e n s i o n 1 --* N ---* E ~ F "--* 1 realising r It is our a i m to s t u d y A u t ( E , N ) , the g r o u p of those a u t o m o r p h i s m s of E which c a r r y N into N , a n d m o r e p a r t i c u l a r l y 0 u t ( E , N ) = A u t ( E , Y ) / i n n ( E ) . A n a u t o m o r p h i s m o" in A u t ( E , N ) restricts to an a u t o m o r p h i s m of N , a n d c o n s e q u e n t l y induces a n a u t o m o r p h i s m o f F . Let us write A : A u t ( E , N ) A u t ( N ) for the r e s t r i c t i o n to g a n d B : A u t ( E , N ) --4 A u t ( F ) for the corresp o n d l n g m o r p h i s m . So, each ~r gives rise to a c o m m u t a t i v e d i a g r a m o f g r o u p s and group homomorphisms : 1 1

---* N ---*

-4

E

IA(~)

~~

N

E

-*

--*

F

---*

1

~B(~) --*

F

--~

1

IG O D T - M A L F A I T

4.1

A fundamental

Aut(E,N)

141

diagram

We start with the following, rather elementary observations. L e m n a a 4.1 A s s u m e an abstrac~ kernel r sion 1 -~ N

~

: F ---* O u t ( N ) and an eztenE --+ F --~ 1 compatible with r F i z an au~omorphism

9 A u t ( E , N). 1. I f s : F ---* E is a section inducing a lift ~o : F ---* A u t ( N ) , then there ezists a lift ~ , o r e , making the following diagram c o m m u t a t i v e (in S ~ T )

F

~

Ant(N)

F

~

Aut(N)

2. Im(A) C A,4,k. 3. I r e is injective, then f o r each section s inducing a lift ~ o r e , and A(r = B(cr). Consequently, Ker(A) C Ker(B).

Io~.(r

= ~r

Proof: 1. The section s~ : F -* E, defined by r o sr = s o B(cr), will determine a lift ~o~ having the desired property. 2. This follows at once from l e m m a 3.2. 3. As r is injective we can use the notations of l e m m a 3.3 such that clearly A(~r)* = B(o') and !oA(r = ~r D e f i n i t i o n 4.2 A s s u m e r F r O u t ( N ) injective and suppose that H $ ( F , N ) is non-empty. For each element ~ = < ~ , c >E ~ ( F , N ) , we d e n e the s~bgroup A4r

of A4r as A4@,= ---- StabA4,a = {u e A4@ II v < ~o,c >~-< ~ , c >}.

P r o p o s i t i o n 4.3 Let r : F ~

O u t ( N ) be an injec~ive abstract kernel. A s s u m e 1 ---* N --* E --* F --* 1 an eztension realising r and determing a cohomology

class ~ = < ~, c > e H~(F, N). Then, Ira(A) = ~ V , o . Proof." Take E = N x(~,c) F and consider ~ E A u t ( E , N). Choose as in l e m m a 4.1, the section s~-~ = o" o s o B(~) -I, which induces the liR ~ - I .

the m a p ~ :

Construct

F -~ N defined by or(l, ~) = ( ~ ( z ) , B(cr)(x)) (~ E F).

For every (n,x) E E, (n,z)= (n, 1)"(~,c)(1,~)= (1,x)"(~,c)(i~ Therefore we find that

r

1)-(~,r ~(1, z)

= =

(A(r 1)"C~,,) (~(z), B(r (aC~)Cn).~(=),B(~)(~))

l) 9

42

IG OD T - M A L F A I T

but also t h a t

~(1, ~) .(~,,r ~(~(')-'n, 1)

=

(~(x),B(~)(~)).(~,:)

(A(c~)(~'(~)-~n), 1)

=

(~(~) .~,(s(r174 (A(~r)(~(~)-~n)), B(~r)(x)).

So ~= must satisfy V~ E F :

I z ( ~ ( x ) -1) o A((r) -- ~o(B(cr)(a:)) o A(cr) o ~o(x) -1

or, because B(c~) C A u t ( F ) ,

v~ e F :

~ ( ~ ( B ( ~ ) - ~ ( ~ ) ) -~) = ~(~) o A(~) o ~(B(~)-~(~)) -~ o A(~) -~.

T h e reader can easily verify, using l e m m a 4.1, t h a t this is equivalent to ~ . - , = ~ ( ~ o B ( ~ ) -~) o ~.

(1)

Now, take x, y E F and find that

~[(1, ~) .(~,o) (1, y)]

=

~(:(~, y), ~y)) (r[(c(x, y), 1) -(~,:) (1, ~y)]

(A(cQ(c(x, y)). ~(xy), B(o')(~y)) which must be equal to

~(1, ~) .(~,o) ~(1, y) = (~(~), B(~)(~)).(~,o)(~(y), ~(~)(y)) = (~(~).~(s(~)(,))(~(y)). c(B(~)(~), B(~)(y)),B(~)(~.V)) So we have t h a t

A(o')(c(~, y)) = ~ ( ~ ) .~,(B(~)(,)) (~a(y)). c(B(~)(~), B(cr)(y)). ~c,(zy) -1. (2) R e m a r k t h a t we have not used the injectivity of the a b s t r a c t kernel to obtain (1) and (2). If r is one to one however, ~.4(~)-1 = ~ - 1 and A(tr)* = B(o') (see l e m m a 4.1), or (2) translates into

AC~)c(x, y) = ~ ( B ( u ) - I (x)) .~(~) (~(BC~)-l(y)) 9c(x, y). ~ ( B ( ~ ) - l ( x y ) ) -1 We conclude that A(a) < ~, c > = < ~, c > or A(r

E 2vLr

Conversely, take v E A4r and consider E as N x(~,,~) F. Since ~< ~ , c > = < ~ , c >, there is a cochain A~ : F --~ N such t h a t 8~ :

is a group isomorphism.

N x(~%_,,~c) F

--*

N x(~,,~)F

(n,~)

~

(n. ~ ( ~ ) , ~ )

$GODT-MALFAIT

~43

Moreover, we can introduce another group isomorphism ~, as follows

~ Let n, m E N ,

:

x,yEF.

N

x(~,~) F

--+

N

(n,~)

~

(~(n), ~* (~))

x(~_~,~)

F

Then

~(n, ~).(~ _,,~o) ~(m, y) = (~(n), ~*(~))"(~-, ,~o) (~(m), ~*(y)) = (~(~) .~v-, (~'c,)) (~(m)) .~ c(~" (~), ~* (y)), ~" C~y)) = (~(n) 9 ~(~(')(m)) 9~(c(~, y ) ) , , ' ( ~ y ) ) = ~[(n, ~) .(~,0) (.~, y)] or ~ is a homomorphism which is clearly bijective. Consequently, by taking o'~ = 8~ o ~ we obtain an automorphism of E such that A(o-~) = ~,. ,, D e f i n i t i o n 4.4 Let us write A u t ~ for Ker(A) n Ker(B), the subgroup of A u t ( E ) consisting of those automorphisms which induce the identity both on the I r ( g ) and on the right (F). Aut~

can be understood in a nice equivalent way. This is the purpose of

P r o p o s i t i o n 4.5 Take r : F --* O u t ( N ) and a group eztension 1 --* N --* E ~ F -~ 1 realising r

i. A u t ~

iso.~o~phie to Z$(F, Z(N)).

2. If r is one to one, then Ker(A) n I n n ( E ) -- Aut~

n I n n ( E ) and is

isomorphic to B~(F, Z(N)). 3. Consequently, i r e is injective, then Aut~

n I n n ( E ) ~ H$(F, Z ( N ) ) .

/Aut~

Proof: Again let E -- N • and consider o" E A u t ~ 9 If we take, again as in l e m m a 4.1, the section s~-~, we obtain the lift ~ - ~ , but for r E A u t ~ , ~ - ~ = ~. Therefore (1) implies that the m a p ~,, : F --* N, defined by r z) = ( ~ ( z ) , z), takes its values in Z ( N ) , the center of N. Consequently, translating (2) for o" E A u t ~ we obtain

~(~y) =

~(~).~(-)

(~(y))

which means that ~a E Z$(F, Z ( N ) ) . We claim that

~: Aut~

-~ Z$(E, Z(N)) : ~ ~

~

is an group isomorphism. Here, we leave it to the reader to show t h a t ~ is injective. To see t h a t it is also onto, take 7 E Z$(F, Z ( N ) ) , construct the m a p ~ : E--* E : ( n , x ) ~ ( n . 7 ( ; ~ ) , $ ) ,

IGO DT-MALFAIT

144

and verify that o- is an automorphism of E belonging to Aut~ . Evidently, it follows that ~ = 7. Let us now investigate what happens to ~ if o" belongs to Inn(E). Assume cr -- , ( n o , x o ) 9 Aut~ n Inn(E). Then, A(o') = # ( n o ) o ~(mo) -- 1, and hence, projecting to Out(N), we find that r = 1. As 15 is one to one, zo = 1 and no 9 Z ( N ) . It follows that, for 9 9 F, ~,(~) = no "~(~) no ~, which is equivalent to saying that (= belongs to B ~ ( F , Z ( N ) ) . If conversely, 7 : F -* Z ( N ) is given by 7(~) = no .~(~) n o 1, for some no 9 Z ( N ) , then or: E - , E defined by a(n, z) = ( n . 7(x), x) will belong to Aut~ n Inn(E). 9 We are now ready to summarise these results in the following T h e o r e m 4.6 I f r : F r O u t ( N ) is an abstract kernel which is one ~o one and 1 --+ N ---* E ---* F ---* 1 is an eztension compatible wi~h r determining a cohomoIogy class a E H $ ( F , N ) , then there is a commutative diagram of groups and group h o m o m o r p h i s m s such that both the rows and the columns are ezact sequences: 1

1

1

1

-~

B~(~,Z(N))

-~

1

---*

Z~(F,Z(N))

---* A n t ( E , / )

1

-~

H$(F,Z(N))

--*

1

Inn(E)

Out(E,N)

A -+

E/ZE H ~ ( F , N ) . Then, I. I m ( B ) = .A~.~,~ (the image of ]~4r

under , ) .

2 1 ~ Aut~ of groups.

-~ Ker(B) A K e ~ ( ' ) n m ~ , o

s

n Inn(E) -~ Ker(B) n Inn(E) A j - ~ ( Z ( F ) ) / Z ( N )

1 -. Aut~

-~ 1 is a short e~act sequence

-* 1 is

a short e~act sequence of groups. Proof: 1. Return to (4.3) and notice that, for each o" E A u t ( E , g ) , A(~)* = B(~r). 2. Again, since A(cr) E A4r and A(cr)* = B(~r), it is clear that A(Ker(B)) C A4r n Ker(*). Conversely, if v belongs to A4r and v* = 1, then, using proposition 4.3, v can be found as the image under A of an automorphism o'v. Now, 1 = v* = A ( ~ ) * = B ( ~ ) implies that v E A(Ker(B)). 3. Just realise that if, for (n0, x0) E f = N x(~,,,) F, , ( n 0 , z0) E Ker(B), then ~o E Z ( F ) or Ker(B) M Inn(E) ~ j - ' ( Z ( F ) ) / Z ( E ), Moreover, as r is one to one, Ker(A) ['1Ker(B) N I n n ( E ) = Ker(A) M I n n ( E ) and isomorphic to C~(N)/z(E) = Z(N)/z(E). 9 Combining these properties, we conclude with Theorem

4.8 Let r : F r

O u t ( N ) be an injective abstrac~ kernel and 1 --*

N ---, E i_~ F --* 1 an eztension reaIising r and determining a cohomology class

146

IGO DT-MAL FAIT

a = < ~o,c > 6 H $ ( F , N ) . ezac~ rows and columns:

Then there are two commulalive diagrams buil~ wiih 1

1

1 --*

g t = Ker(B) N I n n ( E )

1 -*

K~ = Ker(B)

-*

1

Inn(E)

~ I n n ( F ) --* 1

---, Aut(E, N) ~

1 --* K . = K e r ( B ) / K e r ( B ) A Inn(E) --* Out(E, N) -*

1

1

M,~,~ ---+ 1 Qt

(4)

---* 1

1

and 1

1

1

1

--+

B~(F,Z(N))

--.

Kt

A

1

--*

Z$(F,Z(N))

-*

K2

A_~

1

--*

H$(F,Z(N))

--*

K8

--*

1

j_t(Z(F))/Z(N)

Ker(*)N.AAr Q2

1

--.

1

(5)

---* 1 --*

1

1

where

Q2 = (Ker(*) N A A r with (Ker(*) n A~fr

) N Inn(E)) ~ (Ker(*) N M r

= (Ker(*) N Adr

)

C 0 u t ( N ) , and

Q~ ~-~ ( C O u t ( N ) t ~ ( F ) ) / Z ( F ) .

Proof: We leave it to the reader to obtain these diagrams. For Q2, the reader can proceed as in (4.6). Notice that

Z4r

N Ker(*) _C Z4,p N Ker(*) = p-1(Cout(N)r

This result shows that, to compute A u t ( E , N) (Out(E, N)) based on diagrams (4) and (5), somehow, we have to go one level deeper - compared to the (3)-situation - in terms of 9-diagrams. Let us close here with remarking another 9-diagram in which we learn more about those somewhat mysterious lower right corners of diagrams (3), (4) and (5), which we called Q, Q1 and Q2 resp.. The verification is left to the reader.

IGO D T - M A L F A I T

4 . 9 Suppose a situation where the diagrams (3), (4) and (5) are

Remark

valid. Then r

is a commutative diagram built with ezact rows and columns: 1

1

--~ j - I ( Z ( F ) ) / Z ( N )

1

---*

1

~

1 --,

E/Z(N )

~ ~

l Ker(*) n A4r Q~ 1 4.3

147

Splitting

1 -,

Inn(R)

A4~,~

--,

Q

--*

--*

1

A4~,~

---,

1

Q~

-*

1

1

1

1

(6)

1

extensions

Let us have a closer look at the s i t u a t i o n of a split extension. 4 . 1 0 Let r : F ~ O u t ( N ) be one to one. Assume 1 --* N -* E --* F --* 1 is a splitting ez~ension realising ~b and determining a cohomology class a E H~ (F, N). Then, Proposition

Mr

= {v 6 M e [] ~v-~ can be induced by a splitting section Sv-~ : F -* E}.

If A4r = A,fr Q2 ~ ~--" C O U t ( N ) r

and Q ~- N O U t ( y ) r

"

Proof: As 1 ---* N ---* E ---* F --* 1 splits, we can fix a s p l i t t i n g section s : F --* E i n d u c i n g a 2-cocycle (~o, 1). Let v E A4r such t h a t ~ v - , is i n d u c e d by a h o m o m o r p h i s m s v - , : F --* E . T h e r e is a m a p Av : F ~ N such t h a t W9

s~-,(z)=A~Cz).s(4

,

a n d c o n s e q u e n t l y ~ v - , (z) = / ~ ( A ~ ( z ) ) o ~o(z). As b o t h sections are h o m o m o r phisms, we easily o b t a i n t h a t , for each z , y 9 F , Av(xy) = A ~ ( = ) - ~ ( = ) A v ( y ) . T h e r e f o r e v < ~p, 1 > = < p, 1 > or z~ 9 A4r Conversely, t a k e v 9 A4r As ~ < ~, 1 > = < ~, 1 > , there exists a cochain A~: F - * N such t h a t ~ - ~ ( z ) = / ~ ( A ~ ( z ) ) o ~ ( z ) a n d A~(zy) = A~(z).~'(=)Av(y), for ~, y 9 F . Take sv-~ = Av 9 s : F --* N . T h e r e a d e r can verify t h a t sv-~ is a s p l i t t i n g section a n d induces ~ - , . For Q a n d Q2, in the case M e = M e , a , the r e a d e r can easily see t h a t the e m b e d d i n g s a n n o u n c e d in reap. (4.6) a n d (4.6) t u r n into i s o m o r p h i s m s . 9 4 . 1 1 In the "abelian" case (i.e. if N is abelian), obviously A4~,a = M e if the cohomology class a corresponds ~o a split-eztension. In a situation where N is non abelian, the above proposition implies that this equality (again for a splitting ez~ension) is not automatic. As the following ezample shows, ~here are indeed, si~ua$ions like this for which A4~ r A4r in other words, ~he condition ezplicited in the proposition is non-trivial. Remark

48

[G O D T - M A L F A I T

Example

4 . 1 2 Take N:

< a , b , c l [ [ b , a ] = c 2, [ c , a ] = 1, [ c , b ] = 1 >

and F ~ z~Y2 x g 2 , given as { 1 , a , f l , afl}. F ---, A u t ( N ) given by b C

b- c ~

Consider the h o m o m o r p h i s m T :

and

b

C

C

b ~

C -1

It is not h a r d to see t h a t there are no inner a u t o m o r p h i s m s in the image of ~; consequently, ~ induces a faithful abstract kernel r : F ---* O u t ( N ) . Let 1 ---* N ~ E ~ N:~ F --* F --* 1 be the semi-direct product determined by ~. As presentation of E one can take e.g. E:

1}.

It is well known that ~ , (1 < k < c + 1), is characteristic in N ([12]). Given 1 --~ N ~ E --* F ---* 1 and F is a characterictic subgroup of N, clearly we can factor out r to obtain 1 ~ N / r --. E l f --, F -4 1. For an essential extension, it is well known that I' can be chosen such that the resulting extension (of quotients) again is essential and with N I p of lower nilpotency class. In fact, as seen in [5] at least two choices are available: 9 taking I" = ~ will reduce the nilpotency class substantially and brings us to an abelian kernel situation, while

IGODT-MALFAIT

150

9 taking r = ~

reduces the nilpotency class exactly one level.

Since r is assumed characteristic in N, each automorphism v E A u t ( N ) induces automorphisms C(v) and D(~) of P and N / p resp. , such that the diagram below is commutative: 1

---+

r

--*

N

-4

NIp

-4

1

N

--,

NIp

---,

1

c(.) 1

-4

r

--.

To understand and to compute the fundamental diagram (3), the two rather hard points are the groups A4r and Q. Let us state now two results which will be helpful to overcome some difficulties. L e m m a 5.4 Let 1 ---* N ---* E -4 F --~ 1 be an eztension, realising r : F O u t ( N ) and d e t e r m i n i n g class a E H $ ( F , N ) . A s s u m e r is characteristic in g and write e r : F -4 Out(N/r ) for the abstract i e r n e t induced by 1 -4 N / p - 4 E f t -4 F -4 1 and a r E HSr (F, N / p ) f o r the corresponding cohomology class. Consider D : A u t ( N ) -4 A u t ( N / r ) as introduced above. T h e n D(A4r

C_ A4r

r.

O n the problem of computing Q (in diagram (3)), the following brings a useful reduction.

L e m m a 5.5 Zet 1 -4 N -4 E -4 F ---* 1 be an essential e z t e n s i o n compatible with r : F ~ O u t ( N ) and determining class a = < ~,c > e H $ ( F , N ) . Take r = N~ / - ~ N ) and D : Aut(N) -4 A u t ( N / r ) as introduced before. T h e n Q (see diagram (3)) fits in a shor~ ezac~ sequence

1 ---* (Ker(D) n Agr

--* Q --* D ( A d r

---* 1.

Proof: First notice that Inn(N) 4 ( A u t ( L ) • 7-/(W)) ----7 t ! (L x W ) is a t r a n s f o r m a t i o n group of the p r o d u c t space L • W; i.e. is (z, w) E L x W, then (x,g,n)(x,w) = ( g ( z ) . A(h(w)),h(w)). One considers L as s u b g r o u p of 7~](L x W ) via the embedding t : L --* X Y ( L x W ) : z ~-+ (x,lz(x), i). Then, it is easily seen that L acts on L x W as (left) translations in the L-factor. D e f i n i t i o n 6.1 Assume L and W as above. A quadruple (N, E, p, W ) is called a L - s e t o f d a t a f o r a S e i f e r t C o n s t r u c t i o n if and only if

1. N is a lattice in L and ( N , L ) has UAEP 2. E contains N as normal subgroup with quotient E / N = F 3. p : F ---+? t ( W ) is a properly discontinuous action such that, for every e~tension i -* L -~ E -* F -* 1 (compatible with r

F -* O u t ( L ) ) , t h e n

exists a homomorphism ~ making the following diagram commutative 1--*

L

--+

E

It

---*

I~

F

--*1

lCxp

1 -~ A4(W,L*)>~Inn(L) --* X J ( L • W )

---* O u t ( L ) •

---+ 1

and such that ~ is unique up to conjugation by elements of A4(W, L*). If clear from the context, we speak of a set of data and avoid to m e n t i o n L explicitly. Example

6.2

1. I f L is nilpotent containing a lattice N, for every extension 1 --* N ---* E ---+ F --* 1 and properly discontinuous action o f f on W (via p : F --+ 7-/(W)), ( N , E , p , W ) is a set of d a t a ([8, w 2. If L is solvable with connected center and N is a lattice of L such t h a t ( N , L ) has UAEP, for every extension 1 --+ N --* E --4 F --* 1 and properly discontinuous action of F on W (via p), (N, E, p, W ) is a set of d a t a ([11, Th.3]).

For a given set of d a t a (N, E,p, W), a S e i f e r t C o n s t r u c t i o n is a homom o r p h i s m @ : E ~ 7( 1 (L x W) making the following d i a g r a m c o m m u t a t i v e : 1

---*

N

i

-~

Z~(W,L*)~Inn(L)

---+ -.

E XI(L x W)

---+ -.

F Out(L) x X(W)

---* 1 -.

i

IG ODT-MALFAIT

158

(notice that r : F -4 Out(L) is well determined by the extension 1 --~ N -4 E ---* F ---* 1 and the UAEP of (N, L)). Now, let us agree on the following terminology: we will say that L has the Unique Lattice Isomorphism Extension Property (ULIEP) if and only if every isomorphism N --* N I between lattices in L extends uniquely to an automorphism of L. E.g. it is well known that a simply connected, connected nilpotent Lie group L has ULIEP (see [13]). More general, a simply connected, connected solvable Lie-group of type (K) also has ULIEP (see [6]). This Seifert Construction concept is most frequently referred while having 3 important properties in mind. As they are of primary importance, also in the perspective of this section, we remind them briefly. E x i s t e n c e : For each set of data (N, E,p, W), there exists a Seifert Construction (based on the UAEP o / ( N , L)). U n l q u e n e s s - l " Let (N,E,p, W) be a set of data and fix an embedding e : N ~-~ L of N in L. Then, a Seifert construction 9 with respect to this embedding is unique up to conjugation by elements of AA(W, L*). U n l q u e n e s s - 2 : Let ~1 and ~2 be Seifert Constructions for a set of data (N,E,p,W), corresponding resp. to embeddings r : N ~ L. If L has ULIEP, there exists a unique g E Aut(L) such that r -- g o el and ~ . = ~(A,g) o ~ 1 for a A e ~ ( w , L*). R i g i d i t y : Assume L has ULIEP and let (N, E, p, W) and (N', E', p', W) be two L-sets of data. Assume 8 : E ~ E ' an isomorphism inducing ~ : N ---+ N ' and 0 : F --+ F ' such that there exists h E ~ ( W ) for which Iz(h) o p -- p' o 8. Then, for each couple of Seifert Constructions ~ and 9 ~ for these sets of data (resp.), there exists h E 7~I (L • W) such that o e =

o

If k~ is a Seifert Construction for a given L-set of data (N, E, p, W), E acts properly discontinuously on L x W. It is well known that, if e.g. E is torsionfree, q is injective. E acts with compact quotient if and only if F acts with compact quotient on W. So, if W and L are contractible, F \ W is compact and E is torsion-free, the given set of data will determine a K(E, 1)-manifold M. Many families of aspherical manifolds arising in this way, and their topological and geometrical properties, have been studied in the literature of the past 15 years. Now, assume we are in this case and write 7~! (M) for the group of homeomorphisms of M whose likings to the universal cover L • W belong to 7~! (L • W). Such liftings automatically belong to the normaliser of I'II(M) -- E in ~ ! ( L • W). In fact, 7~!(M) can also be seen as the group of homeomorphisms of M arising by conjugation in N ! =- N~t(L• Write e(M) for the space of self-homotopy equivalences of M. It is known that Wo(e(M)) is isomorphic to O u t ( I I l ( M ) ) = Out(E). Let us write 9 for the

159

IGODT-MALFAIT

natural homomorphism + : N ! -- N u q L •

) --* 7~] ( M ) ~-~ e ( M ) -+ Out(E).

If we consider E as a group of covering transformations of L • W, conjugating E with a homeomorphism f E N ! will induce an automorphism jr. of E which represents + ( f ) E Out(E). It was already shown in ([8, w that, if the F-action on W is rigid, and L has ULIEP, the image of # is precisely Out(E, N). We now come back to the fundamental 9-diagrams developed earlier in view of obtaining information on Out(E, N). In particular, we give a geometrical interpretation for the subgroups of Out(E, N) occurring in diagrams (3) and (4). P r o p o s i t i o n 6.3 Assume (N, E, p, W ) a L-set of data, determining a K(E,1)manifold M via a Seifert Construction 9 . I f the abstract kernel ~b : F --* Out(N), compatible with 1 --+ N --* E --* F ~ 1, is faithful, then 9 (AA(W, L*) n N f) = A u t ~

N Inn(E) -~ H$(F, Z ( N ) ) .

Proof: Fix A E A~(W, L * ) n N 1. In 7-/1(L x W) we observe that, for each n E N,

~(~) o A =

(n, . ( n ) , l )

o (A,I,1) = ( ( . ( ~ )

o

A).n, . ( . ) , 1 ) = ( ~ . A , . ( ~ ) , I ) =

~ 09(.).

So, conjugating with A in 7/] (L • W) clearly induces an automorphism A, of E restricting to the identity on N. As r : F -+ Out(N) is one to one, A. also induces the identity on F and consequently, @(A) E A u t ~ N Inn(E)" Conversely, let r E Aut~ 9 As r induces the identity on both N and F, ~o~r is a Seifert Construction for the same data (N, E, p, W). Using uniqueness1, there exists A e A4( W, L* ) such that xI' o ~ = Iz( A ) o g2 or ~. = cr. 9 P r o p o s i t i o n 6.4 Assume (N, E, p, W ) a L - s e t of data, determining a K(E,1)manifold M via a Seifert Construction ~ with respect ~oa certain embedding e : N r L. Suppose that L has ULIEP and thai the abstract kernel r : F --* Out(N) is faithful. LeE a ~ H$(F, N ) be the cohomoIogy class de$ermined by 1 -~ N -~ Z -~ F -~ 1. W~i~e Aut(L)0 for the subg~,oup of A u t ( L ) containing all auZomorphisms of L which ave eztensions of automorphisms in Ker(*) n A4r a. Then ~(AA(W, L*) >~Aut(L)o n N f) = K e r ( B ) / K e r ( B ) n Inn(E)" proof: Using the UAEP, an element of Aut(L)0 can be written as A(~), for c r e Ker(B). For this r q ocr is a Seifert Construction for (N, E,p, W) with respect to the embedding N A(~o~ L. Use uniqueness-2 to conclude that ~I'o~r -#(A=,A(o-)) o if2 for a +~= e A4(W, L*). So, + maps (A~,A(cr)) onto the class of r in Ker(B)/Ker(B) n Inn(E)"

160

IGODT-MALFAIT

Now, remark that, for A E A,/(W, L'), (A, A(cr),l)= (A.A;1,1,1)(Aa, A(cr),l), and consequently, using (6.3) @((A, A(~r), 1) e Ker(B)/Ker(S) N Inn(E)" E x a m p l e 6.5 We give two situations where the conditions mentioned above are satisfied. Take W the 1-point-space and F finite. Then 1. if L is simply connected, connected nilpotent containing a lattice N the resulting manifolds are known as the inf~a-nilmanifolds. 2. if L is simply connected, connected solvable of type (R) ([6]) containing a lattice N, for the resulting infra-solvmanifolds we can apply both propositions.

References [1] Charlap, L. S. Bieberbach Groups and Flat Manifolds. Springer-Verlag, New York Inc., 1986

Universitext.

[2] Conner, P. E. and Raymond, F. Manifolds with few periodic homeomorphisms. Lect. Notes in Math. 299. , Proceedings of the Second Conference on Compact Transformation Groups, Springer-Verlag, 1-75, (1971) [3] Conner, P. E. and Raymond, F. Deforming Homotopy Equivalences to Homeomorphisms in Aspherical Manifolds. Bull. A.M.S., 83 (t), pp. 3685, (1977) [4] Dekimpe, K., Igodt, P., Kim, S., and Lee, K. B. Affine siruelures for closed 3-dimensional manifolds with NIL-geometry. (1993). to appear in Quart. :J. Math. Oxford [5] Dekimpe, K., Igodt, P., and Maifait, W. On the Fitting subgroup of almost crystallographic groups. Tijdschrift van her Belgisch Wiskundig Genootschap, B 1, pp. 35-47, (1993) [6] GorbaceviS, V . V . Lattices in solvable Lie groups and deformations of homogeneous spaces. Math. USST Sbornik, 20 (2), pp. 249-266, (1973) [7] Igodt, P. and Malfait, W. The outer aulomorphism groups for almost Bieberbach groups of dimension < 4. (1994). Preprint. [8] Kamishima, Y., Lee, K. B., and Raymond, F. The Seifert construction and its applications $o infra-nilmanifolds. Quarterly J. of Math. (Oxford),

34, pp 433-452, (19s3) [9] Lavendhomme, R. and Roisin, J. R. Cohomologie non abdlienne de s~ructures algdbriques. Journal of Algebra, 67, pp. 385-414, (1980)

IGODT-MALFAIT

161

[10] Lee, K. B. There are only finitely many infra-nilmanifolds under each nilmanifold. Quart. J. Math. Oxford, (2) 39, pp. 61-66, (1988) [11] Lee, K. B. and Raymond, F. Seifert Manifolds Modelled on Principal Bundles. Transf. Groups (Osaka, 1987); Lect. Notes in Math., 1375 pp. 207-215, (1989) [12] Passman, D.S. The Algebraic Structure of Group Rings. Pure and Applied Math. John Wiley & Sons, Inc. New York, 1977 [13] Raghunathan, M. S. Discrete Subgroups of Lie Groups. Springer-Verlag, 1972 [14] Segal, D. Polycyclic Groups. Cambridge University Press, 1983

Katholieke Unlversiteit Leuven Campus Kortrijk Unlversltalre Campus B-8500 K O R T I ~ I J K (Belgium) E-mail: P a u l . I g o d t ~ k u l a k . a c . b e

(Received June 28, 1993; in revised form March 21,

1994)