# On the Newton polygons of Kaneko-Zagier lifts of supersingular polynomials

- John Cullinan
^{1}Email author and - Rylan Gajek-Leonard
^{1}

**Received: **21 July 2016

**Accepted: **26 October 2016

**Published: **14 December 2016

## Abstract

Let *p* be a prime number. The *supersingular polynomial*
\(\mathfrak {S}_p(x)\) in characteristic *p* is the polynomial over \(\mathbf {F}_p\) whose roots in \(\overline{\mathbf {F}_p}\) are the supersingular *j*-invariants of elliptic curves over \(\mathbf {F}_p\). In this paper we study the Newton polygons of certain rational lifts of \(\mathfrak {S}_p(x)\) connected to the theory of Jacobi polynomials. As a corollary to our results on the Newton polygons, we obtain new cases of irreducibility for these supersingular lifts, providing more evidence for the general irreducibility conjecture of Mahlburg and Ono.

## Keywords

## Mathematics Subject Classification

## 1 Background

*E*be an elliptic curve defined over the finite field \(\mathbf {F}_p\). Recall that

*E*is

*supersingluar*if the \(p^n\)-torsion \(E[p^n]\) of

*E*is trivial for all

*n*(there are many equivalent characterizations of supersingularity, see [8, V.4] for more details and examples). For a fixed prime

*p*, there are finitely many supersingular

*j*-invariants in characteristic

*p*, which prompts the following definition. The

*supersingular polynomial*

*j*-invariants in characteristic

*p*; it is known [5] that \(\mathfrak {S}_p(x)\) is in fact defined over \(\mathbf {F}_p\). The purpose of this paper is to study a particular lift to \(\mathbf {Q}\) of \(\mathfrak {S}_p(x)\); namely, a family of polynomials, indexed by

*p*, with rational coefficients whose reduction mod

*p*coincides with \(\mathfrak {S}_p(x)\). The family that we shall study was first introduced by Kaneko and Zagier in [5] and subsequently studied by Brillhart and Morton [2], Mahlburg and Ono [6], and many others. In [5], the authors describe several different natural lifts of \(\mathfrak {S}_p(x)\); the family we study in this paper is in fact a family of Jacobi polynomials.

*n*polynomial defined over \(\mathbf {F}_p\). Kaneko and Zagier originally introduced a family of polynomials they denote \(\widetilde{F_{k}}(x) \in \mathbf {Q}[x]\) such that \(\widetilde{F_k}(x) \equiv \mathfrak {s}_p(x) \pmod {p}\); in [5] the emphasis is on the connection to modular forms where the index

*k*is a natural choice since the dimension of the space of weight

*k*holomorphic modular forms on \(\mathrm{PSL}_2(\mathbf {Z})\) has dimension \(n+1\). Mahlburg and Ono in [6] conjecture that the \(\widetilde{F_k}\) are irreducible over \(\mathbf {Q}\) with full Galois group and in [4] the authors gave new evidence for both the irreducibility and the Galois group conjectures. The main tool used in [4] was the Newton polygon and the purpose of this paper is to work out the Newton polygons in more generality. As a corollary, we will obtain new cases of irreducibility of these supersingular lifts.

*n*Jacobi polynomial \(P_n^{(\alpha ,\beta )}(x)\) can be expressed in terms of the hypergeometric functionIt can be shown (see [4, Section 2] for a complete derivation) that

### Theorem 1

*r*be a positive integer. Let \(n = (p^r-\lambda )/3\), where

- (1)If \(p \equiv 1\pmod {3}\), then the vertices of \(\mathrm{NP}_p(S_n^{(1,\mu )}(x))\) areIn particular, \(\mathrm{NP}_p(S_n^{(1,\mu )}(x))\) consists of$$\begin{aligned} (V_0,r),(V_1,r-1),(V_1,r-2),\dots ,(V_{r},0). \end{aligned}$$
*r*segments of lengths \(\frac{p-1}{3}, \frac{p^2-p}{3},\dots , \frac{p^r - p^{r-1}}{3}\) with respective slopes$$\begin{aligned} \frac{-3}{p-1}, \frac{-3}{p^2-p},\dots , \frac{-3}{p^r - p^{r-1}}. \end{aligned}$$ - (2)If \(p \equiv -1\pmod {3}\), \(p>5\), and
*r*is even, then the vertices of \(\mathrm{NP}_p(S_n^{(1,\mu )}(x))\) areIn particular, \(\mathrm{NP}_p(S_n^{(1,\mu )}(x))\) consists of$$\begin{aligned} (V_0,r/2),(V_1,r/2-1),(V_2,r/2-2),\dots ,(V_{r/2},0). \end{aligned}$$*r*/ 2 segments of lengths \(\frac{p^2-1}{3}, \frac{p^4-p^2}{3},\dots , \frac{p^r-p^{r-2}}{3}\) with respective slopes$$\begin{aligned} \frac{-3}{p^2-1}, \frac{-3}{p^4-p^2},\dots , \frac{-3}{p^r - p^{r-2}}. \end{aligned}$$ - (3)If \(p \equiv -1\pmod {3}\), \(p>5\), and
*r*is odd, then the vertices of \(\mathrm{NP}_p(S_n^{(-1,\mu )}(x))\) areIn particular, \(\mathrm{NP}_p(S_n^{(-1,\mu )}(x))\) consists of \((r+1)/2\) segments of lengths \(\frac{p+1}{3}, \frac{p^3-p}{3},\dots , \frac{p^r - p^{r-2}}{3}\) with respective slopes$$\begin{aligned} (0,(r+1)/2),(V_0,(r+1)/2-1),(V_1,(r+1)/2-2),\dots ,(V_{(r-1)/2},0). \end{aligned}$$$$\begin{aligned} \frac{-3}{p+1}, \frac{-3}{p^3-p}, \frac{-3}{p^5-p^3},\dots , \frac{-3}{p^r - p^{r-2}}. \end{aligned}$$

While these statements do not immediately give irreducibility, we point out that there are certain special cases that do. The following corollary gives new Eisenstein results that extend some of the cases of [6, Theorem 1.1].

### Corollary 1

- (1)
If \(p \equiv \lambda \pmod 3\), then \(S_{(p-\lambda )/3}^{(\lambda ,\mu )}(x)\) is Eisenstein at

*p*. - (2)
If \(p \equiv - 1 \pmod 3\), then \(S_{(p^2-1)/3}^{(1,\mu )}(x)\) is Eisenstein at

*p*.

The proof of Theorem 1 involves an analysis of the *p*-valuations of the coefficients of the \(S_n^{(\lambda ,\mu )}(x)\). Because of the form of the coefficients, the computations are notationally intricate. Therefore, in the next section we give a non-technical sketch of the proof that clearly outlines each step. We then prove Theorem 1 in Sect. 3 and give further remarks in Sect. 4. The final section of the paper is devoted to computational evidence for further Eisenstein properties of the \(S_n^{(\lambda ,\mu )}(x)\) at small primes. We conclude by proving a new case of irreducibility when *n* is a power of 7 that complements a similar result in [6, Theorem 1.1].

## 2 Notation and outline of the proofs

*p*, \(\lambda \),

*n*, and

*r*that

*r*and \(\lambda =1\) for even

*r*. We will apply all of this notation to the polynomials

*p*of the \(S_n^{(\lambda ,\mu )}(x)\) when \(n = (p^r-1)/3\) and \(\lambda = 1\):

We will break the proof of Theorem 1 into several lemmas and, due to the intricate notation, we will first give an informal sketch of the proofs. We focus on part (1) of Theorem 1 since the ideas behind the other two are similar.

The goal of Sect. 3 is to show that the vertices of the Newton polygon have coordinates \(\left( \frac{p^s-1}{3},r-s \right) \) for \(s=0,\dots ,r\). To do this, we start in Lemma 1 by showing the binomial coefficients \(\left( {\begin{array}{c}\frac{p^r -1}{3}\\ \frac{p^s-1}{3}\end{array}}\right) \) are not divisible by *p*. This allows us to simplify the polynomials \(S_n^{(\lambda ,\mu )}(x)\) by twisting out the binomial coefficients. This technique was used by Schur in [7] to compute the Newton polygons of a wider class of polynomials than the truncated exponentials; see [3] for an account of this. Lemma 2 and Corollary 2 establish the identity \(\mathrm{ord}_p \, A_j = r-s\) when \(j=\frac{p^s - 1}{3}\). To finish the proof of the Newton polygon, it remains to show that the intermediate coefficients all have *p*-valuation greater than or equal to \(r-s\); we prove this in Lemma 3. We now proceed to the proofs.

## 3 Main results

*p*-valuations of the intermediate (non-break) coefficients are strictly larger than those of the breaks. Together, these three lemmas prove part (1) of Theorem 1.

### Lemma 1

Let *p* be a prime congruent to 1 modulo 3. Let \(r,s \in \mathbf {Z}_{\ge 0}\) with \(r \ge s\). Then the binomial coefficient \(\left( \begin{array}{c}\frac{p^r -1}{3}\\ \frac{p^s-1}{3}\end{array}\right) \) is coprime to *p*.

### Proof

*p*expansion of the positive integer

*N*, then

*p*expansion of \((p^r-1)/3\) is given by

### Lemma 2

With all notation as above, \(\mathrm{ord}_p A_0 = r\).

### Proof

*k*such that \(6k+2\) has

*p*-valuation equal to \(\ell \). Since

*p*is odd, we divide by 2 and count the

*p*-valuations of \(3k+1\). We set some notation. Let \(\mathsf {N} = \lbrace 1,\dots , n \rbrace \) and \(X_\ell \mathop {=}\limits ^{\mathrm{def}}\lbrace k \in \mathsf {N} \mid \mathrm{ord}_p(3k+1) = \ell \rbrace \). Then the \(X_{\ell }\) partition \(\mathsf {N}\):

*k*that belong to \(X_{0}\) or \(Y_0\) do not contribute to the

*p*-valuation of \(A_0\). For each \(\ell \) with \(0< \ell <r\), it is the case that \(\#X_{\ell } = \#Y_{\ell }\). Consequently, all the terms in the sum (2) cancel except for the contribution from \(X_r\), which consists of the single element \(k=(p^r-1)/3\). It follows that \(\mathrm{ord}_p A_0 = r\), as claimed. \(\square \)

### Corollary 2

Let \(s\in \{0,1,2,\dots ,r\}\). Then \(\mathrm{ord}_p (A_{\frac{p^s-1}{3}})= r - s\).

### Proof

*r*” by “

*s*” in the expression for

*n*, then the same argument in Lemma 2 applies

*mutatis mutandis*to the product \(\mathrm{ord}_p \prod _{k=1}^{(p^s-1)/3} c(n,1,\mu ,k)\), whence

### Lemma 3

Let \(s \in [0,r] \cap \mathbf {Z}\) and let *j* be an index with \(\frac{p^{s}-1}{3}< j < \frac{p^{s+1}-1}{3}\). Then \(\mathrm{ord}_p\, A_j \ge r-s\).

### Proof

*m*in the stated range it is never the case that \(\mathrm{ord}_p\,(p^s+3m) >s\), it follows that

*m*, it is never the case that \(\mathrm{ord}_p\,(2p^s+ 6m-2 + 3\mu ) = r\), hence

*m*in the range \(1 \le m < \frac{p^{s+1}-1}{3}\) such that

*p*-valuation of the denominator of \(A_j\) by means of the formula

*N*(

*k*) /

*D*(

*k*) itself may not be integral, since \(p>3\) it is certainly

*p*-integral, which is sufficient to prove the Lemma. \(\square \)

To recap, this sequence of Lemmas establishes the Newton polygon of \(S_n^{(1,\mu )}(x)\) when \(n=(p^r-1)/3\) and \(p\equiv 1\pmod {3}\). For parts (2) and (3) of Theorem 1, the ideas and proofs are nearly identical, so we give brief sketches of the arguments rather than detailed proofs. Both parts (2) and (3) can be proved via a similar sequence of Lemmas:

**Step 1.**It is easy to check that Lemma 1 holds for the polynomials in parts (2) and (3) of Theorem 1 as well. That is, using the notation of Theorem 1

**Step 2.**To extend Lemma 2 to the polynomials of Parts (2) and (3) of Theorem 1, we need to show that

*k*for which the

*p*-valuation of the numerator equals \(\ell \) and the other is into the

*k*for which the

*p*-valuation of the denominator equals \(\ell \). It then remains to count the elements of the subsets and subtract. For completeness we give the partitions along with the sizes for each of Parts (2) and (3) of Theorem 1; recall that \(X_{\ell }\) denotes the number of

*k*for which \(6k+2\lambda \) has

*p*-valuation \(\ell \) and \(Y_{\ell }\) denotes the number of

*k*for which \(6n+2\lambda +3\mu + 6k\) has

*p*-valuation \(\ell \):

Part (2): | \(\#X_{\ell } = {\left\{ \begin{array}{ll} 1 &{} \text {if}~\,\ell =r \\ \frac{p^{r-\ell } - p^{r-\ell -1} + (-1)^{\ell }}{3} &{} \text {if}\,~0< \ell < r \\ \frac{p^r - p^{r-1}}{3} &{} \text {if}~\ell =0 \end{array}\right. }\) |

\(\#Y_{\ell } = \#X_{\ell } + (-1)^{\ell -1}\) for \(0 \le \ell \le r\) | |

Part (3): | \(\#X_{\ell } = {\left\{ \begin{array}{ll} 1 &{} \text {if}~\,\ell =r \\ \frac{p^{r-\ell } - p^{r-\ell -1} - (-1)^{\ell }}{3} &{} \text {if}\,~0 \le \ell < r \end{array}\right. }\) |

\(\#Y_{\ell } = \#X_{\ell } + (-1)^{\ell }\) for \(0 \le \ell \le r\) |

**Step 3.**Observe that \(\mathrm{ord}_p A_{V_k}\) is the difference of \(\mathrm{ord}_p A_0\) when \(n=(p^r-\lambda )/3\) and \(\mathrm{ord}_p A_0\) when \(n=(p^s-\lambda )/3\). By Lemma 2, this establishes the vertices of the Newton polygon.

**Step 4.**It remains to show that the

*p*-valuations of the intermediate coefficients between the \(V_k\) lie above the breaks. As in Lemma 3, it will suffice to prove that

*N*(

*k*) and

*D*(

*k*) to be the numerator and denominator of \(c(n,\lambda ,\mu ,k)\), respectively. A similar argument shows that

*p*-valuation of the denominators of the \(c(n,-1,\mu ,k)\) are at least as large as that of the numerators and hence that the respective

*p*-valuations are \(\le 0\).

Steps 1–4 establish the remaining cases (2) and (3) of Theorem 1. As a corollary to case (2) by setting \(r=2\), we obtain the following result which extends the first case of [6, Theorem 1.1].

### Corollary 3

Let *p* be a prime number congruent to \(-1\) modulo 3 and let \(n=(p^2-1)/3\). Then for \(\mu \in \lbrace \pm 1\rbrace \), the polynomial \(S_n^{(1,\mu )}(x)\) is Eisenstein at *p*.

## 4 Further remarks

Theorem 1 exploits the product structure of the *numerators* of the \(c(n,\lambda ,\mu ,k)\). The same analysis can be performed for the denominators as well. In that case, we obtain the following complementary results to Theorem 1.

### Theorem 2

*r*be a positive integer. Let \(\lambda ,\mu \in \lbrace \pm 1\rbrace \) and set \(n = (p^r-6-2\lambda -3\mu )/6 \in \mathbf {Z}\). Define

- (1)If \(p \equiv 1\pmod {3}\) then the vertices of \(\mathrm{NP}_p\big (S_n^{(-1,\mu )}(x)\big )\) areIn particular, \(\mathrm{NP}_p(S_n^{(-1,\mu )}(x))\) consists of$$\begin{aligned}&\big (W_0,-r\big ),\big (W_1,-(r-1)\big ),\big (W_2,-(r-2)\big ),\dots ,\big (W_{r-1},-1\big ),\\&\quad \big (W_{r-1}+(p-4-3\mu )/6,0\big ), \end{aligned}$$
*r*segments of lengths \(\frac{p^r - p^{r-1}}{6},\frac{p^{r-1} - p^{r-2}}{6},\dots \frac{p^2-p}{6},\frac{p-4-3\mu }{6}\), with respective slopes$$\begin{aligned} \frac{6}{p^r - p^{r-1}}, \frac{6}{p^{r-1} - p^{r-2}},\dots , \frac{6}{p^2-p}, \frac{6}{p-4-3\mu }. \end{aligned}$$ - (2)If \(p \equiv -1\pmod {3}\), \(p>5\), and
*r*is even, then the vertices of \(\mathrm{NP}_p\big (S_n^{(-1,\mu )}(x)\big )\) areIn particular, \(\mathrm{NP}_p(S_n^{(-1,\mu )}(x))\) consists of$$\begin{aligned}&\big (W_0,-r/2\big ),\big (W_1,-(r/2-1)\big ),\big (W_2,-(r/2-2)\big ),\dots ,\big (W_{r/2-1},-1\big ),\\&\quad \big (W_{r/2-1}+(p^2-4-3\mu )/6,0\big ). \end{aligned}$$*r*/ 2 segments of lengths \(\frac{p^r - p^{r-2}}{6}, \frac{p^{r-2} - p^{r-4}}{6}, \dots , \frac{p^4-p^2}{6}, \frac{p^2-4-3\mu }{6}\) with respective slopes$$\begin{aligned} \frac{6}{p^r - p^{r-2}}, \frac{6}{p^{r-2} - p^{r-4}},\dots , \frac{6}{p^{4} - p^2},\frac{6}{p^2-4-3\mu }. \end{aligned}$$ - (3)If \(p \equiv -1\pmod {3}\), \(p>11\), and
*r*is odd, then the vertices of \(\mathrm{NP}_p\big (S_n^{(1,\mu )}(x)\big )\) areIn particular, \(\mathrm{NP}_p(S_n^{(1,\mu )}(x))\) consists of \((r+1)/2\) segments of lengths \(\frac{p^r - p^{r-2}}{6}, \frac{p^{r-2} - p^{r-4}}{6}, \dots ,\frac{p^3-p}{6},\frac{p-8-3\mu }{6}\) with respective slopes$$\begin{aligned}&\big (W_0,-(r+1)/2\big ),\big (W_1,-(r+1)/2+1\big ),\big (W_2,-(r+1)/2+2\big ),\dots ,\\&\quad \big (W_{(r+1)/2-1},-1\big ), \big (W_{(r+1)/2-1}+(p-8-3\mu )/{6},0\big ). \end{aligned}$$$$\begin{aligned} \frac{6}{p^r - p^{r-2}}, \frac{6}{p^{r-2} - p^{r-4}},\dots , \frac{6}{p^3-p},\frac{6}{p-8-3\mu } . \end{aligned}$$

While the following are not new, we do immediately recover some of the Eisenstein results of [6, Theorem 1.1] as special cases.

### Corollary 4

- (1)
Let \(p\equiv 1 \pmod 3\), \(p>3\), and let \(n= \frac{p-4-3\mu }{6}\). Then \(S_n^{(-1,\mu )}(x)\) is Eisenstein at

*p*. - (2)
Let \(p\equiv -1 \pmod 3\), \(p>5\), and let \(n= \frac{p^2-4-3\mu }{6}\). Then \(S_n^{(-1,\mu )}(x)\) is Eisenstein at

*p*. - (3)
Let \(p\equiv -1 \pmod 3\), \(p>11\), and let \(n= \frac{p-8-3\mu }{6}\). Then \(S_n^{(1,\mu )}(x)\) is Eisenstein at

*p*.

## 5 Small primes and irreducibility conjectures

So far we have focused on the *p*-adic Newton polygons of the \(S_n^{(\lambda ,\mu )}(x)\) when \(n = (p^r-\lambda )/3\). In this section we focus on the primes \(p=3, 5, 7\), and 11 and give computational evidence for new Eisenstein results when the degree *n* is a power of *p*. Proofs of these conjectures are likely to be established by techniques other than the ones we have presented in the previous sections, since our conjectures are based on *translates* of the polynomials and will require the *p*-adic valuation of special values of the polynomials.

In [4], Hajir and the first author showed that certain polynomials of the form \(S_{2^m}^{(\lambda ,\mu )}(x)\) are Eisenstein at \(p=2\); specifically, using the notation of [4] we know

### Theorem 3

(Theorem 5.1 of [4]) Let \(n=2^\nu \). If \(\nu \) is odd and \(\lambda = -1\), or if \(\nu \) is even and \(\lambda =1\), then \(\mathrm{NP}_2(K_n^{(\lambda ,\mu )}(x))\) is pure of slope \((n-1)/n\). In particular, under these conditions the polynomial \(K_n^{(\lambda ,\mu )}(x)\) is irreducible over \(\mathbf {Q}\).

It is then a simple matter to translate from the \(K_n^{(\lambda ,\mu )}(x)\) notation to the \(S_n^{(\lambda ,\mu )}(x)\) notation of this paper. In [6, Theorem 1.1], Mahlburg and Ono proved that the \(S_{7^\alpha }^{(-1,1)}(x)\) are Eisenstein at \(p=7\) for all \(\alpha \ge 1\) and proved similar Eisenstein results for \(p=5\) and \(p=11\) as well. However, the prime \(p=3\) appears not to be covered by any results in the literature. In the following conjecture, we expand upon the Eisenstein results of [6] and propose new Eisenstein properties at the prime \(p=3\).

### Conjecture 1

- (1)
\(S_{5^{2\alpha }}^{(-1,-1)}(x+3)\) is Eisenstein at 5 for all \(n\ge 1\);

- (2)
\(S_{5^{2\alpha + 1}}^{(1,1)}(x+3)\) is Eisenstein at 5 for all \(n\ge 1\);

- (3)
\(S_{11^{2\alpha +1}}^{(1,\mu )}(x+1)\) is Eisenstein at 11 for all \(n\ge 0\);

- (4)
\(S_{3^{\alpha }}^{(\lambda ,\mu )}(x-1)\) is Eisenstein at 3 for all \(\lambda ,\mu \in \{ \pm 1 \}\) and for all \(n\ge 1\).

Polynomial |
| Cases verified |
---|---|---|

\(S_{3^{\alpha }}^{(\lambda ,\mu )}(x-1)\) | 3 | \(1 \le \alpha \le 8\) |

\(S_{5^{2\alpha }}^{(-1,-1)}(x+3)\) | 5 | \(\alpha =1,2\) |

\(S_{5^{2\alpha + 1}}^{(1,1)}(x+3)\) | 5 | \(\alpha =1,2\) |

\(S_{11^{2\alpha +1}}^{(1,\mu )}(x+1)\) | 11 | \(\alpha =0,1\) |

Finally, we will prove an Eisenstein result similar to one of the many in [6, Theorem 1.1] in the case where the degree is a power of 7. Namely, Mahburg and Ono prove that their polynomials are Eisenstein at \(p=7\) when “\(r=6\)” (in their notation) and the degree is a power of 7. We will now work out the complementary “\(r=0\)” case (so set \(\mu =1\)).

### Theorem 4

The polynomials \(S_{7^\alpha }^{(-1,1)}(x)\) are Eisenstein at \(p=7\).

*k*-th term in the product cannot simultaneously be divisible by 7. This prompts the following definitions:

### Lemma 4

- (1)
\(\#X_N(s) = \#X_D(s) = 6\cdot 7^{s-1}\) for \(s=1,\dots ,\alpha \);

- (2)
\(\#X_N(0) = 1\) and \(\#X_D(0) = 0\);

- (3)
\(\#X_N(1) = 0\) and \(\#X_D(-1) = 1\);

- (4)
\(\#X_N(s) = \#X_D(s) = 0\) if \(s<-1\) or if \(s>\alpha \).

### Proof

*k*in the range \(1 \le k \le 7^\alpha \), one can easily verify that \(k \in X_N(s)\) if and only if \(6k-2 = m7^{\alpha -s} \ \text {with } \gcd (m,7) =1\), where

*k*is of the form

### Corollary 5

Write \(S_{7^\alpha }^{(-1,1)}(x)= \sum _{j=0}^{7^\alpha }A_jx^j\). Then \(\mathrm{ord}_7 A_0 = -1\).

### Proof

Since \(A_0 = \prod _{k=1}^{7^\alpha } \frac{6k-2}{6\cdot 7^\alpha +6k-5}\) we can compute \(\mathrm{ord}_7A_0\) by the sizes of the sets \(X_N(s)\) and \(X_D(s)\) for \(s=-1,\dots ,\alpha \). By Lemma 4 the number of terms with positive valuation \(\alpha -s\) equals the number with negative valuation \(\alpha -s\) for \(s=1,\dots ,\alpha \). There is then a single value of *k* for which \(\frac{6k-2}{6\cdot 7^\alpha +6k-5}\) contributes a positive valuation of \(\alpha \) and a single value of *k* for which it contributes a negative valuation of \(r+1\) (parts (2) and (3) of the Lemma). Altogether, the 7-valuation of \(A_0\) equals \(-1\), as claimed. \(\square \)

Since the entire family \(S_n^{(\lambda ,\mu )}(x)\) is monic, it follows that \(\mathrm{ord}_7A_n =0\). Therefore, in order to show that the 7-adic Newton polygon of \(S_{7^\alpha }^{(-1,1)}(x)\) is as claimed, it suffices to show that \(\mathrm{ord}_7A_j \ge 0\) for \(j=1,\dots , 7^{\alpha }-1\). We will obtain this as a corollary to the following sequence of Lemmas.

### Lemma 5

### Proof

This is a simple computation. \(\square \)

*q*be a prime number,

*n*a positive integer, and let \(x \in \mathbf {Z}\) be invertible modulo \(q^n\). Denote by \(i_{q^n}(x)\) the unique representative among the integers \(1,\dots ,q^{n} -1\) of the inverse of

*x*modulo \(q^n\).

### Lemma 6

With all notation as above, we have \(0 \ge \mathrm{ord}_7 \prod _{k=0}^{j-1} \frac{3k+2}{6k+1} \ge -\alpha \).

### Proof

*x*and

*y*are positive real numbers, then we will employ the elementary observation that

### Lemma 7

Let \(\alpha , j \ge 1\). Then \(0 \ge \mathrm{ord}_7 \prod _{k=1}^{j} \frac{6k-2}{6\cdot 7^\alpha + 6k-5} \ge -\alpha -1\).

### Corollary 6

With all notation as above, \(\mathrm{ord}_7 A_j \ge 0\) for \(j=1,\dots 7^\alpha -1\).

### Proof

To recap, since \(S_{7^\alpha }^{(-1,1)}(x)\) is monic we have \(\mathrm{ord}_7 A_n =0\), while Corollary 5 establishes \(\mathrm{ord}_7 A_0= -1\). Corollary 6 then shows \(\mathrm{ord}_7A_j \ge 0\) for all intermediate *j*. Therefore \(S_{7^\alpha }^{(-1,1)}(x)\) is Eisenstein at 7, hence irreducible over \(\mathbf {Q}\).

## Declarations

### Author's contributions

Both authors made substantial contributions to conception of the article as well as all computations, proofs, writing, and final approval of the document. Both authors read and approved the final manuscript.

### Open Access

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

### Acknowledgements

We would like to thank Farshid Hajir for alerting us to reference [1] and Farshid Hajir, Ken Ono, and the anonymous referees for helpful comments.

### Competing interests

The authors declare that they have no competing interests.

## Authors’ Affiliations

## References

- Amdeberhan, T., Moll, V., Straub, A.: The \(p\)-adic valuation of \(k\)-central binomial coefficients. Acta Arith.
**140**, 31–42 (2009)MathSciNetView ArticleMATHGoogle Scholar - Brillhart, J., Morton, P.: Class numbers of quadratic fields, Hasse invariants of elliptic curves, and the supersingular polynomial. J. Number Theory
**106**, 79–111 (2004)MathSciNetView ArticleMATHGoogle Scholar - Coleman, R.: On the Galois groups of exponential Taylor polynomials. Enseign. Math.
**33**, 183–189 (1987)MathSciNetMATHGoogle Scholar - Cullinan, J., Hajir, F.: Algebraic properties of Kaneko-Zagier lifts of supersingular polynomials. To appear in Proceedings of the American Mathematical SocietyGoogle Scholar
- Kaneko, M., Zagier, D.: Supersingular \(j\)-invariants, hypergeometric series, and Atkin’s orthogonal polynomials. Computational perspectives on number theory (Chicago, IL, 1995). AMS/IP Stud. Adv. Math.
**7**, 97–126 (1998)MathSciNetMATHGoogle Scholar - Mahlburg, K., Ono, K.: Arithmetic of certain hypergeometric modular forms. Acta Arith.
**113**(1), 39–55 (2004)MathSciNetView ArticleMATHGoogle Scholar - Schur, I.: Einige Sätze über Primzahlen mit Anwendungen auf Irreduzibilitätsfragen I (1929) Gessammelte Abhandlungen, Band III, vol. 64, pp. 140–151. Springer, Berlin (1973)Google Scholar
- Silverman, J.H.: The arithmetic of elliptic curves. Graduate texts in mathematics, vol. 106. Springer, Berlin (2009)View ArticleGoogle Scholar