Skip to main content
4 of 4
formatting
YCor
  • 63.9k
  • 5
  • 187
  • 286

Norm map of Tate-Shafarevich group $\mathrm{Sha}(E/K)\to \mathrm{Sha}(E/\Bbb{Q})$

Let $K$ be a quadratic number field. Let $\sigma$ be a generator of Galois group of $K/\Bbb{Q}$. Let $E$ be an elliptic curve defined over $\mathbb{Q}$.

Let $\mathrm{Sha}(E/K)$ denote the Tate-Shafarevich group of $E/K$. Can we explicitly write down the norm map of the Tate-Shafarevich group $\mathrm{Sha}(E/K) \to \mathrm{Sha}(E/\mathbb{Q})$?

(Reference: What's the Hilbert class field of an elliptic curve?)

At first, I thought that the map $[C] \mapsto [C] + [C]^{\sigma}$ would provide the desired map. However, it does not commute with the Galois action, meaning that $([C] + [C]^{\sigma} )^{\sigma} \neq [C]^{\sigma} + [C]$ in general, thus this is not well-defined.

Thank you for your help.

Duality
  • 1.5k
  • 7
  • 13