Flat Bundles with Solvable Holonomy II

Flat Bundles with Solvable Holonomy II

Flat Bundles with Solvable Holonomy 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 fundamental group 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 vector bundle 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.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    5 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us