Negative unit obstruction for the fourteen-coefficient isogeny cover
ID: negative-unit-obstruction-for-the-fourteen-coefficient-isogeny-cover
This quartic covering in a two-isogeny descent has no solution with coprime integers not both zero. If precisely one is odd, the right side is modulo four. If both are odd, their fourth powers are one modulo sixteen and modulo sixteen, so the right side is twelve modulo sixteen. Neither residue is a square. Coprimality excludes the remaining parity case. Consequently the negative unit square class is absent from the two-torsion square-class homomorphism for .
New to topics? Read the docs here!