Flat Bundles with Solvable Author(s): William M. Goldman and Morris W. Hirsch Source: Proceedings of the American Mathematical Society, Vol. 82, No. 3 (Jul., 1981), pp. 491- 494 Published by: American Mathematical Society Stable URL: http://www.jstor.org/stable/2043968 Accessed: 17/06/2010 04:23

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use.

Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=ams.

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected].

American Mathematical Society is collaborating with JSTOR to digitize, preserve and extend access to Proceedings of the American Mathematical Society.

http://www.jstor.org PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 82, Number 3, July 1981

FLAT BUNDLES WITH SOLVABLE HOLONOMY

WILLIAM M. GOLDMAN AND MORRIS W. HIRSCH

ABsTRAcT. Let G be a solvable linear Lie group. We show that for every flat pnncipal G-bundle { over a CW-complex M, there is a finite-sheeted covering spacep: M-3 M such that p*C is trivial as a principal G-bundle. This result is used to show that every affine manifold with solvable has a finite covering which is parallelizable.

In this note M denotes a connected manifold or CW-complex with fundamental group so and G denotes a Lie group. A bundle t over M with structure group G is virtually trivial if and only if there is a finite covering space p: M -- M such that p*t is a trivial bundle. We call t a flat G-bundle if the structure group has been reduced to a totally disconnected subgroup r c G, the holonomy group of the flat bundle. A vectorbundle is flat if the associatedprincipal bundle is flat. The following result is known to others (e.g. D. Sullivan[6]) but there seems to be no publishedproof. Our purposeis to supply one.

THEOREM1. Let ( be a flat over M whose holonomy group is finitely generated and contains a solvable subgroupof finite index. Then t is virtually trivial. The proof is based on THEOREM2. Suppose G is a solvable Lie grow with finitely many components, which admits a faithful matrix representation.Let t be a flat principal G-bundle over M whose holonomy group is finitely generated. Then ( is virtually trivial.

PROOF OF THEOREM1 FROMTHEOREM 2. Let ( be a flat vector bundle over M, induced by a representation4: X -* GL(n; R). Assumingthe hypothesesof Theo- rem 1, we may pass to a finite covering of M and assume that p(4r)is actually solvable. Note that a subgroup of finite index in a finitely generated group is finitely generated. Let G denote the Zariskiclosure of 0(47) in GL(n; R). Since any algebraicgroup has finitely many components and the Zariski closure of a solvable group is solvable, G satisfiesthe hypothesesof Theorem2. Thereforethe principalG-bundle inducedby 4:sr -* G is virtuallytrivial. Q.E.D. We briefly recall how a homomorphism h: X7-+ G induces a flat G-bundle, which we denote by h,. Let p: M -> M denote a universal covering and identify 7r as the group of deck transformations. Give Xr the diagonal action on M x G defined by

Received by the editors June 4, 1980 and, in revised form, September 24, 1980. 1980 Mathematics Subject Classification. Primary 55R15, 57R22, 22E25; Secondary 57R15, 58H99. Key words andphrases. Solvable Lie group, flat bundle, covering space, affine manifold. ? 1981 American Mathematical Society 0002-9939/81/0000-0337/$02.00 491 492 W. M. GOLDMAN AND M. W. HIRSCH y(x, g) = (yx, h(y)g). The orbit space (M x G)/'r is the total space of a flat G-bundleover M; the projectionsends the orbit of (x, g) to p(x). The holonomy groupis h(7r). The following well-known results will be used. For convenience we indicate proofs.

LEMMA3. Let h,: r -. G, 0 < t < 1, be a continuousfamily of homomorphisms. Then (ho)b and (hl)b are isomorphic G-bundles. In particular, (h,), is a trivial G-bundle if ho is the trivial homomorphism.

PROOF.There is a G-bundle ( over M x [0, 1] such that (IMx(t)is isomorphic to (h,)b.Apply the coveringhomotopy theorem. Q.E.D.

LEMMA4. Let 4): G -. H be a homomorphismwhich is a homotopy equivalence of Lie groups. Then hb is a trivial G-bundleprovided (4 o h), is a trivial H-bundle.

PROOF. Ss induces a homotopy equivalence of classifying spaces B4: BG -* BH. (In fact let EG -- BG be the universalprincipal G-bundle. Then H acts freely on the contractiblespace EH = (EG x H)/ G, where G acts on H via 4 and G acts diagonallyon EG x H. ThereforeEH -. (EH)/H is a universalbundle for H; but BH = (EH)/H is naturally identified with (EG)/G = BG. Thus we can take BH = BG.) Let f: M -. BG be the classifying map for hb (as a G-bundle).Then (B4)) o f: M -. BH classifies (j o h)b. Since (4 o h), is trivial, (B4) o f is null homotopic, and therefore,so isf. Q.E.D. PROOFOF THEOREM 2. Let t be induced by h: T- G with h(7r)= r. Let Go c G be the identity component.Then h-'G0 has finite index in ir. We may replaceJ by the induced bundle 4t over the covering space correspondingto h-'Go. The holonomy groupof to is r n Go c Go. Thereforewe may assume G is connected. The assumptionson G imply that the commutatorsubgroup G' is closed and contractible (see Hochschild [3, Chapter XVIII, Theorem 3.2D. Therefore the naturalhomomorphism 4: G -* G/ G' is a homotopy equivalence.It follows from Lemma 4 that t is virtuallytrivial provided(4) o h)bis virtuallytrivial. Therefore we may replace G by G/G'. Hence we assume that G is a connected abelian Lie group. Now F is a finitely generatedabelian group, so there is a free abelian subgroup Fo c F of finite index. Passing to the covering of M correspondingto h-1o, we assume P is free abelian. Let Ab:G -+ G be the universal covering group. Since P is free abelian and G is abelian,there is a homomorphism0: P -+ G with 'po 9 = identityof P. Considerthe commutativediagram

0 o h G

XT G h FLAT BUNDLES 493

Now G is a 1-connectedabeian Lie group; hence it is a vector group. For any t E R there is a homomorphismut: XT- G, y - t[(O o h)(y)]. Therefore , o ut: XT- G, 0 < t < 1, is a continuousfamily of homomorphismsconnecting the trivial homomorphismto h. It follows from Lemma3 that hbis trivial. Q.E.D. One particularcase of interestoccurs when M is an affine manifold,i.e. when M is locally modelled on an affine space so that overlappingcharts are identifiedby affine maps. In that case the tangent bundle of M is a flat vector bundle. From Theorem 1 we deduce the following:

COROLLARY 5. Let M be an affine manifold whose fundamental group is finitely generated and has a solvable subgroup of finite index. Then M is virtually paralleliz- able, i.e. M has a finite covering which is parallelizable.

It is an open questionwhether every affine manifoldis virtuallyparallelizable. In particularthis would imply the famous conjecture(posed by Chern)that the Euler characteristicof a compact affine manifold must vanish. This was proved in the complete case by Kostant and Sullivan[8]. Using examples of Milnor [4], Smillie has constructedexamples [5] of compact manifolds having nonzero Euler char- acteristic,whose tangentbundles are isomorphicto flat vector bundles.However it seems quite difficult to determinewhether the manifoldscan be made affine. Auslander and Szczarba[7] give an example of a 5-dimensionalcompact flat orientableRiemannian manifold with solvable fundamentalgroup, whose Stiefel- Whitneyclass w2 is nonzero.This shows that not all orientableaffine manifoldsare stablyparallelizable. In [2] Hirschand Thurstonprove the followingrelated result: Letp: E -+ M be a bundle with compact fiber X and structuregroup F c Homeo(X). Supposethat p is induced by a representation4: 771(M)-> F and F is amenable (e.g. a finite extensionof a solvablegroup). Then the inducedhomomorphismp*: H*(M; R) -+ H*(E; R) is injective.This is in some sense a cohomologicalversion of Theorem2 when the structuregroup is not a Lie group G as above. Using considerablydeeper methods than these used here, Deligne and Sullivan [1] prove the sharpresult that if { is a flat complexvector bundle (i.e. a C"-bundle induced by a representationp: w1(M) -> GL(n; C)) over a compactpolyhedron M, then ( is virtuallytrivial. As noted above there are flat real vector bundles (see [4]) which have nonzero Euler class and hence are nontrivialover any finite covering.

REFERENCES

1. P. Deligne and D. Sullivan, Fibres vectoriels a groupe structural discret, C. R. Acad. Sci. Paris 281 (1975), 1081-1083. 2. M. Hirsch and W. Thurston, Foliated bundles, invariant measures and flat manifolds, Ann. of Math. (2) 101 (1975), 369-390. 3. G. Hochschild, The structure of Lie groups, Holden-Day, San Francisco, Calif., 1965. 4. J. Milnor, On the existence of a connection with zero, Comment Math. Helv. 32 (1958), 215-223. 5. J. Smillie, Flat manifolds with nonzero Euler characteristic, Comment Math. Helv. 52 (1977), 453-456. 6. D. Sulihvan,Conversation with W. Goldman, February, 1980. 494 W. M. GOLDMAN AND M. W. HIRSCH

7. L Auslanderand R. H. Szczarba,Characteristic classes of compact solomawfolds, Ann. of Math.(2) 76 (1962), 1-8. 8. B. Kostant and D. Sullivan,The Euler characteristic of an affine space form is zero, Bull. Amer. Math. Soc. 81 (1975),937-938.

DEPARTMENToF MATmmATcs, UNEIVsrry oF CAIwomIm, BERKBBY,CAuwoRmiA 94720 (Current addressof M. W. Hirsch)

Currentaddress (W. M. Goldman): Department of Mathematics, Massachusetts Institute of Technol- ogy, Cambridge,Massachusetts 02139