English

Bost-Connes type systems for function fields

Operator Algebras 2012-05-02 v5 Number Theory

Abstract

We describe a construction which associates to any function field kk and any place \infty of kk a CC^*-dynamical system (Ck,,σt)(C_{k,\infty},\sigma_t) that is analogous to the Bost-Connes system associated to \QQ\QQ and its archimedian place. Our construction relies on Hayes' explicit class field theory in terms of sign-normalized rank one Drinfel'd modules. We show that Ck,C_{k,\infty} has a faithful continuous action of \Gal(K/k)\Gal(K/k), where KK is a certain field constructed by Hayes, such that k\abiKk\abk^\abi\subset K\subset k^\ab, where k\abik^\abi is the maximal abelian extension of kk that is totally split at \infty. We classify the extremal KMSβ_\beta states of (Ck,,σt)(C_{k,\infty},\sigma_t) at any temperature 0<1/β<0<1/\beta<\infty and show that a phase transition with spontaneous symmetry breaking occurs at temperature 1/β=11/\beta=1. At high temperature 1/β11/\beta\geqslant 1, there is a unique KMSβ_\beta state. At low temperature 1/β<11/\beta<1, the space of extremal KMSβ_\beta states is principal homogeneous under \Gal(K/k)\Gal(K/k). Each such state is of type \I\I_\infty and the partition function is the Dedekind zeta function ζk,\zeta_{k,\infty}. Moreover, we construct a "rational" *-subalgebra \HH\HH, we give a presentation of \HH\HH and of Ck,C_{k,\infty}, and we show that the values of the low-temperature extremal KMSβ_\beta states at certain elements of \HH\HH are related to special values of partial zeta functions.\n Erratum: This article wrongly claims that at high temperature 1/β11/\beta\geqslant 1, the unique KMSβ_\beta state is of type \IIIqβ\III_{q^{-\beta}}, where qq is the cardinal of the constant subfield of kk. It has been shown by Neshveyev and Rustad \cite{NesRus12} that the correct type is \IIIqβd\III_{q^{-\beta d_\infty}} where dd_\infty is the degree of the place \infty. The original statements have been kept for reference, but errata have been inserted next to them.

Cite

@article{arxiv.math/0602554,
  title  = {Bost-Connes type systems for function fields},
  author = {Benoît Jacob},
  journal= {arXiv preprint arXiv:math/0602554},
  year   = {2012}
}

Comments

55 pages; index of notations; v5: added erratum on the wrong result on the subtype of the type III factors