pith. sign in

arxiv: 2310.17144 · v2 · submitted 2023-10-26 · 🧮 math.NT

Some remarks on strong multiplicity one for paramodular forms

Xiyuan Wang , Zhining Wei , Pan Yan , Shaoyun Yi This is my paper

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

classification 🧮 math.NT
keywords paramodular cusp formsstrong multiplicity oneautomorphic methodsGalois representationsspinor L-functionseigenformscentral valuestwisted L-values
0
0 comments X

The pith

Paramodular cusp forms satisfy several refined strong multiplicity one results.

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

The paper establishes refined strong multiplicity one theorems for paramodular cusp forms. The proofs combine automorphic methods with Galois-theoretic arguments. An application shows these results can distinguish eigenforms using the twisted central values of their spinor L-functions. Readers care because such theorems help identify forms uniquely from local data and L-function information. The work adapts existing techniques to the paramodular case.

Core claim

We establish several refined strong multiplicity one results for paramodular cusp forms by using automorphic and Galois-theoretic methods. We also give an application to distinguishing eigenforms by the twisted central values of the spinor L-functions, which is based on a result in Radziwiłł and Yang 2023.

What carries the argument

Refined strong multiplicity one for paramodular cusp forms, established by adapting automorphic representations and associated Galois representations.

If this is right

  • Eigenforms are distinguished by the twisted central values of their spinor L-functions.
  • Paramodular forms are identified more precisely from their local Hecke data at most primes.
  • The combination of automorphic and Galois methods yields finer classification results than prior statements.

Where Pith is reading between the lines

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

  • These results may help verify modularity lifting statements for Galois representations attached to paramodular forms.
  • They could connect to questions about the dimension of spaces of paramodular forms at given levels.

Load-bearing premise

Existing automorphic and Galois-theoretic methods from the literature can be successfully adapted and combined to produce the refined multiplicity one statements in the paramodular setting.

What would settle it

Two distinct irreducible paramodular cusp forms that agree on Hecke eigenvalues at all but finitely many places, or that share identical twisted central values for their spinor L-functions.

read the original abstract

We establish several refined strong multiplicity one results for paramodular cusp forms by using automorphic and Galois-theoretic methods. We also give an application to distinguishing eigenforms by the twisted central values of the spinor $L$-functions, which is based on a result in Radziwi{\l}{\l} and Yang 2023 (arXiv:2304.09171).

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 several refined strong multiplicity one results for paramodular cusp forms by adapting automorphic and Galois-theoretic methods from the literature. It further applies these to distinguishing eigenforms via the twisted central values of their spinor L-functions, relying on a cited result from Radziwiłł and Yang (arXiv:2304.09171).

Significance. If the claimed adaptations hold, the results would refine strong multiplicity one theorems in the paramodular setting, which is relevant to the Langlands program for GSp(4) and the arithmetic properties of associated Galois representations. The application to twisted L-values could provide analytic criteria for distinguishing forms, building on existing non-vanishing results.

major comments (1)
  1. [Abstract] Abstract: the manuscript asserts that refined strong multiplicity one results are established via adaptation of automorphic and Galois-theoretic methods, but supplies no proof details, specific propositions, lemmas, or verification steps for how the methods are adapted to the paramodular case; this is load-bearing for the central claim and prevents assessment of soundness.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the manuscript asserts that refined strong multiplicity one results are established via adaptation of automorphic and Galois-theoretic methods, but supplies no proof details, specific propositions, lemmas, or verification steps for how the methods are adapted to the paramodular case; this is load-bearing for the central claim and prevents assessment of soundness.

    Authors: We agree that the abstract, by design, contains only a high-level statement. The manuscript body sketches the adaptations of the cited automorphic and Galois-theoretic methods, but we acknowledge that more explicit propositions, lemmas, and verification steps would improve clarity and allow fuller assessment. In the revised version we will insert these details, including the precise modifications needed for the paramodular case. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper claims to establish refined strong multiplicity one results for paramodular cusp forms by adapting automorphic and Galois-theoretic methods from the literature, plus an application based on an independent 2023 result by Radziwiłł and Yang (different authors, no overlap with Wang/Wei/Yan/Yi). No equations, definitions, or derivations are supplied in the provided text that reduce by construction to fitted parameters, self-definitions, or self-citation chains. The central claims rest on external methods treated as given, with no load-bearing self-referential steps visible. This is the normal case of a paper whose derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, axioms, or invented entities; ledger is empty by necessity of limited source material.

pith-pipeline@v0.9.0 · 5584 in / 994 out tokens · 19093 ms · 2026-05-24T06:38:23.111730+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · 1 internal anchor

  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]

    Automorphic representations of GSp(4)

    James Arthur. Automorphic representations of GSp(4) . In Contributions to automorphic forms, geometry, and number theory , pages 65--81. Johns Hopkins Univ. Press, Baltimore, MD, 2004

    work page 2004

  3. [3]

    Paramodular abelian varieties of odd conductor

    Armand Brumer and Kenneth Kramer. Paramodular abelian varieties of odd conductor. Trans. Amer. Math. Soc. , 366(5):2463--2516, 2014

    work page 2014

  4. [4]

    Corrigendum to `` P aramodular abelian varieties of odd conductor"

    Armand Brumer and Kenneth Kramer. Corrigendum to `` P aramodular abelian varieties of odd conductor". Trans. Amer. Math. Soc. , 372(3):2251--2254, 2019

    work page 2019

  5. [5]

    Effective multiplicity one on GL _N and narrow zero-free regions for R ankin- S elberg L -functions

    Farrell Brumley. Effective multiplicity one on GL _N and narrow zero-free regions for R ankin- S elberg L -functions. Amer. J. Math. , 128(6):1455--1474, 2006

    work page 2006

  6. [6]

    Automorphic forms and representations , volume 55 of Cambridge Studies in Advanced Mathematics

    Daniel Bump. Automorphic forms and representations , volume 55 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1997

    work page 1997

  7. [7]

    On some results of A tkin and L ehner

    William Casselman. On some results of A tkin and L ehner. Math. Ann. , 201:301--314, 1973

    work page 1973

  8. [8]

    Irreducibility of automorphic G alois representations of GL(n) , n at most 5

    Frank Calegari and Toby Gee. Irreducibility of automorphic G alois representations of GL(n) , n at most 5. Ann. Inst. Fourier (Grenoble) , 63(5):1881--1912, 2013

    work page 1912

  9. [9]

    Duke and E

    W. Duke and E. Kowalski. A problem of L innik for elliptic curves and mean-value estimates for automorphic representations. Invent. Math. , 139(1):1--39, 2000. With an appendix by Dinakar Ramakrishnan

    work page 2000

  10. [10]

    Multiplicity one for l -functions and applications

    David W Farmer, Ameya Pitale, Nathan C Ryan, and Ralf Schmidt. Multiplicity one for l -functions and applications. arXiv preprint arXiv:1305.3972 , 2013

    work page arXiv 2013

  11. [11]

    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

  12. [12]

    Distinguishing H ecke eigenforms

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

    work page 2011

  13. [13]

    Generic automorphic forms on SO (2n+1) : functorial lift to GL (2n) , endoscopy, and base change

    David Ginzburg, Stephen Rallis, and David Soudry. Generic automorphic forms on SO (2n+1) : functorial lift to GL (2n) , endoscopy, and base change. Internat. Math. Res. Notices , (14):729--764, 2001

    work page 2001

  14. [14]

    A family of C alabi- Y au varieties and potential automorphy

    Michael Harris, Nick Shepherd-Barron, and Richard Taylor. A family of C alabi- Y au varieties and potential automorphy. Ann. of Math. (2) , 171(2):779--813, 2010

    work page 2010

  15. [15]

    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

  16. [16]

    Jacquet and J

    H. Jacquet and J. A. Shalika. On E uler products and the classification of automorphic representations. I . Amer. J. Math. , 103(3):499--558, 1981

    work page 1981

  17. [17]

    Henry H. Kim. Functoriality for the exterior square of GL _4 and the symmetric fourth of GL _2 . J. Amer. Math. Soc. , 16(1):139--183, 2003. With appendix 1 by Dinakar Ramakrishnan and appendix 2 by Kim and Peter Sarnak

    work page 2003

  18. [18]

    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

  19. [19]

    Fonctions z\^ e tas des vari\' e t\' e s de S iegel de dimension trois

    G\' e rard Laumon. Fonctions z\^ e tas des vari\' e t\' e s de S iegel de dimension trois. Number 302, pages 1--66. 2005. Formes automorphes. II. Le cas du groupe GSp (4)

    work page 2005

  20. [20]

    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

  21. [21]

    On the generalized R amanujan conjecture for GL (n)

    Wenzhi Luo, Ze\' e v Rudnick, and Peter Sarnak. On the generalized R amanujan conjecture for GL (n) . In Automorphic forms, automorphic representations, and arithmetic ( F ort W orth, TX , 1996) , volume 66 of Proc. Sympos. Pure Math. , pages 301--310. Amer. Math. Soc., Providence, RI, 1999

    work page 1996

  22. [22]

    Nonvanishing of L -functions for GL (n, A _ Q )

    Wenzhi Luo. Nonvanishing of L -functions for GL (n, A _ Q ) . Duke Math. J. , 128(2):199--207, 2005

    work page 2005

  23. [23]

    A theorem on analytic strong multiplicity one

    Jianya Liu and Yonghui Wang. A theorem on analytic strong multiplicity one. J. Number Theory , 129(8):1874--1882, 2009

    work page 2009

  24. [24]

    A proof of S elberg's orthogonality for automorphic L -functions

    Jianya Liu, Yonghui Wang, and Yangbo Ye. A proof of S elberg's orthogonality for automorphic L -functions. Manuscripta Math. , 118(2):135--149, 2005

    work page 2005

  25. [25]

    Carlos J. Moreno. Analytic proof of the strong multiplicity one theorem. Amer. J. Math. , 107(1):163--206, 1985

    work page 1985

  26. [26]

    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

  27. [27]

    I. I. Piatetski-Shapiro. Multiplicity one theorems. In Automorphic forms, representations and L -functions ( P roc. S ympos. P ure M ath., O regon S tate U niv., C orvallis, O re., 1977), P art 1 , volume XXXIII of Proc. Sympos. Pure Math. , pages 209--212. Amer. Math. Soc., Providence, RI, 1979

    work page 1977

  28. [28]

    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

  29. [29]

    Cris Poor and David S. Yuen. Paramodular cusp forms. Math. Comp. , 84(293):1401--1438, 2015

    work page 2015

  30. [30]

    Zeros of principal L -functions and random matrix theory

    Ze\' e v Rudnick and Peter Sarnak. Zeros of principal L -functions and random matrix theory. Duke Math. J. , 81(2):269--322, 1996. A celebration of John F. Nash, Jr

    work page 1996

  31. [31]

    On modular forms for the paramodular groups

    Brooks Roberts and Ralf Schmidt. On modular forms for the paramodular groups. In Automorphic forms and zeta functions , pages 334--364. World Sci. Publ., Hackensack, NJ, 2006

    work page 2006

  32. [32]

    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

  33. [33]

    On counting cuspidal automorphic representations for GSp(4)

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

    work page 2021

  34. [34]

    Multiplicity one for certain paramodular forms of genus two

    Mirko R\" o sner and Rainer Weissauer. Multiplicity one for certain paramodular forms of genus two. In L-functions and automorphic forms , volume 10 of Contrib. Math. Comput. Sci. , pages 251--264. Springer, Cham, 2017

    work page 2017

  35. [35]

    Non-vanishing of twists of GL _4( A _ Q ) L -functions

    Maksym Radziwi and Liyang Yang. Non-vanishing of twists of GL _4( A _ Q ) L -functions . arXiv preprint arXiv:2304.09171 , 2023

    work page arXiv 2023

  36. [36]

    Packet structure and paramodular forms

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

    work page 2018

  37. [37]

    Paramodular forms in CAP representations of GSp (4)

    Ralf Schmidt. Paramodular forms in CAP representations of GSp (4) . Acta Arith. , 194(4):319--340, 2020

    work page 2020

  38. [38]

    A uniqueness theorem for representations of GSO (6) and the strong multiplicity one theorem for generic representations of GSp (4)

    David Soudry. A uniqueness theorem for representations of GSO (6) and the strong multiplicity one theorem for generic representations of GSp (4) . Israel J. Math. , 58(3):257--287, 1987

    work page 1987

  39. [39]

    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

  40. [40]

    On the l -adic cohomology of S iegel threefolds

    Richard Taylor. On the l -adic cohomology of S iegel threefolds. Invent. Math. , 114(2):289--310, 1993

    work page 1993

  41. [41]

    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

  42. [42]

    Four dimensional G alois representations

    Rainer Weissauer. Four dimensional G alois representations. Number 302, pages 67--150. 2005. Formes automorphes. II. Le cas du groupe GSp (4)

    work page 2005

  43. [43]

    Endoscopy for GSp (4) and the cohomology of S iegel modular threefolds , volume 1968 of Lecture Notes in Mathematics

    Rainer Weissauer. Endoscopy for GSp (4) and the cohomology of S iegel modular threefolds , volume 1968 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2009

    work page 1968

  44. [44]

    On distinguishing Siegel cusp forms of degree two

    Zhining Wei and Shaoyun Yi. On distinguishing S iegel cusp forms of degree two. arXiv preprint arXiv:2207.13234 , 2022

    work page internal anchor Pith review Pith/arXiv arXiv 2022