Pith. sign in

REVIEW 2 minor 20 references

A newform theory for Katz modular forms

T0 review · 0 major / 2 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read A cuspidal Katz eigenform with an irreducible Galois representation lies in the old space of a unique Katz newform.

desk verdict The paper states a multiplicity one theorem for cuspidal Katz eigenforms with irreducible Galois representations, placing them in the oldspace of a unique newform. read the letter →

arxiv 1911.08866 v1 submitted 2019-11-20 math.NT

Daniel Mamo This is my paper
classification math.NT
keywords KatzmodularformsnewformtheorymultiplicityoneGaloisrepresentationscuspidaleigenformsoldforms
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes a strong multiplicity one theorem for Katz modular forms. It proves that any cuspidal Katz eigenform admitting an irreducible Galois representation belongs to the level and weight old space generated by a single associated Katz newform. This gives a way to associate each such form to a unique newform at reduced level or weight. The work also develops multiplicity one statements that apply when the Galois representation is reducible.

What carries the argument

The level and weight old space of a Katz newform, which consists of all forms obtained by raising the level or weight from a newform at lower parameters.

What would settle it

An explicit cuspidal Katz eigenform with irreducible Galois representation that cannot be written as an oldform coming from any single Katz newform of lower level or weight.

Watch

Extended reading notes

Core claim

A cuspidal Katz eigenform which admits an irreducible Galois representation is in the level and weight old space of a uniquely associated Katz newform.

Load-bearing premise

The cuspidal Katz eigenform admits an irreducible Galois representation.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The paper develops a newform theory for Katz modular forms over finite fields. It proves a strong multiplicity-one result: a cuspidal Katz eigenform admitting an irreducible Galois representation lies in the level-and-weight oldspace of a unique associated Katz newform. A weaker multiplicity-one statement is given for the reducible-Galois-representation case.

Significance. If the proofs are correct, the work supplies the first systematic newform theory in the Katz setting, extending classical multiplicity-one theorems (Atkin–Lehner, Miyake, etc.) to modular forms with coefficients in finite fields. This would be useful for studying Galois representations attached to Katz forms and for questions in arithmetic geometry over finite fields.

minor comments (2)
  1. The abstract states the main theorem only conditionally on the existence of an irreducible Galois representation; the introduction or §1 should clarify whether every cuspidal Katz eigenform satisfies this hypothesis or under what additional conditions the result applies.
  2. Notation for “level and weight old space” and the precise definition of “Katz newform” should be introduced with a short paragraph or reference to the relevant earlier work on Katz forms before the statement of the main theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the paper and for recognizing the potential significance of a newform theory in the Katz setting, conditional on the correctness of the proofs. The referee's assessment aligns with the manuscript's focus on the strong multiplicity-one theorem for cuspidal Katz eigenforms with irreducible Galois representations and the weaker result in the reducible case. No specific major comments or points of criticism were raised in the report, so we have no point-by-point responses to provide at this time. We remain available to supply further details on the proofs or address any unstated concerns that led to the 'uncertain' recommendation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detected; theorem stated without self-referential reduction

full rationale

The abstract presents a conditional multiplicity-one theorem: a cuspidal Katz eigenform with irreducible Galois representation lies in the old space of a unique newform. No equations, fitted parameters, ansatzes, or self-citations are exhibited that would make the conclusion equivalent to its inputs by construction. The result is framed as a proof under an explicit hypothesis, with a separate (weaker) statement for the reducible case. No load-bearing step reduces to renaming, fitting, or prior self-work in a circular manner. This is the expected non-finding for a theorem statement without visible derivations.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are identifiable from the provided text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A newform theory for Katz modular forms." pith.science (2026). https://pith.science/paper/1911.08866

@misc{pith2026191108866,
  author       = {Pith},
  title        = {Pith review of: A newform theory for Katz modular forms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/1911.08866}},
  note         = {Machine review of arXiv:1911.08866}
}
read the original abstract

In this paper, a strong multiplicity one theorem for Katz modular forms is studied. We show that a cuspidal Katz eigenform which admits an irreducible Galois representation is in the level and weight old space of a uniquely associated Katz newform. We also set up multiplicity one results for Katz eigenforms which have reducible Galois representation.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    S. Anni. A note on the minimal level of realization for a mod ℓ eigenvalue system. In Auto- morphic forms and related topics , volume 732 of Contemp. Math., pages 1–13. Amer. Math. Soc., Providence, RI, 2019

    work page 2019

  2. [2]

    A. O. L. Atkin and J. Lehner. Hecke operators on Γ 0(m). Math. Ann., 185:134–160, 1970

    work page 1970

  3. [3]

    K. Buzzard. On level-lowering for mod 2 representations. Math. Res. Lett., 7(1):95–110, 2000

    work page 2000

  4. [4]

    Calegari

    F. Calegari. Is serres conjecture still open? In Blogpost. https://galoisrepresentations.wordpress.com/2014/08/10/is-serres-conjecture-still-open. A NEWFORM THEORY FOR KATZ MODULAR FORMS 11

    work page 2014

  5. [5]

    R. F. Coleman and J. F. Voloch. Companion forms and Kodaira-Spencer theory. Invent. Math., 110(2):263–281, 1992

    work page 1992

  6. [6]

    Deligne and J.-P

    P. Deligne and J.-P. Serre. Formes modulaires de poids 1. Ann. Sci. ´Ecole Norm. Sup. (4) , 7:507–530 (1975), 1974

    work page 1975

  7. [7]

    Diamond and J

    F. Diamond and J. Im. Modular forms and modular curves. In Seminar on Fermat’s Last Theorem (Toronto, ON, 1993–1994) , volume 17 of CMS Conf. Proc. , pages 39–133. Amer. Math. Soc., Providence, RI, 1995

    work page 1993

  8. [8]

    Edixhoven

    B. Edixhoven. The weight in Serre’s conjectures on modular forms.Invent. Math., 109(3):563– 594, 1992

    work page 1992

Show all 20 references
  1. [9]

    Edixhoven and J.-M

    B. Edixhoven and J.-M. Couveignes, editors. Computational aspects of modular forms and Galois representations, volume 176 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2011. How one can compute in polynomial time the value of Ramanu- jan’s tau a...

    2011

  2. [10]

    B. H. Gross. A tameness criterion for Galois representations associated to modular forms (mod p). Duke Math. J. , 61(2):445–517, 1990

    1990

  3. [11]

    N. M. Katz. p-adic properties of modular schemes and modular forms. In Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972) , pages 69–190. Lecture Notes in Mathematics, Vol. 350, 1973

    1972

  4. [12]

    N. M. Katz. A result on modular forms in characteristic p. In Modular functions of one variable, V (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976) , pages 53–61. Lecture Notes in Math., Vol. 601, 1977

    1976

  5. [13]

    Khare and J.-P

    C. Khare and J.-P. Wintenberger. Serre’s modularity conjecture. I.Invent. Math., 178(3):485– 504, 2009

    2009

  6. [14]

    Khare and J.-P

    C. Khare and J.-P. Wintenberger. Serre’s modularity conjecture. II. Invent. Math. , 178(3):505–586, 2009

    2009

  7. [15]

    M. Kisin. Modularity of 2-adic Barsotti-Tate representations. Invent. Math., 178(3):587–634, 2009

    2009

  8. [16]

    W. C. W. Li. Newforms and functional equations. Math. Ann., 212:285–315, 1975

    1975

  9. [17]

    Ono and N

    K. Ono and N. Ramsey. A mod ℓ Atkin-Lehner theorem and applications. Arch. Math. (Basel), 98(1):25–36, 2012

    2012

  10. [18]

    K. A. Ribet. Report on mod l representations of Gal(Q/Q). In Motives (Seattle, WA, 1991), volume 55 of Proc. Sympos. Pure Math., pages 639–676. Amer. Math. Soc., Providence, RI, 1994

    1991

  11. [19]

    J.-P. Serre. Sur les repr´ esentations modulaires de degr´ e 2 de Gal( Q/Q). Duke Math. J. , 54(1):179–230, 1987

    1987

  12. [20]

    W. Stein. Modular forms, a computational approach, volume 79 of Graduate Studies in Math- ematics. American Mathematical Society, Providence, RI, 2007. With an appendix by Paul E. Gunnells. Unit´e de Recherche en Math ´ematiques, Universit ´e du Luxembourg, Maison du nom- bre,...

    2007

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.