Properties

Label 2.0.111.1-1.1-b2
Base field \(\Q(\sqrt{-111}) \)
Conductor norm \( 1 \)
CM no
Base change no
Q-curve yes
Torsion order \( 1 \)
Rank \( 1 \)

Related objects

Downloads

Learn more

Show commands: Magma / Oscar / Pari/GP / SageMath

Base field \(\Q(\sqrt{-111}) \)

Generator \(a\), with minimal polynomial \( x^{2} - x + 28 \); class number \(8\).

Copy content comment:Define the base number field
 
Copy content sage:R.<x> = PolynomialRing(QQ); K.<a> = NumberField(R([28, -1, 1]))
 
Copy content gp:K = nfinit(Polrev([28, -1, 1]));
 
Copy content magma:R<x> := PolynomialRing(Rationals()); K<a> := NumberField(R![28, -1, 1]);
 
Copy content oscar:Qx, x = polynomial_ring(QQ); K, a = number_field(Qx([28, -1, 1]))
 

Weierstrass equation

\({y}^2+{y}={x}^3+a{x}^2+\left(563a-2049\right){x}+14287a-14024\)
Copy content comment:Define the curve
 
Copy content sage:E = EllipticCurve([K([0,0]),K([0,1]),K([1,0]),K([-2049,563]),K([-14024,14287])])
 
Copy content gp:E = ellinit([Polrev([0,0]),Polrev([0,1]),Polrev([1,0]),Polrev([-2049,563]),Polrev([-14024,14287])], K);
 
Copy content magma:E := EllipticCurve([K![0,0],K![0,1],K![1,0],K![-2049,563],K![-14024,14287]]);
 
Copy content oscar:E = elliptic_curve([K([0,0]),K([0,1]),K([1,0]),K([-2049,563]),K([-14024,14287])])
 

This is not a global minimal model: it is minimal at all primes except \((7,a+6)\). No global minimal model exists.

Copy content comment:Test whether it is a global minimal model
 
Copy content sage:E.is_global_minimal_model()
 

Mordell-Weil group structure

\(\Z\)

Mordell-Weil generators

$P$$\hat{h}(P)$Order
$\left(\frac{35}{12} a - \frac{92}{3} : -\frac{67}{72} a + \frac{41}{18} : 1\right)$$1.0278629562517317359965706968928008794$$\infty$

Invariants

Conductor: $\frak{N}$ = \((1)\) = \((1)\)
Copy content comment:Compute the conductor
 
Copy content sage:E.conductor()
 
Copy content gp:ellglobalred(E)[1]
 
Copy content magma:Conductor(E);
 
Copy content oscar:conductor(E)
 
Conductor norm: $N(\frak{N})$ = \( 1 \) = 1
Copy content comment:Compute the norm of the conductor
 
Copy content sage:E.conductor().norm()
 
Copy content gp:idealnorm(K, ellglobalred(E)[1])
 
Copy content magma:Norm(Conductor(E));
 
Copy content oscar:norm(conductor(E))
 
Discriminant: $\Delta$ = $-792a-117179$
Discriminant ideal: $(\Delta)$ = \((-792a-117179)\) = \((7,a+6)^{12}\)
Copy content comment:Compute the discriminant
 
Copy content sage:E.discriminant()
 
Copy content gp:E.disc
 
Copy content magma:Discriminant(E);
 
Copy content oscar:discriminant(E)
 
Discriminant norm: $N(\Delta)$ = \( 13841287201 \) = \(7^{12}\)
Copy content comment:Compute the norm of the discriminant
 
Copy content sage:E.discriminant().norm()
 
Copy content gp:norm(E.disc)
 
Copy content magma:Norm(Discriminant(E));
 
Copy content oscar:norm(discriminant(E))
 
Minimal discriminant: $\frak{D}_{\mathrm{min}}$ = \((1)\) = \((1)\)
Minimal discriminant norm: $N(\frak{D}_{\mathrm{min}})$ = \( 1 \) = \( 1 \)
j-invariant: $j$ = \( 38477541376 \)
Copy content comment:Compute the j-invariant
 
Copy content sage:E.j_invariant()
 
Copy content gp:E.j
 
Copy content magma:jInvariant(E);
 
Copy content oscar:j_invariant(E)
 
Endomorphism ring: $\mathrm{End}(E)$ = \(\Z\)   
Geometric endomorphism ring: $\mathrm{End}(E_{\overline{\Q}})$ = \(\Z\)    (no potential complex multiplication)
Copy content comment:Test for Complex Multiplication
 
Copy content sage:E.has_cm(), E.cm_discriminant()
 
Copy content magma:HasComplexMultiplication(E);
 
Sato-Tate group: $\mathrm{ST}(E)$ = $\mathrm{SU}(2)$

BSD invariants

Analytic rank: $r_{\mathrm{an}}$= \( 1 \)
Copy content comment:Compute the Mordell-Weil rank
 
Copy content sage:E.rank()
 
Copy content magma:Rank(E);
 
Mordell-Weil rank: $r$ = \(1\)
Regulator: $\mathrm{Reg}(E/K)$ \( 1.0278629562517317359965706968928008794 \)
Néron-Tate Regulator: $\mathrm{Reg}_{\mathrm{NT}}(E/K)$ \( 2.0557259125034634719931413937856017588 \)
Global period: $\Omega(E/K)$ \( 5.2713724558702670330607246669827032868 \)
Tamagawa product: $\prod_{\frak{p}}c_{\frak{p}}$= \( 1 \)
Torsion order: $\#E(K)_{\mathrm{tor}}$= \(1\)
Special value: $L^{(r)}(E/K,1)/r!$ \( 1.0285547727928444659610156584990809557 \)
Analytic order of Ш: Ш${}_{\mathrm{an}}$= \( 1 \) (rounded)

BSD formula

$$\begin{aligned}1.028554773 \approx L'(E/K,1) & \overset{?}{=} \frac{ \# ะจ(E/K) \cdot \Omega(E/K) \cdot \mathrm{Reg}_{\mathrm{NT}}(E/K) \cdot \prod_{\mathfrak{p}} c_{\mathfrak{p}} } { \#E(K)_{\mathrm{tor}}^2 \cdot \left|d_K\right|^{1/2} } \\ & \approx \frac{ 1 \cdot 5.271372 \cdot 2.055726 \cdot 1 } { {1^2 \cdot 10.535654} } \\ & \approx 1.028554773 \end{aligned}$$

Local data at primes of bad reduction

Copy content comment:Compute the local reduction data at primes of bad reduction
 
Copy content sage:E.local_data()
 
Copy content magma:LocalInformation(E);
 

This elliptic curve is semistable. There are no primes of bad reduction. Primes of good reduction for the curve but which divide the discriminant of the model above (if any) are included.

$\mathfrak{p}$ $N(\mathfrak{p})$ Tamagawa number Kodaira symbol Reduction type Root number \(\mathrm{ord}_{\mathfrak{p}}(\mathfrak{N}\)) \(\mathrm{ord}_{\mathfrak{p}}(\mathfrak{D}_{\mathrm{min}}\)) \(\mathrm{ord}_{\mathfrak{p}}(\mathrm{den}(j))\)
\((7,a+6)\) \(7\) \(1\) \(I_0\) Good \(1\) \(0\) \(0\) \(0\)

Galois Representations

The mod \( p \) Galois Representation has maximal image for all primes \( p < 1000 \) except those listed.

prime Image of Galois Representation
\(3\) 3Cn
\(5\) 5B

Isogenies and isogeny class

This curve has non-trivial cyclic isogenies of degree \(d\) for \(d=\) 5.
Its isogeny class 1.1-b consists of curves linked by isogenies of degree 5.

Base change

This elliptic curve is a \(\Q\)-curve.

It is not the base change of an elliptic curve defined over any subfield.