REVIEW 2 major objections 3 minor 36 references
A negative Pell orbit yields infinitely many primitive positive five-cube near misses whose error is exactly (-1)^(n+1), and the same orbit points to an elliptic K3 surface with a section of height 4/3.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 07:46 UTC pith:NLLXUURD
load-bearing objection Solid, explicitly scoped paper proving a new primitive five-cube near-miss family and a visible rank-16 K3 sublattice; the height computation checks out. the 2 major comments →
A Ramanujan Pell Elliptic K3 Surface and Primitive Five-Cube Near Misses
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On the paper's own terms, the discovery is that the trace-16 unit η=8+√65 organizes both the arithmetic and the geometry: its norm -1 drives the alternating error, its square α=129+16√65 gives the denominator R(q), and the six coefficient sequences are quadratic forms in r_n,s_n satisfying r_n^2+13r_ns_n+26s_n^2=(-1)^n. The same quadratic data p,q with K=p^3+q^3 define the elliptic surface y^2=x^3-432K(u)^2, whose minimal smooth model is an elliptic K3 surface over Q with geometric fibre configuration 6IV. The displayed section P=(12G,36(p-q)G) has canonical height 4/3, and over Q(√-3)(u) the sections P and ϱ(P) generate a (2/3)A2 Mordell–Weil sublattice, giving a visible generated rank-16 s
What carries the argument
The load-bearing objects are: (i) the quadratic-form parametrization H=r^2+13rs+26s^2, A=r^2-13rs+26s^2, B=6r^2+182s^2, which solve a conic and produce a six-cube identity; (ii) the negative Pell orbit 2r_n+13s_n+s_n√65=2(8+√65)^n, whose norm forces the hidden cube to (-1)^n; and (iii) the standard two-cube-to-Mordell transformation x=12K/(p+q), y=36K(p-q)/(p+q), applied with p=1-13u+26u^2 and q=6+182u^2. Shioda's height formula with local corrections 0 and 2/3 at the six type IV fibres computes ⟨P,P⟩=4-8/3=4/3, and the endomorphism ϱ(x,y,u)=(ωx,y,u) turns this into the Gram matrix (2/3)A2. A reciprocal involution u↦(u+3)/(91u-1) lifts to the surface as an anti-symplectic automorphism and id
Load-bearing premise
The computation of the section's canonical height 4/3 depends on applying Shioda's local correction 2/3 to each of the four type IV fibres over roots of G; if that cited correction or the sign convention in ⟨P,P⟩=2χ−Σ contr_v(P) is wrong, the height, the (2/3)A2 Gram matrix, and the discriminant -108 all change.
What would settle it
Resolve the model at a root of G and identify the fibre component met by P: if P meets the identity component, or the local correction is not 2/3, then the height is not 4/3 and the derived lattice data collapse. Independently, evaluating the n=3 recurrence and checking gcd(a_3,...,t_3)=1 and the five-cube equation would decide the arithmetic half.
If this is right
- For every n≥0, a_n,b_n,c_n,d_n,e_n,t_n are positive, primitive, and satisfy the five-cube equation with error (-1)^(n+1); both signs +1 and -1 occur infinitely often.
- All six ordinary generating functions have exact denominator R(q)=1-257q-257q^2+q^3, and t_n grows like c(129+16√65)^n, so the relative error of the near miss is O(α^(-3n)).
- The minimal model of y^2=x^3-432K(u)^2 is an elliptic K3 surface with six geometric fibres of type IV; over Q the singular fibres lie over one degree-two and one degree-four closed point, giving trivial lattice U⊕A2^6.
- The section P is non-torsion of canonical height 4/3; the torsion over Q(u), Q(√-3)(u), and the geometric function field is respectively 0, Z/3, and Z/3, and the visible Néron–Severi sublattice has rank 16 and discriminant -108, with the remaining possible indices limited to 1,2,3,6.
- The cyclic cubic cover w^3=K(u) has genus 4, and its quotient by the reciprocal involution is the Fermat cubic, making the CM elliptic curve an isogeny factor of the Jacobian.
Where Pith is reading between the lines
- If the height computation is robust, the same route likely works for any norm -1 unit in a real quadratic field: any six-cube conic identity compatible with a Pell orbit should produce a cubic denominator (1+q)(1-(α+α^(-1))q+q^2) and a j=0 elliptic surface whose fibre types and section heights are read from the factorization of K.
- The open rank question is finite-checkable: computing Frobenius polynomials at good primes and isolating the ϱ-equivariant E0-isotypic part of the relevant cohomology would determine whether the visible rank-16 lattice is full; the paper gives this strategy but does not execute it.
- One could search numerically for other six-cube quadratic identities whose conic supports a norm -1 Pell orbit; the paper's conic ansatz makes such a search a finite algebraic problem in the parameters m,d,e,t, potentially producing new traces and discriminants with the same alternating-error structure.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs, from a six-cube identity of quadratic forms and the negative Pell orbit attached to 8+√65, a primitive positive integer five-cube near-miss family a_n^3+...+e_n^3=t_n^3+(-1)^{n+1}. The six coefficient sequences are defined in (6), and Theorems 2.5–2.6 and 3.3 give an exact proof of positivity, primitivity, the alternating error, and the common rational generating-function denominator R(q)=(1+q)(1-258q+q^2). The same two-cube component K=p^3+q^3 defines the Mordell curve y^2=x^3-432K(u)^2. The paper proves that its minimal smooth model is an elliptic K3 surface with geometric fibre configuration 6IV, that the section P=(12G,36(p-q)G) has canonical height 4/3, that the torsion is 0, Z/3Z, Z/3Z over the three relevant fields, and that there is a visible generated rank-16 Néron–Severi sublattice of discriminant -108. It also identifies the free Mordell–Weil group with an explicit equivariant Hom module, exhibits an anti-symplectic reciprocal involution, and shows the cyclic cubic cover has a Fermat-cubic quotient. The paper explicitly does not claim fullness or primitivity of the visible Néron–Severi sublattice.
Significance. The arithmetic half is completely explicit and machine-checkable: the displayed identities, factorizations, coprime numerators, and the verification data in Appendix A leave no numerical ambiguity. The geometric half gives a natural analogue of the Ramanujan–K3 theme, producing a j=0 elliptic K3 with six type IV fibres, a section of height 4/3, and an Eisenstein Mordell–Weil sublattice. The paper is appropriately modest about what is left open (full Mordell–Weil rank and saturation), which strengthens the credibility of the proved claims. If the height and discriminant computations are correct, this is a solid, useful contribution to the explicit study of Pell-generated Diophantine families and their elliptic K3 surfaces.
major comments (2)
- [§5, Corollary 5.6] The proof states that the trivial lattice U⊕A2^6 has discriminant −36 and then computes (−36)(4/3)/3^2 = −108. Both displayed statements are incorrect: the arithmetic gives −16/3, and the determinant of U⊕A2^6 is −3^6 = −729 (up to the sign convention for U). Replacing −36 by −729 makes the displayed value −108 correct. The conclusion is salvageable, but the proof as printed needs this correction.
- [§4, Theorem 4.6] The proof begins: 'The section P is represented in the global Weierstrass model by finite affine coordinates, hence it is disjoint from the zero section.' This justification is not valid as written: at the fibre over u=∞, x_P and y_P have poles, and the section P specializes to the zero point [0:1:0] of that smooth fibre. The height conclusion may still follow from Shioda's formula and the local correction table, but the argument needs a correct replacement or a precise citation of the formula that handles the intersection/specialization at the smooth fibre at infinity.
minor comments (3)
- [§1, Theorem 1.1 and notation] The field Kgeom is written as Q(u) in the paragraph before Theorem 1.1, while the abstract and later usage use \overline{Q}(u); the missing overline should be restored. In addition, Theorem 1.1(7) writes Hom_Q, but the Hom should be over \overline{Q} (or K_geom), consistent with Theorem 5.8.
- [§3, Theorem 3.1] The phrase 'rational linear combination' is imprecise: the coefficients in the displayed expression may lie in Q(√D). The intended meaning is clear from context, but rephrasing would avoid ambiguity.
- [§4, Lemma 4.5] The statement that a section reducing to the singular point (0,0) meets a non-identity component of a type IV fibre is asserted without justification. A brief explanation of how this follows from the local Weierstrass model or the resolution would make the argument more self-contained.
Circularity Check
No significant circularity; the construction is explicit and verified, with no load-bearing self-citation.
full rationale
The paper's central arithmetic claim is an explicit polynomial identity: after substituting the conic-parametrized C,D,E,T and the Pell orbit, the six-cube identity reduces to a displayed exact factorization (Theorem 2.2, Proposition 2.3). The five-cube near miss is obtained by moving the already verified cube H^3=(-1)^n to the right-hand side; no fitted quantity is later renamed as a prediction. The common recurrence denominator is derived from the characteristic roots alpha, alpha^{-1}, -1 of the Pell orbit (Lemma 3.2, Theorem 3.3), and exactness is checked by coprime numerators (Appendix A). The K3 part uses standard external Shioda/Tate/Kodaira facts, not self-citations; the local height corrections are quoted from [30] but are not inputs to the construction and are independently verifiable. The paper explicitly disclaims uniqueness and fullness/primitivity of the visible lattice, so there is no imported uniqueness theorem forcing the result. I find no step where an output is definitionally equal to an input or where a self-citation carries the argument. The only apparent slip, the phrase 'trivial lattice has discriminant -36' in Corollary 5.6 instead of -3^6, is an arithmetic typo that does not affect the circularity analysis.
Axiom & Free-Parameter Ledger
free parameters (3)
- m =
13
- (d,e,t) =
(167,163,170)
- Pell initial values (r0,s0),(r1,s1) =
(1,0),(-5,2)
axioms (5)
- standard math Kodaira–Tate singular-fibre classification and Tate's algorithm in characteristic zero
- standard math Shioda–Tate formula and Shioda height pairing for elliptic surfaces, including local correction tables
- standard math Canonical bundle formula for elliptic surfaces with a section over P^1
- standard math Riemann–Hurwitz for the cyclic cubic cover C:w^3=K(u) and standard deck-transformation facts
- standard math Kani–Rosen Jacobian-factor principles
read the original abstract
We construct a trace-16 Ramanujan--Pell family of primitive positive five-cube near misses \[ a_n^3+b_n^3+c_n^3+d_n^3+e_n^3=t_n^3+(-1)^{n+1}, \] obtained from a six-cube identity of quadratic forms and the negative Pell orbit generated by \(8+\sqrt{65}\). The six coefficient sequences have rational recurrence generating functions with common reciprocal denominator \[ R(q)=1-257q-257q^2+q^3=(1+q)(1-258q+q^2). \] The quadratic identity is derived from a conic source, explaining the constants, while the Pell mechanism accounts for both the alternating error term and the denominator. The same construction yields the Mordell curve \[ E_K:\ y^2=x^3-432K(u)^2,\qquad K(u)=(1-13u+26u^2)^3+(6+182u^2)^3. \] We prove that its minimal smooth projective model is an elliptic K3 surface with geometric fibre configuration \(6IV\); over \(\mathbb Q\), the singular-fibre divisor is supported at one degree-two and one degree-four closed point. The section induced by the displayed decomposition of \(K\) has canonical height \(4/3\). The torsion groups over \(\mathbb Q(u)\), \(\mathbb Q(\sqrt{-3})(u)\), and \(\overline{\mathbb Q}(u)\) are respectively \(0\), \(\mathbb Z/3\mathbb Z\), and \(\mathbb Z/3\mathbb Z\). Over \(\mathbb Q(\sqrt{-3})(u)\), the complex multiplication orbit of the section gives an Eisenstein Mordell--Weil sublattice and a visible generated rank-16 sublattice of the geometric Neron--Severi group of discriminant \(-108\); no fullness or primitivity is claimed. We identify the remaining free Mordell--Weil problem with an explicit equivariant Hom module, exhibit an anti-symplectic reciprocal involution, and show that \(w^3=K(u)\) has a Fermat-cubic quotient. No modularity assertion is made for the recurrence functions.
Reference graph
Works this paper leans on
-
[1]
L. Alpöge, M. Bhargava, and A. Shnidman,Integers expressible as the sum of two rational cubes, arXiv:2210.10730, 2022.https://arxiv.org/abs/2210.10730
Pith/arXiv arXiv 2022
-
[2]
G. E. Andrews and B. C. Berndt,Ramanujan’s Lost Notebook. Part IV, Springer, New York, 2013. DOI:https://doi.org/10.1007/978-1-4614-4081-9
-
[3]
W. P. Barth, K. Hulek, C. A. M. Peters, and A. Van de Ven,Compact Complex Surfaces, second edition, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, vol. 4, Springer, Berlin, 2004. DOI:https://doi.org/10.1007/978-3-642-57739-0
-
[4]
Beauville,Complex Algebraic Surfaces, second edition, London Mathematical Society Student Texts, vol
A. Beauville,Complex Algebraic Surfaces, second edition, London Mathematical Society Student Texts, vol. 34, Cambridge University Press, Cambridge, 1996
1996
-
[5]
B. C. Berndt,Ramanujan’s Notebooks. Part IV, Springer, New York, 1994. DOI: https://doi.org/10.1007/978-1-4612-0879-2
-
[6]
A. R. Booker and A. V. Sutherland,On a question of Mordell, Proc. Natl. Acad. Sci. USA118(2021), no. 11, e2022377118. DOI: https://doi.org/10.1073/pnas. 2022377118
doi:10.1073/pnas 2021
-
[7]
J. L. Cereceda,Binary quadratic forms and sums of powers of integers, Annales Mathematicae et Informaticae52(2020), 71–84. DOI: https://doi.org/10.33039/ ami.2020.02.002
2020
-
[8]
Chen,Extensions of an amazing identity of Ramanujan, Fibonacci Quart.50 (2012), no
K.-W. Chen,Extensions of an amazing identity of Ramanujan, Fibonacci Quart.50 (2012), no. 3, 227–230. DOI:https://doi.org/10.1080/00150517.2012.12427994
arXiv 2012
-
[9]
N. D. Elkies and N. F. Rogers,Elliptic curvesx3 + y3 = k of high rank, inAlgorithmic Number Theory, Lecture Notes in Computer Science, vol. 3076, Springer, Berlin, 2004, 184–193. DOI:https://doi.org/10.1007/978-3-540-24847-7_13
-
[10]
J. H. Han and M. D. Hirschhorn,Another look at an amazing identity of Ramanujan, Math. Mag.79(2006), 302–304
2006
-
[11]
J. D. Harper,Ramanujan, quadratic forms, and the sum of three cubes, Math. Mag. 86(2013), no. 4, 275–279. DOI:https://doi.org/10.4169/math.mag.86.4.275
-
[12]
D. R. Heath-Brown, W. M. Lioen, and H. J. J. te Riele,On solving the Diophantine equation x3 + y3 + z3 = k on a vector computer, Math. Comp.61(1993), no. 203, 235–244
1993
-
[13]
M. D. Hirschhorn,An amazing identity of Ramanujan, Math. Mag.68(1995), no. 3, 199–201. DOI:https://doi.org/10.1080/0025570X.1995.11996312. A RAMANUJAN–PELL ELLIPTIC K3 SURFACE 27
arXiv 1995
-
[14]
M. D. Hirschhorn,A proof in the spirit of Zeilberger of an amazing identity of Ramanujan, Math. Mag.69(1996), no. 4, 267–269. DOI:https://doi.org/10.1080/ 0025570X.1996.11996450
arXiv 1996
-
[15]
S. G. Huisman,Newer sums of three cubes, arXiv:1604.07746, 2016.https://arxiv. org/abs/1604.07746
Pith/arXiv arXiv 2016
-
[16]
Huybrechts,Lectures on K3 Surfaces, Cambridge Studies in Advanced Mathematics, vol
D. Huybrechts,Lectures on K3 Surfaces, Cambridge Studies in Advanced Mathematics, vol. 158, Cambridge University Press, Cambridge, 2016. DOI:https://doi.org/10. 1017/CBO9781316594193
2016
-
[17]
S. Jha, D. Majumdar, and B. Sury,Binary cubic forms and rational cube sum problem, arXiv:2301.06970, version 4, 2024.https://arxiv.org/abs/2301.06970
Pith/arXiv arXiv 2024
-
[18]
E. Kani and M. Rosen,Idempotent relations and factors of Jacobians, Math. Ann. 284(1989), 307–327. DOI:https://doi.org/10.1007/BF01442878
-
[19]
Kodaira,On compact analytic surfaces II, III, Ann
K. Kodaira,On compact analytic surfaces II, III, Ann. of Math. (2)77(1963), 563–626; 78(1963), 1–40. DOI for Part II:https://doi.org/10.2307/1970131
doi:10.2307/1970131 1963
-
[20]
P. Koymans and A. Smith,Sums of rational cubes and the3-Selmer group, arXiv:2405.09311, 2024.https://arxiv.org/abs/2405.09311
Pith/arXiv arXiv 2024
-
[21]
McLaughlin,An identity motivated by an amazing identity of Ramanujan, Fibonacci Quart.48(2010), no
J. McLaughlin,An identity motivated by an amazing identity of Ramanujan, Fibonacci Quart.48(2010), no. 1, 34–38. DOI: https://doi.org/10.1080/00150517.2010. 12428126
arXiv 2010
-
[22]
J. C. P. Miller and M. F. C. Woollett,Solutions of the Diophantine equationx3 + y3 + z3 = k, J. London Math. Soc.s1-30(1955), no. 1, 101–110. DOI: https: //doi.org/10.1112/jlms/s1-30.1.101
-
[23]
Miranda,The Basic Theory of Elliptic Surfaces, Dottorato di Ricerca in Matematica, ETS Editrice, Pisa, 1989.https://www.math.colostate.edu/~miranda/ BTES-Miranda.pdf
R. Miranda,The Basic Theory of Elliptic Surfaces, Dottorato di Ricerca in Matematica, ETS Editrice, Pisa, 1989.https://www.math.colostate.edu/~miranda/ BTES-Miranda.pdf
1989
-
[24]
Miranda and U
R. Miranda and U. Persson,Configurations ofIn fibers on elliptic K3 surfaces, Math. Z.201(1989), 339–361.https://eudml.org/doc/174057
1989
-
[25]
L. J. Mordell,On an infinity of integer solutions ofax3 + ay3 + bz3 = bc3, J. London Math. Soc.s1-30(1955), no. 1, 111–113. DOI: https://doi.org/10.1112/jlms/ s1-30.1.111
doi:10.1112/jlms/ 1955
-
[26]
J. W. Nicholson,A simple solution of the Diophantine equationU 3 = V 3 + X 3 + Y 3, Amer. Math. Monthly22(1915), no. 7, 224–225. DOI:https://doi.org/10.1080/ 00029890.1915.11998120
arXiv 1915
-
[27]
K. Ono and S. Trebat-Leder,The1729K3 surface, Res. Number Theory2(2016), article 26. DOI:https://doi.org/10.1007/s40993-016-0058-2
-
[28]
Ramanujan,Collected Papers of Srinivasa Ramanujan, edited by G
S. Ramanujan,Collected Papers of Srinivasa Ramanujan, edited by G. H. Hardy, P. V. Seshu Aiyar, and B. M. Wilson, Cambridge University Press, Cambridge, 1927. https://archive.org/details/pli.kerala.rare.28155
1927
-
[29]
B. Reznick,Equal sums of two cubes of quadratic forms, inAnalytic and Combinatorial Number Theory: The Legacy of Ramanujan, Monographs in Number Theory, vol. 12, World Scientific, 2024, 583–608. DOI:https://doi.org/10.1142/9789811277375_ 0035
-
[30]
Shioda,On the Mordell–Weil lattices, Comment
T. Shioda,On the Mordell–Weil lattices, Comment. Math. Univ. St. Pauli39(1990), 211–240. https://rikkyo.repo.nii.ac.jp/record/10027/files/AA00610867_ 39-02_05.pdf
1990
-
[31]
J. H. Silverman,Advanced Topics in the Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, vol. 151, Springer, New York, 1994. DOI:https://doi.org/ 10.1007/978-1-4612-0851-8
-
[32]
J. H. Silverman,The Arithmetic of Elliptic Curves, second edition, Graduate Texts in Mathematics, vol. 106, Springer, Dordrecht, 2009. DOI:https://doi.org/10.1007/ 978-0-387-09494-6. 28 K. SRINIVASA RAGHAVA
2009
-
[33]
J. H. Silverman and J. Tate,Rational Points on Elliptic Curves, second edition, Undergraduate Texts in Mathematics, Springer, Cham, 2015. DOI:https://doi.org/ 10.1007/978-3-319-18588-0
-
[34]
J. Tate,Algorithm for determining the type of a singular fiber in an elliptic pencil, inModular Functions of One Variable IV, Lecture Notes in Mathematics, vol. 476, Springer, Berlin, 1975, 33–52. DOI:https://doi.org/10.1007/BFb0097582
-
[35]
L. C. Washington,Elliptic Curves: Number Theory and Cryptography, second edition, Discrete Mathematics and Its Applications, Chapman and Hall/CRC, Boca Raton,
-
[2008]
Pie Mathematics Association Email address:srinivasaraghavak@gmail.com
DOI:https://doi.org/10.1201/9781420071474. Pie Mathematics Association Email address:srinivasaraghavak@gmail.com
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.