pith. sign in

arxiv: 1907.04910 · v1 · pith:F5Y2GQBDnew · submitted 2019-07-10 · 🧮 math.NT · math.CO

The special value u=1 of Artin-Ihara L-functions

Kyle Hammer , Thomas W. Mattman , Jonathan W. Sands , Daniel Valli\`eres This is my paper

Pith reviewed 2026-05-24 23:23 UTC · model grok-4.3

classification 🧮 math.NT math.CO
keywords Artin-Ihara L-functionsabelian coversmultigraphsBrumer conjectureStickelberger idealJacobian of graphsspanning trees
0
0 comments X

The pith

Artin-Ihara L-functions at u=1 annihilate an ideal in the group ring of abelian multigraph covers and yield its index.

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

The paper studies the special value u=1 of Artin-Ihara L-functions attached to characters of the automorphism group of abelian covers of multigraphs. It proves that these special values produce an element that annihilates a certain ideal in the group ring, directly analogous to Brumer's conjecture on the annihilation of class groups by L-values in abelian extensions of number fields. The work also determines the index of this ideal, paralleling the classical computation for the Stickelberger ideal. Along the way, it records relations for the number of spanning trees in such covers. The results transfer algebraic number theory statements about class groups and ideals into the combinatorial setting of graphs.

Core claim

We show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory.

What carries the argument

The Artin-Ihara L-function attached to a character of the automorphism group of an abelian cover of a multigraph, whose value at the special point u=1 generates an element of the group ring that annihilates the Jacobian ideal of the cover.

If this is right

  • The special value at u=1 directly produces annihilators for the Jacobian of the cover in the integral group ring.
  • The index of the ideal generated by these annihilators equals an explicit product involving the orders of the characters and the number of spanning trees.
  • The number of spanning trees of the cover is determined by the product of the nonzero L-values at u=1 over the nontrivial characters.
  • These relations hold uniformly for every abelian cover of any fixed base multigraph.

Where Pith is reading between the lines

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

  • The graph-cover setting supplies a concrete combinatorial model in which to test or refine statements that remain conjectural for number fields.
  • Similar annihilation and index formulas may extend to covers that are not abelian or to other zeta functions defined on graphs.
  • The spanning-tree observations suggest that the same L-values control both algebraic and combinatorial invariants of the cover.

Load-bearing premise

The Artin-Ihara L-functions attached to characters of automorphism groups of abelian multigraph covers are well-defined and possess analytic properties that permit their special value at u=1 to be interpreted exactly as in the number-field setting.

What would settle it

An explicit abelian cover of a small multigraph together with its automorphism group character for which the computed L-value at u=1 fails to annihilate the corresponding Jacobian ideal.

read the original abstract

We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory. Along the way, we make some observations about the number of spanning trees in abelian multigraph coverings that may be of independent interest.

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 / 2 minor

Summary. The paper studies the special value at u=1 of Artin-Ihara L-functions associated to characters of the automorphism group of abelian covers of multigraphs. It establishes an annihilation statement analogous to Brumer's conjecture on the annihilation of class groups in abelian extensions of number fields, computes the index of an ideal analogous to the classical Stickelberger ideal, and records observations on the number of spanning trees in such abelian multigraph coverings.

Significance. If the central claims hold, the work supplies a concrete graph-theoretic parallel to two classical results in algebraic number theory (Brumer annihilation and the Stickelberger ideal), using the Artin formalism applied to Ihara zeta functions of covers. The spanning-tree observations supply an independent consistency check via the order of the pole at u=1 and may be of standalone interest in graph theory.

minor comments (2)
  1. [Abstract] The abstract states the main results clearly but does not indicate the precise statements of the annihilation theorem or the index formula; adding one-sentence formulations of the two main theorems would improve readability.
  2. Notation for the group ring, the module being annihilated, and the precise definition of the Artin-Ihara L-function (via the usual Artin formalism on the Ihara zeta function) should be fixed early and used consistently; cross-references to the relevant definitions would help readers track the analogy with the number-field case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the manuscript, including the recognition of its graph-theoretic parallels to Brumer's conjecture and the Stickelberger ideal, as well as the independent interest of the spanning-tree observations. The recommendation of minor revision is noted. However, the report lists no specific major comments under the MAJOR COMMENTS section.

Circularity Check

0 steps flagged

Derivation self-contained; no reduction to fitted inputs or self-citations

full rationale

The paper defines Artin-Ihara L-functions via the standard Artin formalism applied to the Ihara zeta function of abelian covers of multigraphs, then relates the special value at u=1 to the order of the pole (determined by the number of spanning trees) and constructs an annihilator ideal in the group ring analogous to the Stickelberger ideal. These steps follow directly from the definitions and the known relation between the zeta function and spanning trees; the spanning-tree count supplies an independent verification of the pole order that does not rely on the annihilation statement itself. No equation or claim reduces by construction to a fitted parameter or to a prior result whose only justification is a self-citation chain within the paper. The central results therefore remain independent of the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the established definition and analytic properties of Artin-Ihara L-functions from prior literature; no free parameters, new entities, or ad-hoc axioms are visible in the abstract.

axioms (1)
  • domain assumption Artin-Ihara L-functions for characters of automorphism groups of abelian multigraph covers are defined and possess the expected analytic continuation and functional equations.
    Invoked implicitly when the special value u=1 is discussed (abstract).

pith-pipeline@v0.9.0 · 5625 in / 1340 out tokens · 21275 ms · 2026-05-24T23:23:06.508405+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

14 extracted references · 14 canonical work pages

  1. [1]

    Algebraic graph theory

    Norman Biggs. Algebraic graph theory . Cambridge Mathematical Library. Cambridge University Pr ess, Cambridge, second edition, 1993

    work page 1993

  2. [2]

    B. J. Birch and H. P. F. Swinnerton-Dyer. Notes on ellipti c curves. II. J. Reine Angew. Math. , 218:79–108, 1965

    work page 1965

  3. [3]

    Tamagawa numbers for mot ives with (non-commutative) coefficients

    David Burns and Matthias Flach. Tamagawa numbers for mot ives with (non-commutative) coefficients. Doc. Math., 6:501–570 (electronic), 2001

    work page 2001

  4. [4]

    Divisors and sandpiles

    Scott Corry and David Perkinson. Divisors and sandpiles . American Mathematical Society, Providence, RI, 2018. An introduction to chip-firing

    work page 2018

  5. [5]

    Kuroda’s class number formula

    Franz Lemmermeyer. Kuroda’s class number formula. Acta Arith. , 66(3):245–260, 1994

    work page 1994

  6. [6]

    William S. Massey. Algebraic topology: an introduction . Springer-Verlag, New York-Heidelberg, 1977. Reprint of the 1967 edition, Graduate Texts in Mathematics, Vol. 56

    work page 1977

  7. [7]

    D.E. Rideout. On a Generalization of a Theorem of Stickelberger . Thesis–McGill University, 1970

    work page 1970

  8. [8]

    Number theory in function fields , volume 210 of Graduate Texts in Mathematics

    Michael Rosen. Number theory in function fields , volume 210 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2002

    work page 2002

  9. [9]

    On the Stickelberger ideal and the circu lar units of an abelian field

    W arren Sinnott. On the Stickelberger ideal and the circu lar units of an abelian field. Invent. Math. , 62(2):181–234, 1980/81

    work page 1980

  10. [10]

    Harold M. Stark. Values of L-functions at s = 1. I. L-functions for quadratic forms. Advances in Math. , 7:301–343 (1971), 1971

    work page 1971

  11. [11]

    Harold M. Stark. L-functions at s = 1. II. Artin L-functions with rational characters. Advances in Math. , 17(1):60– 92, 1975

    work page 1975

  12. [12]

    Harold M. Stark. L-functions at s = 1. III. Totally real fields and Hilbert’s twelfth problem. Advances in Math. , 22(1):64–84, 1976

    work page 1976

  13. [13]

    Harold M. Stark. L-functions at s = 1. IV. First derivatives at s = 0. Adv. in Math. , 35(3):197–235, 1980

    work page 1980

  14. [14]

    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 gar den. Mathematics and Statistics Department, California State Un iversity, Chico, CA 95929 USA E-mail address : khammer4@mail.csuchico.edu Mathematics and Statistics Department, California...

    work page 2011