pith. sign in

arxiv: 2605.01398 · v1 · submitted 2026-05-02 · 🧮 math.NT · math.CO

Bowen--Franks groups and minus class groups of cyclotomic number fields with prime conductor

Antonio Lei , Katharina M\"uller , Daniel Valli\`eres This is my paper

Pith reviewed 2026-05-09 17:54 UTC · model grok-4.3

classification 🧮 math.NT math.CO
keywords cyclotomic fieldsclass groupsBowen-Franks groupsdirected graphsGalois modulesminus class groupprime conductor
0
0 comments X

The pith

The torsion of the Bowen-Franks group for a graph on p-1 vertices equals the minus class group of the p-cyclotomic field up to a power of p.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a specific directed graph Y with p-1 vertices associated to the cyclotomic field K of prime conductor p. It establishes that the torsion subgroup of the Bowen-Franks group of Y is related to the minus part of the class group of K by having equal orders after accounting for an explicit power of p. Both are equipped with compatible actions of the Galois group of K over Q. The authors further show that their isotypic components have matching cardinalities when tensored with the ring of integers in a suitable ℓ-adic extension for primes ℓ not dividing p-1. This connection allows combinatorial methods from dynamics to inform arithmetic properties of cyclotomic fields.

Core claim

We construct a directed graph Y on p-1 vertices for which the torsion part of the corresponding Bowen--Franks group is closely related to the minus part of the class group of K = Q(ζ_p). In particular, both groups have the same cardinality up to an explicit power of p. Furthermore, they are both Gal(K/Q)-modules, and we prove the equality of the cardinalities of their isotypic components after tensoring them with the valuation ring of an appropriate ℓ-adic field for ℓ ∤ p-1.

What carries the argument

The directed graph Y on p-1 vertices, whose associated adjacency matrix determines the Bowen-Franks group whose torsion captures the minus class group of the cyclotomic field.

If this is right

  • The order of the minus class group is determined by the Bowen-Franks torsion up to an explicit power of p.
  • The Gal(K/Q)-module structures on both groups coincide in their isotypic components over suitable ℓ-adic extensions.
  • Combinatorial properties of the graph Y provide a model for the arithmetic invariants of the minus class group.
  • The relation yields an explicit link between dynamical systems and the Galois module structure of cyclotomic class groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The graph construction might extend to cyclotomic fields of composite conductor by adjusting the vertex set and edges accordingly.
  • This model could enable computational experiments that test class group properties via graph algorithms for large p.
  • The explicit power of p appearing in the cardinality relation may admit a direct interpretation in terms of the graph's cycle structure or the field's ramification.
  • Connections to other invariants, such as p-adic L-functions or Iwasawa modules, could arise by viewing the graph as a dynamical system approximating the arithmetic.

Load-bearing premise

The particular choice of directed graph Y on p-1 vertices must be such that its Bowen-Franks torsion group encodes the arithmetic of the minus class group of the cyclotomic field exactly as claimed.

What would settle it

For a given odd prime p, explicitly construct the graph Y, compute its Bowen-Franks torsion group order, compute the order of the minus class group of Q(ζ_p), and check if the ratio is exactly a power of p; a mismatch would falsify the claim. Similarly for the isotypic component sizes after ℓ-adic extension.

read the original abstract

Let $p$ be an odd rational prime and consider the cyclotomic number field $K = \mathbb{Q}(\zeta_{p})$ of conductor $p$. We construct a directed graph $Y$ on $p-1$ vertices for which the torsion part of the corresponding Bowen--Franks group is closely related to the minus part of the class group of $K$. In particular, both groups have the same cardinality up to an explicit power of $p$. Furthermore, they are both $\mathrm{Gal}(K/\mathbb{Q})$-modules, and we prove the equality of the cardinalities of their isotypic components after tensoring them with the valuation ring of an appropriate $\ell$-adic field for $\ell \nmid p-1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 4 minor

Summary. The manuscript constructs a directed graph Y on p-1 vertices for odd primes p and proves that the torsion part of the Bowen-Franks group of Y is related to the minus part of the class group Cl^-(K) of the cyclotomic field K = Q(ζ_p). Specifically, the two groups have the same order up to an explicit power of p, and after tensoring with the valuation ring of an ℓ-adic field (ℓ ∤ p-1), the cardinalities of their isotypic components under the Gal(K/Q)-action coincide.

Significance. If the result holds, it supplies an explicit combinatorial model for the minus class group of prime-conductor cyclotomic fields together with its Galois-module structure. The construction of Y and the direct comparison of isotypic components after base change constitute a concrete link between a graph-theoretic invariant and an arithmetic object; this may be useful for explicit computations or for studying Iwasawa-theoretic phenomena via dynamical systems.

minor comments (4)
  1. The precise exponent of p appearing in the cardinality relation is stated only as 'explicit'; adding the formula in the introduction or in the statement of the main theorem would improve readability.
  2. The definition of the directed graph Y (its vertex set, edge set, and adjacency matrix) should be given in a single numbered display or subsection so that the subsequent computation of coker(I-A) can be checked without searching the text.
  3. A brief reminder of the definition of the Bowen-Franks group (as the torsion subgroup of coker(I-A) for the adjacency matrix A) would help readers outside dynamical systems.
  4. The paper would benefit from a short table or example for a small prime (e.g., p=5 or p=7) exhibiting the explicit isomorphism of isotypic components.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. The assessment accurately captures the main results on the directed graph Y and its relation to the minus class group of Q(ζ_p).

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper explicitly constructs a directed graph Y on p-1 vertices whose adjacency matrix is defined independently of the class group. It then proves, via direct comparison of isotypic components after base change to an ℓ-adic valuation ring, that the torsion of the Bowen-Franks group of Y and the minus class group of Q(ζ_p) have matching cardinalities up to an explicit p-power. Both objects are defined from standard, separate sources (graph theory and algebraic number theory); the relation is established by proof rather than by construction, fitting, or self-referential definition. No load-bearing step reduces to its own input by the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper relies on standard background from algebraic number theory and symbolic dynamics with no free parameters or invented entities beyond the new graph construction itself.

axioms (2)
  • standard math Standard facts about the class group of Q(ζ_p) as a Gal(K/Q)-module and the definition of its minus part.
    Invoked when relating the class group to the Bowen-Franks group.
  • standard math Definition and basic properties of the Bowen-Franks group associated to a directed graph.
    Used to define the torsion part whose cardinality is compared to the class group.
invented entities (1)
  • Directed graph Y on p-1 vertices no independent evidence
    purpose: To produce a Bowen-Franks group whose torsion relates to the minus class group
    Y is defined in the paper specifically for this comparison; no independent existence or properties are claimed outside the construction.

pith-pipeline@v0.9.0 · 5433 in / 1692 out tokens · 57599 ms · 2026-05-09T17:54:00.676220+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages

  1. [1]

    Artin and B

    M. Artin and B. Mazur. On periodic points. Ann. of Math. (2) , 81:82--99, 1965

    work page 1965

  2. [2]

    The I hara- S elberg zeta function of a tree lattice

    Hyman Bass. The I hara- S elberg zeta function of a tree lattice. Internat. J. Math. , 3(6):717--797, 1992

    work page 1992

  3. [3]

    Homology for zero-dimensional nonwandering sets

    Rufus Bowen and John Franks. Homology for zero-dimensional nonwandering sets. Ann. of Math. (2) , 106(1):73--92, 1977

    work page 1977

  4. [4]

    Bowen and O

    R. Bowen and O. E. Lanford, III. Zeta functions of restrictions of the shift transformation. In Global A nalysis ( P roc. S ympos. P ure M ath., V ols. XIV , XV , XVI , B erkeley, C alif., 1968) , Proc. Sympos. Pure Math., XIV-XVI, pages 43--49. Amer. Math. Soc., Providence, RI, 1970

    work page 1968

  5. [5]

    Flow equivalence of subshifts of finite type

    John Franks. Flow equivalence of subshifts of finite type. Ergodic Theory Dynam. Systems , 4(1):53--66, 1984

    work page 1984

  6. [6]

    Jacobians of F inite and I nfinite V oltage C overs of G raphs

    Sophia Rose Gonet. Jacobians of F inite and I nfinite V oltage C overs of G raphs . ProQuest LLC, Ann Arbor, MI, 2021. Thesis (Ph.D.)--The University of Vermont and State Agricultural College

    work page 2021

  7. [7]

    Sophia R. Gonet. Iwasawa theory of J acobians of graphs. Algebr. Comb. , 5(5):827--848, 2022

    work page 2022

  8. [8]

    Granville

    A. Granville. On the size of the first factor of the class number of a cyclotomic field. Invent. Math. , 100(2):321--338, 1990

    work page 1990

  9. [9]

    Jonathan L. Gross. Voltage graphs. Discrete Math. , 9:239--246, 1974

    work page 1974

  10. [10]

    Gross and Thomas W

    Jonathan L. Gross and Thomas W. Tucker. Generating all graph coverings by permutation voltage assignments. Discrete Math. , 18(3):273--283, 1977

    work page 1977

  11. [11]

    Gross and Thomas W

    Jonathan L. Gross and Thomas W. Tucker. Topological graph theory . Dover Publications, Inc., Mineola, NY, 2001. Reprint of the 1987 original [Wiley, New York; MR0898434 (88h:05034)] with a new preface and supplementary bibliography

    work page 2001

  12. [12]

    Iwasawa theory for branched Z _ p -towers of finite graphs and I hara zeta and L -functions

    Rusiru Gambheera and Daniel Valli\` e res. Iwasawa theory for branched Z _ p -towers of finite graphs and I hara zeta and L -functions. P reprint , 2025

    work page 2025

  13. [13]

    Zeta functions of finite graphs and representations of p -adic groups

    Ki-ichiro Hashimoto. Zeta functions of finite graphs and representations of p -adic groups. In Automorphic forms and geometry of arithmetic varieties , volume 15 of Adv. Stud. Pure Math. , pages 211--280. Academic Press, Boston, MA, 1989

    work page 1989

  14. [14]

    On zeta and L -functions of finite graphs

    Ki-ichiro Hashimoto. On zeta and L -functions of finite graphs. Internat. J. Math. , 1(4):381--396, 1990

    work page 1990

  15. [15]

    Artin type L -functions and the density theorem for prime cycles on finite graphs

    Ki-ichiro Hashimoto. Artin type L -functions and the density theorem for prime cycles on finite graphs. Internat. J. Math. , 3(6):809--826, 1992

    work page 1992

  16. [16]

    On the class number of A belian number fields

    Helmut Hasse. On the class number of A belian number fields . Springer, Cham, 2019. Extended with tables by Ken-ichi Yoshino and Mikihito Hirabayashi, Translated from the 1985 German reprint [MR0842666] and with a preface by Hirabayashi, With a foreword by Franz Lemmermeyer

    work page 2019

  17. [17]

    Discrete subgroups of PL (2,\,k_ )

    Yasutaka Ihara. Discrete subgroups of PL (2,\,k_ ) . In Algebraic G roups and D iscontinuous S ubgroups ( P roc. S ympos. P ure M ath., B oulder, C olo., 1965) , pages 272--278. Amer. Math. Soc., Providence, R.I., 1966

    work page 1965

  18. [18]

    A class number formula for cyclotomic fields

    Kenkichi Iwasawa. A class number formula for cyclotomic fields. Ann. of Math. (2) , 76:171--179, 1962

    work page 1962

  19. [19]

    o ren Kleine and Katharina M\

    S\" o ren Kleine and Katharina M\" u ller. On the growth of the J acobians in Z ^ l _ p -voltage covers of graphs. Algebr. Comb. , 7(4):1011--1038, 2024

    work page 2024

  20. [20]

    Zeta functions of finite graphs

    Motoko Kotani and Toshikazu Sunada. Zeta functions of finite graphs. J. Math. Sci. Univ. Tokyo , 7(1):7--25, 2000

    work page 2000

  21. [21]

    An introduction to symbolic dynamics and coding

    Douglas Lind and Brian Marcus. An introduction to symbolic dynamics and coding . Cambridge Mathematical Library. Cambridge University Press, Cambridge, 2021. Second edition [of 1369092]

    work page 2021

  22. [22]

    Iwasawa theory for abelian towers of digraphs

    Antonio Lei and Katharina M\" u ller. Iwasawa theory for abelian towers of digraphs. P reprint, arXiv:2601.19571 , 2026

    work page arXiv 2026

  23. [23]

    Ram Murty and Yiannis N

    M. Ram Murty and Yiannis N. Petridis. On K ummer's conjecture. J. Number Theory , 90(2):294--303, 2001

    work page 2001

  24. [24]

    On abelian -towers of multigraphs II

    Kevin McGown and Daniel Valli\`eres. On abelian -towers of multigraphs II . Ann. Math. Qu\' e . , 47(2):461--473, 2023

    work page 2023

  25. [25]

    On abelian -towers of multigraphs III

    Kevin McGown and Daniel Valli\`eres. On abelian -towers of multigraphs III . Ann. Math. Qu\' e . , 48(1):1--19, 2024

    work page 2024

  26. [26]

    Mazur and A

    B. Mazur and A. Wiles. Class fields of abelian extensions of Q . Invent. Math. , 76(2):179--330, 1984

    work page 1984

  27. [27]

    A topological invariant of flows on 1 -dimensional spaces

    Bill Parry and Dennis Sullivan. A topological invariant of flows on 1 -dimensional spaces. Topology , 14(4):297--299, 1975

    work page 1975

  28. [28]

    An analogue of K ida's formula in graph theory

    Anwesh Ray and Daniel Valli\`eres. An analogue of K ida's formula in graph theory. Pure Appl. Math. Q. , 21(5):1853--1891, 2025

    work page 2025

  29. [29]

    Minus class groups of the fields of the l th roots of unity

    Ren\' e Schoof. Minus class groups of the fields of the l th roots of unity. Math. Comp. , 67(223):1225--1245, 1998

    work page 1998

  30. [30]

    Arbres, amalgames, SL _ 2

    Jean-Pierre Serre. Arbres, amalgames, SL _ 2 . Ast\' e risque, No. 46. Soci\' e t\' e Math\' e matique de France, Paris, 1977. Avec un sommaire anglais, R\' e dig\' e avec la collaboration de Hyman Bass

    work page 1977

  31. [31]

    Stark and Audrey A

    Harold M. Stark and Audrey A. Terras. Zeta functions of finite graphs and coverings. Adv. Math. , 121(1):124--165, 1996

    work page 1996

  32. [32]

    Stark and Audrey A

    Harold M. Stark and Audrey A. Terras. Zeta functions of finite graphs and coverings. II . Adv. Math. , 154(1):132--195, 2000

    work page 2000

  33. [33]

    Stark and Audrey A

    Harold M. Stark and Audrey A. Terras. Zeta functions of finite graphs and coverings. III . Adv. Math. , 208(1):467--489, 2007

    work page 2007

  34. [34]

    L -functions in geometry and some applications

    Toshikazu Sunada. L -functions in geometry and some applications. In Curvature and topology of R iemannian manifolds ( K atata, 1985) , volume 1201 of Lecture Notes in Math. , pages 266--284. Springer, Berlin, 1986

    work page 1985

  35. [35]

    Topological crystallography , volume 6 of Surveys and Tutorials in the Applied Mathematical Sciences

    Toshikazu Sunada. Topological crystallography , volume 6 of Surveys and Tutorials in the Applied Mathematical Sciences . Springer, Tokyo, 2013. With a view towards discrete geometric analysis

    work page 2013

  36. [36]

    Les conjectures de S tark sur les fonctions L d' A rtin en s=0 , volume 47 of Progress in Mathematics

    John Tate. Les conjectures de S tark sur les fonctions L d' A rtin en s=0 , volume 47 of Progress in Mathematics . Birkh\"auser Boston Inc., Boston, MA, 1984. Lecture notes edited by Dominique Bernardi and Norbert Schappacher

    work page 1984

  37. [37]

    Zeta functions of graphs , volume 128 of Cambridge Studies in Advanced Mathematics

    Audrey Terras. Zeta functions of graphs , volume 128 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2011. A stroll through the garden

    work page 2011

  38. [38]

    On abelian -towers of multigraphs

    Daniel Valli\`eres. On abelian -towers of multigraphs. Ann. Math. Qu\' e . , 45(2):433--452, 2021

    work page 2021

  39. [39]

    Daniel Valli\` e res and Chase A. Wilson. An analogue of the H erbrand- R ibet theorem in graph theory. P reprint, arXiv:2504.05529 , 2025

    work page arXiv 2025

  40. [40]

    Washington

    Lawrence C. Washington. Introduction to cyclotomic fields , volume 83 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1997

    work page 1997