Characteristic classes of foliations

I recently learned from Jim Carlson’s blog of the passing of Harsh Pittie on January 16 this year. I never met Harsh, but he is very familiar to me through his work, in particular for his classic book Characteristic classes of foliations. I first encountered this book as a graduate student, late last millenium. The book has several features which make it very attractive. First of all, it is short — only 105 pages. My strong instinct is always to read books cover-to-cover from start to finish, and the motivated reader can go through Harsh’s book in its entirety in maybe 4 hours. Second of all, the exposition is quite lovely: an excellent balance is struck between providing enough details to meet the demands of rigor, and sustaining the arc of an idea so that the reader can get the point. Third of all, the book achieves a difficult synthesis of two “opposing” points of view, namely the (differential-)geometric and the algebraic. In fact, this achievement is noted and praised in the MathSciNet review of the book (linked above) by Dmitri Fuks.

I thought it would be a nice idea to discuss some pieces of the theory in a blog post (note that I have made no attempt to bring the material “up to date”). There are two starting points for the theory; the first is the work of Gelfand-Kazhdan on formal vector fields, which establishes the existence of a natural homomorphism H^*(W_p) \to H^*(J^1M) where J^1M is the frame bundle (i.e. the bundle of 1-jets) of a p-dimensional manifold M, and W_p is the Lie algebra of formal vector fields on \mathbb{R}^p. The second is the work of Godbillon-Vey who discovered a 3-dimensional characteristic class associated to a codimension 1 foliation on a manifold, which is a kind of transgression of a characteristic class of the normal bundle Q. These ideas were synthesized by the work of Bernstein-Rosenfeld, who showed how to construct a homomorphism H^*(W_p) \to H^*(J^1Q). Classes in the image can be integrated over the fiber to produce characteristic classes on M, of which the simplest is the Godbillon-Vey invariant.

The Godbillon-Vey invariant of a codimension 1 foliation \mathcal{F} on a 3-manifold M can be described using an auxiliary Riemannian metric. Under holonomy transport, leaves spread apart from each other infinitesimally; the logarithmic derivative of a transverse measure (i.e. the multiplicative rate of spreading apart of leaves) defines a vector field X tangent to \mathcal{F}. The Godbillon-Vey form measures the infinitesimal rate at which X spins as one moves transverse to \mathcal{F}; Thurston famously called this “helical wobble”. If one uses the metric to make X dual to a 1-form \alpha then the Godbillon-Vey form \alpha \wedge d\alpha measures how non-integrable \alpha is, and the Godbillon-Vey invariant is the integral of this form over M. For example, if M=UTS, the unit tangent bundle of a hyperbolic surface with its stable foliation (see this post), then X is the geodesic flow itself (up to a change of orientation), and the Godbillon-Vey invariant is the volume of UTS (up to a nonzero constant). The figure below (taken from Thurston’s paper) shows such an example of constant helical wobble locally.

The differential-geometric approach to constructing foliated characteristic classes goes via connections and curvature. Let’s fix a manifold M and a codimension p foliation \mathcal{F}. The issue of smoothness is very important for foliations, so for simplicity assume that the tangent field to the foliation is a C^\infty distribution E, and let Q:=TM/E denote the normal bundle. Dual to Q is Q^*, the collection of 1-forms on M whose kernel contains E (pointwise). Working with Q^* in place of Q makes it easier to use the language of differential algebra. The crucial property of the sections \Gamma(Q^*) is that they generate a differential ideal; i.e. if \omega_i are forms which locally give a basis for Q^* at each point in an open neighborhood U, then each d\omega_i can be expressed as a linear combination d\omega_i = \sum_j \theta_{ij}\wedge \omega_j for certain 1-forms \theta_{ij}. This statement is equivalent (and dual) to Frobenius’s theorem, which characterizes the integrability of a distribution E (i.e. the property that it should be tangent to a foliation) precisely by saying that sections \Gamma(E) form a Lie algebra: i.e. for sections X,Y \in \Gamma(E) we have [X,Y] \in \Gamma(E). This property of \Gamma(Q^*) enables one to construct a certain connection on Q^* which is said to be torsion-free. Recall that a connection \nabla on T^*M defines a map

\nabla: \Omega^1(M) \to \Omega^1(M) \otimes \Omega^1(M)

and it is said to be torsion-free if the composition with the antisymmetrizing map \wedge \circ \nabla: \Omega^1(M) \to \Omega^2(M) coincides with exterior d. In local coordinates therefore one can define a connection on Q^* by the formula

\nabla(\omega_i) = \sum_j \theta_{ij}\otimes \omega_j \in \Omega^1(M)\otimes \Gamma(Q^*)

and observe that integrability implies that this connection is torsion-free. Taking convex combinations of connections defined on open neighborhoods (by using a partition of unity) preserves the torsion-free property (since both \nabla and exterior d satisfy the Leibniz formula) and one thereby obtains a torsion-free connection on Q^*. Differentiating the equation d\omega_i = \sum_j \theta_{ij}\wedge \omega_j gives

0 = \sum_j d\theta_{ij}\wedge \omega_j - \sum_j\theta_{ij}\wedge (\sum_k \theta_{jk}\wedge \omega_k)

=\sum_k(d\theta_{ik} - \sum_j \theta_{ij}\wedge\theta_{jk}) \wedge \omega_k = \sum_k K_{ik}\wedge\omega_k

where K_{ik} is the i,k entry in the curvature of the connection \nabla. This last equation implies that K_{ik} is in the (differential) ideal generated by the \omega_j, and therefore any homogeneous polynomial in the K_{ij} of degree >p is identically zero. This observation is due to Bott, and implies (for example) that the (rational) Pontriagin classes of the normal bundle of a smooth foliation of codimension p vanish in degrees >2p.

On the other hand, we can choose a Riemannian connection \nabla' on Q^* (this does not make any use of integrability at all), and then the associated curvature matrix K_{ij}' will be skew-symmetric. In particular, the invariant homogeneous polynomials in K_{ij}' of odd degree will vanish identically (this is just the usual observation that the odd rational Chern classes of a real vector bundle vanish). If we let c_i and c_i' denote the differential forms on M of dimension 2i representing the Chern classes associated to the connections \nabla and \nabla' respectively (i.e. they are, up to a constant, pointwise the ith coefficients of the characteristic polynomial of the K_{ij} and K_{ij}' respectively), then c_i' is identically zero for i odd, and every polynomial in the c_i of total degree > p is also identically zero. Now, Chern showed that for any two connections on a bundle, the difference of the associated Chern forms is exact, and is exterior d of a canonical form of one dimension lower. To see this in our context, let \tilde{\nabla} be a connection on the pullback of Q^* to M \times[0,1] restricting to \nabla,\nabla' on M\times\lbrace 0,1\rbrace, let \tilde{c}_i be the associated Chern class, and let u_i be the integral of \tilde{c}_i along the fibers point \times [0,1]. Then u_i is a form on M satisfying du_i=c_i-c_i'.

We define WO_p to be the following differential graded algebra:

WO_p = \Lambda(u_1,u_3,\cdots,u_{2\ell+1})\otimes \mathbb{R}(c_1,c_2,\cdots,c_p)/\text{ideal of degree}>2p

where \ell=\lfloor p/2\rfloor, and where u_{2i-1} has degree 4i-3, and c_i has degree 2i, and the differential is given by du_i=c_i and dc_i=0. A choice of a pair of connections \nabla,\nabla' determines a map of dgas from WO_p to \Omega^*(M), and the induced map on cohomology H^*(WO_p) \to H^*(M) is independent of all choices. The images are the characteristic classes of the foliation. For example, if p=1 then the Godbillon-Vey class is the image of u_1c_1.

The algebro-geometric approach goes via formal vector fields, thought of as living on the local “space of leaves”. In every sufficiently small open ball U on M, there is a submersion f:U \to \mathbb{R}^p for which the kernel is precisely E. So we can identify \Gamma(Q^*) with forms on \mathbb{R}^p locally. Consider the principal GL_p (frame) bundle \pi:P(Q) \to M whose fiber at each point is a basis for Q at that point. There is a canonical trivialization of the pullback \pi^*(Q); for each x\in M, a point y\in \pi^{-1}(x) is a frame for Q_x, and the fiber of \pi^*(Q) over y is itself a copy of Q_x, so one can trivialize it by the tautological frame y. Dualizing, we obtain p canonical sections \omega_i of \pi^*(Q^*)\subset T^*P(Q). Since exterior d commutes with projection, these generate a differential ideal in \Omega^*P(Q) so there are forms \theta_{ij} \in \Omega^1P(Q) with d\omega_i = \sum \theta_{ij}\wedge \omega_j. The form \theta_{ij} is not unique, but there is a canonical choice if we first pull back to a further bundle J^2(Q) over P(Q), namely the “bundle of 2-jets”. In fact, one can reinterpret P(Q) as J^1(Q), the bundle of 1-jets, and consider it as the first step in a tower of bundles

\cdots \to J^{i+1}(Q) \to J^i(Q) \to J^{i-1}(Q) \to \cdots

where the fiber of J^i(Q) over x\in M keeps track of the derivatives of order \le i of a local submersion to \mathbb{R}^p sending x to 0. The conclusion is that we obtain canonical 1-forms \theta_{ij} on J^2(Q) satisfying d\omega_i = \sum \theta_{ij}\wedge \omega_j, canonical 1-forms \theta_{ijk} on J^3(Q) satisfying d\theta_{ij} = \sum \theta_{ijk}\wedge \omega_k + \sum \theta_{ik} \wedge \theta_{kj} and so on (each form on J^i pulls back to a form of the same name on all J^j with j>i which is where these formulae hold). Let L_p denote the Lie algebra, which is a module on p generators \partial/\partial x_i over the ring of formal power series on \mathbb{R}^p, with Lie bracket defined (formally) in the obvious way. We can think of L_p as the Lie algebra of formal vector fields on \mathbb{R}^p. The continuous dual L_p^* (with respect to the obvious topology) has a basis consisting of the forms \omega_i,\theta_{ij},\theta_{ijk},\cdots, and there is a differential graded algebra \Lambda^*(L_p^*) obtained by dualizing the Lie bracket. From the discussion above, there is a map of dgas \Phi:\Lambda^*(L_p^*) \to \lim_{n\to\infty} \Omega^*(J^n(Q)) and thereby a map on cohomology \Phi^*:H^*(L_p^*) \to H^*(J^{\infty}(Q)). Now, topologically, the fiber of each fibration J^{i+1}(Q) \to J^i(Q) is contractible for i\ge 1, so at the level of cohomology we may identify H^*(J^{\infty}(Q)) with H^*(J^1(Q)). Dual to projection there is a map H^*(M) \to H^*(J^1(Q)) identifying the (de Rham) cohomology of M with the cohomology of the complex of GL_p-invariant forms on H^*(J^1(Q)). Up to homotopy we can replace GL_p by O_p; the Lie algebra o_p of O_p sits inside L_p in an obvious way (by thinking of elements of o_p as vector fields on \mathbb{R}^p and thence as formal vector fields), and we obtain a map H^*(L_p^*,o_p^*) \to H^*(M). The relation to the discussion above is that there is a canonical isomorphism of H^*(L_p^*,o_p^*) with H^*(WO_p) defined above.

This (highly abbreviated) discussion brings us roughly to the end of the third chapter of Harsh’s book. A fourth chapter discusses how to measure the variation of the characteristic classes in families of foliations. There is also an appendix, giving a short exposition of the Chern-Weil theory of (ordinary) characteristic classes, and another appendix on the cohomology of Lie algebras. Composing this blog post gave me an excuse to read Harsh’s book again (for the first time in quite a few years), and I must say it was every bit as good as I remember. Mathematics is a conversation in which the participants might be separated by unbridgeable distances in space or in time, but it is some consolation to know that we will still have the opportunity — through our work — to take part in this conversation once we are gone.

This entry was posted in Foliations, Geometric structures, Lie groups and tagged , , , . Bookmark the permalink.

One Response to Characteristic classes of foliations

  1. Pingback: Mathblogging.org Weekly Picks « Mathblogging.org — the Blog

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s