Invariants
| Base field: | $\F_{89}$ |
| Dimension: | $2$ |
| L-polynomial: | $1 - 10 x + 50 x^{2} - 890 x^{3} + 7921 x^{4}$ |
| Frobenius angles: | $\pm0.127723103667$, $\pm0.627723103667$ |
| Angle rank: | $1$ (numerical) |
| Number field: | \(\Q(i, \sqrt{17})\) |
| Galois group: | $C_2^2$ |
| Jacobians: | $384$ |
| Cyclic group of points: | no |
| Non-cyclic primes: | $2$ |
This isogeny class is simple but not geometrically 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})$ | $7072$ | $62742784$ | $495453860512$ | $3936656944070656$ | $31182828664681032352$ |
| $r$ | $1$ | $2$ | $3$ | $4$ | $5$ | $6$ | $7$ | $8$ | $9$ | $10$ |
|---|---|---|---|---|---|---|---|---|---|---|
| $C(\F_{q^r})$ | $80$ | $7922$ | $702800$ | $62743326$ | $5584258000$ | $496981290962$ | $44231343121360$ | $3936589056083518$ | $350356404227293520$ | $31181719929966183602$ |
Jacobians and polarizations
This isogeny class is principally polarizable and contains the Jacobians of 384 curves (of which all are hyperelliptic):
- $y^2=31 x^6+54 x^5+75 x^4+60 x^3+x^2+85 x+59$
- $y^2=37 x^6+15 x^5+33 x^4+59 x^3+72 x^2+73 x+25$
- $y^2=61 x^6+26 x^5+78 x^4+29 x^3+73 x^2+19 x+62$
- $y^2=46 x^6+82 x^5+9 x^4+63 x^3+69 x^2+81 x+42$
- $y^2=5 x^6+25 x^5+88 x^4+46 x^3+69 x^2+21 x+76$
- $y^2=19 x^6+39 x^5+82 x^4+79 x^3+42 x^2+86 x+46$
- $y^2=52 x^6+61 x^5+36 x^4+62 x^3+71 x^2+63 x+63$
- $y^2=40 x^6+48 x^5+42 x^4+38 x^3+80 x^2+43 x+65$
- $y^2=66 x^5+76 x^4+10 x^3+40 x^2+22 x+35$
- $y^2=58 x^6+37 x^5+39 x^4+63 x^3+17 x^2+74 x+81$
- $y^2=41 x^6+36 x^5+57 x^4+55 x^3+10 x^2+85 x+13$
- $y^2=77 x^6+29 x^5+17 x^4+41 x^3+51 x^2+45 x+84$
- $y^2=30 x^6+84 x^5+5 x^4+54 x^3+37 x^2+49 x+32$
- $y^2=51 x^6+26 x^5+35 x^4+73 x^3+77 x^2+80 x+40$
- $y^2=86 x^6+21 x^5+74 x^4+68 x^3+50 x^2+77 x+75$
- $y^2=44 x^6+4 x^5+29 x^4+40 x^2+58 x+27$
- $y^2=8 x^6+80 x^5+75 x^4+47 x^3+56 x^2+3 x+18$
- $y^2=36 x^6+86 x^5+68 x^4+48 x^3+12 x^2+82 x+31$
- $y^2=67 x^6+75 x^5+63 x^4+56 x^3+24 x^2+83 x+38$
- $y^2=66 x^6+67 x^5+72 x^4+52 x^3+76 x^2+86 x+18$
- and 364 more
Decomposition and endomorphism algebra
All geometric endomorphisms are defined over $\F_{89^{4}}$.
Endomorphism algebra over $\F_{89}$| The endomorphism algebra of this simple isogeny class is \(\Q(i, \sqrt{17})\). |
| The base change of $A$ to $\F_{89^{4}}$ is 1.62742241.uw 2 and its endomorphism algebra is $\mathrm{M}_{2}($\(\Q(\sqrt{-17}) \)$)$ |
- Endomorphism algebra over $\F_{89^{2}}$
The base change of $A$ to $\F_{89^{2}}$ is the simple isogeny class 2.7921.a_uw and its endomorphism algebra is \(\Q(i, \sqrt{17})\).
Base change
This is a primitive isogeny class.
Twists
Below is a list of all twists of this isogeny class.
| Twist | Extension degree | Common base change |
|---|---|---|
| 2.89.k_by | $2$ | (not in LMFDB) |
| 2.89.a_aey | $8$ | (not in LMFDB) |
| 2.89.a_ey | $8$ | (not in LMFDB) |