Quadratic degree recursion for elliptic multiplication
ID: quadratic-degree-recursion-for-elliptic-multiplication
The degree parallelogram identity for endomorphisms of an elliptic curve gives for , with and . Induction gives in every characteristic. A zero pullback on differentials therefore does not mean that multiplication is the zero morphism.
New to topics? Read the docs here!