Properties

Label 2.89.ai_hm
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 - 4 x + 89 x^{2} )^{2}$
  $1 - 8 x + 194 x^{2} - 712 x^{3} + 7921 x^{4}$
Frobenius angles:  $\pm0.432002453901$, $\pm0.432002453901$
Angle rank:  $1$ (numerical)
Jacobians:  $60$
Cyclic group of points:    no
Non-cyclic primes:   $2, 43$

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})$ $7396$ $65351056$ $498399288676$ $3935283749785600$ $31180257336762252196$

Point counts of the curve

$r$ $1$ $2$ $3$ $4$ $5$ $6$ $7$ $8$ $9$ $10$
$C(\F_{q^r})$ $82$ $8246$ $706978$ $62721438$ $5583797522$ $496982094806$ $44231361422498$ $3936588840267838$ $350356401484848082$ $31181719917999282806$

Jacobians and polarizations

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

  • $y^2=38 x^6+55 x^5+75 x^4+20 x^3+76 x^2+17 x+65$
  • $y^2=11 x^5+66 x^4+59 x^2+32 x+84$
  • $y^2=17 x^6+23 x^5+60 x^4+47 x^3+39 x^2+54 x+12$
  • $y^2=55 x^6+83 x^5+54 x^4+50 x^3+59 x^2+86 x+34$
  • $y^2=62 x^6+5 x^5+82 x^4+80 x^3+15 x^2+39 x+48$
  • $y^2=67 x^6+71 x^5+46 x^4+55 x^3+14 x^2+57 x+30$
  • $y^2=30 x^6+13 x^5+55 x^4+33 x^3+79 x^2+26 x+46$
  • $y^2=73 x^6+84 x^5+24 x^4+22 x^3+22 x^2+7 x+68$
  • $y^2=3 x^6+53 x^5+82 x^4+34 x^3+48 x^2+82 x+46$
  • $y^2=31 x^6+60 x^5+59 x^4+24 x^3+51 x^2+31 x+37$
  • $y^2=45 x^6+62 x^5+8 x^4+73 x^3+75 x^2+12 x+60$
  • $y^2=88 x^6+65 x^5+40 x^4+14 x^3+40 x^2+65 x+88$
  • $y^2=82 x^6+66 x^5+56 x^4+86 x^3+x^2+18 x+83$
  • $y^2=5 x^6+33 x^5+6 x^4+59 x^3+69 x^2+77 x+56$
  • $y^2=63 x^6+15 x^5+67 x^4+84 x^3+64 x^2+74 x+26$
  • $y^2=43 x^6+24 x^5+88 x^4+83 x^3+5 x^2+6 x+20$
  • $y^2=84 x^6+12 x^5+58 x^4+72 x^3+58 x^2+12 x+84$
  • $y^2=19 x^6+47 x^5+60 x^4+73 x^3+60 x^2+47 x+19$
  • $y^2=87 x^6+50 x^5+74 x^4+54 x^3+24 x^2+21 x+48$
  • $y^2=16 x^6+12 x^5+28 x^4+67 x^3+75 x^2+69 x+54$
  • and 40 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.ae 2 and its endomorphism algebra is $\mathrm{M}_{2}($\(\Q(\sqrt{-85}) \)$)$

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.a_gg$2$(not in LMFDB)
2.89.i_hm$2$(not in LMFDB)
2.89.e_acv$3$(not in LMFDB)

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

TwistExtension degreeCommon base change
2.89.a_gg$2$(not in LMFDB)
2.89.i_hm$2$(not in LMFDB)
2.89.e_acv$3$(not in LMFDB)
2.89.a_agg$4$(not in LMFDB)
2.89.ae_acv$6$(not in LMFDB)