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.