arxiv: 2605.10227 · v1 · submitted 2026-05-11 · 🧮 math.NT

Recognition: 1 theorem link

· Lean Theorem

The Serre Derivatives and Zeros of Modular Forms

Naoki Sugibayashi

Authors on Pith no claims yet

Pith reviewed 2026-05-12 02:51 UTC · model grok-4.3

classification 🧮 math.NT

keywords modular formsSerre derivativezerosfundamental domainweakly holomorphicEisenstein series

0 comments

The pith

If all zeros of a weakly holomorphic modular form lie on the lower boundary of the fundamental domain, the same holds for its Serre derivative.

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

The paper examines how the Serre derivative affects zero locations for modular forms. It proves that the property of all zeros lying on the lower boundary arc in the standard fundamental domain is preserved when the operator is applied to a weakly holomorphic modular form. This extends earlier work on zero distributions for Eisenstein series to include forms that may have poles at cusps. A reader would care because the result gives a concrete way to track how differentiation moves zeros while respecting the geometry of the fundamental domain.

Core claim

We prove that if all the zeros of a weakly holomorphic modular form in the standard fundamental domain lie on the lower boundary, then the same property holds for its Serre derivative.

What carries the argument

The Serre derivative, the first-order differential operator on modular forms of weight k given by the ordinary derivative minus (k/12) times the Eisenstein series E2 of weight 2.

Load-bearing premise

The zero-location property on the lower boundary transfers exactly under the Serre derivative for any weakly holomorphic modular form without extra conditions on weight or level.

What would settle it

A single weakly holomorphic modular form whose zeros all lie on the lower boundary but whose Serre derivative has at least one zero strictly inside the fundamental domain would falsify the claim.

read the original abstract

Since the work of F. Rankin and Swinnerton-Dyer on the zeros of Eisenstein series, many results have been obtained concerning the zeros of modular forms. In this paper, we study the zeros of Serre derivatives of modular forms. In particular, we prove that if all the zeros of a weakly holomorphic modular form in the standard fundamental domain lie on the lower boundary, then the same property holds for its Serre derivative.

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.

Desk Editor's Note private letter to a colleague

Sugibayashi proves that Serre derivatives preserve the lower boundary zero property for weakly holomorphic modular forms.

read the letter

The main result in this paper is a preservation property: if a weakly holomorphic modular form has all its zeros in the standard fundamental domain on the lower boundary arc, then its Serre derivative has the same property. This extends earlier work on zeros of Eisenstein series by Rankin and Swinnerton-Dyer to the setting of Serre derivatives. The proof draws on the transformation law of the Serre operator, which increases the weight by two while staying holomorphic except possibly at cusps, and applies the valence formula to track the zeros. It avoids any circular reasoning and sticks to standard definitions in the field. The paper handles the weakly holomorphic case carefully, which allows poles at the cusps, and the boundary behavior is analyzed without apparent gaps. It aligns with known examples such as the discriminant form. That said, the result is quite specialized and will mainly appeal to experts in modular forms rather than having broad impact. Edge cases like higher-order zeros or forms with zeros at elliptic points are presumably covered, but the brevity of the manuscript means those details matter for full verification. No major flaws stand out in the logical setup. This is the kind of paper that fits in a journal like the Journal of Number Theory or similar. Readers working on zero locations of modular forms or operators on them would get something concrete from it. It is worth sending out for peer review since the theorem is cleanly stated and the approach is grounded in established techniques.

Referee Report

0 major / 2 minor

Summary. The paper proves that if a weakly holomorphic modular form f for SL(2,Z) has all zeros in the standard fundamental domain lying on the lower boundary arc, then the same zero-location property holds for its Serre derivative D_k f. The argument relies on the weight-raising transformation law of the Serre operator, the valence formula, and analysis of the behavior on the boundary of the fundamental domain, extending classical results for Eisenstein series and the Delta function to the weakly holomorphic setting.

Significance. If the central claim holds, the result provides a preservation theorem for zero locations under differentiation in the space of weakly holomorphic modular forms. This strengthens the literature on zero distributions (building directly on Rankin-Swinnerton-Dyer) by showing the property is stable under the Serre operator, which is a standard tool for generating new forms while controlling holomorphy away from cusps. The manuscript earns credit for a direct, non-circular proof that handles poles at cusps and elliptic points without additional ad-hoc assumptions on weight or level.

minor comments (2)

The statement of the main theorem (presumably in §1 or §2) should explicitly record the weight k and level N=1 to make the domain of applicability immediate; the current abstract phrasing leaves the group implicit.
A brief remark on the order of zeros at elliptic points (e.g., i or ρ) would clarify whether the boundary condition is interpreted with multiplicity; this is a minor clarification rather than a gap.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful review and for recommending minor revision. The referee's summary accurately describes the main result: a preservation property for the location of zeros on the lower boundary arc of the fundamental domain under the Serre derivative, proved for weakly holomorphic modular forms on SL(2,Z) using the transformation law, valence formula, and boundary analysis. We are pleased that the referee views the work as strengthening the literature on zero distributions in a direct, non-circular manner that handles poles appropriately.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a preservation theorem for zero locations under the Serre derivative for weakly holomorphic modular forms on SL(2,Z). The argument proceeds from the standard definition of the Serre operator (which raises weight by 2 and preserves holomorphy away from cusps), combined with the valence formula and explicit boundary analysis in the fundamental domain. No load-bearing step reduces to a self-definition, a fitted parameter renamed as prediction, or a self-citation chain; all cited ingredients (Rankin-Swinnerton-Dyer results, transformation laws) are external and independently verifiable. The derivation is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard properties of the modular group action, the definition of the Serre derivative as a differential operator preserving modularity, and the geometry of the fundamental domain; no free parameters or new entities are introduced.

axioms (2)

standard math Standard transformation properties of modular forms under SL(2,Z) and the definition of the fundamental domain
Invoked implicitly when discussing zeros in the standard fundamental domain
standard math The Serre derivative operator maps weakly holomorphic modular forms to weakly holomorphic modular forms of shifted weight
Central to the statement; this is a known fact in the theory of modular forms

pith-pipeline@v0.9.0 · 5351 in / 1438 out tokens · 49635 ms · 2026-05-12T02:51:50.764306+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

we prove that if all the zeros of a weakly holomorphic modular form in the standard fundamental domain lie on the lower boundary, then the same property holds for its Serre derivative

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

31 extracted references · 31 canonical work pages

[1]

V. M. Aricheta, R. Celeste, and F. Nemenzo,Hecke operators and zeros of modular forms, Bull. Malays. Math. Sci. Soc.39(2016), no. 3, 1249–1257

work page 2016
[2]

T. Asai, M. Kaneko, and H. Ninomiya,Zeros of certain modular functions and an application, Comment. Math. Univ. St. Paul.46(1997), no. 1, 93–101

work page 1997
[3]

Bannai, K

E. Bannai, K. Kojima, and T. Miezaki,On the zeros of Hecke-type Faber polynomials, Kyushu J. Math.62 (2008), no. 1, 15–61. 14

work page 2008
[4]

Choi and B.-H

S. Choi and B.-H. Im,On the zeros of certain weakly holomorphic modular forms forΓ + 0 (2), J. Number Theory 166(2016), 298–323

work page 2016
[5]

Choi and C

S. Choi and C. H. Kim,Valence formulas for certain arithmetic groups and their applications, J. Math. Anal. Appl.420(2014), no. 1, 447–463

work page 2014
[6]

Duke and P

W. Duke and P. Jenkins,On the zeros and coefficients of certain weakly holomorphic modular forms, Pure Appl. Math. Q.4(2008), no. 4, 1327–1340

work page 2008
[7]

Getz,A generalization of a theorem of Rankin and Swinnerton-Dyer on zeros of modular forms, Proc

J. Getz,A generalization of a theorem of Rankin and Swinnerton-Dyer on zeros of modular forms, Proc. Amer. Math. Soc.132(2004), no. 8, 2221–2231

work page 2004
[8]

Gun,On the zeros of certain cusp forms, Math

S. Gun,On the zeros of certain cusp forms, Math. Proc. Cambridge Philos. Soc.141(2006), no. 2, 191–195

work page 2006
[9]

Gun and J

S. Gun and J. Oesterl´ e,Critical points of Eisenstein series, Mathematika68(2022), no. 1, 259–298

work page 2022
[10]

Hanamoto,Zeros of certain weakly holomorphic modular forms, Kyushu J

S. Hanamoto,Zeros of certain weakly holomorphic modular forms, Kyushu J. Math.77(2023), no. 2, 255–270

work page 2023
[11]

Hanamoto and S

S. Hanamoto and S. Kuga,Zeros of certain weakly holomorphic modular forms for the Fricke groupΓ + 0 (3), Acta Arith.197(2021), no. 1, 37–54

work page 2021
[12]

Kaneko and D

M. Kaneko and D. Zagier,Supersingularj-invariants, hypergeometric series, and Atkin’s orthogonal polynomials, Computational perspectives on number theory (Chicago, IL, 1995), 1998, pp. 97–126

work page 1995
[13]

Katok,Fuchsian groups, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 1992

S. Katok,Fuchsian groups, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 1992

work page 1992
[14]

Klangwang,Zeros of certain combinations of Eisenstein series of weight2k,3k, andk+l, J

J. Klangwang,Zeros of certain combinations of Eisenstein series of weight2k,3k, andk+l, J. Number Theory 198(2019), 124–138

work page 2019
[15]

Kuga,On the zeros of certain weakly holomorphic modular forms forΓ + 0 (5)andΓ + 0 (7), Acta Arith.201 (2021), no

S. Kuga,On the zeros of certain weakly holomorphic modular forms forΓ + 0 (5)andΓ + 0 (7), Acta Arith.201 (2021), no. 3, 219–239

work page 2021
[16]

4, 995–1010

,On the distribution of the zeros of Eisenstein series forΓ ∗ 0(5)andΓ ∗ 0(7), Ramanujan J.58(2022), no. 4, 995–1010

work page 2022
[17]

Miezaki, H

T. Miezaki, H. Nozaki, and J. Shigezumi,On the zeros of Eisenstein series forΓ ∗ 0(2)andΓ ∗ 0(3), J. Math. Soc. Japan59(2007), no. 3, 693–706

work page 2007
[18]

F. K. C. Rankin and H. P. F. Swinnerton-Dyer,On the zeros of Eisenstein series, Bull. London Math. Soc.2 (1970), 169–170

work page 1970
[19]

R. A. Rankin,The zeros of Eisenstein series, Publ. Ramanujan Inst.1(1969), 137–144

work page 1969
[20]

3, 255–272

,The zeros of certain Poincar´ e series, Compositio Math.46(1982), no. 3, 255–272

work page 1982
[21]

Raveh,On the zeros of the Miller basis of cusp forms, Res

R. Raveh,On the zeros of the Miller basis of cusp forms, Res. Number Theory11(2025), no. 4, Paper No. 96, 32

work page 2025
[22]

Reitzes, P

S. Reitzes, P. Vulakh, and M. P. Young,Zeros of certain combinations of Eisenstein series, Mathematika63 (2017), no. 2, 666–695

work page 2017
[23]

Rudnick,On the asymptotic distribution of zeros of modular forms, Int

Z. Rudnick,On the asymptotic distribution of zeros of modular forms, Int. Math. Res. Not.34(2005), 2059–2074

work page 2005
[24]

Shigezumi,On the zeros of the Eisenstein series forΓ ∗ 0(5)andΓ ∗ 0(7), Kyushu J

J. Shigezumi,On the zeros of the Eisenstein series forΓ ∗ 0(5)andΓ ∗ 0(7), Kyushu J. Math.61(2007), no. 2, 527–549

work page 2007
[25]

Math.47(2010), no

,On the zeros of certain Poincar´ e series forΓ ∗ 0(2)andΓ ∗ 0(3), Osaka J. Math.47(2010), no. 2, 487–505

work page 2010
[26]

Sugibayashi,Critical points of the Eisenstein series for the Fricke group of level 2, Int

N. Sugibayashi,Critical points of the Eisenstein series for the Fricke group of level 2, Int. J. Number Theory22 (2026), no. 3, 489–518

work page 2026
[27]

van Ittersum and B

J.-W. van Ittersum and B. Ringeling,Critical points of modular forms, Int. J. Number Theory20(2024), no. 10, 2695–2728

work page 2024
[28]

Wohlfahrt, ¨Uber die Nullstellen einiger Eisensteinreihen, Math

K. Wohlfahrt, ¨Uber die Nullstellen einiger Eisensteinreihen, Math. Nachr.26(1963/64), 381–383

work page 1963
[29]

Xue and D

H. Xue and D. Zhu,Location of the zeros of certain cuspforms, Int. J. Number Theory17(2021), no. 8, 1899– 1903

work page 2021
[30]

4, Paper No

,Zeros of cuspidal projections of products of Eisenstein series, Ramanujan J.68(2025), no. 4, Paper No. 107, 49

work page 2025
[31]

Zagier,Elliptic modular forms and their applications, The 1-2-3 of modular forms, 2008, pp

D. Zagier,Elliptic modular forms and their applications, The 1-2-3 of modular forms, 2008, pp. 1–103. Graduate School of Mathematics, Kyushu University, Motooka 744, Nishi-ku, Fukuoka 819-0395, Japan Email address:sugibayashi.naoki.238@s.kyushu-u.ac.jp 15

work page 2008