1: \begin{abstract}

2: Given a global field $F$ with absolute Galois group $G_F$, we define a category $\SMod_F$ whose objects are finite $G_F$-modules decorated with local conditions. We define this category so that `taking the Selmer group' gives a functor $\Sel$ from $\SMod_F$ to $\text{Ab}$. After defining a duality functor $\vee$ on $\SMod_F$, we show that every short exact sequence $E = \left[0 \to M_1 \to M \to M_2 \to 0\right]$ in $\SMod_F$  

3:  gives rise to a natural bilinear pairing

4: \[\CTP_E\colon \Sel\, M_2 \times \Sel\, M_1^{\vee} \to \QQ/\Z\]

5: whose left and right kernels are the images of $\Sel\, M$ and $\Sel\, M^{\vee}$, respectively. This  generalizes the Cassels--Tate pairing defined on the Shafarevich--Tate group of an abelian variety over $F$ and results in a flexible theory in which pairings associated to different exact sequences can be readily compared to one another. As an application, we give a new proof of Poonen and Stoll's results concerning the failure of the Cassels--Tate pairing to be alternating for  principally polarized abelian varieties and extend this work to the setting of Bloch--Kato Selmer groups.

6: \end{abstract}

7: