Pith. Sign in

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

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDmath/0602554 (version 5)
Pith IDPPEYSUW3, Pith's permanent record of this paper and its review
CitationBeno\^it Jacob. "Bost-Connes type systems for function fields." arXiv:math/0602554 (2006). https://pith.science/paper/PPEYSUW3
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

The paper sets out to show that every global function field $k$, together with a chosen place $\infty$, carries a $C^*$-dynamical system $(C_{k,\infty},\sigma_t)$ analogous to the system originally built over the rational numbers. Its equilibrium (KMS) states undergo a phase transition at inverse temperature $\beta=1$: for $\beta\le1$ there is exactly one KMS state, while for $\beta>1$ the extremal KMS states form a principal homogeneous space under the Galois group $\operatorname{Gal}(K/k)$ of a canonically defined abelian extension $K$ lying between the maximal abelian extension of $k$ totally split at $\infty$ and the full maximal abelian extension. The partition function of the system is the Dedekind zeta function $\zeta_{k,\infty}$, i.e. the zeta function of $k$ with the factor at $\infty$ removed, and the low-temperature extremal states take values on a rational subalgebra that are expressible through partial zeta functions. The construction uses the explicit class field theory of function fields: torsion points of sign-normalized rank-one Drinfeld modules generate the relevant abelian extensions, and the Galois action is read off from their torsion. The paper records an erratum correcting the type of the unique high-temperature state from $\mathrm{III}_{q^{-\beta}}$ to $\mathrm{III}_{q^{-\beta d_\infty}}$, where $q$ is the cardinality of the constant subfield and $d_\infty$ is the degree of $\infty$.

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 extensions of the paper, not claims the author makes directly.

  • 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.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 8,176 input tokens.

What the abstract itself states, as probabilities: claims first 0.05 · states limitation 0.96 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.88 · compares with prior results 0.88 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v5. Results and the main claim are underlined; .

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: theoretical result 0.99 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v5
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How the literature uses it

1 arXiv paper cite this in 1 sentence

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

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.