Properties

Label 2.0.403.1-52.1-c2
Base field \(\Q(\sqrt{-403}) \)
Conductor norm \( 52 \)
CM no
Base change yes
Q-curve yes
Torsion order \( 7 \)
Rank not available

Related objects

Downloads

Learn more

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

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

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

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

Weierstrass equation

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

This is a global minimal model.

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

Mordell-Weil group structure

Not computed ($ 0 \le r \le 2 $)

Mordell-Weil generators

No non-torsion generators are known.

$P$$\hat{h}(P)$Order
$\left(-1 : -2 : 1\right)$$0$$7$

Invariants

Conductor: $\frak{N}$ = \((26,2a+12)\) = \((2)\cdot(13,a+6)\)
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})$ = \( 52 \) = \(4\cdot13\)
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$ = $1664$
Discriminant ideal: $\frak{D}_{\mathrm{min}} = (\Delta)$ = \((1664)\) = \((2)^{7}\cdot(13,a+6)^{2}\)
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(\frak{D}_{\mathrm{min}}) = N(\Delta)$ = \( 2768896 \) = \(4^{7}\cdot13^{2}\)
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))
 
j-invariant: $j$ = \( -\frac{2146689}{1664} \)
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}}$= \( 0 \)
Copy content comment:Compute the Mordell-Weil rank
 
Copy content sage:E.rank()
 
Copy content magma:Rank(E);
 
Mordell-Weil rank: $r?$   \(0 \le r \le 2\)
Regulator*: $\mathrm{Reg}(E/K)$ \( 1 \)
Néron-Tate Regulator*: $\mathrm{Reg}_{\mathrm{NT}}(E/K)$ \( 1 \)
Global period: $\Omega(E/K)$ \( 7.8417990398626970909740354626865420542 \)
Tamagawa product: $\prod_{\frak{p}}c_{\frak{p}}$= \( 14 \)  =  \(7\cdot2\)
Torsion order: $\#E(K)_{\mathrm{tor}}$= \(7\)
Special value: $L^{(r)}(E/K,1)/r!$ \( 1.7857272409873859718001552845117336128 \)
Analytic order of Ш*: Ш${}_{\mathrm{an}}$= \( 16 \) (rounded)

* Conditional on BSD: assuming rank = analytic rank.

Note: We expect that the nontriviality of Ш explains the discrepancy between the upper bound on the rank and the analytic rank. The application of further descents should suffice to establish the weak BSD conjecture for this curve.

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 2 primes $\frak{p}$ of bad reduction.

$\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))\)
\((2)\) \(4\) \(7\) \(I_{7}\) Split multiplicative \(-1\) \(1\) \(7\) \(7\)
\((13,a+6)\) \(13\) \(2\) \(I_{2}\) Non-split multiplicative \(1\) \(1\) \(2\) \(2\)

Galois Representations

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

prime Image of Galois Representation
\(7\) 7B.1.1

Isogenies and isogeny class

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

Base change

This elliptic curve is a \(\Q\)-curve. It is the base change of the following 2 elliptic curves:

Base field Curve
\(\Q\) 26.b2
\(\Q\) 324818.n2