Phase transitions on C*-algebras arising from number fields and the generalized Furstenberg conjecture

Abstract

In recent work, Cuntz, Deninger and Laca have studied the Toeplitz type C*algebra associated to the affine monoid of algebraic integers in a number field, under a time evolution determined by the absolute norm. The KMS equilibrium states of their system are parametrized by traces on the C*-algebras of the semidirect products Jγ ¸OK resulting from the multiplicative action of the units O K on integral ideals Jγ representing each ideal class γ P Cℓ K . At each fixed inverse temperature β ą 2, the extremal equilibrium states correspond to extremal traces of C ˚(Jγ ¸OK ). Here we undertake the study of these traces using the transposed action of O K on the duals Ĵγ of the ideals and the recent characterization of traces on transformation group C*-algebras due to Neshveyev. We show that the extremal traces of C ˚(Jγ ¸OK ) are parametrized by pairs consisting of an ergodic invariant measure for the action of O K on Ĵγ together with a character of the isotropy subgroup associated to the support of this measure. For every class γ, the dual group Ĵγ is a d-torus on which O K acts by linear toral automorphisms. Hence, the problem of classifying all extremal traces is a generalized version of Furstenberg's celebrated ˆ2 ˆ3 conjecture. We classify the results for various number fields in terms of ideal class group, degree, and unit rank, and we point along the way the trivial, the intractable, and the conjecturally classifiable cases. At the topological level, it is possible to characterize the number fields for which infinite O Kinvariant sets are dense in Ĵγ, thanks to a theorem of Berend; as an application we give a description of the primitive ideal space of C ˚(Jγ ¸OK ) for those number fields.