I am working on elliptic curves with torsion group $\mathbb{Z}/14\mathbb{Z}$ over quadratic fields. The curves are constructed using the model $E\_1=[0,a,0,b,0]$ following the formulas on p. 13 of



> 
> L. Halbeisen, N. Hungerbuehler, M. Voznyy, A. S. Zargar, *A geometric approach to elliptic curves with torsion groups ℤ/10ℤ, ℤ/12ℤ, ℤ/14ℤ, and ℤ/16ℤ*, arXiv: [2106.06861](https://arxiv.org/pdf/2106.06861.pdf).
> 
> 
> 


Magma [code snippet](https://mega.nz/file/yp5CjTYb#2Q5eMHxQykiDLBWl9xZH5jYOFRyTAsey_D1JvAUTwtA) (on my MEGA) for online [Magma Calculator](http://magma.maths.usyd.edu.au/calc/) is available.


Using $u=-3$ produces a $\mathbb{Z}/14\mathbb{Z}$ curve of rank $1$.



```
u = -3
K:  Quadratic Field with defining polynomial $.1^2 + 23 over the Rational Field
ClassNumber(K) = 3
E1 = [ 0, 10656*K.1 + 13600, 0, 37748736*K.1 - 448790528, 0 ]
jInvariant = 1/248278597632*(-64448133136412*K.1 + 699764618102559)
Abelian Group isomorphic to Z/14
Defined on 1 generator
Relations:
    14*ts.1 = 0

```

I want to rationalize the coefficient $a=10656\sqrt{-23} + 13600$, or to minimize the size (sum of absolute values of rational and irrational parts) of it as much as possible. It proves to be difficult, as to keep $\mathbb{Z}/14\mathbb{Z}$ torsion, the transformation from $E\_1$ to $E\_2=[0,af^2,0,bf^4,0]$ is required, and the choice of $f$ is unclear so far.


A simple loop in the code produces a curve with a coefficient $a=-28\sqrt{-23} + 605$ of smaller size $|-28|+|605|\lt|10656|+|13600|$, where $f=\sqrt{-23}-5$ and $f^2=-10\sqrt{-23}+2$.



```
jmin = 1 imin = -5 f2 = -10*K.1 + 2 f2/ymin^2 = 1/2048*(-5*K.1 + 1)
E2 = [ 0, -28*K.1 + 605, 0, -4096*K.1 + 63488, 0 ]
jInvariant = 1/248278597632*(-64448133136412*K.1 + 699764618102559)
Abelian Group isomorphic to Z/14
Defined on 1 generator
Relations:
    14*ts.1 = 0

```

An attempt to match the $j$-invariants of $E\_1$ and $E\_3=[0,1,0,a\_4,0]$ produces a curve with torsion $\mathbb{Z}/2\mathbb{Z}$.



```
E3 = [ 0, 1, 0, 1/1820984929*(8957952*K.1 + 312162304), 0 ]
jInvariant = 1/248278597632*(-64448133136412*K.1 + 699764618102559)
Abelian Group isomorphic to Z/2
Defined on 1 generator
Relations:
    2*ts.1 = 0

```


> 
> **Question 1:** Is it possible to rationalize the coefficient $a$? If so, what would be the choice of $f$?
> 
> 
> 



> 
> **Question 2:** Is it possible to further minimize the size of $a=-28\sqrt{-23} + 605$? If so, what would be the choice of $f$?
> 
> 
> 



> 
> **Question 3:** Does class number of the quadratic field influence the possibility to rationalize $a$? If so, class number $1$ is achieved for $u=2,3,5,6,7,8,$ etc.
> 
> 
> 



Rationalizing and minimizing elliptic curve coefficients
If I understand correctly: you are starting with $a = 10656\sqrt{-23} +13600$, and you want to choose $f$ in the same number field such that $af^2$ is "as nice as possible", ideally lying in $\mathbf{Z}$; and you have observed that you can get it down to $a' = -28\sqrt{-23} + 605$.


Let's consider the prime factorisation of $a'$. It has the shape $P\_1^2 P\_2 P\_3$ where $P\_i$ are primes, and the prime $P\_2 = \langle 139, (33 + \sqrt{-23})/2\rangle$ is not equal to its Galois conjugate $P\_2^\sigma$. So you can see straight away that no element of the form $a' f^2$ can be in $\mathbf{Z}$, because it will always have even valuation at $P\_2^\sigma$ and odd valuation at $P\_2$, while any element of $\mathbf{Z}$ has to have equal valuations at $P\_2$ and $P\_2^\sigma$.


So the answer to question 1 is "no"; and, insofar as I can understand what question 3 is asking, the answer is "it doesn't matter" (the class number is not the obstruction here). For question 2, I suspect the answer is also "no", but it sounds like a mighty tedious check.


