REVIEW 3 major objections 3 minor 19 references
On the distribution of critical points of the Eisenstein series $E_6$ and monodromy interpretation
T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The derivative of the weight-six Eisenstein series E6 has exactly one or two zeros in every fundamental domain of the group Gamma0(2); pulled back, the zeros are dense in three smooth curves that form a monodromy locus.
desk verdict A credible extension of the E2/E4 program to E6 with a new curve/monodromy interpretation; the main theorem needs a real proof for the cusp-ward uniqueness step before publication. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing identity is Ramanujan's formula $E_6'(\tau)=\pi i(E_2(\tau)E_6(\tau)-E_4(\tau)^2)$, rewritten as $g_3'(\tau)=-\frac{i}{6\pi}(g_2(\tau)^2-18\eta_1(\tau)g_3(\tau))$; critical points of $E_6$ are therefore zeros of $h_1:=g_2^2-18\eta_1g_3$. The proof deforms $h_1$ through $h_t:=g_2^2-18t\eta_1g_3$ and tracks zero counts by the argument principle, then studies the family $f_C(\tau)=(C-\tau)g_2(\tau)^2-18(C\eta_1(\tau)-\eta_2(\tau))g_3(\tau)$, whose vanishing in $F_0$ is equivalent to $C=\phi(\tau):=\tau+36\pi i\,g_3(\tau)/h_1(\tau)$. The real parameter $C$ is exactly the value of $\phi$, so the three curves $C_1,C_2,C_3$ are the locus in $F_0$ where $\phi(\tau)\in\mathbb{R}\cup\{\infty\}$, and the fact that $\mathbb{R}\setminus\{0,1\}$ splits into three intervals explains why the zero count is either one or two. The monodromy layer comes from the second-order linear ODE $y''=I(z;\tau)y$ on the elliptic curve $\mathbb{C}/\Lambda_\tau$; a meromorphic function $\chi(z)$ has quasi-period differences that yield monodromy matrices with lower-left entries $1$ and $D=\phi(\tau)$, making the curves exactly the real-monodromy locus.
What would settle it
Compute $E_6'$ numerically via the $q$-expansions of $E_2,E_4,E_6$ in a specific $\Gamma_0(2)$-translate with $c\neq0$, for example the translate by $\gamma(\tau)=\tau/(2\tau+1)$; the theorem predicts exactly two simple interior zeros, so finding three zeros, a double zero, or a boundary zero would refute it. Alternatively, for the unproved uniqueness step, solve $\phi(\tau)=C$ for large real $C$ such as $C=\pm10^k$ and check whether there is a unique root near infinity tending to $1/4+i\infty$ for $C\to+\infty$ and to $3/4+i\infty$ for $C\to-\infty$; two distinct near-infinity roots for any such $C$ would break Step 1.
Extended reading notes
Core claim
The central claim is that the derivative of the weight-six Eisenstein series has a rigidly constrained zero distribution. For any $\gamma\in\Gamma_0(2)/\{\pm I_2\}$, with $c$ the lower-left entry of $\gamma$, $E_6'$ has exactly one zero in $\gamma(F_0)$ if $c=0$, and exactly two different zeros if $c\neq 0$; the refined version in Theorem 4.3 adds that all zeros are simple and lie in the interior of $\gamma(F_0)$. Transferred to the modular group, Theorem 1.6 says that in any fundamental domain $\gamma(F)$ of $SL(2,\mathbb{Z})$, with $-d/c$ formed from the lower-right and lower-left entries, $E_6'$ has no zeros when $-d/c\in(0,1)\cup\{\infty\}$, exactly one zero when $-d/c\in(-\infty,0]\cup[1,+\infty)$, and the unique zero lies on the boundary precisely for $-d/c\in\{0,1\}$. Geometrically, pulling all zeros of $E_6'$ back to $F_0$ via the $\Gamma_0(2)$-action yields a dense subset of three disjoint smooth curves $C_1,C_2,C_3$ with endpoints at the cusps; the curves are exactly the locus where the monodromy data $D=\phi(\tau)$ of the linear ODE $y''=I(z;\tau)y$ is real or infinite, and when a zero is written as $\gamma\cdot\tilde{\tau}$ with $\tilde{\tau}\in F_0$, that data equals precisely $-d/c$.
Load-bearing premise
The load-bearing premise is that for all sufficiently large real $C$ the equation $\phi(\tau)=C$ has a unique solution near infinity with the stated limits, an assertion the paper writes 'it is easy to prove' rather than deriving; if this uniqueness failed, the proof that $f_C$ has exactly two zeros in $F_0$ and hence Theorem 1.1 would collapse.
Editorial extensions
If this is right
- In every $\Gamma_0(2)$-fundamental domain $\gamma(F_0)$, $E_6'$ has exactly one zero if $c=0$ and exactly two distinct simple interior zeros if $c\neq0$ (Theorems 1.1 and 4.3).
- The unique zero in $F_0$ lies on the line $\operatorname{Re}\tau=1/2$ at height $b_\infty\in(1/2,\sqrt{3}/2)$, matching the previously observed zero at height about $0.6341269863$ (Theorem 2.1 and Remark 1.2).
- All zeros of $E_6'$ transported into $F_0$ form a dense subset of the union of three disjoint smooth curves $C_1,C_2,C_3$, with boundaries at the cusps $\{0,1\}$, $\{0,1/4+i\infty\}$, and $\{1,3/4+i\infty\}$ (Theorem 1.4).
- In every $SL(2,\mathbb{Z})$ fundamental domain $\gamma(F)$, $E_6'$ has no zeros when $-d/c\in(0,1)\cup\{\infty\}$ and exactly one zero when $-d/c\in(-\infty,0]\cup[1,+\infty)$, with a boundary zero exactly for $-d/c\in\{0,1\}$ (Theorem 1.6).
- The transported zeros in $F$ are dense in the union of two disjoint smooth curves $C_<$ and $C_>$, and on all the curves the monodromy data $D=\phi(\tau)$ of the ODE $y''=I(z;\tau)y$ is real or infinite (Theorems 1.8 and 6.1).
Reading between the lines
- Implicit in the construction but not pursued: the same real-monodromy criterion could organize critical points of higher-weight Eisenstein series, where no auxiliary pre-modular form is known; if the pattern persists, the zero sets would again lie on real slices of ODE moduli rather than on isolated orbits.
- A testable extension is to make the asymptotic step quantitative: the leading terms in (3.11) predict specific rates at which the near-infinity zero approaches $1/4+i\infty$ for $C\to+\infty$ and $3/4+i\infty$ for $C\to-\infty$; a numerical fit to those rates would directly check the uniqueness used in Step 1 and could yield explicit error bounds.
- The identification $D=-d/c$ at critical points means that enumerating critical points is equivalent to enumerating rationals $-d/c$; one could use this to generate the curves $C_1\cup C_2\cup C_3$ pointwise by scanning rationals instead of root-finding, which would give a fast way to draw the curves to high accuracy.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the critical points of the weight-6 Eisenstein series E_6(τ), equivalently of g_3(τ), in fundamental domains of Γ0(2) and of SL(2,Z). The main results are: (Theorem 1.1) E_6 has exactly one critical point in every translate F0+m and exactly two distinct critical points in every non-translate γ(F0) of Γ0(2); (Theorem 1.4) after mapping all critical points into F0 via Γ0(2), the images form a dense subset of the union of three disjoint smooth curves C1,C2,C3, parameterized by the identity C=τ+36πig3/(g2^2−18η1g3); (Theorems 1.6 and 1.8) in SL(2,Z) fundamental domains there is at most one critical point, with a precise criterion in terms of −d/c, and the dense image in F is the union of two disjoint smooth curves. Section 6 gives a monodromy interpretation of the curves as the locus where the monodromy datum D=φ(τ) of a complex linear ODE is real.
Significance. If the main theorems are correct, this is a complete and elegant description of the distribution of all critical points of E_6, complementing the authors' earlier results for E_2 and E_4 and going beyond the 'infinitely many simple zeros' statement of Saber–Sebbar. The method is genuinely different from the pre-modular-form approach used for E_2 and E_4: it uses the continuity method, the auxiliary function f_C, and the explicit parameterization by φ(τ). The monodromy interpretation in Section 6 is a nice bonus, and the paper correctly relies on previously published theorems about E_2 and η1 rather than on the conclusions being proved, so I see no circularity. The numerical/sign checks in the paper support the plausibility of the main claims; however, as written the proof has a load-bearing gap and several displayed formula errors that must be fixed before the results can be considered fully established.
major comments (3)
- [Section 3, proof of Theorem 3.1(1), Step 1] The assertion between (3.11) and (3.12), that for all sufficiently large real C the equation C=φ(τ) has a unique solution τ1(C)∈F0 tending to infinity with the limits (3.12), is stated as 'it is easy to prove' and is load-bearing for the two-zero count. This is not a routine implicit-function theorem application, because the solution escapes to the cusp as |C|→∞, so the remainder O(e^{-2πb}) in (3.11) must be controlled uniformly in the coupled equations Re φ=C, Im φ=0. A second branch of solutions would destroy the conclusion of Theorem 3.1(1) and with it Theorems 1.1(2), 1.4 and 1.6. Please provide a complete proof, for example a contraction argument or a Rouché/degree argument on a family of truncated domains.
- [Section 3, Eq. (3.3)] The displayed formula for f'_C(τ) is incorrect: the factor g3^2−27g2^3 should be g2^3−27g3^2 (up to an overall sign). With the printed factor, the conclusion f'_C(τ)≠0 does not follow from the nonvanishing of the modular discriminant, and the equation as written is not the correct reduction at a zero of f_C. Please correct the formula; the correct identity makes Lemma 3.2 valid.
- [Section 4, Lemma 4.1] The formula for φ'(b) contains the same swapped invariant, and the following inequality (g3^2−27g2^3)(1/2+ib)<0 is false, since at b=√3/2 the quantity equals g3^2>0. With the corrected formula φ'=7g2(g2^3−27g3^2)/h^2 and the fact that g2^3−27g3^2<0 on the relevant part of the line {1/2+ib: b≥1/2}, the intended sign analysis yields the maximum at b=√3/2 and proves (4.1). Please fix the displayed formula and the inequality.
minor comments (3)
- [Theorems 1.4 and 1.8, Eqs. (1.4) and (1.10)] The displayed chains 'C1∪C2∪C3 = D0∩F0' and 'C<∪C> = D∩F' cannot hold as printed, because D0 and D are countable while the curves are uncountable. From the proofs and the abstract, the intended statement is that D0 (resp. D) is dense in the union, i.e. the union equals the closure of D0 (resp. D) in F0 (resp. F). Please correct the displayed equalities.
- [Equation (3.11)] The expansion of φ(τ) is written with O(|q|) and then with O(e^{-2πb}); since |q|=e^{-2πb}, please state explicitly that the remainder is uniform in a for τ∈F0, as this uniformity is needed in Step 1 of the proof of Theorem 3.1(1).
- [Section 6] There are a few typos and minor presentation issues: 'A direction computation' should be 'A direct computation', and the verification of the monodromy generators in (6.4) would be easier to follow if the quasi-period relations χ(z+1)−χ(z)=χ1 and χ(z+τ)−χ(z)=χ2 were written out explicitly before stating the matrix action.
Circularity Check
No circularity: the proof uses independent prior results on E2/eta1 and links zeros of E6' to a new function f_C, with no fitted prediction or self-imported uniqueness.
full rationale
The paper's central claims (Theorems 1.1, 1.4, 1.6, 1.8) are derived from a continuity argument on h_t = g_2^2 - 18t*eta_1*g_3 and from f_C, whose zeros are equivalent to C = phi(tau). The only uses of the author's own prior work are [8, Theorem 1.5] (monotonicity of eta_1 on the vertical line) and [8, (4.1)] (the value eta_1(1/2 + sqrt(3)/2 i) = 2*pi/sqrt(3)). These are parameter-free statements about E2/eta1, with assumptions that do not include the distribution of E6' zeros, so they function as independent support rather than as circularly imported conclusions. Simplicity of zeros is imported from Saber-Sebbar [17], an external source. No fitted parameter is renamed as a prediction, and no uniqueness theorem is invoked solely from the authors' prior work to forbid alternatives. The monodromy section constructs an explicit ODE and verifies that its monodromy data D equals phi(tau); it reinterprets the already-proved curves rather than being used to prove them. One mathematical gap exists: the uniqueness assertion in Step 1 of the proof of Theorem 3.1(1), where the paper says 'it is easy to prove' that for |C| large there is a unique solution tau_1(C) near infinity with the limits (3.12). That is an unproved analytic step, but it is a correctness/completeness concern, not a circularity concern: nothing in the assertion is being assumed from the conclusion it is used to prove. Therefore no circularity is present.
Assumptions & free parameters
assumptions (4)
- standard math Standard results from complex analysis, including the argument principle and the implicit function theorem, are used without proof.
- standard math Standard q-expansions and modular transformation formulas for g2, g3, eta1 and eta2 are assumed.
- domain assumption [8, Theorem 1.5]: d/db eta1(1/2+ib) < 0 for b >= 1/2.
- domain assumption [8, (4.1)]: eta1(1/2 + sqrt(3)/2 i) = 2pi/sqrt(3).
invented entities (1)
-
Complex linear ODE y'' = I(z;tau)y with monodromy data D = phi(tau)
Cite this review
Pith. "Pith review of On the distribution of critical points of the Eisenstein series $E_6$ and monodromy interpretation." pith.science (2026). https://pith.science/paper/HX6KGSVO
@misc{pith2026250603475,
author = {Pith},
title = {Pith review of: On the distribution of critical points of the Eisenstein series $E_6$ and monodromy interpretation},
year = {2026},
howpublished = {\url{https://pith.science/paper/HX6KGSVO}},
note = {Machine review of arXiv:2506.03475}
}
abstract
In previous works joint with Lin, we proved that the Eisenstein series $E_4$ (resp. $E_2$) has at most one critical point in every fundamental domain $\gamma(F_0)$ of $\Gamma_{0}(2)$, where $\gamma(F_0)$ are translates of the basic fundamental domain $F_0$ via the M\"{o}bius transformation of $\gamma\in\Gamma_{0}(2)$. But the method can not work for the Eisenstein series $E_6$. In this paper, we develop a new approach to show that $E_6'(\tau)$ has exactly either $1$ or $2$ zeros in every fundamental domain $\gamma(F_0)$ of $\Gamma_{0}(2)$. A criterion for $\gamma(F_0)$ containing exactly $2$ zeros is also given. Furthermore, by mapping all zeros of $E_6'(\tau)$ into $F_0$ via the M\"{o}bius transformations of $\Gamma_{0}(2)$ action, the images give rise to a dense subset of the union of three disjoint smooth curves in $F_0$. A monodromy interpretation of these curves from a complex linear ODE is also given. As a consequence, we give a complete description of the distribution of the zeros of $E_6'(\tau)$ in fundamental domains of $SL(2,\mathbb{Z})$.
Reference graph
Works this paper leans on
-
[1]
Ahlfors;Complex analysis, An introdution to the theory of analytic functions one complex variable
L.V . Ahlfors;Complex analysis, An introdution to the theory of analytic functions one complex variable. third edition
-
[2]
Akhiezer; Elements of the theory of elliptic functions
N.I. Akhiezer; Elements of the theory of elliptic functions . Translations of Mathematical Monographs, 79. American Mathematical Society, Providence, RI, 1990
work page 1990
-
[3]
R. Balasubramanian and S. Gun; On zeros of quasi-modular forms. J. Number theory 132 (2012), 2228-2241
work page 2012
-
[4]
Bonk; Conformal maps and critical points of Eisenstein series
M. Bonk; Conformal maps and critical points of Eisenstein series. preprint
-
[5]
Y. V . Brezhnev; Non-canonical extension of ϑ-functions and modular integrability of ϑ- constants. Proc. Roy. Soc. Edinburgh Sect. A 143 (2013), no. 4, 689–738
work page 2013
-
[6]
Z. Chen, E. Fu and C.S. Lin; Spectrum of the Lam´ e operator and application, I: Deformation along Re τ = 1 2 . Adv. Math. 383 (2021), 107699
work page 2021
- [7]
-
[8]
Z. Chen and C.S. Lin; Critical points of the classical Eisenstein series of weight two. J. Differ. Geom. 113 (2019), 189-226
work page 2019
Show all 19 references
-
[9]
Chen and C.S
Z. Chen and C.S. Lin; Critical points of the Eisenstein series E 4 and application to the spec- trum of the Lam´ e operator. J. Spectr. Theory.14 (2024), 959-990
2024
-
[10]
El Basraoui and A
A. El Basraoui and A. Sebbar; Zeros of the Eisenstein series E 2. Proc. Amer. Math. Soc. 138 (2010), 2289-2299
2010
-
[11]
Gun and J
S. Gun and J. Oesterl ´e; Critical points of Eisenstein series . Mathematika. 68 (2022), 259- 298. THE WEIGHT SIX EISENSTEIN SERIES 25
2022
-
[12]
Kaneko and D
M. Kaneko and D. Zagier; A generalized Jacobi theta function and quasimodular forms, in: The Moduli Space of Curves. Progr. Math., vol. 129, Boston, MA, 1995, 165-172
1995
-
[13]
Kudla and T
S. Kudla and T. Yang; Eisenstein series for SL(2). Sci. China Math. 53 (2010), 2275-2316
2010
-
[14]
Lang; Elliptic Functions
S. Lang; Elliptic Functions. Graduate Text in Mathematics 112, Springer–Verlag 1987
1987
-
[15]
Lin and C.L
C.S. Lin and C.L. Wang; Mean field equations, Hyperelliptic curves, and Modular forms: II . J. ´Ec. polytech. Math. 4 (2017), 557-593
2017
-
[16]
Ramanujan; On certain arithmetical functions
S. Ramanujan; On certain arithmetical functions. Trans. Cambridge Philos. Soc.22 (1916), 159-184
1916
-
[17]
Saber and A
H. Saber and A. Sebbar; On the critical points of modular forms . J. Number Theory 132 (2012), 1780-1787
2012
-
[18]
Viazovska; The sphere packing problem in dimension 8
M. Viazovska; The sphere packing problem in dimension 8. Ann. Math. 185 (2017), 991- 1015
2017
-
[19]
Wood and M
R. Wood and M. Young; Zeros of the weight two Eisenstein series . J. Number Theory 143 (2014), 320-333. DEPARTMENT OF MATHEMATICAL SCIENCES , Y AU MATHEMATICAL SCIENCES CEN- TER , TSINGHUA UNIVERSITY , BEIJING , 100084, C HINA Email address: zjchen2016@tsinghua.edu.cn
2014
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.