On the factorization of twisted -values and -descents over -number fields
arXiv:2501.09515
Abstract
We investigate the Galois module structure of the Tate-Shafarevich group of elliptic curves. For a Dirichlet character , we give an explicit conjecture relating the ideal factorization of to the Galois module structure of the Tate-Shafarevich group of , where factors through the Galois group of . We provide numerical evidence for this conjecture using the methods of visualization and -descent. For the latter, we present a procedure that makes performing an -descent over a number field practical for an elliptic curve with complex multiplication. We also expect that our method can be pushed to perform higher descents (e.g. -descent) over a number field given more computational power.
18 pages