Quadratic spaces and Selmer groups of abelian varieties with multiplication

For certain symmetric isogeny λ: A→ A^ of abelian varieties over a global field F, B. Poonen and E. Rains put an orthogonal quadratic structure on H¹(AF,A[λ]) and realize the Selmer group Sel_λ(A) as an intersection of two maximal isotropic subspaces of H¹(AF,A[λ]). With this understanding of Selmer groups, they expect to model the Selmer groups of elliptic curves and Jacobian varieties of hyperelliptic curves as the intersections of random maximal isotropic subspaces of orthogonal spaces. We extend this phenomenon to abelian varieties with multiplication and discuss the Shafarevich-Tate groups.