# j-invariant of Fp2

Hi,

Can you please give a pointer to how to calculate set of supersingular j-invariants of quadratic extension of prime fields? Specifically for Fp2 = Fp(i) with elements of the form 'u+iv' where u,v belongs to Fp.

Thanks Niranjan

edit retag close merge delete

Sort by » oldest newest most voted

The function supersingular_j returns one such supersingular j-invariant :

sage: supersingular_j(GF(19^2, 'i'))
18
sage: supersingular_j(GF(15073^2, 'i'))
4443*i + 13964


To get all of them you use the method supersingular_points:

sage: S = SupersingularModule(19)
sage: S
Module of supersingular points on X_0(1)/F_19 over Integer Ring
sage: L,d = S.supersingular_points()
sage: L
[18, 7]
sage: S = SupersingularModule(431)
sage: L,d = S.supersingular_points()
sage: len(L)
37

more

Thanks a lot, @Sebastien.

( 2020-04-06 00:43:06 -0500 )edit

Is there a method to get all or a list of j-variants? For example, GF(431^2, 'i') has 37 j-variants. Above function just returns one (e.g. 4). How can we get a subset of 37? Thanks.

( 2020-04-06 02:25:34 -0500 )edit

The documentation I linked to contains the answer. I updated the answer to return the list. Note that I do not know the math involved, so please check that it does what you want, I only know how to search/read the documentation.

( 2020-04-06 02:43:07 -0500 )edit

@Sebastien: thank you so much! This code helps. And, my apologies for not looking into the documentation carefully.

( 2020-04-06 04:32:13 -0500 )edit