Towards the end of the Bost-Connes for ringtheorists post I freaked-out because I realized that the commutation morphisms with the were given by non-unital algebra maps. I failed to notice the obvious, that algebras such as have plenty of idempotents and that this mysterious ‘non-unital’ morphism was nothing else but multiplication with an idempotent…
Here a sketch of a ringtheoretic framework in which the Bost-Connes Hecke algebra is a motivating example (the details should be worked out by an eager 20-something). Start with a suitable semi-group , by which I mean that one must be able to invert the elements of and obtain a group of which all elements have a canonical form . Probably semi-groupies have a name for these things, so if you know please drop a comment.
The next ingredient is a suitable ring . Here, suitable means that we have a semi-group morphism
where is the semi-group of all ring-endomorphisms of satisfying the following two (usually strong) conditions :
-
Every has a right-inverse, meaning that there is an ring-endomorphism such that (this implies that all are in fact epi-morphisms (surjective)), and
-
The composition usually is NOT the identity morphism (because it is zero on the kernel of the epimorphism ) but we require that there is an idempotent (that is, ) such that
The point of the first condition is that the -semi-group graded ring is crystalline graded (crystalline group graded rings were introduced by Fred Van Oystaeyen and Erna Nauwelaarts) meaning that for every we have in the ring the equality where this is a free right -module of rank one. One verifies that this is equivalent to the existence of an epimorphism such that for all we have .
The point of the second condition is that this semi-graded ring can be naturally embedded in a -graded ring which is bi-crystalline graded meaning that for all we have that .
It is clear from the construction that under the given conditions (and probably some minor extra ones making everything stand) the group graded ring is determined fully by the semi-group graded ring .
what does this general ringtheoretic mumbo-jumbo have to do with the BC- (or Bost-Connes) algebra ?
In this particular case, the semi-group is the multiplicative semi-group of positive integers and the corresponding group is the multiplicative group of all positive rational numbers.
The ring is the rational group-ring of the torsion-group . Recall that the elements of are the rational numbers and the group-law is ordinary addition and forgetting the integral part (so merely focussing on the ‘after the comma’ part). The group-ring is then
with multiplication linearly induced by the multiplication on the base-elements .
The epimorphism determined by the semi-group map are given by the algebra maps defined by linearly extending the map on the base elements (observe that this is indeed an epimorphism as every base element .
The right-inverses are the ring morphisms defined by linearly extending the map on the base elements (check that these are indeed ring maps, that is that .
These are indeed right-inverses satisfying the idempotent condition for clearly and
and one verifies that is indeed an idempotent in . In the previous posts in this series we have already seen that with these definitions we have indeed that the BC-algebra is the bi-crystalline graded ring
and hence is naturally constructed from the skew semi-group graded algebra .
This (probably) explains why the BC-algebra is itself usually called and denoted in -algebra papers the skew semigroup-algebra as this subalgebra (our crystalline semi-group graded algebra ) determines the Hecke algebra completely.
Finally, the bi-crystalline idempotents-condition works well in the settings of von Neumann regular algebras (such as all limits of finite dimensional semi-simples, for example ) because such algebras excel at idempotents galore…
Comments