Weil pairings: definition
Posted by Martin Orr on Monday, 29 August 2011 at 17:27
Recall that for an abelian variety
over the complex numbers,
is dual to
(this is built in to the analytic definition of
).
Since
,
this tells us that
is dual to
(as
-modules).
We would like to show that this is true over other fields as well,
which we will do by constructing the Weil pairings.