Properties

Label 2.89.m_ig
Base field $\F_{89}$
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_{89}$
Dimension:  $2$
L-polynomial:  $( 1 + 6 x + 89 x^{2} )^{2}$
  $1 + 12 x + 214 x^{2} + 1068 x^{3} + 7921 x^{4}$
Frobenius angles:  $\pm0.603010988689$, $\pm0.603010988689$
Angle rank:  $1$ (numerical)
Jacobians:  $222$
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})$ $9216$ $65028096$ $495030445056$ $3936046605926400$ $31183387207218717696$

Point counts of the curve

$r$ $1$ $2$ $3$ $4$ $5$ $6$ $7$ $8$ $9$ $10$
$C(\F_{q^r})$ $102$ $8206$ $702198$ $62733598$ $5584358022$ $496980268846$ $44231314455318$ $3936589019311678$ $350356404245006502$ $31181719907729801806$

Jacobians and polarizations

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

  • $y^2=72 x^6+82 x^5+26 x^4+65 x^3+26 x^2+82 x+72$
  • $y^2=73 x^5+34 x^4+23 x^3+22 x^2+x$
  • $y^2=71 x^6+42 x^5+64 x^4+16 x^3+64 x^2+42 x+71$
  • $y^2=79 x^6+77 x^5+54 x^4+64 x^3+54 x^2+77 x+79$
  • $y^2=66 x^6+45 x^5+18 x^4+70 x^3+18 x^2+45 x+66$
  • $y^2=75 x^6+46 x^5+36 x^4+67 x^3+62 x^2+24 x+14$
  • $y^2=16 x^6+53 x^5+70 x^4+7 x^3+70 x^2+53 x+16$
  • $y^2=66 x^6+12 x^5+9 x^4+24 x^3+9 x^2+12 x+66$
  • $y^2=33 x^6+29 x^5+3 x^4+81 x^3+48 x^2+52 x+58$
  • $y^2=27 x^6+82 x^5+28 x^4+32 x^3+37 x^2+14 x+24$
  • $y^2=71 x^6+64 x^5+x^4+55 x^3+x^2+64 x+71$
  • $y^2=50 x^6+27 x^5+71 x^4+10 x^3+44 x^2+13 x+47$
  • $y^2=50 x^6+48 x^5+83 x^4+56 x^3+84 x^2+36 x+35$
  • $y^2=29 x^6+63 x^5+28 x^4+24 x^3+28 x^2+63 x+29$
  • $y^2=36 x^6+58 x^5+78 x^4+51 x^3+78 x^2+58 x+36$
  • $y^2=18 x^6+84 x^5+38 x^4+83 x^3+38 x^2+84 x+18$
  • $y^2=31 x^6+77 x^5+59 x^4+70 x^3+59 x^2+77 x+31$
  • $y^2=41 x^6+81 x^5+18 x^4+31 x^3+53 x^2+57 x+28$
  • $y^2=46 x^6+25 x^5+76 x^4+9 x^3+76 x^2+25 x+46$
  • $y^2=6 x^6+12 x^5+4 x^4+31 x^3+21 x^2+55 x+45$
  • and 202 more

Decomposition and endomorphism algebra

All geometric endomorphisms are defined over $\F_{89}$.

Endomorphism algebra over $\F_{89}$
The isogeny class factors as 1.89.g 2 and its endomorphism algebra is $\mathrm{M}_{2}($\(\Q(\sqrt{-5}) \)$)$

Base change

This is a primitive isogeny class.

Twists

Below are some of the twists of this isogeny class.

TwistExtension degreeCommon base change
2.89.am_ig$2$(not in LMFDB)
2.89.a_fm$2$(not in LMFDB)
2.89.ag_acb$3$(not in LMFDB)

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

TwistExtension degreeCommon base change
2.89.am_ig$2$(not in LMFDB)
2.89.a_fm$2$(not in LMFDB)
2.89.ag_acb$3$(not in LMFDB)
2.89.a_afm$4$(not in LMFDB)
2.89.g_acb$6$(not in LMFDB)