Torsion of Rational Elliptic Curves over the $\mathbb{Z}_p$-Extensions of Quadratic Fields

Abstract: Let $E$ be an elliptic curve defined over $\mathbb{Q}$. For a quadratic number field $K$ and an odd prime number $p$, let $L$ be a $\mathbb{Z}p$-extension of $K$. We prove that $E(L){\text{tors}}=E(K){\text{tors}}$ when $p>5$. It enables us to classify the groups that can be realized as the torsion subgroup $E(L){\text{tors}}$, by using the classification of torsion subgroups over the quadratic fields.