REVIEW
Central $L$ values of congruent number elliptic curves
Number Theory · Submitted 19 May 2025 · 38 references
Pith's verdict: A real new result for the D=-4 case, but the main theorem as printed contradicts its own proof: the n=2 specialization is off by a factor sqrt(2), so the normalization needs fixing before the formula can be trusted.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper proves that for square-free $n$ whose prime factors are all congruent to $1 \pmod 4$, the central $L$-value of the congruent number curve $y^2=x^3-n^2x$ is, up to explicit constants, the square of a CM theta function value.
The reading
What carries the argument
The argument rests on a ray-class character of the Gaussian integers and a constant-term evaluation at $s=1$ that turns the $L$-series into a CM value of the binary $\theta$ function $\Theta(\tau)=\sum_{j,k\in\mathbb{Z}}e^{2\pi i(j^2+k^2)\tau}$. A factorization lemma then splits each such binary $\theta$ value into a product of two unary $\theta$ constants $\theta[ar/D,1/2](\tau)$, and the Galois trace over ideal classes collapses to the absolute square of a single unary $\theta$ value. The named protagonist is the weight-$1/2$ $\theta$ function $\theta_{\chi_n}(\tau)=\sum_{k\in\mathbb{Z}}\chi_n(k)e^{2\pi i k^2\tau}$ evaluated at the CM point $\tau_n=(b+i)/(2n^2)$.
Extended reading notes
Core claim
Write $n$ in the family as $n=m$ or $n=2m$, where $m=\prod_{i=1}^s p_i$ and every $p_i\equiv 1\pmod 4$. For the odd case, choose an integer $b$ with $b^2\equiv -1\pmod{m^2}$ and set $\tau_m=(b+i)/(2m^2)$. The paper establishes $L(E_m,1)=\pi\,|\theta_{\chi_m}(\tau_m)|^2/(4\sqrt{2m})$, where $\theta_\chi(\tau)=\sum_{k\in\mathbb{Z}}\chi(k)e^{2\pi i k^2\tau}$ with $\chi_m$ the Kronecker character. For the even case, with $\tau'_m=(b+m^2+i)/(2m^2)$ and $n=2m$, the formula is $L(E_n,1)=\pi\,|\theta_{\chi_m}(\tau'_m)|^2/\sqrt{2n}$. In particular, $L(E_n,1)=0$ exactly when the corresponding $\theta$ value vanishes.
Load-bearing premise
The proof relies on four parity-case identities in Lemma 5.6 that collapse a double exponential sum to a single theta value, but the text verifies only the first case and leaves the other three to the reader; if any of those signs is wrong, the product-to-sum step and hence the square formula would fail.
Editorial extensions
If this is right
- Every central $L$-value $L(E_n,1)$ in the family can be computed to high precision by summing one theta series at one algebraic point; no elliptic-curve $L$-function package is needed.
- Because $L(E_n,1)$ vanishes exactly when the corresponding theta value vanishes, the formula converts analytic vanishing into a checkable theta identity; for $n\equiv 5\pmod 8$ this yields unconditional zeros of $\theta_{\chi_n}$ at $\tau_n$.
- For $n\equiv 1\pmod 8$, a zero of $L(E_n,1)$ forces the theta function to vanish to order at least two at $\tau_n$, a consequence of the Atkin-Lehner symmetry.
- Combined with the lower bound on $L(E_n,1)$ used in Proposition 7.4, the formula gives explicit inequalities on $|\theta_{\chi_n}(\tau_n)|$ that certify $L(E_n,1)=0$ when violated; this is an effective route to congruent-number status and to the predicted order of the Tate-Shafarevich group.
- The two historical formulas for $n=1$ and $n=2$ are recovered as the first cases, so the theorem is a genuine extension of the original square-root phenomenon.
Reading between the lines
- Inference: The same square-root mechanism should extend to the remaining CM family with extra units, the cube-sum elliptic curves attached to $\mathbb{Q}(\sqrt{-3})$, where analogous central $L$-values are expected to be single squares of unary theta CM values; the paper notes that $D=-4$ was the last excluded case but does not make this extension.
- Inference: The equivalence between $L=0$ and $\theta_{\chi_n}(\tau_n)=0$, together with Proposition 7.4's lower bound, gives a stopping rule for a numerical search: compute partial sums of $\theta_{\chi_n}(\tau_n)$, and whenever a partial sum drops below the bound, certify $L(E_n,1)=0$. This could produce new congruent-number data for large products of primes congruent to $1\pmod 4$ without comput
- Inference: The even-order vanishing forced by Atkin-Lehner symmetry for $n\equiv 1\pmod 8$ suggests that, beyond the arithmetic vanishing, $\theta_{\chi_n}$ behaves like a square in a neighborhood of $\tau_n$; locating such special points may give a geometric explanation of the double-zero pattern observed numerically for primes below $10^4$.
Original abstract
Let $E_n$ be the congruent number elliptic curve $y^2=x^3-n^2x$, where $n$ is square-free and not divisible by primes $p\equiv 3\pmod 4$. In this paper, we prove that $L(E_n,1)$ can be expressed as the square of CM values of some simple theta functions, generalizing two classical formulas of Gauss. Our result is meaningful in both theory and practical computation.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Let $E_n$ be the congruent number elliptic curve $y^2=x^3-n^2x$, where $n$ is square-free and not divisible by primes $p\equiv 3\pmod 4$. In this paper, we prove that $L(E_n,1)$ can be expressed as the square of CM values of some simple theta functions, generalizing two classical formulas of Gauss. Our result is meaningful in both theory and practical computation.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Let $E_n$ be the congruent number elliptic curve $y^2=x^3-n^2x$, where $n$ is square-free and not divisible by primes $p\equiv 3\pmod 4$. | background 0.99 | 0.09 | 0.02 | asserted 0.92 |
| s1 | In this paper, we prove that $L(E_n,1)$ can be expressed as the square of CM values of some simple theta functions, generalizing two classical formulas of Gauss. | result 0.75 | 0.96 | 0.95 | asserted 1.00 |
| s2 | Our result is meaningful in both theory and practical computation. | interpretation 1.00 | 0.29 | 0.04 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
What this paper does with the arXiv papers it cites
What it cites
Cites as background 1 paper
-
For the diverse results on congruent number see [ref] .
The congruent numbers have positive natural density · Introduction · 1.00
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.