arXiv2018
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 \rtimes O^*$ resulting from the multiplicative action of the units $O^*$ on integral ideals $J$ representing each ideal class. At each fixed inverse temperature $β> 2$, the extremal equilibrium states correspond to extremal traces of $C^*(J\rtimes O^*)$. Here we undertake the study of these traces using the transposed action of $O^*$ on the duals $\hat J$ 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\rtimes O^*)$ are parametrized by pairs consisting of an ergodic invariant measure for the action of $O^*$ on $\hat{J}$ together with a character of the isotropy subgroup associated to the support of this measure. For every ideal the dual group $\hat {J}$ is a d-torus on which $O^*$ acts by linear toral automorphisms. Hence, the problem of classifying all extremal traces is a generalized version of Furstenberg's celebrated $\times 2$ $\times 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^*$-invariant sets are dense in $\hat{J} $, thanks to a theorem of Berend; as an application we give a description of the primitive ideal space of $C^*(J\rtimes O^*)$ for those number fields.