English

Non-Existence of Linear-Quartic Factorization for the Second Cuboid Quintic

General Mathematics 2026-01-13 v2

Abstract

Let Qp,q(t)Z[t]Q_{p,q}(t)\in\mathbb{Z}[t] be Sharipov's even monic degree-1010 second cuboid polynomial depending on coprime integers pq>0p\neq q>0. Writing Qp,q(t)Q_{p,q}(t) as a quintic in t2t^{2} produces an associated monic quintic polynomial. After the weighted normalization r=p/qr=p/q and s=r2s=r^{2} we obtain a one-parameter family Ps(x)Q[x]P_s(x)\in\mathbb{Q}[x] such that Qp,q(t)=q20Ps ⁣(t2q4)withs=(pq)2. Q_{p,q}(t)=q^{20}\,P_s\!\left(\frac{t^{2}}{q^{4}}\right)\qquad\text{with}\qquad s=\left(\frac{p}{q}\right)^{2}. We show that for every rational s>0s>0 with s1s\neq 1 the equation Ps(x)=0P_s(x)=0 has no rational solutions. Equivalently, PsP_s admits no 1+41+4 factorization over Q\mathbb{Q}. The proof uses an explicit quotient by the inversion involution (s,y)(1/s,1/y)(s,y)\mapsto(1/s,1/y) and reduces the rational-root problem for PsP_s to rational points on the fixed genus-22 hyperelliptic curve C:w2=t5+21t4+26t3+10t2+5t+1=(t+1)(t4+20t3+6t2+4t+1). C:\quad w^2=t^5+21t^4+26t^3+10t^2+5t+1=(t+1)(t^4+20t^3+6t^2+4t+1). Using Magma and Chabauty's method on the Jacobian of CC, we compute C(Q)C(\mathbb{Q}) exactly and conclude that the only parameter value producing a rational root is the excluded case s=1s=1 (equivalently p=qp=q). As a consequence, for coprime pq>0p\neq q>0 the polynomial Qp,q(t)Q_{p,q}(t) has no rational roots (hence no linear factor over Q\mathbb{Q}, and in particular no linear factor over Z\mathbb{Z}).

Cite

@article{arxiv.2601.04241,
  title  = {Non-Existence of Linear-Quartic Factorization for the Second Cuboid Quintic},
  author = {Valery Asiryan},
  journal= {arXiv preprint arXiv:2601.04241},
  year   = {2026}
}

Comments

Partial progress on the irreducibility of the second cuboid polynomial (Sharipov's second conjecture): non-existence of 1+4 factorization for the associated quintic. Computer-assisted proof

R2 v1 2026-07-01T08:54:55.241Z