Homology -Betti numbers for subfactors and quasiregular inclusions
Joint with Sorin Popa and Stefan Vaes.
There were several competing definitions, and they turn out to be equivalent, relief.
1. Betti numbers
Associative algebras (and bimodules ) have a Hochschild cohomology defined as follows. Cochains are maps . Coboundary is such that 1-cocycles are derivations. If is augmented (e.g. a group algebra), right -modules can be turned into bimodules by using the augmentation as a left action.
When is a group algebra, and is contractible, then . Another choice of coefficients is , (or its completion ). Then are modules over , hence have a dimension, the Betti number
-Betti numbers of infinite groups are additive under free products and multiplicative under direct products.
A factor has some grouplike symmetry. To embody it, we have two choices, -tensor categories and included in Popa’s symmetric enveloping algebra.
2. The -tensor categories point of view
Let be a tensor category. When , are irreducible objects, we denote by the set of intertwiners.
The tube algebra is defined, as a vectorspacen by
The multiplication is
Define the idempotent , where is the trivial representation. They generate a subalgebra . The augmentation is defined by
We think of as a representation of as a “representation” of .
The cohomology of and a right -module is defined as follows. Cochains are morphisms to . The coboundary is given by the same formula as Hochschild.
Fot , corresponds to derivations , modulo inner derivations .
Possible choices for : yields cohomology leads to Betti numbers.
3. The quasiregular inclusion point of view
Let be a quasiregular inclusion. Define the tube algebra by a similar formula for the category . It is Morita equivalent to the preceding tube algebra.
Cochains involve tensor powers of over .
In case of trivial coefficients, i.e. take module . Then get if has finite index in . This had been observed by Jones. More genrally, if has finite depth.
For calculations, one replaces cocycles and coboundaries with smaller subspaces.
For instance, for amenable categories (in a Folner sense), Betti numbers vanishes. For finite index inclusions, . Additivity under free products and multiplicativity under direct products od categories holds.
3.1. Graphical picture for trivial coefficients
On a 2-sphere with punctures, draw cochains as bodies with as many legs as factors in a tensor product. Then coboundary is alternating sum of picture obtained by removing each puncture at a time.
Mystery: what is trivial coefficients ?
Kyed, Raum, Vaes, Valvekans have a recent result.
One may conjecture that for the category of quantum groups, one recovers Betti numbers of quantum groups. The study of fusion rings seems to indicate that it could be wrong.
One recovers Gaboriau’s Betti numbers for group acting on space , but is not quite .