We show that under certain assumptions, the measurable cohomology class of the linear holonomy cocycle of a foliation yields information about the characteristic classes of the foliation. Combined with the results of a previous paper, this yields vanishing theorems for characteristic classes of certain actions of lattices in higher rank semisimple Lie groups. Let F be a discrete group acting by diffeomorphisms on a smooth compact manifold M. Associated to this action are certain characteristic classes in H (F, R), which are constructed as characteristic classes of a natural foliation associated to the group action. The action of F on M induces an action of F on the principal frame bundle P(M) of M and the characteristic classes of the action can be interpreted as obstructions to the existence of invariant geometric structures on M, i.e., principal subbundles of P(M) invariant by the F-action. If F is a lattice in a higher rank semisimple Lie group, then F has strong rigidity properties (see, e.g., [M, Z1]). In an earlier paper [S], we showed, using techniques from ergodic theory, that for a certain class of F-actions there is always an invariant measurable reductive geometric structure, i.e., a measurable principal subbundle with reductive structure group, which is invariant by the F-action. Moreover, the noncompact semisimple part of this reductive group is locally isomorphic to a semisimple factor of the ambient Lie group of F [Zi]. Zimmer [Z3] recently proved this result for a large class of actions (which does not a priori include the class of actions considered in [S]). A natural question is whether these results remain true in the smooth category. The purpose of this paper is to show that the characteristic classes, which obstruct a smooth geometric structure, vanish in the presence of a measurable geometric structure. Explicitly, we have Main Theorem. Let (M, Y) be a codimension n, C 2-foliated manifold and suppose that the linear holonomy cocycle is measurably equivalent to a locally tempered cocycle taking values in a subgroup H c GL(n, R) which is stable under transpose. Then the Weil homomorphism X: H'(g[(n), 0(n)) -Hc(M, Yi) Received by the editors February 24, 1989. 1980 Mathematics Subject Classification (1985 Revision). Primary 57R32; Secondary 57S20. Research partially supported by an Alfred P. Sloan Dissertation Fellowship. ? 1991 American Mathematical Society 0002-9947/91 $1.00 + $.25 per page
Read full abstract