Abstract:Let $K$ be a quadratic number field and let $E$ be an elliptic curve defined over $K$ such that $E[2] \not\subseteq E(K).$ In this paper, we study the effect of quadratic base change on $E(K)_{\text{tor}}.$ Moreover, for a given elliptic curve $E/K$ with prescribed torsion group over $K,$ (no restriction on its $2$-torsion part) we describe a fast algorithm to find all quadratic extensions $L/K$ in which $E(K)_{\text{tor}} \subsetneq E(L)_{\text{tor}}$ and describe $E(L)_{\text{tor}}$ in each such case. In particular, we determine the growth of $E(K)_{\text{tor}}$ upon quadratic base change when $K$ is any quadratic cyclotomic field, which completes the earlier work of the second author.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to study the influence of quadratic field extensions on the torsion groups of elliptic curves. In particular, for an elliptic curve $E$ defined over a given quadratic number field $K$, when its 2 - torsion part $E[2]\nsubseteq E(K)$, it explores how $E(L)_{\text{tor}}$ changes under the quadratic extension $L / K$. Specifically, the authors describe a fast algorithm to find all quadratic extensions $L / K$ such that $E(K)_{\text{tor}}\subsetneq E(L)_{\text{tor}}$, and describe $E(L)_{\text{tor}}$ in each case. In addition, for any quadratic cyclotomic field $K$, the paper determines the growth of $E(K)_{\text{tor}}$ under quadratic base change, thus complementing the previous work of the second author [23]. ### Main problem summary: 1. **Study the influence of quadratic base change on the torsion groups of elliptic curves**: In particular, when an elliptic curve $E$ is defined over a quadratic number field $K$ and its 2 - torsion part $E[2]\nsubseteq E(K)$, explore how $E(L)_{\text{tor}}$ changes under the quadratic extension $L / K$. 2. **Algorithm description**: Give an algorithm to find all quadratic extensions $L / K$ such that $E(K)_{\text{tor}}\subsetneq E(L)_{\text{tor}}$, and describe $E(L)_{\text{tor}}$ in each case. 3. **Special case analysis**: For any quadratic cyclotomic field $K$, determine the growth of $E(K)_{\text{tor}}$ under quadratic base change. ### Formula representation: - The torsion group of the elliptic curve $E$ over $K$ is denoted as $E(K)_{\text{tor}}$. - The quadratic extension $L = K(\sqrt{d})$ where $d\in K$ is a non - square element. - Growth condition of the torsion group: If $E(K)_{\text{tor}}\subsetneq E(L)_{\text{tor}}$, then the torsion group is said to grow. Through these studies, the authors hope to better understand the influence of quadratic base change on the torsion groups of elliptic curves and provide specific algorithms and results to support this research.

The Effect of Quadratic Base Change on Torsion of Elliptic Curves

Non-cyclic Torsion of Elliptic Curves Over Imaginary Quadratic Fields of Class Number 1

Growth of Torsion Groups of Elliptic Curves Over Number Fields without Rationally Defined CM

On Torsion Subgroups of Elliptic Curves over Quartic, Quintic and Sextic Number Fields

Behaviors of the Tate--Shafarevich group of elliptic curves under quadratic field extensions

Growth of torsion groups of elliptic curves upon base change from number fields

On the quadratic twist of elliptic curves with full $2$-torsion

Torsion Points and the Latte'S Family

Torsion of Rational Elliptic Curves over the Cyclotomic Extensions of $\mathbb{Q}$

Sporadic Cubic Torsion

Torsion phenomena for zero-cycles on a product of curves over a number field

Anatomy of torsion in the CM case

Torsion subgroups of elliptic curves over quadratic fields and a conjecture of Granville

Torsion primes for elliptic curves over degree 8 number fields

Quadratic torsion orders on Jacobian varieties

Base change and Iwasawa Main Conjectures for ${\rm GL}_2$

Entanglement of elliptic curves upon base extension

Torsion points and Galois representations on CM elliptic curves

On the torsion part in the K-theory of imaginary quadratic fields

Uniform polynomial bounds on torsion from rational geometric isogeny classes

Efficient quantum circuits for binary elliptic curve arithmetic: reducing T-gate complexity