Odd Parts of Derivative Period Polynomials: Zero Geometry and a Logarithmic Transition

Seokho Jin

Abstract

Let $f$ be a normalized level-one Hecke eigenform of even weight $k$, and let $Q_{f,m}$ be the derivative period polynomial formed from the critical values of the $m$-th derivative of its completed $L$-function. We study its odd part $Q^-_{f,m}(z)=(Q_{f,m}(z)-Q_{f,m}(-z))/2$. We prove that there is an absolute $K_0$ such that, for every even $k\ge K_0$, every normalized level-one Hecke eigenform $f$ of weight $k$, and every integer $m\ge0$, the nonzero zeros of $Q^-_{f,m}$ off the unit circle, if any, consist of four simple zeros forming a single real reciprocal quartet $\{\pm b,\pm b^{-1}\}$, where $0<b<1$. The occurrence and location of this possible quartet are governed by the critical derivative order $m_c(k)=(k-1)\log((k-1)/π)$. If $m/m_c(k)\toθ\in(0,1)$, exactly one quartet occurs and $b\to(1+θ)/2$; if $θ>1$, every nonzero zero is eventually simple and lies on the unit circle. At $θ=1$ the same real-or-unit-circle containment remains valid, and any quartet that is present consists of four simple zeros. For each fixed weight, all nonzero zeros are eventually simple and lie on the unit circle as $m\to\infty$. Consequently, the Diamantis--Rolen containment conjecture holds outside finitely many weight--derivative pairs. The proof combines an exact signed-reciprocal completion, uniform split-Mellin saddle estimates yielding a moving-sine model, and a winding count that transfers disk-zero information to the unit circle.

Disclosure

“on would require explicit constant extraction followed, if necessary, by certified computation rather than floating-point evidence alone. Use of AI-assisted tools. For transparency, during the preparation of this manuscript the author used OpenAI ChatGPT to discuss possible gaps in arguments, review notation and cross-references, improve the organization and exposition, and edit LATEX and English prose. The tool was not used as a source of mathematical results or as a formal proof verifier”

PDF page 52
Classification
Proof ideas or individual proof-step assistance
Multiplier
8
Verified

Structural counts

Pages 53 pdf
Theorems 7 source
Lemmas 20 source
Propositions 4 source
Corollaries 3 source
Definitions 0 source
Displayed equations 315 source
Bibliography entries 19 source
Appendix pages 9 estimated

Count notes

  • Source counts use the expanded primary TeX file Odd_Parts_BMS.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.