Research proof index

The twist by a unit discriminant keeps multiplicative reduction. If E has multiplicative reduction and D = t² - 4n is a unit of R (residue ≠ 0), then the base change of the R-model twist (E.integralModel R).quadraticTwistOf t n again has multiplicative reduction: its c₄ = D² · c₄ is a unit (so the model is minimal and the reduction multi...

Packaging nodePoly_quadraticTwistOf_map_splits_of_residue: if the base change of the twisted integral model has multiplicative reduction and the residues of (t', n') satisfy the trace and norm relations, then the reduction is split multiplicative.

If the root of the reduced node polynomial P̄ (assumed irreducible) satisfies a monic quadratic relation X² - t·X + n over the residue field, then comparing with the defining relation of P̄ (aeval_root_nodePoly_map) and using the linear independence of 1 and the root (AdjoinRoot.eq_zero_of_mul_root_add_eq_zero) yields the relations `φc₄·t + φ(...

Twisting flips the square class (residue characteristic ≠ 2). Combining the split criterion nodePoly_map_splits_iff_isSquare with the coefficient scaling of the quadratic twist (c₄_quadraticTwistOf, c₆_quadraticTwistOf), the node polynomial of W.quadraticTwistOf t n splits over a field k of characteristic ≠ 2 exactly when D · (-c₄ c₆) is...

If the residues of (t', n') satisfy the trace and norm relations cut out by the node polynomial, then the node polynomial of the quadratic twist of the integral model by (t', n') splits over the residue field: the key identity φc₄ · φ(t'² - 4n') = -φc₆ (residue_c₄_mul_residue_eq_neg_c₆) reduces this to a square-class computation for residue charac...

The residue characteristic 2 case of nodePoly_quadraticTwistOf_map_splits_of_residue: the Artin–Schreier split condition (nodePoly_map_splits_iff_of_two_eq_zero) holds with z = 0, because φ κ_W = 0. Indeed κ_W = D³κ - D²·n·a₁²·c₄ (kappa_quadraticTwistOf), and φκ = -φc₄·φn (hB), φa₁ = -φt' (hA), φD = φt'² (as 4 = 0), so `φκ_W = -φ...