Properties

Label 2.89.ad_cs
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 - 12 x + 89 x^{2} )( 1 + 9 x + 89 x^{2} )$
  $1 - 3 x + 70 x^{2} - 267 x^{3} + 7921 x^{4}$
Frobenius angles:  $\pm0.280588346245$, $\pm0.658275487260$
Angle rank:  $2$ (numerical)
Jacobians:  $390$
Cyclic group of points:    no
Non-cyclic primes:   $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})$ $7722$ $63799164$ $496840646016$ $3937914079070400$ $31182479137191927402$

Point counts of the curve

$r$ $1$ $2$ $3$ $4$ $5$ $6$ $7$ $8$ $9$ $10$
$C(\F_{q^r})$ $87$ $8053$ $704772$ $62763361$ $5584195407$ $496979129986$ $44231326102743$ $3936588799608961$ $350356402650804948$ $31181719941992078053$

Jacobians and polarizations

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

  • $y^2=62 x^6+2 x^5+66 x^4+6 x^3+19 x^2+51 x+41$
  • $y^2=9 x^6+67 x^5+27 x^4+41 x^3+34 x^2+66 x+36$
  • $y^2=76 x^6+77 x^5+34 x^4+56 x^3+34 x^2+55 x+54$
  • $y^2=14 x^6+28 x^5+70 x^4+69 x^3+11 x^2+14$
  • $y^2=29 x^6+58 x^5+19 x^4+25 x^3+48 x^2+54 x+9$
  • $y^2=61 x^6+36 x^5+71 x^4+14 x^3+50 x^2+22 x+30$
  • $y^2=77 x^6+61 x^5+87 x^4+83 x^3+6 x^2+84 x+51$
  • $y^2=25 x^6+6 x^5+60 x^4+84 x^3+9 x^2+9 x+85$
  • $y^2=82 x^6+58 x^5+26 x^4+45 x^3+47 x^2+53 x+60$
  • $y^2=64 x^6+43 x^5+86 x^4+32 x^3+78 x^2+78 x+12$
  • $y^2=32 x^6+22 x^5+79 x^4+60 x^3+44 x^2+29 x+62$
  • $y^2=71 x^6+76 x^5+61 x^4+64 x^3+17 x^2+24 x+72$
  • $y^2=74 x^6+62 x^5+53 x^4+9 x^3+40 x^2+41 x+9$
  • $y^2=x^6+86 x^5+87 x^4+88 x^3+5 x^2+79 x+27$
  • $y^2=51 x^6+32 x^5+50 x^4+64 x^3+59 x^2+41 x+19$
  • $y^2=85 x^6+67 x^5+87 x^4+20 x^3+83 x^2+12 x+62$
  • $y^2=62 x^6+46 x^5+45 x^4+57 x^3+19 x^2+25 x+17$
  • $y^2=65 x^6+22 x^5+12 x^4+67 x^3+75 x^2+58 x+21$
  • $y^2=38 x^6+45 x^5+37 x^4+86 x^3+9 x^2+78 x+6$
  • $y^2=81 x^6+2 x^5+71 x^4+4 x^3+19 x^2+29 x+1$
  • and 370 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.am $\times$ 1.89.j and its endomorphism algebra is a direct product of the endomorphism algebras for each isotypic factor. The endomorphism algebra for each factor is:

Base change

This is a primitive isogeny class.

Twists

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

TwistExtension degreeCommon base change
2.89.av_la$2$(not in LMFDB)
2.89.d_cs$2$(not in LMFDB)
2.89.v_la$2$(not in LMFDB)