REVIEW
Bost-Connes type systems for function fields
Operator Algebras · Submitted 24 Feb 2006 · 35 references
Pith's verdict: The core function-field Bost–Connes construction and low-temperature KMS classification are new and largely sound, but the printed continuity proof for the Galois action has a fixable gap and the paper honestly flags two false statements in the type III part.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper constructs a C*-dynamical system for every function field whose KMS states undergo a Galois-group phase transition at β=1, with the Dedekind zeta function as partition function.
The reading
What carries the argument
The load-bearing object is the groupoid $\mathcal{G}=\{(\chi,c)\in X\times F_O: c\in F_\chi\}$, with $X=\bigsqcup_{\varphi\in H(\mathrm{sgn})}X_\varphi$ the compact space of characters of the torsion groups of the chosen sign-normalized rank-one Drinfeld modules and $F_O$ the group of fractional ideals. The semigroup $IO$ of nonzero ideals acts on $X$ by precomposition with the isogeny maps $(a^{-1}*\varphi)_a$, and $C_{k,\infty}$ is the maximal groupoid $C^*$-algebra of $\mathcal{G}$, with time evolution $\sigma_t(f)(\chi,c)=N_c^{it}f(\chi,c)$. The dense rational subalgebra $\mathcal{H}$ is generated by isometries $\mu_a$ and point characters $e(\varphi,\lambda)$ and has an explicit presentation by relations (a)–(f). The admissible characters — those for which the partial $F_O$-action is as small as possible — give irreducible regular representations, and the low-temperature states are the Gibbs states $\phi_{\beta,\chi}=\zeta_{k,\infty}(\beta)^{-1}\operatorname{Tr}(\pi_\chi(\cdot)e^{-\beta H})$, where $H$ is diagonal with entries $\log N_a$.
Extended reading notes
Core claim
The central discovery is a complete KMS classification for the $C^*$-dynamical system $C_{k,\infty}$, built as the maximal groupoid $C^*$-algebra of a groupoid encoding ideals and torsion-point characters. The algebra carries a faithful continuous action of $\operatorname{Gal}(K/k)$ that commutes with the time flow, and the fixed-point subalgebra has exactly one KMS state at every $\beta$. For $\beta>1$, every extremal KMS state is one of the Gibbs states $\phi_{\beta,\chi}$ attached to an admissible character $\chi\in X^{\mathrm{adm}}$; the map $\chi\mapsto\phi_{\beta,\chi}$ is a homeomorphism, and $\operatorname{Gal}(K/k)$ acts freely and transitively on the set of extremal states, all of which are factor states of type $\mathrm{I}_\infty$. For $\beta\le1$, there is a unique KMS state, so the system has spontaneous symmetry breaking at the critical inverse temperature $\beta=1$. The partition function is $\zeta_{k,\infty}(\beta)$, and special values of low-temperature states at the generators $e(\varphi,\lambda)$ are expressed in terms of partial zeta functions of $k$.
Load-bearing premise
The whole construction assumes one external input from explicit class field theory: the abelian extensions of $k$ are generated by torsion points of sign-normalized rank-one Drinfeld modules, and Artin automorphisms act on those torsion points by $\sigma_a(\lambda)=\varphi_a(\lambda)$; if that input were false or unavailable for some $k$ and $\infty$, the $C^*$-algebra, its Galois symmetry, and the KMS classification would not stand.
Editorial extensions
If this is right
- At inverse temperatures $\beta>1$, the Galois group $\operatorname{Gal}(K/k)$ is realized exactly as the space of pure thermodynamic phases, giving a dynamical incarnation of explicit class field theory.
- At $\beta\le1$ the equilibrium state is unique, so spontaneous symmetry breaking occurs precisely at $\beta=1$; the high-temperature phase carries no Galois labelling.
- The partition function of the system is $\zeta_{k,\infty}(\beta)$, so the Dedekind zeta function of $k$ with the place-$\infty$ factor removed is encoded as the trace of $e^{-\beta H}$ over the ideal lattice.
- The low-temperature extremal state values at $e(\varphi,\lambda)$ yield partial zeta functions $\zeta^+_{k,\infty}$ and $\zeta^{p,\sigma}_{k,\infty}$, linking equilibrium data to ray-class zeta values.
- The unique high-temperature state is a type $\mathrm{III}_{q^{-\beta d_\infty}}$ factor, so the degree of the distinguished place $\infty$ is read off from the modular type.
Reading between the lines
- Editorial: the same groupoid-plus-torsion pattern should work for other explicit class field theories, so one can try replacing Drinfeld modules by other rank-one arithmetic objects and expect analogous KMS classifications.
- Editorial: because the paper's states take complex values, the Galois group permutes but does not act on the values themselves; defining states with values in a positive-characteristic field is a natural testbed for making the Galois action 'fabulous' in the sense the paper discusses.
- Editorial: the corrected exponent $d_\infty$ suggests that the local degree of the distinguished place sets the modular scale of the high-temperature phase; varying $\infty$ while keeping $k$ fixed gives a concrete family of systems in which to test that dependence.
- Editorial: the explicit relations (a)–(f) presenting $\mathcal{H}$ may admit an integral or $\mathbb{F}_q$-rational version, which would bring the partial-zeta special-value formulas into an arithmetic rather than complex-analytic setting.
Original abstract
We describe a construction which associates to any function field $k$ and any place $\infty$ of $k$ a $C^*$-dynamical system $(C_{k,\infty},\sigma_t)$ that is analogous to the Bost-Connes system associated to $\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 $C_{k,\infty}$ has a faithful continuous action of $\Gal(K/k)$, where $K$ is a certain field constructed by Hayes, such that $k^\abi\subset K\subset k^\ab$, where $k^\abi$ is the maximal abelian extension of $k$ that is totally split at $\infty$. We classify the extremal KMS$_\beta$ states of $(C_{k,\infty},\sigma_t)$ at any temperature $0<1/\beta<\infty$ and show that a phase transition with spontaneous symmetry breaking occurs at temperature $1/\beta=1$. At high temperature $1/\beta\geqslant 1$, there is a unique KMS$_\beta$ state. At low temperature $1/\beta<1$, the space of extremal KMS$_\beta$ states is principal homogeneous under $\Gal(K/k)$. Each such state is of type $\I_\infty$ and the partition function is the Dedekind zeta function $\zeta_{k,\infty}$. Moreover, we construct a "rational" *-subalgebra $\HH$, we give a presentation of $\HH$ and of $C_{k,\infty}$, and we show that the values of the low-temperature extremal KMS$_\beta$ states at certain elements of $\HH$ are related to special values of partial zeta functions.\n Erratum: This article wrongly claims that at high temperature $1/\beta\geqslant 1$, the unique KMS$_\beta$ state is of type $\III_{q^{-\beta}}$, where $q$ is the cardinal of the constant subfield of $k$. It has been shown by Neshveyev and Rustad \cite{NesRus12} that the correct type is $\III_{q^{-\beta d_\infty}}$ where $d_\infty$ is the degree of the place $\infty$. The original statements have been kept for reference, but errata have been inserted next to them.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We describe a construction which associates to any function field $k$ and any place $\infty$ of $k$ a $C^*$-dynamical system $(C_{k,\infty},\sigma_t)$ that is analogous to the Bost-Connes system associated to $\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 $C_{k,\infty}$ has a faithful continuous action of $\Gal(K/k)$, where $K$ is a certain field constructed by Hayes, such that $k^\abi\subset K\subset k^\ab$, where $k^\abi$ is the maximal abelian extension of $k$ that is totally split at $\infty$. We classify the extremal KMS$_\beta$ states of $(C_{k,\infty},\sigma_t)$ at any temperature $0<1/\beta<\infty$ and show that a phase transition with spontaneous symmetry breaking occurs at temperature $1/\beta=1$. At high temperature $1/\beta\geqslant 1$, there is a unique KMS$_\beta$ state. At low temperature $1/\beta<1$, the space of extremal KMS$_\beta$ states is principal homogeneous under $\Gal(K/k)$. Each such state is of type $\I_\infty$ and the partition function is the Dedekind zeta function $\zeta_{k,\infty}$. Moreover, we construct a "rational" *-subalgebra $\HH$, we give a presentation of $\HH$ and of $C_{k,\infty}$, and we show that the values of the low-temperature extremal KMS$_\beta$ states at certain elements of $\HH$ are related to special values of partial zeta functions.\n Erratum: This article wrongly claims that at high temperature $1/\beta\geqslant 1$, the unique KMS$_\beta$ state is of type $\III_{q^{-\beta}}$, where $q$ is the cardinal of the constant subfield of $k$. It has been shown by Neshveyev and Rustad \cite{NesRus12} that the correct type is $\III_{q^{-\beta d_\infty}}$ where $d_\infty$ is the degree of the place $\infty$. The original statements have been kept for reference, but errata have been inserted next to them.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We describe a construction which associates to any function field $k$ and any place $\infty$ of $k$ a $C^*$-dynamical system $(C_{k,\infty},\sigma_t)$ that is analogous to the Bost-Connes system associated to $\QQ$ and its archimedian place. | contribution 1.00 | 0.94 | 0.33 | asserted 1.00 |
| s1 | Our construction relies on Hayes' explicit class field theory in terms of sign-normalized rank one Drinfel'd modules. | method 0.99 | 0.35 | 0.03 | asserted 1.00 |
| s2 | We show that $C_{k,\infty}$ has a faithful continuous action of $\Gal(K/k)$, where $K$ is a certain field constructed by Hayes, such that $k^\abi\subset K\subset k^\ab$, where $k^\abi$ is the maximal abelian extension of $k$ that is totally split at $\infty$. | result 0.83 | 0.91 | 0.08 | asserted 1.00 |
| s3 | We classify the extremal KMS$_\beta$ states of $(C_{k,\infty},\sigma_t)$ at any temperature $0<1/\beta<\infty$ and show that a phase transition with spontaneous symmetry breaking occurs at temperature $1/\beta=1$. | result 0.89 | 0.95 | 0.55 | asserted 1.00 |
| s4 | At high temperature $1/\beta\geqslant 1$, there is a unique KMS$_\beta$ state. | result 1.00 | 0.91 | 0.11 | asserted 1.00 |
| s5 | At low temperature $1/\beta<1$, the space of extremal KMS$_\beta$ states is principal homogeneous under $\Gal(K/k)$. | result 1.00 | 0.94 | 0.16 | asserted 1.00 |
| s6 | Each such state is of type $\I_\infty$ and the partition function is the Dedekind zeta function $\zeta_{k,\infty}$. | result 1.00 | 0.88 | 0.11 | asserted 1.00 |
| s7 | Moreover, we construct a "rational" *-subalgebra $\HH$, we give a presentation of $\HH$ and of $C_{k,\infty}$, and we show that the values of the low-temperature extremal KMS$_\beta$ states at certain elements of $\HH$ are related to special values of partial zeta functions.\n Erratum: This article wrongly claims that at high temperature $1/\beta\geqslant 1$, the unique KMS$_\beta$ state is of type $\III_{q^{-\beta}}$, where $q$ is the cardinal of the constant subfield of $k$. | contribution 0.40 | 0.92 | 0.11 | asserted 1.00 |
| s8 | It has been shown by Neshveyev and Rustad \cite{NesRus12} that the correct type is $\III_{q^{-\beta d_\infty}}$ where $d_\infty$ is the degree of the place $\infty$. | limitation 0.52 | 0.04 | 0.05 | asserted 1.00 |
| s9 | The original statements have been kept for reference, but errata have been inserted next to them. | limitation 0.92 | 0.56 | 0.02 | asserted 0.97 |
What was examined, and what was not
- arXiv listing abstract v5
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
1 arXiv paper cite this in 1 sentence
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.