arxiv:math.dg/ v2 25 Mar 2001

Transcription

1 Differentiable cyclic cohomology and Hopf algebraic structures in transverse geometry Alain Connes 1 and Henri Moscovici 2 arxiv:math.dg/ v2 25 Mar Collège de France, 3, rue Ulm, Paris and I.H.E.S., 35, route de Chartres, Bures-sur-Yvette 2 Department of Mathematics, The Ohio State University 231 West 18th Avenue, Columbus, OH , USA Dedicated to André HAEFLIGER, whose philosophy of differentiable cohomology has inspired the present paper Abstract We prove a cyclic cohomological analogue of Haefliger s van Esttype theorem for the groupoid of germs of diffeomorphisms of a manifold. The differentiable version of cyclic cohomology is associated to the algebra of transverse differential operators on that groupoid, which is shown to carry an intrinsic Hopf algebraic structure. We establish a canonical isomorphism between the periodic Hopf cyclic cohomology of this extended Hopf algebra and the Gelfand-Fuchs cohomology of the Lie algebra of formal vector fields. We then show that this isomorphism can be explicitly implemented at the cochain level, by a cochain map constructed out of a fixed torsion-free linear connection. This allows the direct treatment of the index formula for the hypoelliptic signature operator representing the diffeomorphism invariant transverse fundamental K-homology class of an oriented manifold in the general case, when this operator is constructed by means of an arbitrary coupling connection. The second author has conducted part of this work during employment by the Clay Mathematics Institute, as a CMI Scholar in residence at Harvard University. His research is supported in part by the U.S. National Science Foundation award no. DMS and the U.S.-Israel Binational Science Foundation award no

2 Introduction The local index formula for hypoelliptic differential operators in a diffeomorphism invariant setting [9] expresses the Chern character of such operators in terms of a particular kind of cocycles of the cyclic bicomplex, satisfying a property analogous to that involved in Haefliger s definition of differentiable cohomology for the groupoid of germs of diffeomorphisms on a manifold [16]. Applying it to the transverse index problem on foliations, we have shown in [10] that, if the complete transversal is chosen to be an affine flat manifold, the differentiable cocycle representing the Chern character of such an operator is automatically in the range of a natural characteristic map, originating from the cyclic cohomology of a Hopf algebra H n canonically associated to Diff (R n ). In turn, the periodic Hopf cyclic cohomology of H n and its SO(n)-relative version were shown to be canonically isomorphic to corresponding Gelfand-Fuchs cohomologies of formal vector fields. The upshot was proving that, in cohomological form, the index formula for transversely hypoelliptic operators on foliations can be expressed in terms of Gelfand-Fuchs classes, transported via the characteristic map. In this paper we incorporate ab initio the curvature into our approach and thus dispense with the geometrically unsatisfactory flatness condition on the transversal. The new device that allows the direct treatment of the curved case is a thickened version H FM of the Hopf algebra H n. If one regards H n as an algebra of transverse differential operators with constant coefficients, H FM should be viewed as the algebra of transverse differential operators with variable coefficients on FM Γ M, the étale groupoid of germs of diffeomorphisms of a given n-manifold M lifted to its frame bundle FM. The algebra H FM is naturally a bimodule over the coefficient ring R FM = C (FM) and it affords a Hopf structure only in an extended sense, the coproduct taking values in the tensor product over R FM. Like its precursor H n, H FM too gives rise to a natural cyclic module, consisting of (R FM, R FM )-bimodules of multidifferential operators. The main result of this paper, which can be viewed as a cyclic cohomological analogue of Haefliger s van Est-type theorem for the groupoid of germs of diffeomorphisms of M [16, Theorem IV.4], establishes a canonical isomorphism between the periodic Hopf cyclic cohomology of H FM and the Gelfand-Fuchs cohomology of the Lie algebra of formal vector fields on R n, as well as between their corresponding relative versions. This isomorphism 2

3 is implemented at the cochain level by a cochain map manufactured out of a given torsion-free connection. In this way we exhibit a purely geometric construction, tracking the displacement of the connection and curvature forms under diffeomorphisms, for the cyclic cohomological counterparts of the classical Chern and secondary classes of foliations ([1], [15]). Acknowledgment. We express our thanks to Georges Skandalis, for his critical reading of the manuscript and for his insightful comments. 1 The algebra H FM We begin by introducing H FM, as an algebra of transverse differential operators on the smooth étale groupoid associated to the diffeomorphisms of the base manifold acting on its frame bundle. Let M be a smooth n-manifold and let FM denote the bundle of frames on M. We denote by Γ M the pseudogroup of all local diffeomorphisms of M; its elements are partial diffeomorphisms ψ : Domψ Ranψ, with both the domain Domψ and range Ranψ open subsets of M. The prolongation to FM of a partial diffeomorphism ψ Γ M will be denoted by ψ. The set of all pairs (u, ϕ) with ϕ Γ M and u Ran ϕ will be denoted FM Γ M. We next form the associated smooth étale groupoid of germs of lifted diffeomorphisms FM Γ M := { [u, ϕ] ; ϕ Γ M, u Ran ϕ }, where [u, ϕ] stands for the class of (u, ϕ) FM Γ M with respect to the equivalence relation which identifies (u, ϕ) and (v, ψ) if u = v and ϕ 1 coincides with ψ 1 on a neighborhood of u. The corresponding source and target maps are s[u, ϕ] = ϕ 1 (u) Dom ϕ, resp. t[u, ϕ] = u, and the composition rule is [u, ϕ] [v, ψ] = [u, ϕ ψ], if v Dom ϕ and ϕ(v) = u. We let A A FM := C c (FM Γ M ) 3

4 denote its convolution algebra. From a practical standpoint, it is convenient to regard A FM as being linearly spanned by monomials of the form f U ψ, with f C c (Dom ψ), where the asterisk stands for the inverse, with the understanding that f 1 U ψ 1 f 2 U ψ 2 iff f 1 = f 2 and ψ1 V = ψ 2 V, where V is a neighborhood of Supp(f i ), i = 1 or 2. The multiplication rule for such monomials is given by f 1 U ψ 1 f 2 U ψ 2 = f 1 (f 2 ψ 1 ) U ψ 2 ψ 1 ; note that, by hypothesis, the support of f 1 (f 2 ψ 1 ) is a compact subset of 1 Dom ψ 1 ψ 1 (Dom ψ 2 ) Dom( ψ 2 ψ 1 ). The function algebra R R FM := C (FM) acts in two ways on A, by left multiplication operators and by right multiplication operators α(b)(f Uψ ) = b f U ψ, b R, (1.1) β(b)(f U ψ) = f U ψ b = b ψ f U ψ, b R. (1.2) On the other hand, any vector field Z on F can be extended to a linear transformation, although no longer a derivation in general, Z L (A), by setting Z(f Uψ ) = Z(f) U ψ, f U ψ A. (1.3) The following definition can be easily adapted to cover the case of an arbitrary base manifold. However, for the simplicity of the exposition, we shall assume from now on that the manifold M admits a finite atlas. Definition 1 A transverse differential operator on the groupoid FM Γ M is an element of the subalgebra of linear operators on A H H FM L (A FM ) 4

5 generated by the transformations (1.1), (1.2) and (1.3). A p-differential operator on FM Γ M is a p-linear transformation H on A FM with values in A FM, of the form H(a 1,..., a p ) = r h 1 i (a1 ) h p i (ap ), a 1,..., a p A FM, (1.4) i=1 with h 1 i,...,hp i H FM. The adjective transverse is meant to emphasize the distinction between this notion and that of longitudinal or invariant (pseudo)differential operator of [4] (cf. also [20] for a systematic treatment of the latter in the context of Lie algebroids.) There are two built-in algebra homomorphisms α : R H and β : R H, whose images commute α(b 1 ) β(b 2 ) = β(b 2 ) α(b 1 ), b 1, b 2 R; (1.5) we shall view H as an (R, R)-bimodule with the left action of R given by left multiplication via α and the right action given by left multiplication via β. More generally, for any p 1, the space of p-differential operators on FM Γ M H [p] H FM [p] (1.6) can be endowed with an (R, R)-bimodule structure in a similar fashion, via left multiplication by means of α, respectively β. The remainder of this section will be devoted to the proof of two pivotal results, clarifying the structure of these bimodules. We fix a torsion-free connection on FM, with connection form ω = (ω i j). We denote by θ = (θ i ) the canonical form θ u (Z) = u 1 (π (Z)), Z T u FM, where π : FM M is the projection and the frame u FM is viewed as an isomorphism of vector spaces u : R n T π(u) M. Let X 1,..., X n be the standard horizontal vector fields corresponding to the standard basis of R n and {Y j i } the fundamental vertical vector fields corresponding to the standard basis of gl(n, R), such that {X k, Y j i } and {θk, ωj i} 5

6 are dual to each other. Since {X k u, Y j i u} form a basis of T u FM for every u FM, as an algebra, H is generated by α(r), β(r) and the endomorphisms of A associated to the vector fields X k and Y j i (cf. (1.3)). The usual commutation relations for the vector fields associated to a torsion-free connection continue to hold in H: [Y j i, Y l k ] = δj k Y l i δ l i Y j k, [Y j i, X k] = δ j k X i, (1.7) [X k, X l ] = α(r i jkl)y j i, where the functions Rjkl i given connection by R are related to the curvature form Ω of the Ω i j = k<l R i jkl θk θ l, R i jkl = Ri jlk. Also, for any b R one has [Y j i, α(b)] = α(y j i (b)), [X k, α(b)] = α(x k (b)). (1.8) On the other hand, the commutators between the standard horizontal vector fields and β(r) introduce new operators acting on A. Indeed, while the fundamental vector fields are Γ M -invariant and therefore [Y j j i, β(b)] = β(yi (b)), (1.9) for the standard horizontal vector fields one has, with the usual summation convention, U ϕ X k Uϕ X k = ρ i jk Y j i ; (1.10) the coefficients ρ i jk, which are functions on FM Γ M involving the second order jet of the local diffeomorphism, can be alternatively expressed as It then follows that ρ i jk = γi jk ϕ 1, with γ i jk = ϕ ω j i, X k. (1.11) [X k, β(b)] = β(x k (b)) + β(y j i (b)) δi jk, (1.12) 6

7 where δ i jk L (A) are the operators of multiplication by the functions γi jk C (FM Γ M ), δ i jk(f U ϕ) := γ i jk f U ϕ = f U ϕ ρ i jk. (1.13) Lemma 2 The operators δjk i are transverse differential operators on the étale groupoid FM Γ M. Proof. Due to the existence of a finite atlas on M and using a partition of unity argument, it suffices to show that β(χ π) δ i jk H for any function χ C c (M) with support in a coordinate chart U M. Equation (1.12) ensures that β ( Y j i (b)) β(χ π) δjk i H, b R. (1.14) Choose b M n (R) such that, in local coordinates u = (x k, y j i ) on π 1 (U), Then b(u) = y. Y j i (bs l ) π 1 (U) = y r i y r j (y s l ) = ys i δj l. (1.15) We now choose d M n (R) such that its restriction to π 1 (U) is From (1.15) it follows that d(u) = y 1. β(d r s) β ( Y j i (bs l) ) β(χ π) δ i jk = β(χ π) δ r lk, and by (1.14) the left hand side belongs to the algebra H. An equivalent form for the equation (1.11) is ϕ ω ω = γ θ ; (1.16) from this it easily follows that, as a vector valued function on the frame bundle, γ is tensorial with respect to the right action of the structure group 7

8 GL + (n, R). At the infinitesimal level, this translates into the following expressions for the commutators between the Y i j and δk lm : [Y i j, δk lm ] = δi l δk jm + δi m δk lj δk j δi lm, (1.17) The commutators with X k however yield new operators, involving higher order jets of diffeomorphisms: δjk,l i 1...,l r = [X lr,...[x l1, δjk i ]...] ; (1.18) these operators, acting on A, have the form δjk,l i 1...,l r (f Uϕ ) = γi jk,l 1...l r f Uϕ, γi jk,l 1...l r = X lr X l1 (γjk i ). (1.19) In particular, they form an abelian subalgebra and also commute with image of R through both maps α and β. We are now ready to prove the main results of this section. Recall that H is viewed as an (R, R)-bimodule under the left action of R via multiplication by the image of α, resp. β. Proposition 3 The (R, R)-bimodule H is free over R R. The choice of a torsion-free connection on F M gives rise to a Poincaré-Birkhoff-Witt-type basis of H over R R. Proof. Once the connection ω is fixed, we use the same notation as above for the associated generators of the algebra H. In addition, we shall need to employ two kinds of multi-indices, whose entries form an increasing sequence with respect to the obvious lexicographic order. The first kind are of the form { ( ) ( )} j1 jq I = i 1 i p ;, while the second kind of the form {( ) i1 κ = j 1 k 1 ; l l1 p 1 With this notation, we set k 1 ( ir k q j r k r ; l r 1... lr p r )}. Z I = X i1...x ip Y j 1 k 1...Y jq k q and δ κ = δ i 1 j 1 k 1...δ ir ;l l1 j p r k 1 r;l. r 1...lr pr 8

9 Using the relations (1.7)-(1.9), (1.12), Lemma 2, (1.17) and (1.18), it is easy to check that the collection {δ κ Z I }, where I and κ are multi-indices of the first and second kind respectively, forms a generating set of H over R R. We thus only need to prove that α(l I,κ ) β(r I,κ ) δ κ Z I = 0 l I,κ r I,κ = 0, (I, κ). (1.20) I,κ Evaluating the expression in (1.20) on an arbitrary element f Uϕ A one gets for any u FM l I,κ (u) r I,κ (v) γ κ (u, ϕ) (Z I f)(u) = 0, v = ϕ(u). (1.21) I,κ Let us fix, for the moment, u 0, v 0 FM and set Γ (1) (u 0, v 0 ) = {ϕ Γ M ; ϕ(u 0 ) = v 0 }. By varying ϕ Γ (1) (u 0, v 0 ), we shall first prove that (1.21) implies that, for any fixed multi-index of the second kind κ and for any function f C c (FM) supported around u 0, one has l I,κ (u 0 ) r I,κ (v 0 ) (Z I f)(u 0 ) = 0. (1.22) I Let Φ u0 : R n u 0 T x0 M exp x 0 M be normal coordinates around x0 = π(u 0 ) and similarly around y 0 = π(v 0 ). Clearly, ϕ Γ (1) (u 0, v 0 ) iff Φ 1 v 0 ϕ Φ u0 Diff (1) 0 := the pseudogroup of all local diffeomorphisms ψ of R n such that their first order jet at 0 satisfies j0 1(ψ) = j1 0 (Id)}. In normal coordinates and using the customary notation (see [10], also [25], for more detailed local calculations), one has: Y j i = y µ i y µ j y µ i j µ, (1.23) and γ k ij (x, y, ψ) = X k = y µ k ( µ Γ ν αµ yα j j ν ), (1.24) ) ( Γν αµ (x) Γν αµ (x) yj α yµ i (y 1 ) k ν (1.25) 9

10 where Γ ν αµ (x) = ( ψ(x) 1 ) ν δ Γδ εζ (ψ(x)) α ψ(x) ε µ ψ(x) ζ + ( ψ(x) 1 ) ν δ µ α ψ(x) δ. (1.26) Since, by the very choice of local coordinates, Γ ν αµ (0) = 0, it follows from (1.26) that Γ ν αµ(0) = δ γ δ Γδ εζ(0) δ ε α δ ζ µ + δ γ δ ( µ α ψ d )(0) = ( µ α ψ ν )(0). Therefore, by (1.25), ψ Diff (1) 0, one has γ k ij(0, y, ψ) = µ α ψ ν (0) y α j y µ i (y 1 ) k ν, (1.27) just like in the affine flat case [10]. We can now prove (1.22) by induction on the height κ of the multiindex κ, i.e. the number p of indices in δ i jk;l 1...l p, counting the number of commutators with X l. From (1.24)-(1.26) it follows that the top degree component of the jet of ψ occuring in the expression is of the form X lp...x l1 (γjk i )(0, y, ψ) ( l1... lp ψ ν (0)) (y ) (y 1 ). By first choosing ψ with j p 1 0 (ψ) = j p 1 0 (Id), we can reduce to the situation κ = p, when the equations look just like in the flat case. We can then vary the p-th jet of ψ to get the vanishing of its coefficient and thus drop the height. We are now reduced to proving that if u, v FM, l I (u) r I (v) (Z I f)(u) = 0, f Cc (FM), I then, for all indices I of the first kind, one has l I r I = 0. This can be done by induction, in the same manner as before, using (1.23) and (1.24). Alternatively, it also follows from the Poincaré-Birkhoff-Witt theorem for Lie algebroids ([23], [20]), applied to TFM. 10

11 Proposition 4 There is a unique isomorphism of vector spaces T : H R p H R... R H }{{} p-times H [p], where H [p] (cf. (1.4), (1.6)) is the space of transverse p-differential operators, such that h 1,..., h p H and a 1,...,a p A, T(h 1 R... R h p ) (a 1,...,a p ) = h 1 (a 1 ) h p (a p ). (1.28) Proof. The assignment given by (1.28) clearly extends by linearization to a well-defined epimorphism T : H R p H [p]. It remains to prove that Ker T = 0. Assume therefore that h i 1 (a 1 ) h i p (a p ) = 0, a 1,...,a p A. (1.29) i After fixing a Poincaré-Birkhoff-Witt (R, R)-basis {B J = δ κ Z I ; J = I κ} of H as above, we may express each h j i under the form h i j = J α(l i,j j ) β(r i,j j ) B J, with l i,j j, r i,j j R. By the hypothesis (1.29), for any f 1 Uϕ 1,...,f p Uϕ p A, l i,j 1 1 B J1 (f 1 Uϕ 1 ) r i,j 1 1 l i,j 2 2 B J2 (f 2 Uϕ 2 )...r i,j p 1 p 1 l i,jp p B Jp (f p Uϕ p ) rp i,jp 0. Evaluating the left hand side at u 0 FM and setting one gets: l i,j 1 1 (u 0 ) r i,j 1 1 (u 1 ) l i,j 2 u 1 = ϕ 1 (u 0 ), u 2 = ϕ 2 (u 1 ),..., u p = ϕ p (u p 1 ) (u p 1 ) r i,jp p (u p ) 2 (u 1 )...r i,j p 1 p 1 (u p 1 ) l i,jp p γ κ1 (ϕ 1, u 0 ) γ κ2 (ϕ 2, u 1 )...γ κp (ϕ p, u p 1 ) Z I1 (f 1 )(u 0 ) Z I2 (f 2 )(u 1 )... Z Ip (f p )(u p 1 ) = 0. Following the same line of arguments as in the preceeding proof, we infer that J 1,...,J p one has i l i,j 1 1 (u 0 ) r i,j 1 1 (u 1 ) l i,j 2 2 (u 1 )...r i,j p 1 p 1 (u p 1 ) l i,jp p (u p 1 ) rp i,jp (u p ) = 0. (1.30) 11

12 We now choose a basis {b λ } N λ=1 of the finite-dimensional subspace of R generated by the functions l i,j k k, r i,j k k and express them as linear combinations, with constant coefficients, of the basis elements: l i,j 1 1 = λ 1 c i,j 1,λ 1 1 b λ1 r i,j 1 1 l i,j 2 2 = λ 2 c i,j 1,J 2,λ 2 2 b λ2... r i,j p 1 p 1 l i,jp p = λ p c i,j p 1,J p,λ p p b λp r i,jp p = λ p+1 c i,jp,λ p+1 p+1 b λp+1. From (1.30) it then follows that λ 1,...,λ p+1 We can conclude that i h i 1 R... R h i p = i,j α(li,j 1 1 )B J1 R α(r i,j 1 1 l i,j 2 = J,λ i c i,j 1,λ 1 1 c i,j 1,I 2,λ 2 2 c i,jp,λ p+1 p+1 = 0. (1.31) 2 )B J2 R... R α(r i,j p 1 p 1 l i,jp p )β(rp i,jp )B Jp i c i,j 1,λ c i,jp,λ p+1 p+1 α(b λ1 ) B J1 R... R α(b λp ) β(b λp+1 ) B Jp = 0, by (1.31). Remark 5 The algebra H FM acts naturally on the frame bundle FG of every smooth étale groupoid G over M. Moreover, if G is full, in the sense that the natural map from G to the groupoid of jets of diffeomorphisms of M has dense range (i.e. surjects on k-jets for every positive integer k), then H FM is completely determined by its action on G. Indeed, the proof of Proposition 3 remains unchanged if in Definition 1 one replaces the algebra C c (FM Γ M ) by C c (G). 12

13 2 The Hopf algebraic structure of H FM We devote this section to the description of the intrinsic Hopf structure carried by the algebra H = H FM. It fits the pattern of the definition of a Hopf algebroid, cf. [22, Appendix 1] and [18], with H as the total algebra and R as the base algebra. The source and target homomorphisms α : R H, resp. β : R H, obey the commutation property (1.5) and confer to H its (R, R)-bimodule structure. In order to define the coproduct, we first note that the generators of H satisfy product rules when acting on A. Indeed, one easily checks that, for any a 1, a 2 A, one has α(l) (a 1 a 2 ) = α(l)(a 1 ) a 2, l H, β(r) (a 1 a 2 ) = a 1 β(r)(a 2 ), r H, Y j i (a1 a 2 ) = Y j i (a1 ) a 2 + a 1 Y j i (a2 ), (2.1) X k (a 1 a 2 ) = X k (a 1 ) a 2 + a 1 X k (a 2 ) + δ i jk (a1 ) Y j i (a2 ), δ i jk(a 1 a 2 ) = δ i jk (a1 ) a 2 + a 1 δ i jk (a2 ). These identities are all of the form h(a 1 a 2 ) = h (1) (a 1 ) h (2) (a 2 ), with h (1), h (2) H, (2.2) where the sum in the right hand side stands for the customary Sweedler summation convention. By multiplicativity, the rule (2.2) extends to all differential operators h H. While the right hand side in (2.2) does not uniquely determine an element h (1) h (2) H H, the ambiguity disappears in the tensor product over R, h (1) R h (2) H R H. Proposition 6 The formula h = h (1) R h (2), h H, (2.3) with the right hand side given by the product rule (2.2), defines a coproduct : H H R H, i.e. an (R, R)-bimodule map satisfying 13

14 (a) (1) = 1 1 ; (b) ( R Id) = (Id R ) : H H R H R H ; (c) (h) (β(b) 1 1 α(b)) = 0, b R, h H, where we have used the right action of H H on H R H by right multiplication; (d) (h 1 h 2 ) = (h 1 ) (h 2 ), h 1, h 2 H, where the right hand side makes sense because of (c). Proof. The fact that the coproduct (2.3) is well-defined is an immediate consequence of Proposition 4, which also ensures that is a bimodule homomorphism satisfying (a). By the same token, the coassociativity property (b) is tantamount to h ((ab) c) = h (a (bc)), h H and a, b, c A, while (c) is equivalent to a special case of the above, corresponding to b R. In turn, (c) ensures that the preimage of (H) in H H is contained in the normalizer N (J ) = {ν H H ; ν J J }, (2.4) where J is the right ideal generated by {β(b) 1 1 α(b) ; b R} in H R H, i.e. such that H H /J = H R H ; in particular, which is an algebra. (H) N (J ) /J, At this point let us note that the action of H on A leaves invariant the subalgebra R 0 = C c (FM), pulled back from the space of units of the groupoid. The restriction of H to End (R 0 ) coincides with the algebra of differential operators on FM, and therefore admits a tautological extension to an action on R. With this clarified, we can proceed to define the counit. Proposition 7 The map ε : H R defined by is a bimodule map such that ε(h) = h(1), h H, (2.5) 14

15 (a) ε(1) = 1 ; (b) Kerε is a left ideal of H ; (c) (ε R Id) = (Id R ε) = Id H, where we have made the identifications R R H H, H R R H, the first via the left action by α and the second via the left action by β. Proof. The fact that ε : H R is a bimodule map satisfying (a) and (b) is obvious from the definition. In view of Proposition 4, (c) amounts to h (1 a) = h (a 1) = h (a), h H and a A. The last ingredient we need is a twisted version of the antipode. To define it, we recall that A carries a canonical (up to a scaling factor) faithful trace τ : A C, defined as follows τ (f Uϕ ) = f vol FM, if ϕ = Id, FM (2.6) 0, otherwise, where vol FM denotes a fixed Γ M -invariant volume form on the frame bundle, e.g. determined by the choice of a torsion-free. connection Proposition 8 The identity τ (h(a) b) = τ (a S(h) (b)), a, b A, h H, (2.7) is satisfied by all operators h H; it uniquely defines an algebra antiisomorphism S : H H, such that S 2 = Id H, (2.8) S β = α, (2.9) m H ( S R Id) = β ε S : H H, (2.10) where m H : H H H denotes the multiplication and the left hand side of last identity makes sense because of the preceding identity. 15

16 Proof. Obviously, for any a 1, a 2 A, one has τ(α(b) (a 1 ) a 2 ) = τ(a 1 β(b) (a 2 )), b R, τ(β(b) (a 1 ) a 2 ) = τ(a 1 α(b) (a 2 )), b R. (2.11) Since the fundamental vector fields are Γ M -invariant, (2.1) and the Stokes formula gives τ (Y j i (a1 ) a 2 ) = τ (a 1 Y j i (a2 )) + δ j i τ (a1 a 2 ). (2.12) On the other hand, for the basic horizontal vector fields, again using (2.1) and the Stokes formula, one gets τ (X k (a 1 ) a 2 ) = τ (a 1 X k (a 2 )) τ (δ i jk (a1 ) Y j i (a2 )) = τ (a 1 X k (a 2 )) + τ (a 1 δ i jk (Y j i (a2 )). (2.13) Thus, the generators of H satisfy (2.7). By multiplicativity, the integration by part identity (2.7) extends to all transverse differential operators h H and, since the trace τ is faithful, it uniquely determines the algebra antihomomorphism S : H H satisfying (2.8) and (2.9). Finally, (2.10) follows from the fact that, for any h H and a 1, a 2 A, τ (a 1 a 2 S(h)(1) ) = τ (h (a 1 a 2 )) = τ (h (1) (a 1 ) h (2) (a 2 )) = = τ (a 1 S(h (1) )h (2) (a 2 )). (2.14) Remark 9 S : H H is a twisted version of the antipode required by Lu s definition [18]. It already occurs in the flat case [10], for the genuine Hopf algebra H n, and will play a similar role in the definition of the associated cyclic module. In turn, the bimodule homomorphism δ = ε S : H R is the analogue of the modular character in [10], [11]. 3 Differentiable and Hopf cyclic cohomology The general framework for cyclic cohomology is that of the category of Λ-modules over the cyclic category Λ (cf. [6]). We recall that the cyclic 16

17 category Λ is the small category obtained by adjoining cyclic morphisms to the simplicial category. The latter has one object [q] = {0 < 1 <... < q} for each integer q 0, and is generated by faces δ i : [q 1] [q], with δ i = the injection that misses i, and degeneracies σ j : [q + 1] [q], with σ j = the surjection which identifies j with j + 1, satisfying the relations: δ j δ i = δ i δ j 1 for i < j, σ j σ i = σ i σ j+1 i j (3.1) δ i σ j 1, i < j σ j δ i = 1 q, if i = j or i = j + 1 δ i 1 σ j, i > j + 1. The category Λ is obtained by adjoining for each q an extra morphism τ q : [q] [q] such that τ q δ i = δ i 1 τ q 1, 1 i q, τ q σ i = σ i 1 τ q+1, 1 i q, (3.2) τq q+1 = 1 q. The cyclic cohomology groups of a Λ-module M = {M[q]} q 0 in the category of vector spaces (over C) are, by definition, the derived groups HC q (M) = Ext q Λ (C, M). Using the canonical projective biresolution of the trivial cyclic object [6], these groups can be computed as the cohomology of a bicomplex CC, (M) defined as follows with vertical boundary operators b = CC p,r (M) = M[r p], r p, CC p,r (M) = 0, r < p, (3.3) q ( 1) i δ i : M[q 1] M[q] q 0 (3.4) i=0 and horizontal boundary operators B = N q σ 1 (1 q+1 λ q+1 ) : M[q + 1] M[q], (3.5) 17

18 where λ q = ( 1) q τ q, σ 1 = τ q+1 σ q : M[q + 1] M[q] and (3.6) N q = 1 q + λ q λ q q. Then HC (M) is the cohomology of the first quadrant total complex q TC q (M) = CC p,q p (M), (3.7) p=0 while the cohomology of the full direct sum total complex PC q (M) = p Z CC p,q p (M), (3.8) gives the Z/2 graded periodic cyclic cohomology groups HC per (M). In particular, the cyclic cohomology HC (A) of an associative (unital) algebra A, which historically preceded the above definition (cf. [5]), corresponds to the Λ-module A, with A [q] C q (A) denoting the linear space of (q + 1)-linear forms φ on A and with Λ-operators defined as follows: the face operators δ i : C q 1 (A) C q (A), 0 i q, are δ i φ(a 0,...,a q ) = φ(a 0,...,a i a i+1,...,a q ), 0 i q 1, δ q φ(a 0,..., a q ) = φ(a q a 0, a 1,...,a q 1 ) ; (3.9) the degeneracy operators σ i : C q+1 (A) C q (A), 0 i q, are σ i φ(a 0,...,a q ) = φ(a 0,..., a i, 1, a i+1,...,a q ) (3.10) and for each q 0 the cyclic operator τ q : C q (A) C q (A) is given by τ q φ(a 0,...,a q ) = φ(a q, a 0,...,a q 1 ). (3.11) We now take A = A FM and define its differentiable cyclic cohomology HC d (A) as follows. Definition 10 A cochain φ C q (A) is called differentiable if it is of the form φ(a 0,...,a q ) = τ ( H(a 0,..., a q ) ), a 0,..., a p A FM, (3.12) 18

19 where H(a 0,..., a q ) = r h 0 i (a0 ) h q i (aq ), h j i H FM, i=1 is a q + 1-differential operator on FM Γ M. The space of such cochains will be denoted C d q (A). Proposition 11 The subspace of all differentiable cochains A d = {C d q (A)} q 0 forms a Λ-submodule of A. Furthermore, for any q 1, the map χ : C q (H) H R... R H C }{{} q d (A) q-times χ(h 1 R... R h q ) = τ (a 0 h 1 (a 1 ) h q (a q )), a 0,..., a q A, is an isomorphism of vector spaces. (3.13) Proof. It is easy to check that the Λ-operators (3.9) (3.11) preserve the property of a cochain of being differentiable, which proves the first claim. Thanks to the integration by parts property (2.7), any differentiable q-cochain can be normalized, i.e. put in the form φ(a 0,...,a q ) = r τ (a 0 h 1 i (a1 ) h q i (aq )), h j i H FM. (3.14) i=1 The q-differential operator H(a 1,...,a q ) = r h 1 i (a1 ) h q i (aq ) i=1 is uniquely determined, because of the faithfulness of the canonical trace. Thus, the second assertion follows from Proposition 4. Remark 12 By transport of structure, H = {C q (H)} q 0, with C 0 (H) = R and C q (H) = H R... R H, }{{} q 1, (3.15) q-times 19

20 acquires the structure of a Λ-module. The expressions of the Λ-operators of H are virtually identical to those of the cyclic Λ-module associated to a Hopf algebra in [10], with the obvious modifications required by the replacement of the base ring C with R. Thus, the face operators δ i : C d q 1 (A) C d q (A), 0 i q, are given by δ 0 (h 1 R... R h q 1 ) = 1 R h 1 R... R h q 1, δ j (h 1 R... R h q 1 ) = h 1 R... R h j R... R h q 1, 1 j q 1, (3.16) δ q (h 1 R... R h q 1 ) = h 1 R... R h q 1 R 1, in particular, for q = 1 δ 0 (b) = 1 R b = β(b), δ 1 (b) = b R 1 = α(b) b R ; (3.17) the degeneracy operators σ i : C q+1 d (A) C q d (A), 0 i n, have the expression σ i (h 1 R... R h q+1 ) = (3.18) if 1 j q and for q = 0 h 1 R... R h i R ε(h i+1 ) R h i+2 R... R h q+1 finally, the cyclic operator τ q : C q d (A) Cq d (A) is σ 0 (h) = ε(h), h H ; (3.19) τ q (h 1 R... R h q ) = ( q 1 S(h 1 )) h 2... h q 1, (3.20) where in the right hand side H... H acts on H R... R H by right multiplication. The cyclic cohomology of the Λ-module H will be denoted HC (H). By its very definition, one has a tautological isomorphism T : HC (H) HC d (A). (3.21) 20

21 There is a simple way for defining the relative version of this cohomology with respect to any compact subgroup of K GL(n, R), which goes as follows. For g GL(n, R), let R(g) denote its right action on R = C (FM). Since the action of GL(n, R) on FM commutes with that of Γ M, the representation R of GL(n, R) on R by right translations extends to a natural action by algebra automorphisms of GL(n, R) on A = C c (FM Γ M ). Given a compact subgroup K, we denote by A K the subalgebra of K-invariant elements in A and by ι K : A K A the corresponding inclusion map. We note that there is an obvious identification A K C c (FM/K Γ M ). By definition, the differentiable cochains relative to K are those obtained by restricting to A K the differentiable cochains on A, C q d (A, K) = ι K (Cq d (A)). In view of Remark 5, exactly as in the case of HC (H), the complex of relative differentiable cochains remains unchanged if Γ M is replaced by any full subpseudogroup. Because of this, we shall denote the cyclic cohomology of the corresponding Λ-module A K d = {C d q (A, K)} q 0 (3.22) by HC (H, K) and shall refer to it as the cyclic cohomology of H relative to K. As a simple example of an extended Hopf algebra which, without being of the form H FM, gives rise to a cyclic module in a similar fashion, we shall consider the coarse extended Hopf algebra over an arbitrary associative unital algebra K (cf. [18]) T T (K) := K K op. The source and target maps α, β : K T are α(k) = k 1, β(k) = 1 k, k K, the coproduct : T T K T K K K op is given by (l r) = (l 1) K (1 r) l 1 r, l, r K 21

22 the counit ε : T K is ε(l r) = l r, l, r K and the antipode S S : T T is S(l r) = r l, l, r K. In this case C 0 (T ) = K, and for q 1, C q (T ) = T K... K T }{{}} K. {{.. K } K op. q-times q-times With the latter identification, the face operators δ i : C q 1 (T ) C q (T ), 0 i q, are given by δ 0 (k 1... k q ) = 1 k 1... k q, k 1,...,k q K, δ i (k 1... k q ) = k 1... k i 1 k i+1... k q, i = 1,..., q 1 δ q (k 1... k q ) = k 1... k q 1 for q 1 while for q = 0, δ 0 (k) = 1 k, δ 1 (k) = k 1 ; the degeneracy operators σ i : C q+1 (T ) C q (T ), 0 i q, become σ i (k 1... k q+2 ) = k 1... k i+1 k i+2... k q+2 ; finally, the cyclic operator τ q : C q (T ) C q (T ) is exactly the cyclic permutator τ q (k 1... k q+1 ) = k 2... k q+1 k 1. Lemma 13 For any associative unital algebra K, one has HC (T (K)) HC (T (C)) HC (C), the isomorphism being induced by the unit map η : C = T (C) T (K). 22

23 Proof. Fix a linear functional ν A s : C q (T ) C q 1 (T ) by setting with ν(1) = 1 and define the operator s(k 1... k q+1 ) = ν(k 1 ) k 2... k q+1, k 1, k 2,..., k q+1 K. It can be easily checked that s δ i = δ i 1 s, i = 1,...,q. Thus, the Λ-module map η : C T, associated to the unit map, induces an isomorphism for Hochschild and therefore for cyclic cohomology too. This lemma will be used to show that, in the case of a flat n-manifold, the cyclic cohomology of the extended Hopf algebra coincides with that of the Hopf algebra H n introduced in [10]. We preface the statement with the remark that H n can be defined as the subalgebra of H F R n generated over C by the operators {X k, Y i j, δ jk i } corresponding to the trivial flat connection of R n. Proposition 14 If N n is a flat affine manifold, then the canonical inclusion κ : H n H FN associated to the flat connection, induces isomorphism in cyclic cohomology κ K : HC (H n, K) for any compact subgroup K GL(n, R) HC (H FN, K), Proof. As before, we shall use the abbreviated notation H = H FN, A = A FN and R = R FN. Also, we shall identify H n with its image via the homomorphism of extended Hopf algebras κ : H n H induced by the Hopf action of H n on A. Applying Proposition 3, one gets a canonical isomorphism of (R, R)- bimodules H α(r) β(r) H n T H n, where T = R R op. (3.23) Furthermore, one can easily check that H = T Hn and ε H = ε T ε Hn, 23

24 that is, as coalgebroid, H is actually isomorphic to the external tensor product between the coarse coalgebroid T over R and the coalgebra H n over C. This implies that δ i H = δ i T δ i H n and σ j H = σ j T σ j H n. Thus, in the category of cosimplicial modules, one has H T H n. Applying the Eilenberg-Zilber theorem it follows that HH (H) HH (T ) HH (H n ) HH (H n ), (3.24) with the second isomorphism being a consequence of Lemma 13. By the functoriality of Eilenberg-Zilber isomorphism, the composition of the two isomorphisms in (3.24) is induced by the canonical homomorphism κ : H n H, that is κ : HH (H n ) HH (H). (3.25) But κ : H n H is a homomorphism of extended Hopf algebras and therefore gives rise to a morphism of cyclic modules κ : Hn H. The stated isomorphism for the absolute case now follows from (3.25) and the exact sequence relating Hochschild and cyclic cohomology. The relative case is proved by restriction to K-invariants. We are now in a position to prove the first main result of this paper, asserting that HC (H FM ) and its relative variants depend only on the dimension n of the manifold. In view of with [10, 7, Theorem 11], which identifies HC (H n ) to the Gelfand-Fuchs cohomology, this result provides a cyclic analogue to Haefliger s Theorem IV.4 in [16]. Theorem 15 For any n-dimensional manifold M and for any compact subgroup K GL(n, R), one has a canonical isomorphism HC (H FM, K) HC (H n, K). Proof. To construct the stated isomorphism, we shall have to specify certain Morita equivalence data. The resulting isomorphism however will be independent of the choices made. 24

25 Concretely, we fix an open cover of M by domains of local charts U = {V i } 1 i r together with a partition of unity subordinate to the cover U, χ 2 i (x) = 1, χ i C c (V i ). We begin by forming the smooth étale groupoid G U = {(x, i, j); x V i V j, 1 i, j r}, whose space of units is the flat manifold N = r i=1 V i {i}. One has a natural Morita equivalence between the algebras C c (M) and C c (G U), and a similar construction continues to function in the presence of the pseudogroup Γ M, as well as at the level of the frame bundle. More precisely, there is a full pseudogroup Γ U on N such that the corresponding smooth étale groupoid N Γ U contains G U and such that the algebra A = C c (FM Γ M ) can be identified with the reduction by a canonical idempotent of the groupoid algebra B = C c (FN Γ U ), A e B e, e 2 = e B ; (3.26) at the same time, one also has a canonical identification C (FM) e C (FN) e. Indeed, the elements of B = Cc (FN Γ U ) can be represented as finite sums of the form b = f ϕ,ij Uϕ ij, f ϕ,ij Cc (Domϕ ij ), (3.27) ϕ Γ M where, for any ϕ Γ M, i,j ϕ ij : ϕ 1 (ϕ (Domϕ V i ) V j ) {i} ϕ (Domϕ V i ) V j {j} stands for the obvious identification given by the restriction of ϕ. The definition of the multiplication is as follows: ψ jk ϕ ij = (ψ ϕ) ik or equivalently U ϕ ij U ψ jk = U (ψ ϕ) ik ; (3.28) 25

26 when ϕ = Id, instead of Uϕ ij we shall simply write Uij. The canonical trace τ : B C is related to the trace τ : A C by the formula ( ) ( ) τ f ϕ,ij Uϕ ij = τ f ϕ,ii Uϕ ii. (3.29) ϕ Γ M i,j ϕ Γ M With the above notation, the idempotent stipulated by (3.26) has the expression e = χ i Uij χ j, with χ i = χ i π i,j and the claimed identification is given by the map i ι(f U ϕ ) = i,j χ i f U ϕ ij χ j, f C c (FM), ϕ Γ M. (3.30) The corresponding pair of bimodules which implements the Morita equivalence between A and B consists of P = eb and Q = Be, with P B Q A and Q A P B. Setting for any i = 1,..., r, u i = k χ ku ki χ i P, v i = χ i k U ik χ k Q, respectively u i = k χ ku ki, e u i = u i and v i = k U ik χ k, v i e = v i, one has u i v i = e, and v i u i = Uii. i i i The constructive proof of the Morita invariance for the Hochschild and cyclic cohomology of algebras (cf. [19]) associates to these data canonical cochain equivalences Ψ = {Ψ q } and Θ = {Θ q }, which are homotopic inverses to each other. We shall only have to check that these cochain maps, as well as the cochain homotopies, preserve the corresponding subcomplexes of differentiable cochains. The cochain map Ψ : C (A) C (B) is given by ( Ψ q (φ) i,j f0 ij U, ϕ 0 i,j f1 ij U,..., ) ij ϕ 1 i,j fq ij U = ij ϕ q ij ) i 0,i 1,...,i q φ (f 0i0i1 U ϕ, f 0 1i1i2 U ϕ,..., f qiqi0 U ϕ. 1 q 26

27 Assuming φ C q d (A), of the form φ(a 0,...,a q ) = τ ( h 0 (a 0 ) h 1 (a 1 ) h q (a q ) ), with h i H FM, (3.31) one has ( Ψ q (φ) i,j f0 ij U, ϕ 0 i,j f1 ij U,..., ) ij ϕ 1 i,j fq ij U = ij ϕ q ij ) i 0,i 1,...,i q τ (h 0 (f 0i0 U ϕ ) h 1 (f i1 0 1i1 U ϕ )... h q ( f qiq U ϕ q) i2 1 i0 ; using (3.29) it is easily seen that the latter expression is of the form ( τ h0 s (fij 0 U ϕ ) 0 h1 ij s (fij 1 U ϕ ) ) 1 hq ij s (f q ij U ϕ q, ij) s i,j with h 0 s,..., h q s transverse differential operators on FN Γ U. The cochain map Θ : C (B) C (A) has the expression i,j Θ q ( φ) (f 0 U ϕ 0, f 1 U ϕ 1,...,f q U ϕ q) = ( ) φ χ i0,i1,...,iq i0f 0 U χ ϕ 0 i1, χ i1 f 1 U χ i 0 i ϕ 1 i2,..., χ iq f q U 1 i 1 i ϕ χ q i0. 2 iqi 0 i,j When φ C q d (B) is of the form φ(b ( h0 ) 0,..., b q ) = τ (b 0 ) h 1 (b 1 ) h q (b q ) with h i H FN, (3.32) one gets Θ q ( φ) (f 0 U ϕ 0, f 1 U ϕ 1,...,f q U ϕ q) = ( h0 i 0,i 1,...,i q τ ( χ i0f 0 U χ ϕ 0 i1 ) h ) 1 ( χ i1 f 1 U χ i 0 i ϕ 1 i2 ) h q ( χ iq f q U χ 1 i 1 i ϕ q i0 ) ; 2 iq i 0 again, one can recognize the last expression to be of the form τ ( h 0 s (f0 U ϕ 0) h1 s (f1 U ϕ 1) hq s (fq Uϕ q)), with h 0 s, h 1 s,...,h q s H FM. s 27

28 Similar arguments apply to the canonical cochain homotopies used in showing that Ψ and Θ are homotopic inverses to each other in Hochschild cohomology. Since both Ψ and Θ are actually cochain maps for the cyclic bicomplex, it follows that they induce the stated isomorphism. All these constructions are clearly equivariant with respect to O(n) and therefore apply, by restriction to K-invariants, to the relative cohomology as well. We conclude this section with the observation that the ordinary (de Rham) homology of the manifold M can also be construed as differentiable (or Hopf) cyclic cohomology. The extended Hopf algebra responsible for this interpretation is the algebra of the differential operators on FM, D := D FM, viewed as the algebra of linear transformation of R 0 = C c (FM) generated by the vector fields on FM, acting as derivations, and by the functions in R = C (FM), acting as multiplication operators via α β. Like its extension H, D also carries an intrinsic Hopf-algebraic structure in the sense of 2. The coproduct : D D R D is given by the analogue of (2.3), determined by the Leibniz rule (2.2) corresponding to its action on R. Similarly, the twisted antipode S : D D is determined by the analogue of integration by parts formula (2.7), with respect to τ R 0 which is given by the integral against the canonical volume form on FM. In other words, D inherits the quotient Hopf structure corresponding to the restricted action of H on R. The differentiable cyclic cochains on R 0 are defined by specializing Definition 10 to the algebra R 0, acted upon by D. By obvious analogues of Proposition 11 and Remark 12, the corresponding Λ-module can also be described purely in terms of the Hopf structure of D. The ensuing cyclic complex, unlike that of D viewed solely as an algebra (cf. [3], [24], for the cyclic homology of the latter), is quasi-isomorphic to the full cyclic complex of the algebra R 0. In a sense made more precise by the proof below, the differentiable cyclic cochains are in the same relation to the continuous cyclic cochains as the smooth currents are in relation to arbitray currents on FM. Proposition 16 The tautological action of D FM on Cc (FM) or, equivalently, the inclusion of the differentiable cyclic subcomplex into the usual cyclic complex of Cc (FM), induces isomorphism in cyclic cohomology, resp. 28

29 relative cyclic cohomology, HC per(d FM ) HC per (C c (FM)), resp. HC per (D FM, O(n)) HC per (C c (PM)), PM := FM/O(n). Proof. Since the map that sends ϖ Ω dimfm q (FM) to the cyclic cochain on Cc (FM) γ ϖ (f 0, f 1,...,f q ) = f 0 df 1... df q ϖ FM induces isomorphism between i Hn(n+1) i (FM) and HCper (Cc (FM)), it suffices to show that any such cochain γ ϖ is differentiable. To check this, we fix a torsion-free connection ω on FM and let {X k, Y j i } (resp. {θk, ωj}) i stand for the corresponding basis of the tangent (resp. cotagent) space to FM at any point. Then, for each l = 1,...,q, one has df l = Y j i (f l) ω i j + X k (f l ) θ k. On the other hand, ϖ can be expressed as a linear combination over R of monomials formed from the basis {θ k, ω i j}. Thus, γ ϖ (f 0, f 1,...,f q ) = s FM f 0 h 1 s (f1 ) h q s (fq ) vol FM, with h l s D. The relative case can be proved in a similar fashion. 4 Geometric realization of the cyclic van Est isomorphism As mentioned before, in conjunction with [10, 7, Theorem 11], Theorem 15 implies that, for any n-dimensional smooth manifold M, HC (H FM ) is canonically isomorphic to the Gelfand-Fuchs cohomology groups H (a n ). The purpose of this section is to give a geometric construction of an explicit cochain map, from the Lie algebra cohomology complex to the cyclic bicomplex, which implements this cyclic analogue of the van Est isomorphism. As in the flat case [10, 7], the cochain map will be assembled in two stages. The first consists in mapping the Gelfand-Fuchs cohomology of the Lie algebra 29

30 a n of formal vector fields on R n to the G M -equivariant cohomology of FM, where G M := Diff(M). The second involves the canonical map Φ relating the equivariant cohomology to the cyclic cohomology [8, Theorem 14, p.220]. In order to construct the first map, we shall fix a torsion-free linear connection on M, with connection form ω = (ω i j ). We denote by F M the bundle of frames of infinite order on M, formed of jets of infinite order j 0 (ψ) of local diffeomorphisms ψ, with source 0, from Rn to M, and by π 1 : F M FM its projection to 1-jets. The connection determines a cross-section σ σ : FM F M, π 1 σ = Id, by the formula σ(u) = j 0 (exp x u), u F xm. (4.1) This cross-section is clearly GL(n, R)-equivariant as well as Diff-equivariant, σ R a = R a σ, a GL(n, R), (4.2) σ ϕ = ϕ 1 σ ϕ, ϕ G M ; (4.3) here ϕ corresponds to ϕ ω, where by ϕ we denote the action of ϕ on both FM and FM. For each simplex (ϕ 0,...,ϕ p ) p, we define the map by the formula where σ (ϕ 0,...,ϕ p ) : p FM F M σ (ϕ 0,...,ϕ p )(t, u) = σ (ϕ0,...,ϕ p;t)(u) (4.4) (ϕ 0,...,ϕ p ; t) = p 0 t i ϕ i. Note that σ (ϕ0,...,ϕ p;t) depends only on the class [ϕ 0,...,ϕ p ; t] EG M, where EG M is the geometric realization of the simplicial set NG M, with NG M [p] = G M G }{{ M. } p+1-times 30

31 Also, in view of (4.3), one has σ (ϕ 0 ϕ,...,ϕ p ϕ)(t, u) = ϕ 1 σ (ϕ 0,...,ϕ p )(t, ϕ(u)). (4.5) At this point, let us recall that the G M -equivariant cohomology of FM, twisted by the orientation sheaf, can be computed by means of the bicomplex (C, (G M ; FM), δ, ), defined as follows: C p,m (G M ; FM) = 0 unless p 0 and dim FM m 0, when C p,m (G M ; FM) C p (G M, Ω m (FM)) is the space of totally antisymmetric maps µ : G p+1 M Ω m (FM)), from G p+1 M to the currents of dimension m on FM, such that µ(ϕ 0 ϕ,...,ϕ p ϕ) = ( ϕ ) 1 µ(ϕ 0,...,ϕ p ), (4.6) with ϕ denoting the transpose of ϕ acting on the forms Ω(FM); the operator δ is the simplicial coboundary and is the de Rham boundary for currents. We denote by C (a n ) the Lie algebra cohomology complex of the antisymmetric multilinear functionals on the Lie algebra a n of formal vector fields on R n, which are continuous with respect to the I-adic topology, i.e. depend only on finite jets at 0 R n of vector fields. The canonical flat connection of F M determines an isomorphism between C (a n ) and the space Ω ((F M)) Γ M of all Γ M -invariant forms on F M; we shall denote by ϖ the Γ M -invariant form corresponding to ϖ C (a n ). With this notation in place, we now define for any ϖ C q (a n ) and for any pair of integers (p, m) such that p 0, n(n + 1) m 0 and p + m = q n(n + 1), a current of dimension m on FM by the following formula, where η Ω c m (FM), C p,m (ϖ)(ϕ 0,...,ϕ p ), η = ( 1) m(m+1) 2 = ( 1) m(m+1) 2 p FM p FM σ (ϕ 0,...,ϕ p ) (π1 (η) ϖ) η σ (ϕ 0,...,ϕ p ) ( ϖ). (4.7) 31

32 Lemma 17 For any ϖ C q (a n ), one has C p,m (ϖ) C p (G M, Ω m (FM)) and the assignment C(ϖ) = C p,m (ϖ), defines a map of (total) complexes p+m=q n(n+1) C : (C (a n ), d) (TC (G M ; FM), δ + ). (4.8) Proof. We first check the identity C p,m (ϖ)(ϕ 0 ϕ,..., ϕ p ϕ) = ϕ 1 C p,m (ϖ)(ϕ 0,...,ϕ p ). (4.9) Indeed, using (4.5), one has η Ω m c (FM)) σ (ϕ 0,...,ϕ p ) ( ϕ 1 (π 1 (η)) ϕ 1 ( ϖ) ) = p FM p FM σ (ϕ 0,...,ϕ p ) ( π 1 ( ϕ 1 (η)) ϖ ). To prove the second claim, we use the Stokes formula: ( 1) m p FM σ (ϕ 0,...,ϕ p ) (π 1(η) dϖ) + σ p FM (ϕ 0,...,ϕ p ) (π1 (dη) ϖ) = d (σ (ϕ 0,...,ϕ p ) (π1(η) ϖ)) p FM = σ (ϕ 0,..., ϕ p ) (π1 (η) ϖ) p FM = ( 1) i σ (ϕ 0,..., ˇϕ i,...,ϕ p ) (π1 (η) ϖ). p 1 FM Adjusting for the sign factors, one obtains the stated cochain property C(d ϖ) = (δ + ) C(ϖ). 32

33 To simplify the assembling of the second ingredient of our construction, we shall take advantage of the fact that all the cohomological information of the complex C (a n ) is carried by the image of the truncated Weil complex of gl(n, R) via the canonical inclusion (cf. [13], see also [2], [15]). Thus, it suffices to work with the restriction of C : C (a n ) TC (G M ; FM) to the subcomplex CW (a n ) of C (a n ), generated as a graded subalgebra by {θj i, Ri j }, where (θj i), resp. (Ri j ), is the image of the universal connection matrix, resp. the universal curvature matrix, of the Weil complex of gl(n, R). Lemma 18 For any torsion-free linear connection on M, with connection form ω = (ωj i) and curvature form Ω = (Ω i j ), one has Proof. Since σ ( θ i j ) = ωi j, σ ( R i j ) = Ωi j. (4.10) R i j = d θi j + θi k θk j, (4.11) the second identity is a consequence of the first. To prove the first, we note that by (4.3) the operator ω σ ( θ), acting on the (affine) space of torsion-free connections on FM, is natural, i.e. G M -equivariant. The uniqueness result for natural operators on torsion-free connections [17, 25.3] ensures that the only such operator is the identity. Corollary 19 For any ϖ CW q (a n ) and any η Ω c m (FM) the integrand in formula (4.7), defining the group cochain C p,m (ϖ)(ϕ 0,...,ϕ p ), η, is a form that depends polynomially on the functions γ i jk (u, ϕ r) and γ i jk,l (u, ϕ s), where 1 i, j, k, l n, 0 r, s p. Proof. By the preceding lemma applied to the connection (4.4) together with the identity (1.16), one has σ (ϕ 0,..., ϕ p ) ( θ i j) = p r=0 t r ϕ r ω i j = ω i j + p r=0 t r γjk(u, i ϕ r ) θ k. k Taking the total exterior derivative and using (4.11), one obtains the corresponding expression for σ (ϕ 0,...,ϕ p ) ( R i j), which in addition will involve R i j as well as the differentials dt r, d ω i j and d u γ i jk (u, ϕ r). 33

34 Since, by the very definition CW (a n ), the form ϖ is a polynomial in θ j i and R j i, the claim follows. By composing the restriction to CW (a n ) of the chain map C of Lemma 17, (4.8) with the canonical map Φ : (TC (G M ; FM), δ + ) (PC (A), b + B), where A := C c (FM G M ) is the crossed product algebra, we obtain a new chain map C := Φ C : (CW (a n ), d) (PC (A), b + B). (4.12) Our next task will be to prove that the image of C actually lands inside the differentiable periodic cyclic complex PC d (A). In preparation for that, let us recall the definition of Φ [8, III.2.δ]. It involves the crossed product algebra C = B G M, where B = Ω c(fm)ˆ C[G M], is the graded tensor product of the algebra of compactly supported differential forms on FM by the graded algebra over C generated by the degree 1 anticommuting symbols δ ϕ, with ϕ G M, ϕ 1 and δ 1 = 0. The crossed product is taken with respect to the tensor product action of G M, so that the following multiplication rules hold: U ϕ η U ϕ = ϕ η, η Ω (FM), U ϕ δ ψ U ϕ = δ ψ ϕ δ ϕ, ϕ, ψ G M. The graded algebra B is endowed with the differential d (η δ ϕ1 δ ϕp ) = dη δ ϕ1 δ ϕp, η Ω c (FM), and the crossed product algebra C acquires the differential d(bu ϕ ) = (d b) U ϕ ( 1)deg b bδ ϕ U ϕ, b B, ϕ G M. (4.13) Any cochain ν C p,m (G M ; FM)) gives rise to a linear functional ν on C, defined as follows, η Ω m c (FM), ν (1, ϕ 1,...,ϕ p ), η if ϕ = 1, ν (η δ ϕ1 δ ϕp Uϕ) = (4.14) 0 otherwise. 34

35 With this notation in place, the cochain map (4.12) is given by the formula, ϖ CW q (a n ), C p,m (ϖ)(f 0 U ϕ,...,f p U 0 ϕ p ) := p! q=p m+1 (q+1)! j=0 ( 1) j(q j) C ( ) p,m (ϖ) d(f j+1 U ϕ )...f 0 U j+1 ϕ...d(f j U 0 ϕ ). j (4.15) Lemma 20 The cochain homomorphism C = Φ C maps CW (a n ) to PC (H FM ). Proof. We have to show that the cochain (4.15) is differentiable, i.e. of the form (3.12). Since {θ k, ωj i } forms a basis of the cotangent space at each point of FM, we can express the differential of a function f C c (FM) as and therefore df = Y j i (f) ωi j + X k(f) θ k d(f U ϕ ) = Y j i (f) ωi j U ϕ + X k(f) θ k U ϕ f δ ϕ U ϕ. (4.16) Furthermore, for the canonical form one has while for the connection form, by (1.16), U ϕ θk U ϕ = θ k, (4.17) U ϕ ωi j U ϕ = ω i j + γi jk (u, ϕ) θk. (4.18) Using the identities (4.16), (4.17), (4.18) and Corollary 19, one can now achieve the proof by following the same reasoning as in [10, pp ], where the similar result was established for the flat case. The definition of the above cochain map involves the choice of a torsionfree connection. To emphasize this dependence, we shall use the more suggestive notation C = Φ C : CW (a n ) PC (H FM ). However, the choice of the connection is cohomologically immaterial. 35