pith. sign in

arxiv: 2207.13234 · v3 · submitted 2022-07-27 · 🧮 math.NT

On distinguishing Siegel cusp forms of degree two

Zhining Wei , Shaoyun Yi This is my paper

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

classification 🧮 math.NT
keywords Siegel cusp formsdegree twoHecke eigenformsHecke eigenvaluesL-functionslevel onedistinguishing forms
0
0 comments X

The pith

Under a certain assumption, the second Hecke eigenvalue determines a level-one Hecke eigenform of Siegel cusp forms of degree two.

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

The paper develops tools to tell Siegel cusp forms of degree two apart from one another. It shows that, for Hecke eigenforms of level one, the second Hecke eigenvalue is enough to identify the form when one assumption is granted. The work also proves that the L-functions attached to these eigenforms separate any two distinct ones. Readers care because these distinctions reduce the information required to specify or classify such forms in the theory of automorphic representations.

Core claim

We establish several results on distinguishing Siegel cusp forms of degree two. In particular, a Hecke eigenform of level one can be determined by its second Hecke eigenvalue under a certain assumption. Moreover, we can distinguish two Hecke eigenforms of level one by using L-functions.

What carries the argument

The second Hecke eigenvalue, which serves as a distinguishing invariant for level-one Hecke eigenforms under the stated assumption.

If this is right

  • Each level-one Hecke eigenform is uniquely identified by its second eigenvalue once the assumption holds.
  • L-functions attached to these forms act as a separating invariant between any two distinct eigenforms.
  • Distinguishing data for level-one forms can be reduced to a single eigenvalue or to L-function values.

Where Pith is reading between the lines

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

  • The results may simplify computational checks that a given form is the only one with a prescribed eigenvalue.
  • If the assumption can be removed or verified in special cases, the eigenvalue test becomes unconditional.
  • The L-function distinction suggests a route to multiplicity-one statements for the space of level-one forms.

Load-bearing premise

An unspecified assumption is required for the second Hecke eigenvalue to uniquely determine the eigenform.

What would settle it

An explicit pair of distinct level-one Hecke eigenforms of degree two that share the same second Hecke eigenvalue would falsify the determination result.

read the original abstract

In this work, we establish several results on distinguishing Siegel cusp forms of degree two. In particular, a Hecke eigenform of level one can be determined by its second Hecke eigenvalue under a certain assumption. Moreover, we can distinguish two Hecke eigenforms of level one by using $L$-functions.

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

1 major / 0 minor

Summary. The manuscript claims to establish results on distinguishing Siegel cusp forms of degree two. In particular, it asserts that a Hecke eigenform of level one can be determined by its second Hecke eigenvalue under a certain assumption, and separately that L-functions distinguish two such Hecke eigenforms of level one.

Significance. If the unspecified assumption is a standard, verifiable condition and the supporting arguments are correct, the results would offer concrete criteria for uniqueness in the space of level-one Siegel cusp forms, which could aid computational verification and structural questions in the theory. The L-function distinction claim is unconditional in the abstract and would be a modest but useful addition if proven.

major comments (1)
  1. [Abstract] Abstract: the determination result is explicitly conditional on an unspecified assumption whose content, scope, and justification are not indicated. This assumption is load-bearing for the central claim; the manuscript must state it explicitly (e.g., as a known theorem, a restriction on the forms, or a conjecture), prove or cite its validity, and verify that it does not render the conclusion tautological.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need to clarify the assumption in the abstract. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the determination result is explicitly conditional on an unspecified assumption whose content, scope, and justification are not indicated. This assumption is load-bearing for the central claim; the manuscript must state it explicitly (e.g., as a known theorem, a restriction on the forms, or a conjecture), prove or cite its validity, and verify that it does not render the conclusion tautological.

    Authors: We agree that the abstract should explicitly identify the assumption. In the revised manuscript we will update the abstract to state the assumption in full (a standard restriction on the Satake parameters of the forms under consideration). The main text already contains the justification via citation to the relevant result in the literature; we will add a brief cross-reference in the abstract and introduction to make this explicit. The assumption is independent of the eigenvalue-distinguishing statement and does not render the claim tautological, as it is a general hypothesis on the forms rather than a restatement of the uniqueness criterion itself. revision: yes

Circularity Check

0 steps flagged

No circularity; claim is explicitly conditional and no derivations visible

full rationale

The paper's main result is stated as conditional on an unspecified assumption, with no equations, derivations, or self-citations provided in the abstract or visible text. Without load-bearing steps that reduce by construction to inputs (e.g., no fitted parameters renamed as predictions or self-citation chains), the derivation chain cannot be shown to be circular. This is the expected honest non-finding when no specific reductions are exhibitable.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be extracted.

pith-pipeline@v0.9.0 · 5558 in / 895 out tokens · 23973 ms · 2026-05-24T11:50:16.315905+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Some remarks on strong multiplicity one for paramodular forms

    math.NT 2023-10 unverdicted novelty 3.0

    Refined strong multiplicity one theorems for paramodular cusp forms are established with an application to distinguishing eigenforms by twisted central values of spinor L-functions.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · cited by 1 Pith paper

  1. [1]

    A. N. Andrianov. Euler products that correspond to S iegel's modular forms of genus 2 . Uspehi Mat. Nauk , 29(3 (177)):43--110, 1974

    work page 1974

  2. [2]

    Siegel modular forms and representations

    Mahdi Asgari and Ralf Schmidt. Siegel modular forms and representations. Manuscripta Math. , 104(2):173--200, 2001

    work page 2001

  3. [3]

    Siegel modular forms of degree two and three

    Jonas Bergstr o m, Fabien Cl e ry, Carel Faber, and Gerard van der Geer. Siegel modular forms of degree two and three. 2017. Retrieved [May 2022]

    work page 2017

  4. [4]

    o cherer. \

    Siegfried B \"o cherer. \" U ber die F unktionalgleichung automorpher L - F unktionen zur S iegelschen M odulgruppe. J. Reine Angew. Math. , 362:146--168, 1985

    work page 1985

  5. [5]

    On H ecke eigenforms in the M aa space

    Stefan Breulmann. On H ecke eigenforms in the M aa space. Math. Z. , 232(3):527--530, 1999

    work page 1999

  6. [6]

    On the number of F ourier coefficients that determine a modular form

    Dorian Goldfeld and Jeffrey Hoffstein. On the number of F ourier coefficients that determine a modular form. In A tribute to E mil G rosswald: number theory and related analysis , volume 143 of Contemp. Math. , pages 385--393. Amer. Math. Soc., Providence, RI, 1993

    work page 1993

  7. [7]

    Distinguishing H ecke eigenforms

    Alexandru Ghitza. Distinguishing H ecke eigenforms. Int. J. Number Theory , 7(5):1247--1253, 2011

    work page 2011

  8. [8]

    Experimental evidence for M aeda's conjecture on modular forms

    Alexandru Ghitza and Angus McAndrew. Experimental evidence for M aeda's conjecture on modular forms. Tbil. Math. J. , 5(2):55--69, 2012

    work page 2012

  9. [9]

    Hecke eigenvalues of S iegel modular forms of ``different weights''

    Alexandru Ghitza and Robert Sayer. Hecke eigenvalues of S iegel modular forms of ``different weights''. J. Number Theory , 143:125--141, 2014

    work page 2014

  10. [10]

    Non-abelian base change for totally real fields

    Haruzo Hida and Yoshitaka Maeda. Non-abelian base change for totally real fields. Number Special Issue, pages 189--217. 1997. Olga Taussky-Todd: in memoriam

    work page 1997

  11. [11]

    Analytic number theory , volume 53 of American Mathematical Society Colloquium Publications

    Henryk Iwaniec and Emmanuel Kowalski. Analytic number theory , volume 53 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 2004

    work page 2004

  12. [12]

    Strong multiplicity one for S iegel cusp forms of degree two

    Arvind Kumar, Jaban Meher, and Karam Deo Shankhadhar. Strong multiplicity one for S iegel cusp forms of degree two. Forum Math. , 33(5):1157--1167, 2021

    work page 2021

  13. [13]

    A. W. Knapp. Local L anglands correspondence: the A rchimedean case. In Motives ( S eattle, WA , 1991) , volume 55 of Proc. Sympos. Pure Math. , pages 393--410. Amer. Math. Soc., Providence, RI, 1994

    work page 1991

  14. [14]

    Examples of eigenvalues of H ecke operators on S iegel cusp forms of degree two

    Nobushige Kurokawa. Examples of eigenvalues of H ecke operators on S iegel cusp forms of degree two. Invent. Math. , 49(2):149--165, 1978

    work page 1978

  15. [15]

    Determination of modular forms by twists of critical L -values

    Wenzhi Luo and Dinakar Ramakrishnan. Determination of modular forms by twists of critical L -values. Invent. Math. , 130(2):371--398, 1997

    work page 1997

  16. [16]

    \" U ber eine S pezialschar von M odulformen zweiten G rades

    Hans Maass. \" U ber eine S pezialschar von M odulformen zweiten G rades. I , II , III . Invent. Math. , 53(3):95--104, 249--253, 255--265, 1979

    work page 1979

  17. [17]

    Ram Murty

    M. Ram Murty. Congruences between modular forms. In Analytic number theory ( K yoto, 1996) , volume 247 of London Math. Soc. Lecture Note Ser. , pages 309--320. Cambridge Univ. Press, Cambridge, 1997

    work page 1996

  18. [18]

    Ramanujan-type results for S iegel cusp forms of degree 2

    Ameya Pitale and Ralf Schmidt. Ramanujan-type results for S iegel cusp forms of degree 2. J. Ramanujan Math. Soc. , 24(1):87--111, 2009

    work page 2009

  19. [19]

    Transfer of S iegel cusp forms of degree 2

    Ameya Pitale, Abhishek Saha, and Ralf Schmidt. Transfer of S iegel cusp forms of degree 2. Mem. Amer. Math. Soc. , 232(1090):vi+107, 2014

    work page 2014

  20. [20]

    Local newforms for GS p(4) , volume 1918 of Lecture Notes in Mathematics

    Brooks Roberts and Ralf Schmidt. Local newforms for GS p(4) , volume 1918 of Lecture Notes in Mathematics . Springer, Berlin, 2007

    work page 1918

  21. [21]

    On counting cuspidal automorphic representations for GS p(4)

    Manami Roy, Ralf Schmidt, and Shaoyun Yi. On counting cuspidal automorphic representations for GS p(4). Forum Math. , 33(3):821--843, 2021

    work page 2021

  22. [22]

    Archimedean aspects of S iegel modular forms of degree 2

    Ralf Schmidt. Archimedean aspects of S iegel modular forms of degree 2. Rocky Mountain J. Math. , 47(7):2381--2422, 2017

    work page 2017

  23. [23]

    Packet structure and paramodular forms

    Ralf Schmidt. Packet structure and paramodular forms. Trans. Amer. Math. Soc. , 370(5):3085--3112, 2018

    work page 2018

  24. [24]

    On the congruence of modular forms

    Jacob Sturm. On the congruence of modular forms. In Number theory ( N ew Y ork, 1984--1985) , volume 1240 of Lecture Notes in Math. , pages 275--280. Springer, Berlin, 1987

    work page 1984

  25. [25]

    Distinguishing eigenforms of level one

    Trevor Vilardi and Hui Xue. Distinguishing eigenforms of level one. Int. J. Number Theory , 14(1):31--36, 2018

    work page 2018