 In that case, the quotient

is isomorphic to the dual abelian variety "Â".This construction of "Â" extends to any field "K" of characteristic zero.In terms of this definition, the Poincaré bundle, a universal line bundle can be defined on

The construction when "K" has characteristic "p" uses scheme theory.