REVIEW 1 major objections 4 minor 2 references
Cusp forms of weight 1/2 and pairs of quadratic forms
T0 review · 1 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Products of four half-integral weight Fourier coefficients, summed over the spectrum, equal generalized class numbers of pairs of quadratic forms.
desk verdict A genuine four-coefficient spectral summation formula for weight-1/2 cusp forms, built on known machinery; the main risk is the imported Katok–Sarnak normalization, which deserves a careful referee check. 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 mechanism is the Shimura lift together with a Katok–Sarnak-type formula. The Shimura lift sends a weight $1/2$ Maass cusp form $F_j$ in Kohnen's subspace to an even, Hecke-normalised Maass cusp form $\mathrm{Shim}\,F_j$ of weight $0$ for $SL_2(\mathbb{Z})$, and the paper uses a generalized Kohnen–Zagier theorem to show this map is a bijection onto the even spectral side. The Katok–Sarnak formula (from [I-L-T] and [D-I-T]) then expresses a weighted sum of values of such a Maass form over Heegner points of discriminant $\delta$ as essentially the product $b_j(D)b_j(\delta/D)$, which is where the four Fourier coefficients arise. The spectral computation is performed on the functions $M_{t,n,D,m}(z)$, point-pair averages over conjugacy classes of matrices, whose inner product has an elementary expression in terms of the class numbers $h_{D_1,D_2}$; comparing the two evaluations yields the identity. The integral transform $T_\chi$ is a special Jacobi transform, whose inversion is known, so the identity can be re-expressed with a general test function on the arithmetic side.
What would settle it
Compute both sides of Theorem 1.1 numerically for a small explicit case, for example $\delta_1=\delta_2=-3$, $D_1=D_2=1$, with test function $\chi(z)=e^{-z^2}$. The spectral side can be evaluated from the first few weight-$1/2$ Maass cusp forms in Kohnen's subspace, and the arithmetic side from the explicit class-number formulas for $h_{1,1}(-3,-3,f)$; any disagreement beyond numerical precision would refute the identity.
Extended reading notes
Core claim
Theorem 1.1 states that for integers $\delta_1,\delta_2<0$ and positive fundamental discriminants $D_1,D_2$ with $D_i\mid\delta_i$ and $\delta_i/D_i\equiv 0,1\pmod 4$, the quantity $$144\pi|\delta_1\delta_2|^{-3/4}\sum_{j\ge 1}(\mathrm{Shim}\,F_j,\mathrm{Shim}\,F_j)_1\, b_j(D_1)b_j(\delta_1/D_1)b_j(\delta_2/D_2)b_j(D_2)\chi(r_j)$$ plus a constant term and an Eisenstein integral is exactly equal to $$E_{\delta_1,\delta_2,D_1,D_2}T_\chi(0)+\sum_{f\in\mathbb{Z},\,$f^{2}$>|\delta_1\delta_2|} h_{D_1,D_2}(\delta_1,\delta_2,f)\,T_\chi\!\left(\frac{$f^{2}$}{|\delta_1\delta_2|}-1\right),$$ where $h_{D_1,D_2}$ counts weighted $SL_2(\mathbb{Z})$-classes of pairs of quadratic forms with codiscriminant $f$ and $E_{\delta_1,\delta_2,D_1,D_2}$ is a similar degenerate class sum. The spectral side is a weighted fourth moment of Fourier coefficients of weight $1/2$ Maass cusp forms in Kohnen's subspace; the arithmetic side is a sum of generalized class numbers transformed by a Jacobi-type integral transform $T_\chi$. The paper proves the identity by computing one inner product of two automorphic point-pair functions in two ways, once by an elementary orbit count and once by the spectral theorem.
Load-bearing premise
The identity rests on the Katok–Sarnak formula being exactly right with the paper's chosen normalization of Fourier coefficients, namely $b_j(n)$ matching $b_\psi(n)(4\pi|n|)^{-1/4}$ in [I-L-T]'s notation; a mismatch there breaks Lemma 3.5(iii) and Theorem 1.2.
Editorial extensions
If this is right
- The generalized class numbers $h_{D_1,D_2}(\delta_1,\delta_2,f)$ acquire a spectral interpretation as weighted fourth moments of half-integral weight Fourier coefficients, which is new for products of four coefficients.
- Because $T_\chi$ is an invertible Jacobi transform, the identity can be restated with a general test function on the arithmetic side, making the formula adaptable to different spectral cut-offs.
- For $D_1=D_2=1$, the class numbers $h_{1,1}(\delta_1,\delta_2,f)$ have explicit elementary expressions, so in that case Theorem 1.1 is a completely explicit identity.
- Theorem 1.2 gives an integral representation for products of two negative Fourier coefficients, and Section 1.8 explains how the same method yields analogous summation formulas for sign patterns other than two positive and two negative coefficients.
Reading between the lines
- Beyond the paper: the same two-evaluation mechanism should produce fourth-moment identities with four positive or three positive coefficients, since the paper sketches the needed modifications in Section 1.8; making those formulas explicit is a natural next step.
- Beyond the paper: because the class-number sum is transformed by an invertible integral operator, one could choose sequences of test functions that localize at large spectral parameter to extract asymptotic information on the generalized class numbers from the spectral side.
- Beyond the paper: the Heegner-point identity in Lemma 3.5(iii) is a generalized Kohnen–Zagier relation; pairing it with known variance estimates for half-integral weight coefficients might yield new results on the distribution of Heegner points, though the paper does not pursue this.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an exact spectral summation formula (Theorem 1.1) for a fourth moment of Fourier coefficients of Maass cusp forms in Kohnen's subspace of weight 1/2, weighted by the Petersson norm of the Shimura lift, plus an Eisenstein contribution and a constant term, and equates this to generalized class numbers of pairs of integral binary quadratic forms. The proof computes the inner product of two automorphic functions M_{t,n,D,m} in two ways: by an elementary geometric unfolding (Lemma 2.2) into class numbers, and spectrally through the spectral theorem (4.1), Lemma 2.6, and a Heegner-point evaluation (Lemma 3.5). A carefully engineered pair of test functions then converts the spectral side into the stated Jacobi-type transform T_χ. A separate theorem, Theorem 1.2, gives an analogous integral representation for products of two negative Fourier coefficients. All infinite sums and integrals in Theorem 1.1 are shown to converge absolutely.
Significance. If the result is correct, it is a substantial new structural theorem: an exact fourth-moment formula for half-integral weight Maass forms in Kohnen's subspace, tied to arithmetic class numbers of pairs of quadratic forms. It goes beyond the classical two-coefficient Kuznetsov/Katok-Sarnak framework and complements the Blomer-Corbett fourth-moment results, while the method is a natural extension of the author's earlier triple-product work. The manuscript is careful and largely self-contained: convergence is controlled by explicit lemmas, the spectral decomposition is stated cleanly, and there are no fitted free parameters. The main caveat is that two decisive Heegner-point identities are imported from [I-L-T] and [D-I-T] with a normalization conversion that is asserted rather than demonstrated; this is a genuine correctness-risk even though no concrete error was found.
major comments (1)
- [§3.3, Eq. (3.14); §5, Eq. (5.19)] The constants in the main theorem depend crucially on the normalization conversion in Lemma 3.5(iii). Equation (3.14) is imported from [I-L-T, Theorem 1.4] after the one-sentence remark that b_j(n) corresponds to b_ψ(n)(4π|n|)^{-1/4}, together with a comment about positive versus negative definite classes; equation (5.19) is imported from [D-I-T, Proposition 6] and [I-L-T, Theorem 1.4] in the same way. Because Theorem 1.1 is homogeneous of degree one in the product of the four Fourier coefficients, any missing factor of 2, π, or |D|^{±1/2} in (3.14) would propagate linearly into the final identity, and the same applies to the factor 12√π in (5.19). I did not find an actual error, but this is a load-bearing step: the paper should restate the imported theorem in full in the present notation, identify the relevant eigenfunction ψ in [I-L-T, (1.14)] using Lemma 3.2(ii), and carry out the conversion term by term, or provide an appendix tabulating the Whittaker normalization in (1.2), the Petersson norms (·,·)_1 and (·,·)_4, the Hecke normalization a(1)=1, and the treatment of positive versus negative definite classes.
minor comments (4)
- [§4.1, Lemma 4.1] The proof of the hypergeometric identity (4.24)=(4.25) relies on [A-A-R, Corollary 3.3.5] and [S, (4.3.4.2)] at a crucial point; since these transformations have parameter and convergence hypotheses that are easy to misapply, please quote the exact identities or add a direct coefficient comparison.
- [§4.1, Eqs. (4.13), (4.15), (4.22)] The shorthand Γ(C−1/4±iz) is used where a product of two gamma factors is intended; this should be defined explicitly to avoid ambiguity.
- [Throughout] There are several typographical errors that should be corrected, including 'fou r' in the abstract, 'Diriclet' in Section 1.3, 'rght-hand side' in the proof of Lemma 4.1, and 'nonpsitive' in the same proof.
- [§1.2] The multiplier system ν is invoked in the transformation formula for B0(z) before its domain of definition is fully described; a one-sentence definition or reference at that point would improve readability.
Circularity Check
No circularity: the theorem is assembled from an elementary unfolding and external Katok–Sarnak-type results, with no fitted parameters or input-redefinition.
full rationale
The derivation is self-contained relative to external theorems. The core identity is obtained by computing the integral I in (1.16) twice: Lemma 2.2 unfolds it into independently defined generalized class numbers E and h, and the spectral computation via (4.1), Lemma 2.6, and Lemma 3.5 expresses the same integral in terms of Fourier coefficients of half-integral weight forms. The decisive Heegner-point evaluation (3.14) is imported from [I-L-T, Theorem 1.4] and [D-I-T, Proposition 6], which are external, parameter-free results; the paper explicitly states the needed normalization conversion b_j(n) ↔ b_ψ(n)(4π|n|)^{-1/4} and handles the positive/negative definiteness comparison. Lemma 3.2's bijection uses [B-M, Theorem 1.2], also external. The self-citations that occur ([B2] for the class-number unfolding, [B5] for an approximation lemma, [B1]/[B3]/[B4] for technique) are either reproved in the present text (e.g., Lemma 2.6 is proved in full) or are independent auxiliary estimates; none assumes Theorem 1.1 or 1.2. No parameter is fitted, no spectral quantity is defined in terms of the class numbers, and no 'prediction' is a renamed input. The delicate normalization matching in (3.14) and (5.19) is a correctness risk, not a circular step.
Assumptions & free parameters
assumptions (5)
- standard math Spectral theorem for automorphic forms (Theorem 15.5 of [I-K]) as used in equation (4.1).
- domain assumption Katok-Sarnak formula for higher weights ([I-L-T, Theorem 1.4], [D-I-T]) with the normalization matching in Lemma 3.5(iii) and (5.19).
- domain assumption Generalized Kohnen-Zagier formula of Baruch and Mao ([B-M, Theorem 1.2]).
- standard math Standard hypergeometric function identities from [G-R], [A-A-R], and [S] used in Lemma 4.1 and the transform computations.
- domain assumption Properties of the Shimura lift and Hecke compatibility ([K-S], [D-I-T]).
Cite this review
Pith. "Pith review of Cusp forms of weight 1/2 and pairs of quadratic forms." pith.science (2026). https://pith.science/paper/W7MPRSPD
@misc{pith2026250702522,
author = {Pith},
title = {Pith review of: Cusp forms of weight 1/2 and pairs of quadratic forms},
year = {2026},
howpublished = {\url{https://pith.science/paper/W7MPRSPD}},
note = {Machine review of arXiv:2507.02522}
}
read the original abstract
We prove a spectral summation formula for the product of four Fourier coefficients of half-integral weight cusp forms in Kohnen's subspace. The other side of the formula involves certain generalized class numbers of pairs of quadratic forms with integer coefficients.
Reference graph
Works this paper leans on
-
[1]
[A-A] S. Ahlgren, N. Andersen, Kloosterman sums and Maass cusp forms of half integral weigh t for the modular group , International Mathematics Research Notices 2018.2 (2018 ), 492-
work page 2018
-
[570]
[A-A-R] G.E. Andrews, R. Askey, R. Roy, Special Functions, Cambridge Univ. Press, 1999 [A-D] N. Andersen, W. Duke, Modular invariants for real quadratic fields and Kloosterma n sums, Alg. Number Theory 14.6 (2020), 1537-1575. [B1] A. Bir´ o, Cycle integrals of Maass forms of weight 0 and Fourier coeffici ents of Maass forms of weight 1/2 , Acta Arithmetica, ...
arXiv 2020
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.