Elliptic curve with Cremona label 20070p1 (LMFDB label 20070.r1)

• Label: 20070p1
• Conductor: $20070$
• Discriminant: $2.540\times 10^{12}$
• j-invariant: $\frac{640704570827329}{3484375000}$
• CM: no
• Rank: $1$
• Torsion structure: trivial

Minimal Weierstrass equation

$y^2+xy=x^3-x^2-16164x+791320$

(, )

Mordell-Weil group structure

$\Z$

Mordell-Weil generators

$P$	$\hat{h}(P)$	Order
$(51, 287)$	$0.61270999682647993850087518994$	$\infty$

Integral points

$\left(51, 287\right)$, $\left(51, -338\right)$, $\left(81, 52\right)$, $\left(81, -133\right)$

Invariants

Conductor:	$N$	=	$20070$	=	$2 \cdot 3^{2} \cdot 5 \cdot 223$
Discriminant:	$\Delta$	=	$2540109375000$	=	$2^{3} \cdot 3^{6} \cdot 5^{9} \cdot 223$
j-invariant:	$j$	=	$\frac{640704570827329}{3484375000}$	=	$2^{-3} \cdot 5^{-9} \cdot 223^{-1} \cdot 86209^{3}$
Endomorphism ring:	$\mathrm{End}(E)$	=	$\Z$
Geometric endomorphism ring:	$\mathrm{End}(E_{\overline{\Q}})$	=	$\Z$    (no potential complex multiplication)
Sato-Tate group:	$\mathrm{ST}(E)$	=	$\mathrm{SU}(2)$
Faltings height:	$h_{\mathrm{Faltings}}$	≈	$1.2238277088021218446398597951$
Stable Faltings height:	$h_{\mathrm{stable}}$	≈	$0.67452156446806699894223717664$
$abc$ quality:	$Q$	≈	$0.9161256066213003$
Szpiro ratio:	$\sigma_{m}$	≈	$4.106726508949519$

BSD invariants

Analytic rank:	$r_{\mathrm{an}}$	=	$1$
Mordell-Weil rank:	$r$	=	$1$
Regulator:	$\mathrm{Reg}(E/\Q)$	≈	$0.61270999682647993850087518994$
Real period:	$\Omega$	≈	$0.81687097306698302029359154866$
Tamagawa product:	$\prod_{p}c_p$	=	$9$  = $1\cdot1\cdot3^{2}\cdot1$
Torsion order:	$\#E(\Q)_{\mathrm{tor}}$	=	$1$
Special value:	$L'(E,1)$	≈	$4.5045451018396327111173413717$
Analytic order of Ш:	Ш${}_{\mathrm{an}}$	≈	$1$    (rounded)

BSD formula

$\displaystyle 4.504545102 \approx L'(E,1) = \frac{\# Ш(E/\Q)\cdot \Omega_E \cdot \mathrm{Reg}(E/\Q) \cdot \prod_p c_p}{\#E(\Q)_{\rm tor}^2} \approx \frac{1 \cdot 0.816871 \cdot 0.612710 \cdot 9}{1^2} \approx 4.504545102$

Modular invariants

Modular form   20070.2.a.r

$q - q^{2} + q^{4} + q^{5} + 3 q^{7} - q^{8} - q^{10} + 2 q^{11} - 2 q^{13} - 3 q^{14} + q^{16} - 4 q^{17} - q^{19} + O(q^{20})$

For more coefficients, see the Downloads section to the right.

Modular degree:	45360
$\Gamma_0(N)$-optimal:	yes
Manin constant:	1

Local data at primes of bad reduction

This elliptic curve is not semistable. There are 4 primes $p$ of bad reduction:

$p$	Tamagawa number	Kodaira symbol	Reduction type	Root number	$\mathrm{ord}_p(N)$	$\mathrm{ord}_p(\Delta)$	$\mathrm{ord}_p(\mathrm{den}(j))$
$2$	$1$	$I_{3}$	nonsplit multiplicative	1	1	3	3
$3$	$1$	$I_0^{*}$	additive	-1	2	6	0
$5$	$9$	$I_{9}$	split multiplicative	-1	1	9	9
$223$	$1$	$I_{1}$	nonsplit multiplicative	1	1	1	1

Galois representations

The $\ell$-adic Galois representation has maximal image for all primes $\ell$.

The image $H:=\rho_E(\Gal(\overline{\Q}/\Q))$ of the adelic Galois representation has level $8920 = 2^{3} \cdot 5 \cdot 223$, index $2$, genus $0$, and generators

$\left(\begin{array}{rr} 2231 & 2 \\ 2231 & 3 \end{array}\right),\left(\begin{array}{rr} 1 & 0 \\ 2 & 1 \end{array}\right),\left(\begin{array}{rr} 1 & 2 \\ 0 & 1 \end{array}\right),\left(\begin{array}{rr} 8919 & 2 \\ 8918 & 3 \end{array}\right),\left(\begin{array}{rr} 1 & 1 \\ 8919 & 0 \end{array}\right),\left(\begin{array}{rr} 7137 & 2 \\ 7137 & 3 \end{array}\right),\left(\begin{array}{rr} 4461 & 2 \\ 4461 & 3 \end{array}\right),\left(\begin{array}{rr} 5801 & 2 \\ 5801 & 3 \end{array}\right)$.

The torsion field $K:=\Q(E[8920])$ is a degree-$907530621419520$ Galois extension of $\Q$ with $\Gal(K/\Q)$ isomorphic to the projection of $H$ to $\GL_2(\Z/8920\Z)$.

The table below list all primes $\ell$ for which the Serre invariants associated to the mod-$\ell$ Galois representation are exceptional.

$\ell$	Reduction type	Serre weight	Serre conductor
$2$	nonsplit multiplicative	$4$	$10035 = 3^{2} \cdot 5 \cdot 223$
$3$	additive	$6$	$223$
$5$	split multiplicative	$6$	$4014 = 2 \cdot 3^{2} \cdot 223$
$223$	nonsplit multiplicative	$224$	$90 = 2 \cdot 3^{2} \cdot 5$

Isogenies

This curve has no rational isogenies. Its isogeny class 20070p consists of this curve only.

Twists

The minimal quadratic twist of this elliptic curve is 2230a1, its twist by $-3$.

Growth of torsion in number fields

The number fields $K$ of degree less than 24 such that $E(K)_{\rm tors}$ is strictly larger than $E(\Q)_{\rm tors}$ (which is trivial) are as follows:

$[K:\Q]$	$K$	$E(K)_{\rm tors}$	Base change curve
$3$	3.3.8920.1	$\Z/2\Z$	not in database
$6$	6.6.709732288000.1	$\Z/2\Z \oplus \Z/2\Z$	not in database
$8$	8.2.5408392915467.2	$\Z/3\Z$	not in database
$12$	deg 12	$\Z/4\Z$	not in database

We only show fields where the torsion growth is primitive. For fields not in the database, click on the degree shown to reveal the defining polynomial.

Iwasawa invariants

$p$	2	3	5	7	11	13	17	19	23	29	31	37	41	43	47	223
Reduction type	nonsplit	add	split	ord	ord	ord	ord	ord	ord	ord	ord	ord	ord	ord	ord	nonsplit
$\lambda$-invariant(s)	3	-	2	3	1	1	1	1	1	1	3	1	1	3	1	1
$\mu$-invariant(s)	0	-	0	0	0	0	0	0	0	0	0	0	0	0	0	0

An entry - indicates that the invariants are not computed because the reduction is additive.

$p$-adic regulators

Note: $p$-adic regulator data only exists for primes $p\ge 5$ of good ordinary reduction.