Weil pairing for an abelian variety

ID: weil-pairing-for-an-abelian-variety

For an abelian variety and an integer invertible in the base field, a torsion line bundle has trivial pullback by . Choose a trivialization. The descent action of the kernel on that trivial line bundle acts through a character . Define . This is independent of rescaling the trivialization and bilinear under translation and tensor product. A trivial character descends the trivial bundle, so is trivial. Since both groups have order , the character map is an isomorphism and the Weil pairing for an abelian variety is perfect. The theta autoduality of a Jacobian turns it into a pairing on two copies of the Jacobian variety's torsion group.

New to topics? Read the docs here!