Arxiv:1809.02363V1 [Math.NT]

arXiv:1809.02363v1 [math.NT] 7 Sep 2018 ehave we (2) by paper, this throughout used eas h e fsupersingular of set the Because (1) ne h ojgto over conjugation the under hoe 1. Theorem 5]). singular (3) hr ( where gular eis eedeplnma,Casnme,Mdlrform. Modular number, Class polynomial, Legendre series, j polynomial supersingular ss ivratof -invariant o n prime any For h olwn hoe skon(setal u o[] e [ see [7], to due (essentially known is theorem following The e od n phrases. and words Key 2000 nelpi curve elliptic An p ( X j ν ivrat,albigcnandin contained being all -invariants, ahmtc ujc Classification. Subject Mathematics = ) Abstract. nainsadcasnmeso mgnr udai fields. quadratic imaginary supe Fi of of the numbers number and the class between group and connection monster invariants a Baby in uses the proof of supersingular The orders th the the of group. In and with 3 coincidences group. coincides and simple analogous 2 primes Monster level present of the of set will order this we the that of known divisors well prime is it And characteristic in invariants p = · ss fi a no has it if steLgnr symbol. Legendre the is ) 1 2 2 H UBRO IERFCOSOF FACTORS LINEAR OF NUMBER THE X ( ss X m E p 1 j Let + = ) ( N PRDCSML GROUPS SIMPLE SPORADIC AND -invariants: UESNUA POLYNOMIALS SUPERSINGULAR n ti nw htteeaeol ntl aysupersin- many finitely only are there that known is it and , − X δ ( p stemncplnma hs ot r xcl l the all exactly are roots whose polynomial monic the as ) X h e fpienumbers prime of set The p X ≥ − E ≥ ss − p p ,w en h numbers the define we 5, 2 md2 and 2) (mod trinover -torsion p vrafield a over eapieand prime a be 5 1728) ( uesnua litccre prdcgop Hypergeome group, Sporadic curve, elliptic Supersingular X = ) δ , F OOK NAKAYA TOMOAKI ε 1. 2 p F p = E ehave we , Introduction 1 r l otie ntepiefil sfinite. is field prime the in contained all are supersingular : 1 2 K j E/ − ss Y K ivrat ncharacteristic in -invariants 1 m, F 1 3 fcharacteristic of hscniindpnsol nthe on only depends condition This . 11,1G0 20D08. 11G20, 11F11, p − ( X 12 5 m ss p = ) F − uhta h supersingular the that such p − ( [ = p p ( X 3 2 X X edfietesupersingular the define We . 2 p/ δ − ) ,δ ε δ, ν, − md3 se[,p.201]). [7, (see 3) (mod 2.Then 12]. ∈ 6 j ε , ( 3 F E ε p = )) 1; ; { ∈ [ X > p . 2 1 .For ]. 0 1728 , X 1 scalled is 0 ainsin variants 1 } 2 Proposition 12, rsingular − spaper, is hc ilbe will which , scher’s p e of set n 3, and 2 = p − p (mod j 1 sstable is - super- , p tric ) , 2 TOMOAKI NAKAYA where 2F1(α, β; γ; x) is the Gauss hypergeometric series n ∞ (α)n(β)n x 2F1(α, β; γ; x)= ( x < 1). (γ)n n! | | nX=0 Here, (α) = 1 and (α) = α(α + 1) (α + n 1) (n 1). 0 n · · · − ≥ We note that the series 2F1(α, β; γ; x) becomes a polynomial when α or β is a negative integer and γ is non-negative integer. We give a proof of this theorem in Section 2 for convenience of the reader. From this hypergeometric expression of ssp(X) we easily see that p 1 1 1 1 3 deg ss (X)= m + δ + ε = − + 1 − + 1 − . p 12 4 − p 3 − p (See also [10, 11] and [21, Ch.V 4].) The polynomial ss (X) factors into § p linear and quadratic polynomials in Fp[X] by the result of Deuring [7] that all supersingular j-invariants lie in F 2 . Let h(√ d) denote the class number p − of the imaginary quadratic field Q(√ d). The following theorem is essentially due to Deuring ([7, 10] and [8, eq.(9)]),− but is expressed in somewhat different form (see also [18,§ Lemma 2.6], [3, p.97]). Theorem 2. If p 5, the number L(p) of supersingular j-invariants that ≥ lie in Fp i.e. the number of linear factors of ssp(X) is 1 1 2 L(p)= 2+ 1 − 2+ − h(√ p) 4 − p p − 1 h(√ p) if p 1 (mod 4), 2 − ≡ = 2h(√ p) if p 3 (mod 8),  − ≡ h(√ p) if p 7 (mod 8). − ≡ Let M be the Monster group. It is the largest sporadic finite simple group  and has order #M = 808017424794512875886459904961710757005754368000000000 = 246 320 59 76 112 133 17 19 23 29 31 41 47 59 71. · · · · · · · · · · · · · · In 1975, A. Ogg noticed that the prime divisors p of #M agree with those p such that all characteristic p supersingular j-invariants that lie in Fp (see [17, p.7], [9]). Ogg offered a bottle of Jack Daniels for an explanation of this coincidence; therefore this is called “The Jack Daniels Problem”. By the definition of the polynomial ssp(X) and the number L(p), Ogg’s observation is paraphrased as the following theorem. Theorem 3. For a prime number p, deg ss (X)= L(p) p #M. p ⇐⇒ | This theorem can be proved by using class number estimate, but it does not explain why such a relationship exists. We consider analogues of these theorems in the case of higher levels or (N ) other sporadic groups. The supersingular polynomial ssp ∗ (X) for the Fricke group Γ0∗(N) (N = 2, 3) was defined by Koike [13] and Sakai [19]. It is derived from the invariant differential for Γ0∗(N) (N = 2, 3) and has hypergeometric series representation. THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 3

Deﬁnition 1. For primes p 5, let m = [p/8] and m = [p/6], and set ≥ 2 3 (2 ) m2+ε ν 3 ε 2ν 256 ss ∗ (X)= X (X 256) F m , − ; 1; (mod p), p − 2 1 − 2 8 − 4 X (3 ) m3+δ δ 1 δ 108 ss ∗ (X)= X (X 108) F m , + ; 1; (mod p). p − 2 1 − 3 3 3 X (N ) For p 2, 3 and N 2, 3 , we have ssp ∗ (X) = X (mod p). The degrees of∈ these { } polynomials∈ { are} given as follows.

(2 ) p 1 3 1 1 2 deg ss ∗ (X)= m + ε + ν = − + 1 − + 1 − , p 2 8 8 − p 4 − p (3 ) p 1 2 3 deg ss ∗ (X)= m + 2δ = − + 1 − . p 3 6 3 − p We shall derive the number of linear factors of these polynomials explicitly as a linear combination of class numbers of the imaginary quadratic ﬁelds: (N ) Theorem 4. If p 5 is a prime, then the number of linear factors L ∗ (p) (N ) ≥ of ssp ∗ (X) (mod p) for N = 2 and 3 are

(2 ) 1 1 2 1 L ∗ (p)= 2+ 1 − 4+ − h(√ p)+ h( 2p), 8 − p p − 4 − p (3 ) 1 1 2 L ∗ (p)= δL(p)+ 2+ 1+ − 2+ − h( 3p). 8 p p − p

An exact analogue of Theorem 3 for the sporadic groups B and F i24′ holds true. Where B be the Baby monster group and F i24′ be the largest of Fischer’s groups. The orders of these groups are given by #B = 4154781481226426191177580544000000 = 241 313 56 72 11 13 17 19 23 31 47, · · · · · · · · · · #F i24′ = 1255205709190661721292800 = 221 316 52 73 11 13 17 23 29. · · · · · · · · Theorem 5. For a prime number p, (2 ) (2 ) deg ss ∗ (X)= L ∗ (p) p #B, p ⇐⇒ | (3 ) (3 ) deg ss ∗ (X)= L ∗ (p) p #F i′ . p ⇐⇒ | 24 We brieﬂy describe the contents of this paper. In Section 2, we will introduce the results on the factorization of the Legendre polynomials by Brillhart and Morton, and the results on the supersingular polynomials for congruence subgroups of low levels by Tsutsumi. Together with Deﬁnition 1 by Koike and Sakai, these are the essential tools to prove our main theorems. In Section 3, we prove Theorem 4 and 5 by combining the results in the previous section. Although the main theme of this paper is these theorems, we also provide various conjectures in Section 4. For instance, when the case of levels N = 5 and 7, the sporadic groups Harada-Norton group and Held group appear in the conjecture of the analogue of Theorem 5 respectively. 4 TOMOAKI NAKAYA

Besides, more interestingly, it is expected that so-called Apéry-like numbers appear in the coefficients of the squares of these supersingular polynomials. Finally, we close this paper with an observations of a curious “duality” for the primes and the levels of supersingular polynomials. Quite recently, the author learned from Prof. Ken Ono (via Prof. Kaneko) about the paper [1] by Aricheta. There a result on the number of supersingular points on some modular curves not defined over Fp is presented, and this is very closely related to our Theorem 5.

2. Preliminaries We ﬁrst prove the hypergeometric expression of the supersingular polynomial ssp(X).

ε Proof of Theorem 1. We deﬁne the monic polynomial Un(X) of degree n 0 by ≥

n 1 5 1728 0 1 X 2F1 12 , 12 ; 1; X = Un(X)+ O X , n 1 7 11 1728 1 1 X − (X 1728) F , ; 1; = U (X)+ O . − 2 1 12 12 X n X By [12, Proposition 5], we have ss (X)= U ε (X) (mod p). Since p 1= p m+δ+ε − 12m + 4δ + 6ε, the ﬁrst two parameters of the hypergeometric series in (3) reduce modulo p to

( 1 , 5 ) (mod p) if p 1 (mod 12), 12 12 ≡ 5 2δ 3ε ( 5 , 1 ) (mod p) if p 5 (mod 12), m, −  12 12 ≡ − 12 − 6 ≡ ( 7 , 11 ) (mod p) if p 7 (mod 12),  12 12  11 7 ≡ ( 12 , 12 ) (mod p) if p 11 (mod 12).  ≡  ε Since 2F1(a, b; c; x)= 2F1(b, a; c; x), we see that Um+δ+ε(X) is congruent to the left-hand side of (3) modulo p.

Precisely, Deuring proved in [7] that the polynomial Hp 1(X) of [12, − Proposition 5] is equal to ssp(X).

2.1. Factorization of the Legendre polynomials. Using the theory of elliptic curves, Brillhart and Morton determined the number of linear factors of the following polynomials Wm(x) (mod p): m m 2 (4) W (X) := Xr = F ( m, m; 1; X). m r 2 1 − − Xr=0 It is well known that the Hasse invariant for elliptic curves in Legendre form

E : y2 = x(x 1)(x λ) λ − − is W(p 1)/2(λ) and the elliptic curve Eλ is supersingular if and only if − W(p 1)/2(λ) 0 (mod p). − ≡ THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 5

Theorem 6 (Brillhart, Morton [3]). Let p 5 be a prime and N (p,m) be ≥ 1 the number of linear factors of Wm(X) (mod p). Then p 1 1 2 N p, = 2+ 1 − 4+ − h(√ p) ε, 1 4 4 − p p − − hpi N p, = δ (2L(p) 1), 1 3 − h i where the number L(p) appears in Theorem 2.

We note that the polynomial Wm(X) and the Legendre polynomial n 1 dn x 1 n n 2 x + 1 r P (x) := (x2 1)n = − n 2nn! dxn − 2 r x 1 r=0 X − satisfy the following relation: 1+ X (5) W (X) = (1 X)mP . m − m 1 X − Moreover, Morton determined the number of certain quadratic factors of the Legendre polynomials. Theorem 7 (Morton [15, 16]). Let p 5 be a prime and B(p,m) be the number of irreducible quadratic factors≥ of the form X2 + C of the Legendre polynomial Pm(X) (mod p). Then p 1 p 1 B p, = h( 2p) 2(ε + ν) , B p, = a h( 3p) 4δ , 4 4 − − 3 4 p − − where h i n p o h i n p o 1 1 2 a = 2+ 1+ − 2+ − . p 2 p p 2.2. Supersingular polynomials for Γ0(N) (N = 2, 3). Tsutsumi introduced the supersingular polynomials for congruence subgroups of low levels in [22] and obtained hypergeometric representations for them. There exist algebraic relations between the elliptic modular invariant j(τ) and modular functions jN (τ) for Γ0(N) (N = 2, 3): 3 2 (j2(τ) + 192) j(τ) (j2(τ) 64) = 0, (6) − − j (τ) (j (τ) + 216)3 j(τ) (j (τ) 27)3 = 0. 3 3 − 3 − We prepare the set S := j F the j-invariant determined by (6) is supersingular . N { N ∈ p | } We then deﬁne ss(N)(X)= (X j ) F [X] p − N ∈ p jN SN Y∈ for the prime p 5. Note that we ignore the duplication of elements of ≥ the set SN . Because the set SN is stable under the conjugation over Fp, we (N) have ssp (X) Fp[X]. The following proposition are stated in [22, Proof ∈ (N) of Theorem 4] as a congruence relations of ssp (X) and certain polynomial ε like Un(X) appearing in the proof of Theorem 1. 6 TOMOAKI NAKAYA

Proposition 1 (Tsutsumi). (i) Let p 5 be a prime and m = [p/4]. Then ≥ 3 ε 64 (7) ss(2)(X)= Xm+ε F m, ; 1; (mod p). p 2 1 − 4 − 2 X (ii) Let p 5 be a prime and m = [p/3]. Then ≥ 2 δ 27 (8) ss(3)(X)= Xm+δ F m, ; 1; (mod p). p 2 1 − 3 − 3 X The degrees of these polynomials are given as follows. p 1 1 p 1 2 deg ss(2)(X)= − + ε, deg ss(3)(X)= − + δ. p 4 2 p 3 3 Proposition 2. If p 5, the number L(N)(p) (N = 2, 3) of characteristic p ≥ supersingular jN -invariants that lie in Fp is p p L(2)(p)= N p, + ε, L(3)(p)= N p, + δ. 1 4 1 3 h i h i Therefore, by Theorems 2 and 6, the numbers L(N)(p) (N = 2, 3) are constant multiples of the class number h(√ p). − Proof. We only prove the ﬁrst equality, the other cases being similar. For m = [p/4], X W (X)= F ( m, m; 1; X) = (1 X)m F m,m + 1; 1; m 2 1 − − − 2 1 − X 1 − and since 3 ε m +1 (mod p), 4 − 2 ≡ 3 ε 64 ss(2)(Y )= Y m+ε F m, ; 1; p 2 1 − 4 − 2 Y (9) 64 Y ε(Y 64)mW (mod p). ≡ − m 64 Y − Because the number of linear factors is unchanged under the linear fractional (2) transformation of variable, we have L (p)= ε+N1(p, [p/4]) by Theorem 6.

(2) We can regard the polynomial ssp (X) (mod p) as the polynomial part of 1 3 64 X[p/4]+ε F , ; 1; , 2 1 4 4 X and hence easy calculation of binomial coeﬃcients gives the following explicit (2) (3) formula of ssp (X). The case of ssp (X) can be shown similarly. Theorem 8. For a prime p 5, ≥ (p 1+2ε)/4 − (2) 2n 4n (p 1+2ε)/4 n ss (X)= X − − (mod p), p n 2n n=0 X (p 1+2δ)/3 − (3) 2n 3n (p 1+2δ)/3 n ss (X)= X − − (mod p). p n n nX=0 THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 7

Similarly, we obtain the following theorem concerning the square of supersingular polynomials by applying Clausen’s formula

2 (10) 2F1(α, β; α + β + 1/2; x) = 3F2(2α, 2β, α + β; 2α + 2β, α + β + 1/2; x).

Theorem 9. For a prime p 5, ≥ (p 1+8δ)/6 − 2 ε 2n 3n 6n (p 1+8δ)/6 n ss (X) = (X 1728) X − − (mod p), p − n n 3n Xn=0 (p 1+6ε)/4 − 2 (2 ) 2 ν 2n 4n (p 1+6ε)/4 n ss ∗ (X) = (X 256) X − − (mod p), p − n 2n n=0 X (p 1+2δ)/3 − 2 (3 ) 2 δ δ 2n 3n (p 1+2δ)/3 n ss ∗ (X) = X (X 108) X − − (mod p). p − n n Xn=0 Here, we would like to point out the similarity between Theorem 9 and the expansions of certain Eisenstein series in terms of 1/j(τ) and similar local parameters described below. By Theorem 1, we have

5 2δ 3ε 1728 ss (X)= Xm+δ(X 1728)ε F m, − ; 1; (mod p) p − 2 1 − 12 − 6 X 1 5 1728 Xm+δ F , ; 1; (mod p) if p 1 (mod 4), 2 1 12 12 X ≡  ≡ 7 11 1728 Xm+δ(X 1728) F , ; 1; (mod p) if p 3 (mod 4).  − 2 1 12 12 X ≡  We note the following hypergeometric transformation

γ α β (11) F (α, β; γ; z) = (1 z) − − F (γ α, γ β; γ; z) 2 1 − 2 1 − − and hence have

1 5 1728 1728 1/2 7 11 1728 F , ; 1; = 1 F , ; 1; . 2 1 12 12 X − X 2 1 12 12 X

It is well known that the Eisenstein series of weight 4 on SL2(Z) has the following hypergeometric representation for suﬃciently large (τ): ℑ 1 5 1728 4 E (τ)= F , ; 1; M (SL (Z)). 4 2 1 12 12 j(τ) ∈ 4 2 In [19], it is shown that the Eisenstein series of weight 4 on the Fricke group Γ0∗(N) (N = 2, 3) has the following hypergeometric series expression:

4 2 1 3 256 (2E (2τ) E (τ)) = F , ; 1; M (Γ∗(2)), 2 − 2 2 1 8 8 j (τ) ∈ 4 0 2∗ 2 4 3E2(3τ) E2(τ) 1 1 108 − = F , ; 1; M (Γ∗(3)). 2 2 1 6 3 j (τ) ∈ 4 0 3∗ 8 TOMOAKI NAKAYA

The calculation of the binomial coeﬃcients using Clausen’s formula (10) gives the following:

1/2 ∞ 2n 3n 6n n E (τ) = j(τ)− , 4 n n 3n n=0 X 2 ∞ 2n 4n n 2E (2τ) E (τ)= j∗(τ)− , 2 − 2 n 2n 2 n=0 X 2 3E2(3τ) E2(τ) ∞ 2n 3n n − = j∗(τ)− . 2 n n 3 n=0 X These expressions are very similar to the polynomial of Theorem 9. Based on these similarities, we propose conjectural expressions of squares of the (5 ) (7 ) supersingular polynomials ssp ∗ (X) and ssp ∗ (X) in Section 4.

3. Proof of main theorems In order to prove Theorems 4 and 5, we start with the next proposition (N ) (N) on the algebraic relation between the polynomial ssp ∗ (X) and ssp (X) for N = 2, 3. Proposition 3. (i) Let p 5 be a prime and m = [p/8]. Then we have ≥ 2 m+ε+ν (2 ) X ε ν (2) (X 64) ss ∗ = X (X 128) ss (X) (mod p). − p X 64 − p − (ii) Let p 5 be a prime and m = [p/6]. Then we have ≥ 2 m+2δ (3 ) X δ δ (3) (X 27) ss ∗ = X (X 54) ss (X) (mod p). − p X 27 − p − Proof. We only prove the case of level 2, the other case being similar. Now m = [p/8] and so p 1 = 4(2m + ν) + 2ε, the polynomial (7) is − 3 ε 64 (12) ss(2)(X)= X2m+ε+ν F 2m ν, ; 1; (mod p). p 2 1 − − 4 − 2 X For α = m ν/2, β = 3/8 ε/4, we have α + β + 1/2 1 (mod p). Based on this, we− apply− the formula− (Kummer’s relation) ≡ 1 1 F 2α, 2β; α + β + ; z = F α, β; α + β + ; 4z(1 z) 2 1 2 2 1 2 − to the right-hand side of (12) and get (13) ν 3 ε 256(X 64) ss(2)(X)= X2m+ε+ν F m , ; 1; − (mod p). p 2 1 − − 2 8 − 4 X2 If ν = 0, there is nothing to do: 3 ε 256(X 64) ss(2)(X)= X2m+ε F m, ; 1; − (mod p). p 2 1 − 8 − 4 X2 THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 9

If ν = 1, we apply (11) to the left-hand side of (13). Then the ﬁrst two parameters of the hypergeometric series of (13) reduce modulo p to 3 3 ε 2 5 ε 1 α m + − , 1 β + m (mod p). − ≡ 2 ≡ 8 − 4 − ≡ 8 4 ≡− Since the exponent is 1 α β 1/2 (mod p), − − ≡ 256(X 64) 1/2 X 128 1 − = − . − X2 X Therefore when ν = 1, we have 5 ε 256(X 64) ss(2)(X)= X2m+ε(X 128) F m, + ; 1; − (mod p). p − 2 1 − 8 4 X2 Summarizing these cases, we ﬁnally obtain (14) 3 ε 2 256(X 64) ss(2)(X)= X2m+ε(X 128)ν F m, − ; 1; − (mod p). p − 2 1 − 8 − 4 X2 By multiplying both sides of the above equation by Xε(X 128)ν , we get the assertion: − Xε(X 128)ν ss(2)(X) − p X2 m+ε X2 ν = (X 64)m+ε+ν 256 − X 64 X 64 − − − 3 ε 2ν 256(X 64) F m, − ; 1; − × 2 1 − 8 − 4 X2 2 m+ε+ν (2 ) X = (X 64) ss ∗ (mod p). − p X 64 −

Lemma 1. The roots of W(p 1 2ε)/4(X) over Fp are distinct and all lie in − − Fp2 .

Proof. Firstly, we prove that if λ is a root of W(p 1)/2(X), then 1 λ is also − − a root of it. The polynomial Wm(X)= 2F1( m, m; 1; X) can be regarded as a polynomial solution of certain hypergeometric− − diﬀerential equation at X = 0 (exponent zero), so this polynomial coincide with the polynomial solution of the same equation at X = 1 (exponent zero) up to a constant m m 2 2m multiple. Since r=0 r = m , we have 2m W (X)= PF ( m, m; 1; X)= F ( m, m; 2m; 1 X). m 2 1 − − m 2 1 − − − − p 1 (p 1)/2 It is easy to see that the congruences − ( 1) 0 (mod p) (p 1)/2 ≡ − − 6≡ and 2m 1 (mod p) hold when m = (p− 1)/2, we have − ≡ − (p 1)/2 W(p 1)/2(X) ( 1) − W(p 1)/2(1 X) (mod p) − ≡ − − − and the ﬁrst assertion follows. Secondly, by [3, eq. (1.2)], we have ε (15) W(p 1)/2(X) (1 2X) W(p 1 2ε)/4(4X(1 X)) (mod p). − ≡ − − − − 10 TOMOAKINAKAYA

If p 1 (mod 4), i.e. ε = 0, the set of roots of W(p 1)/2(X) is ≡ −

λ1, . . . , λ(p 1)/4, 1 λ1,..., 1 λ(p 1)/4 . { − − − − } Because X = λ and X = 1 λ give the same value 4X(1 X), the set of − − roots of W(p 1)/4(X) is −

(16) 4λ1(1 λ1),..., 4λ(p 1)/4(1 λ(p 1)/4) . { − − − − }

By [3, Appendix, Proposition 1], the roots of W(p 1)/2(X) over Fp are dis- − tinct and all lie in Fp2 . Combining this fact and the ﬁrst assertion, we see that if α and β with α β (mod p) are the roots of W(p 1)/2(X), then 6≡ − α 1 β (mod p) holds and so α(1 α) β(1 β) = (α β)(α+β 1) 0 (mod6≡ −p). Therefore the elements of− the− set (16)− are distinct− and all− lie6≡ in Fp2 . If p 3 (mod 4), i.e. ε = 1, the set of roots of W(p 1)/2(X) is ≡ −

λ1, . . . , λ(p 3)/4, 1/2, 1 λ1,..., 1 λ(p 3)/4 . { − − − − }

It can be seen that the set of roots of W(p 3)/4(X) is −

4λ1(1 λ1),..., 4λ(p 3)/4(1 λ(p 3)/4) { − − − − } as in the above case and these roots are distinct and all lie in Fp2 .

(2 ) Proof of Theorem 4. First, we prove the explicit formula of L ∗ (p). By the algebraic relation (5) and Lemma 1, the Legendre polynomial P2m+ν (X) factors into distinct linear and quadratic polynomials over Fp for the prime p = 8m + 4ν + 2ε + 1 = 4(2m + ν) + 2ε + 1 5. From the deﬁnition, ≥ one can easily see that the parity of the Legendre polynomial is Pn( x) = ( 1)nP (x), and hence X ν P (X) is an even polynomial. Consequently,− − n − 2m+ν we can rewrite P2m+ν (X) as follows:

A B P (X)= e Xν (X2 ℓ ) (X2 α ) 2m+ν p − r − s r=1 s=1 (17) Y Y (X2 + β X + γ )(X2 β X + γ ) (mod p), × t t − t t t Y where 1 2(2m + ν) ℓ α e = , r = +1, s = 1, p 22m+ν 2m + ν p p − β2 4γ β 0 (mod p), t − t = 1. t 6≡ p − 1 According to Theorem 7, we have B = B(p, [p/4]) = 4 h(√ 2p) 2(ε+ν) . { − − (2) } Using the expression (9) and the algebraic relation (5), we have ssp (Y )= Y 2m+ε+νP (1 128/Y ) (mod p). Substituting X = 1 128/Y into (17), 2m+ν − − THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 11 we have (18) A B ss(2)(Y )= e Y ε(Y 128)ν ((Y 128)2 ℓ Y 2) ((Y 128)2 α Y 2) p p − − − r − − s r=1 s=1 Y Y ((Y 128)2 + β Y (Y 128) + γ Y 2) × − t − t t Y ((Y 128)2 β Y (Y 128) + γ Y 2) (mod p). × − − t − t t Y (2) By this expression, the number of linear factors of ssp (Y ) is given by L(2)(p)= ε + ν + 2A, and hence A = 1 (L(2)(p) ε ν). 2 − − We calculate linear factors and factors quadratic in Y 2/(Y 64) in the above product (18) separately. The linear factor is − Y 2 (Y 128)2 ℓ Y 2 = (Y 64) (1 ℓ ) 256 , − − r − − r Y 64 − − the quadratic factor is ((Y 128)2 + β Y (Y 128) + γ Y 2)((Y 128)2 β Y (Y 128) + γ Y 2) − t − t − − t − t = (Y 64)2 (1 + β + γ )(1 β + γ )x2 256(2 β2 + 2γ )x + 2562 − t t − t t − − t t =: (Y 64)2f (x), − t 2 where x = Y /(Y 64). The discriminant of the quadratic polynomial ft(x) is equal to − 2562(2 β2 + 2γ )2 4 2562(1 + β + γ )(1 β + γ ) = 2562β2(β2 4γ ), − t t − · t t − t t t t − t and by the assumption of βt and γt, we have 2562β2(β2 4γ ) β2 4γ t t − t = t − t = 1. p p − 2 Therefore the quadratic polynomial ft(Y /(Y 64)) is irreducible. For simplicity, we put − A B ss(2)(Y )= e Y ε(Y 128)ν (Y 64)m (lin.) (lin.) (irred. quad.), p p − − r=1 s=1 t Y Y Y where “lin.” and “ irred. quad.” mean a linear factor and a irreducible quadratic factor with Y 2/(Y 64) as a variable, respectively. We substitute this expression for Proposition− 3: 2 ε ν (2 ) Y Y (Y 128) (2) ss ∗ = − ss (Y ) p Y 64 (Y 64)m+ε+ν p − − A B Y 2ε(Y 128)2ν = e − (lin.) (lin.) (irred. quad.) p (Y 64)ε+ν r=1 s=1 t − Y Y Y A B Y 2 ε Y 2 ν = e 256 (lin.) (lin.) (irred. quad.) (mod p). p Y 64 Y 64 − t − − rY=1 sY=1 Y 12 TOMOAKINAKAYA

(2 ) (2 ) Therefore the number of linear factors L ∗ (p) of ssp ∗ (X) is given by (2 ) L ∗ (p)= ε + ν + A + B 1 1 = ε + ν + L(2)(p) ε ν + h( 2p) 2(ε + ν) 2 − − 4 − − 1 1 n p o = L(2)(p)+ h( 2p). 2 4 − p By [3, Proposition 4], the polynomial W(p 1 δ)/3(1 x/27) (mod p) factors into linear and quadratic polynomials. Therefore,− − in− the same way as in the above case, the polynomial 27 ss(3)(Y )= Y δ(Y 27)2m+δ W p − 2m+δ 27 Y − 54 Y 2m+2δP 1 (mod p) ≡ 2m+δ − Y factors into linear and quadratic polynomials and we ﬁnally obtain

(3 ) 1 (3) 1 L ∗ (p) = 2δ + L (p) 2δ + a h( 3p) 4δ 2 − 4 p − − 1 1 n p o = L(3)(p)+ a h( 3p). 2 4 p − p

Proof of Theorem 5. Let D be a fundamental discriminant of a quadratic ﬁeld K and χ be the mod D primitive Dirichlet character. For D< 0, by D | | the Dirichlet class number formula, the class number hK of K is given by

w D ∞ χ (n) h = | |L(1,χ ), L(s,χ )= D , K 2π D D ns p n=1 X where w is the number of fundamental units of K. For p 5,N 1, 2, 3 and K = Q(√ Np), we have w = 2 and ≥ ∈ { } − 2 Np h( Np) < log(4Np) − pπ with the help of the wellp known estimate L(1,χD) < log D (see [2, 9]). Thus we have | | | | §

(2 ) (2 ) p 1 1 (2) 1 deg ss ∗ (X) L ∗ (p) − L (p)+ h( 2p) p − ≥ 8 − 2 4 − p 1 3 1 p − h(√ p)+ h( 2p) ≥ 8 − 2 − 4 − p 1 √p p > − 6 log(4p)+ √2 log(8p) 8 − 2π > 0 if p p = 10321, ≥ 1266 where pn means the n-th prime number. Using Mathematica, we checked (2 ) (2 ) directly that deg ssp ∗ (X)= L ∗ (p) p #B for p< 10321. By a similar estimate, we have ⇔ | (3 ) (3 ) deg ss ∗ (X) L ∗ (p) > 0 if p p = 30341 p − ≥ 3280 THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 13

(3 ) (3 ) and checked directly that deg ssp ∗ (X)= L ∗ (p) p #B for p< 30341. ⇔ |

(N) For the supersingular polynomial ssp (X) related to congruence sub- group Γ0(N), we can not ﬁnd a remarkable correspondence of the number of linear factors and sporadic groups. But when limiting the number of (N) quadratic factor of ssp (X), the following holds. Theorem 10. For a prime number p, 0 1 (deg ss(2)(X) L(2)(p)) 1 p #B, ≤ 2 p − ≤ ⇐⇒ | 0 1 (deg ss(2)(X) L(2)(p)) 3 p #M, ≤ 2 p − ≤ ⇐⇒ | 1 (3) (3) 0 (deg ss (X) L (p)) 2 p #F i′ , ≤ 2 p − ≤ ⇐⇒ | 24 0 1 (deg ss(3)(X) L(3)(p)) 5 p #M. ≤ 2 p − ≤ ⇐⇒ | Proof. Use the class number estimate.

4. Conjectures and Observations Throughout this section, we assume that the number N is a prime divisor of the monster group M: N S := 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, 71 . ∈ { } + It is well known that the modular curve X0(N) for prime N has genus zero if and only if N S. The Mckay-Thompson series defined in [5] is a generator of the field of∈ modular functions (it is also called “Hauptmodul”) on certain group and has some constant term. But when obtaining the (N ) natural hypergeometric (Heun) polynomial representation of ssp ∗ (X) for N = 2, 3, 5 and 7, we can not ignore the difference between these constant terms. Therefore we need to choose the appropriate constant term as follows: the Hauptmodul jN∗ (τ) on the Fricke group Γ0∗(N) (N = 2, 3, 5, 7) is defined by 24 24 η(τ) η(2τ) 1 j∗(τ)= + 128 + 4096 = q− + 104 + 4372q + , 2 η(2τ) η(τ) · · · 12 12 η(τ) η(3τ) 1 j∗(τ)= + 54 + 729 = q− + 42 + 783q + , 3 η(3τ) η(τ) · · · 6 6 η(τ) η(5τ) 1 j∗(τ)= + 22 + 125 = q− + 16 + 134q + , 5 η(5τ) η(τ) · · · 4 4 η(τ) η(7τ) 1 j∗(τ)= + 13 + 49 = q− + 9 + 51q + , 7 η(7τ) η(τ) · · · where q = e2πiτ and η(τ) is the Dedekind eta function defined by η(τ) = 1/24 n q n∞=1(1 q ). Because the number of linear factors or the degree of the supersingular− polynomials is unchanged by the value of the constant term Q of the Hauptmodul, we chose 0 as the value of the constant term of jN∗ (τ) for N S 2, 3, 5, 7 . ∈ − { } 14 TOMOAKINAKAYA

Proposition 4. Let N S. Then there exists certain monic polynomial a (Y ) and b (Y ) Z[Y ∈] of degree N and N + 1 respectively, such that N N ∈ (19) j(τ)+ j(Nτ)= aN (jN∗ (τ)), j(τ)j(Nτ)= bN (jN∗ (τ)). Proof. We prove the first result, the second result being similar. The Fourier 1 1 coefficient of j(τ)= q− + , jN∗ (τ)= q− + is in Z, there exists degree N polynomial a (Y ) Z[·Y ·] · such that · · · N ∈ F (τ) := j(τ)+ j(Nτ) a (j∗ (τ)) = O(q). − N N To prove F (τ) = 0, we check the modularity of F (τ) under the slash action. For α = N 0 and γ = a b Γ (N), since αγα 1 SL (Z), we have 0 1 c d ∈ 0 − ∈ 2 j(τ) 0 γ= j(τ), | 1 j(Nτ) γ = j(τ) αγ = (j(τ) αγα− ) α = j(τ) α = j(Nτ). |0 |0 |0 |0 |0 0 1/√N For γ Γ∗(N)= Γ0(N), wN , wN := − , we have ∈ 0 h i √N 0 1/√N 1 j(τ) w = j − = j − = j(Nτ), |0 N √ Nτ Nτ ! 1 j(Nτ) w = j − = j(τ). |0 N τ Therefore, (j(τ)+ j(Nτ)) γ = j(τ)+ j(Nτ) and by definition j (τ) γ = |0 N∗ |0 jN∗ (τ) for γ Γ0∗(N). It means F (τ) 0γ = F (τ) for γ Γ0∗(N). The function F (τ) is meromorphic∈ in the upper| half plane, and hence∈ F (τ) is constant and F (τ)= F (i ) = 0. ∞ We define the polynomial R (X,Y ) Z[X,Y ] in two variables by using N ∈ the polynomials aN (Y ) and bN (Y ) in (19) as follows: (20) R (X,Y ) := X2 a (Y )X + b (Y ). N − N N The equations RN (j(τ), jN∗ (τ)) = RN (j(Nτ), jN∗ (τ)) = 0 hold trivially by the definition of RN (X,Y ). We note that the polynomial aN (Y ) and bN (Y ) depend on the constant term of jN∗ (τ). Example 1. R (X,Y )= X2 X(Y 2 207Y + 3456) + (Y + 144)3, 2 − − R (X,Y )= X2 XY (Y 2 126Y + 2944) + Y (Y + 192)3, 3 − − R (X,Y )= X2 X(Y 5 80Y 4 + 1890Y 3 12600Y 2 + 7776Y + 3456) 5 − − − + (Y 2 + 216Y + 144)3, R (X,Y )= X2 XY (Y 2 21Y + 8)(Y 4 42Y 3 + 454Y 2 1008Y 1280) 7 − − − − − + Y 2(Y 2 + 224Y + 448)3.

(N) Following the deﬁnition of ssp (X), we now newly deﬁne the supersin- (N ) gular polynomials ssp ∗ (X) (including the cases N = 2, 3). For N S, we prepare the set ∈

S∗ := j∗ F the j-invariant determined by R (j, j∗ ) = 0 is supersingular N { N ∈ p | N N } THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 15 and deﬁne (N ) (21) ss ∗ (X)= (X j∗ ) F [X] p − N ∈ p j∗ S∗ NY∈ N for the prime p 5. Note that we ignore the duplication of elements of the ≥ set SN∗ . Because the set SN∗ is stable under the conjugation over Fp, we have (N ) ssp ∗ (X) F [X]. ∈ p 2 Example 2. Since ss37(X) = (X + 29)(X + 31X + 31) (mod 37), the re- sultant of ss37(X) and R2(X,Y ) with respect to the variable X is congruent to (22) (Y + 3)(Y + 25)2(Y + 27)2(Y 2 + 14Y + 34)2 (mod 37). By ignoring the multiplicity of the roots of this, we obtain the supersingular (2 ) polynomial ss37∗ (Y ) for Γ0∗(2): (2 ) 2 ss37∗ (Y ) = (Y + 3)(Y + 25)(Y + 27)(Y + 14Y + 34) (mod 37).

2 Question 1. Are all supersingular jN∗ -invariants contained in Fp for any N S? ∈ (N ) This definition of ssp ∗ (X) for N = 2, 3 and Definition 1 by Koike and Sakai are equivalent. Combining the algebraic relations (6) and 2 2 (23) j (τ) j∗(τ)(j (τ) 64) = 0, j (τ) j∗(τ)(j (τ) 27) = 0, 2 − 2 2 − 3 − 3 3 − we rewrite the definition of the set SN∗ (N = 2, 3) as (24) S∗ = j∗ F the j -invariant determined by (23) is supersingular . N { N ∈ p | N } (N ) We obtain the degree of ssp ∗ (X) (N = 2, 3) from the algebraic relation (23) by the same method as in [22, Proposition 4]. For p = 8m+4ν +2ε+1, (2 ) we have d := deg ssp ∗ (X)= m + ν + ε. (2 ) Let ssp ∗ (X) = (X α1) . . . (X αd) be the factorization over Fp of (2 ) − − ssp ∗ (X). Then we have

2 d d (2 ) Y 2 (Y 64) ss ∗ = Y α (Y 64) . − p Y 64 − n − − n=1 Y (2) Because of the deﬁnitions of ssp (Y ) and (24), the right-hand side of the (2) 2 above equation is divisible by ssp (Y ). The double roots of Y α (Y 64) − n − are 0 or 128 when αn = 0 or 256 respectively. Comparing the degrees (2 ) (2) deg ssp ∗ (X) = m + ν + ε and deg ssp (Y ) = 2m + ν + ε, and noting the (2) vanishing condition ssp (0) = 0 (mod p) ε = 1 and ⇐⇒ ss(2)(128) = 1282m+ν+εP (0) = 0 (mod p) ν = 1, p 2m+ν ⇐⇒ we have 2 d (2 ) Y ε ν (2) (Y 64) ss ∗ = Y (Y 128) ss (Y ). − p Y 64 − p − 16 TOMOAKINAKAYA

(2 ) (2) Therefore we obtain the algebraic relation of ssp ∗ and ssp and the proof (2 ) of Proposition 3 tells us that the hypergeometric expression of ssp ∗ (X) in (3 ) Definition 1 coincides with our definition. The case of ssp ∗ (X) is similar. 4.1. Level 5 and 7. For N S 2, 3 , the supersingular polynomial (N ) ∈ − { } ssp ∗ (X) can no longer be represented by hypergeometric polynomial. But (N ) we conjecture that ssp ∗ (X) (N = 5, 7) can be represented by Heun polynomials. The Heun local series is defined by

∞ n Hl(a, w; α,β,γ,δ; x) = cnx , n=0 X where the coefficients cn are determined by the recursion n (n 1+ γ)(1 + a)+ aδ + ε + w (n 1+ α)(n 1+ β) cn+1 = { − } cn − − cn 1 (n + 1)(n + γ)a − (n + 1)(n + γ)a − and the initializations c 1 = 0, c0 = 1. (Here, ε := α + β + 1 γ δ and of course, this local symbols− δ, ε are different from the previous− number− (2).) This function is a solution of the Heun equation d2y γ δ ε dy αβx w + + + + − y = 0, dx2 x x 1 x a dx x(x 1)(x a) − − − − which has four singular points x = 0, 1, a, . In particular, Hl is a polynomial when α or β is a negative integer.∞ There are 192 solutions of the Heun equation as an analogue of Kummer’s 24 solutions of Gauss hypergeometric differential equation (see [14]). One solution Hl has 24 equivalent expressions, for example, the following identity holds generically near x = 0: Hl(a, w; α,β,γ,δ; x) (25) 1 δ x 1 ε = (1 x) − (1 ) − Hl(a, w′; β + γ + 1, α + γ + 1, γ, 2 δ; x), − − a − − − where w = w γ (δ 1)a + ε 1 . ′ − { − − } Conjecture 1. (i) For a prime number p 7, ≥ (5 ) m5 2 µ5 ss ∗ (X)= X (X 44X 16) Hl (X) (mod p) p − − 5 where p 1 1 1 1 5 1+ √5 m = − + 1 − µ , µ = 1 − , φ = , 5 4 4 − p − 5 5 2 − p 2 (22µ + 3)φ5 1 1 1 1 4φ5 Hl (X)= Hl φ10, 5 ; m ,µ + + − , 1,µ + ; . 5 − − 4 − 5 5 2 4 p 5 2 X (ii) For a prime number p = 5 and p 11, ≥ (7 ) m7 µ7 µ7 ss ∗ (X)= X (X + 1) (X 27) Hl (X) (mod p) p − 7 where p 1 1 3 1 7 m = − + 1 − µ , µ = 1 − , 7 3 3 − p − 7 7 2 − p 1 1 3 1 27 Hl (X)= Hl 27, (13µ + 2); m ,µ + + − , 1,µ + ; . 7 − − 7 − 7 7 2 6 p 7 2 X THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 17

(N ) The degree of ssp ∗ (X) with p > N (N = 5, 7) is provided by

(5 ) p 1 1 1 1 5 deg ss ∗ (X)= m + 2 µ = − + 1 − + 1 − , p 5 5 4 4 − p 2 − p (7 ) p 1 1 3 1 7 deg ss ∗ (X)= m + 2 µ = − + 1 − + 1 − . p 7 7 3 3 − p 2 − p 5 7 We note that the case of −p = −p = 1, i.e. µ5 = µ7 = 0 was conjec- tured by Sakai [20]. The polynomials X2 44X 16 and (X +1)(X 27) in the above conjecture are derived from the− relation− of the Heun local− series (25). Let HN be the Harada-Norton group and He be the Held group. The orders of these groups are given by #HN = 273030912000000 = 214 36 56 7 11 19, · · · · · #He = 4030387200 = 210 33 52 73 17. · · · · The following conjecture is an analogue of Theorem 3 for the sporadic groups HN and He. Conjecture 2. For a prime number p, (5 ) (5 ) deg ss ∗ (X)= L ∗ (p) p #HN, p ⇐⇒ | (7 ) (7 ) deg ss ∗ (X)= L ∗ (p) p #He. p ⇐⇒ | Remark 1. Harada-Norton group HN and Janko group J1 has same set of prime divisors: #HN = 273030912000000 = 214 36 56 7 11 19, · · · · · #J = 175560 = 23 3 5 7 11 19. 1 · · · · · Therefore, we can not distinguish the sporadic groups HN and J1 by comparing sets of prime divisors. However, the so called generalized moonshine phenomena probably suggest the HN group is the right one (see [5, 9]). § Sakai gives the Heun representation of certain Eisenstein series of weight 4 on Γ0∗(5) and Γ0∗(7) in [20]: 5E (5τ) E (τ) 2 3φ5 1 3 1 4φ5 4 E (τ) := 2 − 2 = Hl φ10, ; , , 1, ; , 4,5 4 − − 4 4 4 2 j (τ) 5∗ 2 4 g 7E2(7τ) E2(τ) 1 2 1 27 E (τ) := − = Hl 27, 2; , , 1, ; . 4,7 6 − − 3 3 2 j (τ) 7∗ Ong the other hand, in [6, eq.(5.41) and Theorem 7.32], the following equations are given:

5E (5τ) E (τ) ∞ u (n) 7E (7τ) E (τ) ∞ u (n) 2 − 2 = 5∗ , 2 − 2 = 7∗ , 4 j (τ)n 6 j (τ)n n=0 5∗ n=0 7∗ X X where n n 2n n 2 n + k n 2 2k n + k u5∗(n)= , u7∗(n)= . n ( k k ) ( k n k ) Xk=0 Xk=0 18 TOMOAKINAKAYA

2n We note that the number u5∗(n)/ n was used to prove the irrationality of ζ(2) (not ζ(3)) by Apéry. The conjectural relations between the square of the supersingular polynomials and Apéry-like numbers for levels 5 and 7 are as follows. Conjecture 3. (i) For a prime number p 7, ≥ 2(m5+µ5) (5 ) 2 2 µ5 2(m5 +µ5) n ss ∗ (X) = (X 44X 16) u∗(n)X − (mod p). p − − 5 Xn=0 (ii) For a prime number p = 5 and p 11, ≥ 2(m7+µ7) (7 ) 2 µ7 µ7 2(m7+µ7) n ss ∗ (X) = (X + 1) (X 27) u∗(n)X − (mod p). p − 7 nX=0 By numerical calculation, we expect the relation between the square of supersingular polynomials and the polynomial RN (X,Y ) of (20). We define (N ) the polynomial Vp ∗ (Y ) by (N ) (26) Vp ∗ (Y ) = ResultantX [ssp(X),RN (X,Y )]. (N ) We defined the supersingular polynomial ssp ∗ (Y ) by ignoring the multiple roots of the right-hand side of (26). The following conjecture suggests that the multiplicity is almost equal to 2 (see eq.(22)).

(N ) Conjecture 4. For a prime p 5 and p = N, the polynomial Vp ∗ satisﬁes the following: ≥ 6 ε ν (2 ) Y (Y 256) V ∗ (Y ) − p 2δ ε (2 ) 2 = (Y + 144) (Y 648) ss ∗ (Y ) (mod p), − p δ δ (3 ) Y (Y 108) V ∗ (Y ) − p 2δ 2 ε (3 ) 2 = (Y + 192) (Y 576Y 1728) ss ∗ (Y ) (mod p), − − p 2 µ5 (5 ) (Y 44Y 16) V ∗ (Y ) − − p 2 2δ 2 ε (5 ) 2 = (Y + 216Y + 144) (Y 540Y 6480) ss ∗ (Y ) (mod p), − − p µ7 µ7 (7 ) (Y + 1) (Y 27) V ∗ (Y ) − p = (Y 2 + 224Y + 448)2δ 4 3 2 ε (7 ) 2 (Y 528Y 9024Y 5120Y 1728) ss ∗ (Y ) (mod p). × − − − − p Remark 2. The coeﬃcients of right hand sides of above conjecture derived from RN (0,Y ) and RN (1728,Y ). For example, 2 2 3 R7(0,Y )= Y (Y + 224Y + 448) , R (1728,Y ) = (Y 4 528Y 3 9024Y 2 5120Y 1728)2. 7 − − − − 4.2. level N S 2, 3, 5, 7 . Calculations on Mathematica suggest the ∈ − { } following conjectures. If N S and p is prime, the Kronecker symbol · ∈ Np simply means the product of the Legendre symbol N· and p· . THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 19

Conjecture 5. Let p 5 be a prime number and N S 2 and N = p. Then ≥ ∈ − { } 6

(N ) 1 p L ∗ (p)= 1+ − L(p) 2 N 1 1 2 + 2+ 1 − 2+ − h( Np). 8 − Np Np − p Remark 3. By the law of quadratic reciprocity, we have 1 p 1 − N − = − N . N N p ! Conjecture 6. Let p 5 be a prime number and N S 2 and N = p. (≥N ) ∈ − { } 6 Then the degree of ssp ∗ (X) is given by

(N ) (N + 1)(p 1) 1 1 1 deg ss ∗ (X)= − + 1+ − 1 − p 24 8 N − p 1 3 3 1 N + 1+ − 1 − + 1 − deg ss (X). 6 N − p 2 − p N The number deg ss (X) has several interpretation. For p 5, p ≥ deg ssp(X)=1+dim Sp+1(SL2(Z))

= 1+dim S2(Γ0(p))

=1+ g(X0(p))

= hDp , where g(X0(p)) is the genus of the modular curve X0(p) and hDp is the class number of the deﬁnite quaternion algebra Dp (see [7, 8, 10, 11]). We focus on the ﬁrst line of the above equality. By the dimension formula of Sp+1(Γ0∗(N)) in [4, Lemma 2.2], we have (2 ) deg ssp ∗ (X)=1+dim Sp+1(Γ0∗(2)) and under the above Conjecture 6, (27) (N ) 1 1 N deg ss ∗ (X) =1+dim S (Γ∗(N)) + − − deg ss (X) p p+1 0 2 p − p N for N S 2 (the case of N = 3 is true). ∈ − { } 4.3. Other class. In this section, we considered the supersingular polynomial for the group a b/3 a b Γ (3 3) = SL (Z) . 0 | 3c d c d ∈ 2

This group is labeled “3C” in Table 2 of [5] 1 and corresponding modular function j (τ)= q 1 + 248q2 + 4124q 5 + satisﬁes 3C − · · · j (τ)(j (τ) 24)3 j (τ)3 = j(3τ)= 3 3 − . 3C j (τ) 27 3 − 1 ∗ ∗ Groups SL2(Z), Γ0(2), Γ0(2), Γ0(3), and Γ0(3) correspond to labels 1A, 2A, 2B, 3A, and 3B, respectively. 20 TOMOAKINAKAYA

Since algebraic relation (6), we can also ﬁnd the algebraic relation of j(τ) and j3C (τ):

R (X,Y )= X4 X3(Y 9 2232Y 6 + 1069956Y 3 36864000) + 3C − − − · · · + Y 3(Y 3 + 12288000)3.

By the definition, this polynomial satisfies R(j(τ), j3C (τ))=Φ3(j(τ), j(3τ)) = 0, where Φ3(X,Y ) is the classical modular polynomial of level 3. We use (3C) R3C (X,Y ) to define the supersingular polynomial ssp (X) as in (21), then (3C) (3C) the degree and the number L (p) of linear factors of ssp (X) are con- jectured as below.

Conjecture 7. For a prime number p 5, ≥ p 1 3 3 deg ss(3C)(X)= − + ε, L(3C)(p)= 2+ − L(p). p 4 2 p where L(p) is the number of linear factors of ssp(X).

Let T h be the Thompson group that is one of the sporadic groups. The order of this group is given by

#T h = 90745943887872000 = 215 310 53 72 13 19 31. · · · · · · The following conjecture is an analogue of Theorem 3 for the group T h.

Conjecture 8. For a prime number p,

deg ss(3C)(X)= L(3C)(p) p #T h. p ⇐⇒ | The conjectural relations between the square of the supersingular polynomial and Ap´ery-like numbers2 for “class 3C ” is as follows.

Conjecture 9. For a prime number p 5, ≥ ss(3C)(X)2 = (X 12)(X2 + 12X + 144) ε p { − } (p 1)/2 [n/3] − 2n n 3k 2k 3k n (p 1)/2 n ( 3) − X − − (mod p). × n  − k k 3k  nX=0 Xk=0  4.4. Supersingular polynomials for small prime number p. In this subsection, we consider supersingular polynomials for a ﬁxed small prime number p. From ss2(X)= X (mod 2) and ss3(X)= X (mod 3), the poly- (N ) nomial ssp ∗ (Y ) can be obtained by calculating RN (0,Y ) (mod p). Possi- (N ) (N ) ble interpolation formulas of deg ss2 ∗ (X) and deg ss3 ∗ (X) are as follows.

2See [23, Sequence B]. THE NUMBER OF LINEAR FACTORS OF SUPERSINGULAR POLYNOMIALS 21

(2 ) (2 ) (3 ) Observation 1. We have deg ss2 ∗ (X) = deg ss3 ∗ (X) = deg ss2 ∗ (X) = (3 ) deg ss ∗ (X) = 1. For N S 2, 3 , 3 ∈ − { } (N ) deg ss2 ∗ (X) N + 7 1 3 1 1 2 = + 1+ − 1 − 3 − deg ss (X), 12 6 N − 16 − N − N N (N ) deg ss3 ∗ (X) N + 1 1 1 1 3 1 3 = + 1+ − + 1+ − + 1 − deg ss (X). 12 4 N 6 N 2 − N N (N ) Similarly, we can also interpolate the number of linear factors L ∗ (p) of (N ) ssp ∗ (Y ) for p = 2, 3. (2 ) (2 ) (3 ) (3 ) Observation 2. We have L ∗ (2) = L ∗ (3) = L ∗ (2) = L ∗ (3) = 1. For N S 2, 3 , ∈ − { } (N ) 1 1 1 2 1 L ∗ (2) = 1+ − + 1+ − + h(√ 2N), 4 N 4 N 4 − (N ) 1 3 1 1 2 L ∗ (3) = 1+ − + 2+ 1+ − 2+ − h(√ 3N). 2 N 8 N N − Of course, since the set S is a finite set, there are countless interpolation formula as described above. Theorems 5 and Conjecture 2 are assertions about a set of prime number p having certain properties with respect to a fixed level N, e.g. for the case of N = 2, (2 ) (2 ) deg ss ∗ (X)= L ∗ (p) p #B. p ⇐⇒ | However, there is a curious “duality” between prime p and level N in (N ) ssp ∗ (X). More precisely, for a set of level N and a fixed small prime number p, the following holds. Observation 3. For N S, ∈ (N ) (N ) deg ss ∗ (X)= L ∗ (2) N #B, 2 ⇐⇒ | (N ) (N ) deg ss ∗ (X)= L ∗ (3) N #F i′ , 3 ⇐⇒ | 24 (N ) (N ) deg ss ∗ (X)= L ∗ (5) N #HN, 5 ⇐⇒ | (N ) (N ) deg ss ∗ (X)= L ∗ (7) N #He. 7 ⇐⇒ | It can be checked by direct calculation for fifteen levels N. We note that the set of prime divisors of the group B, F i24′ ,HN and He are truly included in the set S.

Acknowledgements The author thanks to Professor Masanobu Kaneko for valuable comments, and for introducing him to the study of the connection between modular forms and supersingular polynomials. He would also like to thank Professor Hiroyuki Tsutsumi and Dr. Yuichi Sakai, who introduced him to the study of supersingular polynomials with certain levels. 22 TOMOAKINAKAYA

References [1] V. M. Aricheta. Supersingular elliptic curves and moonshine. preprint, 2018. [2] P. T. Bateman, S. Chowla, and P. Erd˝os. Remarks on the size of L(1,χ). Publ. Math. Debrecen, 1:165–180, 1950. [3] J. Brillhart and P. Morton. Class numbers of quadratic fields, Hasse invariants of elliptic curves, and the supersingular polynomial. Journal of Number Theory, 106(1):79– 111, 2004. [4] S. Choi and C. H. Kim. Basis for the space of weakly holomorphic modular forms in higher level cases. Journal of Number Theory, 133(4):1300–1311, 2013. [5] J. H. Conway and S. P. Norton. Monstrous moonshine. Bull. London Math. Soc, 11(3):308–339, 1979. [6] S. Cooper. Ramanujan’s theta functions. Springer, 2017. [7] M. Deuring. Die Typen der Multiplikatorenringe elliptischer Funktionenkörper. Abh. Math. Sem. Hamburg, 14:197–272, 1941. [8] M. Deuring. Die Anzahl der Typen von Maximalordungen einer definiten Quater- nionenalgebra mit primer Grundzahl. Jahresber. Deutsch. Math. Verein, 54:21–41, 1944. [9] J. F. R. Duncan and K. Ono. The Jack Daniels Problem. Journal of Number Theory, 161:230–239, 2016. [10] M. Eichler. Uber¨ die Idealklassenzahl total definiter Quaternionenalgebren. Math. Z, 43:102–109, 1938. [11] J. Igusa. Class number of a definite quaternion with prime discriminant. Proceedings of the National Academy of Sciences, 44(4):312–314, 1958. [12] M. Kaneko and D. Zagier. Supersingular j-invariants, hypergeometric series, and Atkin’s orthogonal polynomials. AMS/IP Studies in Advanced Mathematics, 7:97– 126, 1998. ∗ ∗ [13] M. Koike. On supersingular j2 -polynomials for Γ0(2). unpuplished, 2009. [14] R. Maier. The 192 solutions of the Heun equation. Mathematics of Computation, 76(258):811–843, 2007. [15] P. Morton. Legendre polynomials and complex multiplication, I. Journal of Number Theory, 130(8):1718–1731, 2010. [16] P. Morton. The cubic Fermat equation and complex multiplication on the Deuring normal form. The Ramanujan Journal, 25(2):247–275, 2011. [17] A. P. Ogg. Automorphismes de courbes modulaires. Séminaire Delange-Pisot-Poitou. Théorie des nombres, 16(1):1–8, 1975. [18] A. Pizer. A note on a conjecture of Hecke. Pacific Journal of Mathematics, 79(2):541– 548, 1978. [19] Y. Sakai. The Atkin orthogonal polynomials for the low-level Fricke groups and their application. International Journal of Number Theory, 7(06):1637–1661, 2011. [20] Y. Sakai. The Atkin orthogonal polynomials for the Fricke groups of levels 5 and 7. International Journal of Number Theory, 10(08):2243–2255, 2014. [21] J. H. Silverman. The arithmetic of elliptic curves, volume 106 of Graduate Texts in Mathematics. Springer New York, 2nd edition, 2009. [22] H. Tsutsumi. The Atkin orthogonal polynomials for congruence subgroups of low levels. The Ramanujan Journal, 14(2):223–247, 2007. [23] D. Zagier. Integral solutions of Apéry-like recurrence equations. Groups and Symme- tries: from Neolithic Scots to John McKay, CRM Proc. Lecture Notes, 47:349–366, 2009.

Graduate School of Mathematics, Kyushu University, 744, Motooka, Nishi- ku, Fukuoka, 819-0395, Japan E-mail address: [email protected]