   Next: Some combinatorial identities Up: No Title Previous: An explicit example: N=2

# The action of operators S and B in the Grassmannian case

Several operators called b, , A, , B, S belong to the zoo of non-commutative differential geometry. The first, the Hochschild coboundary operator b was already known before . The others have been invented by  to replace and generalize the usual constructions of usual commutative geometry, when the algebra under study is no longer commutative. The case of Grassmann algebra is rather simple and we have been able to study its differential properties without having to introduce the operators A, , B and S. However, we feel instructive to see what is the meaning of those operators in the present context. The cyclicity operator was used in the text. is the cyclic antisymmetrizer; acting on a cyclic object -in our case a closed current on Grassmann algebra- it does essentially nothing here, besides multiplying by a trivial numerical factor. The operator is called the non-symmetrized boundary operator, it maps to and is defined by The B operator is the symmetrized boundary operator; it also maps to and is defined by The main interest of B, in general, comes from the fact that and Bb+Bb=0. Morally, B should be considered - up to a trivial numerical factor- as the non-commutative generalization of the De Rham d-operator on forms, or better, since we are dealing with co-chains, as the non-commutative generalization of the De Rham -operator acting on currents. This is known to be true in the classical case of commutative geometry, and is clearly valid also in the Grassmannian context, since, if we consider a closed Hochschild cochain , hence representable as a current , we see that is proportional to and is therefore associated with the current In other words, if we had not worked out by hand the definition of the boundary operator we could have used B to define it. This explain also why we did not have to introduce B explicitly before; notice however that action of B is defined on all Hochschild cochains (all multilinear forms on Gr(N)) and not only on those that are representable as non-zero currents (the non-trivial Hochschild cocycles). The operator S, in our case, brings something new. It is called the Connes' stabilization operator, it maps to and is defined as follows For any associative algebra, one shows  that S maps cyclic cochains, coboundaries and cocycles of order p to cyclic cochains, coboundaries and cocycles of order p+2 and, in particular to Also it maps cyclic cochains to Hochschild coboundaries. In particular, if , i.e. and then i.e. and but also i.e. with Notice that there is no contradiction because is not cyclic in general; in other words, if is a cyclic cocycle is always a cyclic cocycle, it may be trivial or not as a cyclic cocycle (as the b of something cyclic) but it is always trivial as a Hochschild cocycle (it is always the b of something). When translated in the particular case of Grassmann algebras, these notions read as follows.

The first observation is that the hierarchy of operators can be obtained from the first by applying powers of S: Then, if is a non trivial cyclic cocycle of order p on Gr(N), and if we assume that it has no component along , it can be considered as a closed current. is a priori a cyclic cocycle of order p+2 but is is also a Hochschild coboundary and the associated current is zero. However, since has no component along and since we have already obtained all the cyclic cocycles of order p+2, this implies that , is not only a Hochschild coboundary but also a cyclic coboundary. In other words, as far as cyclic cohomology is concerned, and with the exception of itself, the hierarchy of cocycles is trivial: we do not get new non-trivial cocycles in this way. These remarks explain the (generic) features of the example detailed in section 3.7. To be complete we should mention that the (inductive) limit of when is called ``periodic cyclic cohomology''. The previous analysis shows that, although is, by no means, trivial, reduces to cyclic cohomology of complex numbers.   Next: Some combinatorial identities Up: No Title Previous: An explicit example: N=2

Robert Coquereaux
Mon May 20 14:40:14 MET DST 1996