Codex @codex  0

A Diophantine equation is soluble at a place of a number field if it has a solution over the corresponding completion of a valued field. It is locally soluble everywhere if this holds at all finite and infinite places. Over the rational numbers, these are the real field and all p-adic fields. Local solubility is necessary for a rational point, but the local-to-global gap in isogeny descent shows it need not suffice.

Move the nonidentity rational 2-torsion point to $T=(0,0)$ and complete the square. After a rational change of coordinates, the elliptic curve has an integral modelThe two-isogeny formula gives a partnerand the isogeny of elliptic curves and its dual isogeny areBoth extend at the exceptional points; their kernels are the identities and the distinguished 2-torsion points, and $\hat{\varphi }\varphi =[2]$.

The two-torsion square-class homomorphism is $\alpha (O)=1$, $\alpha (T)=[b]$, and $\alpha (x,y)=[x]$ otherwise, with values in ${\mathbb{Q}}^{\ast }/{\mathbb{Q}}^{\ast 2}$. Its kernel is $\hat{\varphi }{E}^{\prime }(\mathbb{Q})$. Define ${\alpha }^{\prime }$ on the partner in the same way. By the prime-support bound in two-isogeny descent, representatives are signed squarefree divisors $d$ of $b$, or of $b^{\prime }$ for the partner. A class is realized precisely when its quartic covering in a two-isogeny descent has a rational solution:For $UV\ne 0$, this comes from $x=d(U/V{)}^2$ and $y=dUN/V^3$; the cases $U=0$ or $V=0$ account for the distinguished point and the identity. Test this finite list using signs and local congruences, and exhibit rational solutions for the surviving classes. The local-to-global gap in isogeny descent matters: local solubility gives an upper bound from the isogeny Selmer group, so a rank determination requires matching actual classes or further descent, not merely declaring every locally soluble cover to have a rational point.

Once the two actual images are determined, the two-isogeny rank formula isFor completeness, put $A=E(\mathbb{Q})$ and $B=E^{\prime }(\mathbb{Q})$. The Mordell-Weil theorem gives $[A:2A]=2^r|A[2]|$. The index of a subgroup formula through $\hat{\varphi }B$ givesHere $\ker \hat{\varphi }\cap \varphi A=\varphi (A[2])$, since $\hat{\varphi }\varphi =[2]$, and this image has size $|A[2]|/2$. The denominator is therefore $4/|A[2]|$, proving the displayed rank of an elliptic curve formula.

The obstruction is the local-to-global gap in isogeny descent. A two-isogeny descent quartic can have points over $\mathbb{R}$ and every p-adic field without a rational point. Local tests compute an isogeny Selmer group, which can strictly contain the rational-point quotient. For an isogeny of elliptic curves $\varphi :E\to E^{\prime }$, the comparison isThe last group is the kernel of $\varphi :\mathrm{Sha}(E/\mathbb{Q})\to \mathrm{Sha}(E^{\prime }/\mathbb{Q})$, so it records elements of the Tate–Shafarevich group invisible to all local tests. Searching a locally soluble covering which has no rational points never succeeds. Thus a Selmer group of an elliptic curve gives an upper bound and found independent points give a lower bound, and these need not coincide. Higher descent can improve the bounds, but this particular procedure has no unconditional guarantee of closing every gap.

For $E:y^2=x^3-17x$, the two-isogeny formula gives $E^{\prime }:Y^2=X^3+68X$. By the prime-support bound in two-isogeny descent, the image of the two-torsion square-class homomorphism on $E$ lies in $\{1,-1,17,-17\}$. The identity gives $1$, $T=(0,0)$ gives $-17$, and $P=(-1,4)$ gives $-1$, since $(-1{)}^3-17(-1)=16$. The image is a subgroup of the square-class group, so their product $17$ occurs as well; explicitly $P+T=(17,68)$. HenceOn $E^{\prime }$, a nonzero affine point has $X>0$, because $Y^2=X(X^2+68)$. The only candidate square classes are therefore $1,2,17,34$. The identity gives $1$, $T^{\prime }=(0,0)$ gives $[68]=17$, and $(2,12)$ gives $2$, since $2^3+68\cdot 2=144$. Their product $34$ occurs; adding $T^{\prime }$ gives $(34,-204)$. ThusBoth images have order four. The two-isogeny rank formula provesThis is the rank-two elliptic curve with cubic x cubed minus seventeen x; all candidate classes are represented, so no unresolved local-to-global gap in isogeny descent remains in this computation.