Properties

Label 2.59.a_aba
Base field $\F_{59}$
Dimension $2$
$p$-rank $2$
Ordinary yes
Supersingular no
Simple no
Geometrically simple no
Primitive yes
Principally polarizable yes
Contains a Jacobian yes

Related objects

Downloads

Learn more

Invariants

Base field:  $\F_{59}$
Dimension:  $2$
L-polynomial:  $( 1 - 12 x + 59 x^{2} )( 1 + 12 x + 59 x^{2} )$
  $1 - 26 x^{2} + 3481 x^{4}$
Frobenius angles:  $\pm0.214641822575$, $\pm0.785358177425$
Angle rank:  $1$ (numerical)
Jacobians:  $411$
Cyclic group of points:    no
Non-cyclic primes:   $2, 3$

This isogeny class is not simple, primitive, ordinary, and not supersingular. It is principally polarizable and contains a Jacobian.

Newton polygon

This isogeny class is ordinary.

$p$-rank:  $2$
Slopes:  $[0, 0, 1, 1]$

Point counts

Point counts of the abelian variety

$r$ $1$ $2$ $3$ $4$ $5$
$A(\F_{q^r})$ $3456$ $11943936$ $42180787584$ $146982840827904$ $511116752019413376$

Point counts of the curve

$r$ $1$ $2$ $3$ $4$ $5$ $6$ $7$ $8$ $9$ $10$
$C(\F_{q^r})$ $60$ $3430$ $205380$ $12129934$ $714924300$ $42181041526$ $2488651484820$ $146830407046174$ $8662995818654940$ $511116750738185350$

Jacobians and polarizations

This isogeny class is principally polarizable and contains the Jacobians of 411 curves (of which all are hyperelliptic):

  • $y^2=21 x^6+53 x^5+48 x^3+27 x^2+32 x+31$
  • $y^2=42 x^6+47 x^5+37 x^3+54 x^2+5 x+3$
  • $y^2=24 x^6+16 x^5+2 x^4+34 x^3+29 x^2+8 x+52$
  • $y^2=48 x^6+32 x^5+4 x^4+9 x^3+58 x^2+16 x+45$
  • $y^2=29 x^6+19 x^5+13 x^4+33 x^3+40 x^2+18 x+12$
  • $y^2=58 x^6+38 x^5+26 x^4+7 x^3+21 x^2+36 x+24$
  • $y^2=25 x^6+11 x^5+33 x^4+38 x^3+36 x^2+25 x+16$
  • $y^2=50 x^6+22 x^5+7 x^4+17 x^3+13 x^2+50 x+32$
  • $y^2=x^6+6 x^5+20 x^4+55 x^3+37 x^2+3 x+14$
  • $y^2=58 x^6+30 x^5+27 x^4+16 x^3+14 x^2+22 x+38$
  • $y^2=57 x^6+x^5+54 x^4+32 x^3+28 x^2+44 x+17$
  • $y^2=12 x^5+43 x^4+20 x^3+43 x^2+12 x$
  • $y^2=24 x^5+27 x^4+40 x^3+27 x^2+24 x$
  • $y^2=46 x^6+5 x^5+5 x^4+23 x^3+x^2+32 x+8$
  • $y^2=33 x^6+10 x^5+10 x^4+46 x^3+2 x^2+5 x+16$
  • $y^2=54 x^6+34 x^5+54 x^4+42 x^3+40 x^2+8 x+43$
  • $y^2=49 x^6+9 x^5+49 x^4+25 x^3+21 x^2+16 x+27$
  • $y^2=53 x^6+43 x^5+26 x^4+39 x^3+56 x^2+52 x+24$
  • $y^2=47 x^6+27 x^5+52 x^4+19 x^3+53 x^2+45 x+48$
  • $y^2=54 x^6+25 x^5+30 x^4+21 x^3+30 x^2+25 x+54$
  • and 391 more

Decomposition and endomorphism algebra

All geometric endomorphisms are defined over $\F_{59^{2}}$.

Endomorphism algebra over $\F_{59}$
The isogeny class factors as 1.59.am $\times$ 1.59.m and its endomorphism algebra is a direct product of the endomorphism algebras for each isotypic factor. The endomorphism algebra for each factor is:
Endomorphism algebra over $\overline{\F}_{59}$
The base change of $A$ to $\F_{59^{2}}$ is 1.3481.aba 2 and its endomorphism algebra is $\mathrm{M}_{2}($\(\Q(\sqrt{-23}) \)$)$

Base change

This is a primitive isogeny class.

Twists

Below are some of the twists of this isogeny class.

TwistExtension degreeCommon base change
2.59.ay_kc$2$(not in LMFDB)
2.59.y_kc$2$(not in LMFDB)
2.59.a_ba$4$(not in LMFDB)

Below is a list of all twists of this isogeny class.

TwistExtension degreeCommon base change
2.59.ay_kc$2$(not in LMFDB)
2.59.y_kc$2$(not in LMFDB)
2.59.a_ba$4$(not in LMFDB)
2.59.am_dh$6$(not in LMFDB)
2.59.m_dh$6$(not in LMFDB)