1: \begin{abstract}

2: 

3: In \cite{MS21}, we defined a category $\SMod_F$ of finite Galois modules decorated with local conditions for each global field $F$. In this paper, given an extension $K/F$ of global fields, we define a restriction of scalars functor from $\SMod_K$ to $\SMod_F$ and show that it behaves well with respect to the Cassels--Tate pairing. We apply this work to study the class groups of global fields in the context of the Cohen--Lenstra heuristics.

4: \end{abstract}

5: