alphaFeedback

WorksMathematics

Arithmetic of Jacobi polynomials

AI contributions
  • OpenAI ChatGPT Astra
  • OpenAI Codex
View details

Abstract

We study the arithmetic of Jacobi polynomials. As applications, we prove the Mahlburg–Ono conjecture on the irreducibility and Galois groups of the four Kaneko–Zagier families, and the Cullinan–Hajir conjecture on the Galois groups of Legendre polynomials. Other applications concern common zeros of Jacobi polynomials, harmonic functions on cones, and hyperelliptic Jacobians.

Introduction

The zeros of classical orthogonal polynomials are among the most familiar algebraic numbers in study. Orthogonality places them on a real interval and makes them simple. However, their arithmetic is much less known.

An important class of orthogonal polynomials are Jacobi polynomials. More precisely, we use the normalization

Pn(α,β)(x)=2−n∑j=0n(n+αn−j)(n+βj)(x−1)j(x+1)n−j,n≥0,(1)P_n^{(\alpha,\beta)}(x)=2^{-n}\sum_{j=0}^{n}\binom{n+\alpha}{n-j}\binom{n+\beta}{j}(x-1)^j(x+1)^{n-j},\qquad n\geq0, \tag*{(1)}

where (zj)=z(z−1)⋯(z−j+1)/j!\binom{z}{j}=z(z-1)\cdots(z-j+1)/j! and (z0)=1\binom{z}{0}=1. For α,β>−1\alpha,\beta>-1, this is the degree-nn polynomial with Pn(α,β)(1)=(n+αn)P_n^{(\alpha,\beta)}(1)=\binom{n+\alpha}{n} that is orthogonal to every polynomial of degree less than $n for the weight (1−x)α(1+x)β(1-x)^\alpha(1+x)^\beta on (−1,1)(-1,1). The Legendre polynomials are Pn=Pn(0,0)P_n=P_n^{(0,0)}, so Pn(1)=1P_n(1)=1. We also use Jacobi polynomials outside this orthogonal range in the Galois arguments. Standard identities are collected in [26 Chapter IV] and [22 Chapter 18].

For a nonconstant separable polynomial f∈K[x]f\in K[x], we write Gal⁡(f/K)\operatorname{Gal}(f/K) for the Galois group of its splitting field, acting on its roots. The polynomial is irreducible precisely when this action is transitive.

The irreducibility problem of Legendre polynomials goes back to Stieltjes in 19th century. In his letter to Hermite of 2 October 1890, he asked whether P2mP_{2m} and P2m+1/xP_{2m+1}/x are irreducible over Q\mathbb{Q} [25 Letter 275]; see also [7 §1]. The division by xx removes the zero forced by odd parity. Schur’s work on Hermite and Laguerre polynomials showed how coefficient valuations can determine factorization and Galois groups [24]. For Legendre polynomials, Wahab obtained substantial infinite families of irreducible examples by Newton polygons [27]. Related questions for Bessel polynomials were settled through the work of Filaseta and Filaseta–Trifonov [13, 14].

Deng has recently proved Stieltjes’ conjecture in every degree [10 Theorem 1.1]. His argument compares the real size of a factor resultant with the size permitted by its pp-adic valuations. This comparison is our starting point. We first give it a common Jacobi form, then develop the arithmetic estimates needed for the different parameter families. The Galois arguments use another local input: ramification at suitable primes produces long cycles on the roots. The interaction of these two methods is also what gives the results on higher derivatives and number fields.

Galois groups

The first family in our consideration comes from modular forms. Kaneko and Zagier constructed polynomials over Q\mathbb{Q} whose reductions at suitable primes describe the supersingular jj-invariants of elliptic curves [18]. After an affine change of variable and normalization, their Jacobi factors give the four families

Pn(λ/3,μ/2),λ,μ∈{−1,1}P_n^{(\lambda/3,\mu/2)}, \qquad\lambda,\mu\in\{-1,1\}

[8 Eq. (3)]. Thus their rational factorization describes the algebraic relations among the characteristic-zero lifts of these modular zeros.

Theorem 1.1 (The Mahlburg–Ono conjecture). For every n≥1n \ge1 and λ,μ∈{−1,1}\lambda,\mu\in\{-1,1\}, Pn(λ/3,μ/2)P_n^{(\lambda/3,\mu/2)} is irreducible over Q\mathbb{Q} and

Gal⁡(Pn(λ/3,μ/2)/Q)=Sn.\operatorname{Gal}(P_n^{(\lambda/3,\mu/2)}/\mathbb{Q}) = S_n.

Mahlburg and Ono conjectured both assertions in 2004 and proved irreducibility in infinitely many degrees [19 p. 40 and Theorem 1.1]. Cullinan and Hajir proved further infinite families and established the implication from irreducibility to SnS_n through modular index ℓ≤109\ell\le10^9 [8 Theorems 1.8–1.9]. Cullinan and Gajek-Leonard studied the associated Newton polygons [6]. Theorem 1.1 treats all four families in every positive degree. In § 6.4 we will give the precise normalization and explain the relation with modular differential equations. Appendix A gives stronger local irreducibility statements in prime-power degrees and in degrees 5⋅3a5 \cdot3^a.

For Legendre polynomials, the symmetry of the zeros determines the largest possible group. Write

L2m+δ(x)=P2m+δ(x)/xδ,m≥1,δ∈{0,1}.L_{2m+\delta}(x) = P_{2m+\delta}(x)/x^\delta, \qquad m \ge1,\quad\delta\in\{0,1\}.

The 2m2m roots occur in opposite pairs. Every Galois automorphism preserves these pairs, so the group is contained in

Wm=C2≀Sm=F2m⋊Sm.W_m = C_2 \wr S_m = \mathbb{F}_2^m \rtimes S_m.

Here SmS_m permutes the pairs and F2m\mathbb{F}_2^m independently exchanges the two members of each pair. Deng’s theorem gives transitivity of the group action. Our next result determines all these permutations.

Theorem 1.2 (The Legendre Galois groups). For every m≥1m \ge1 and δ∈{0,1}\delta\in\{0,1\},

Gal⁡(P2m+δ(x)/xδ/Q)=Wm.\operatorname{Gal}(P_{2m+\delta}(x)/x^\delta/\mathbb{Q}) = W_m.

This proves both parts of [7 Conjecture 1.5]: the induced group on the pairs is SmS_m, and the kernel of this action is all of F2m\mathbb{F}_2^m. Cullinan and Hajir proved the first part, conditional on irreducibility, through reduced degree 10910^9 [7 Theorem 1.9(a)]. Our argument removes that bound and determines the kernel in every degree.

Integral parameters

Now we consider parameters (α,β)(\alpha,\beta) of Jacobi polynomials to be integers.

Theorem 1.3. Fix distinct nonnegative integers a,ba,b. There is an effectively computable integer N(a,b)N(a,b) such that, for every n≥N(a,b)n \ge N(a,b), Pn(a,b)P_n^{(a,b)} is irreducible over Q\mathbb{Q} and has Galois group SnS_n.

Moreover, for every fixed number field EE, splitting field of Pn(a,b)P_n^{(a,b)} is linearly disjoint from EE over Q\mathbb{Q} for all sufficiently large nn, effectively in a,b,Ea,b,E. Consequently the polynomial remains irreducible over EE with group SnS_n.

The restriction to sufficiently large degree is necessary, for example, take P2(4,1)(x)=3x(3x+2)P_2^{(4,1)}(x) = 3x(3x+2). Also, one can note that negative integral parameters give endpoint factors. After removing them, the same conclusion holds for each fixed integral pair with unequal absolute values (Corollary 6.1). In our statements the degree varies and the parameters are fixed, while the Jacobi families studied in [9] have a different variation: the degree is fixed and a rational parameter varies.

Equal parameters connect the problem to derivatives. Define the Gegenbauer polynomials by

(1−2xt+t2)−λ=∑j≥0Cjλ(x)tj.(1-2xt+t^2)^{-\lambda} = \sum_{j \ge0} C_j^\lambda(x)t^j.

For an integer r≥0r \ge0, the polynomial Cnr+1/2C_n^{r+1/2} is a nonzero rational multiple of Pn(r,r)P_n^{(r,r)} [22 (18.7.1)], and

drdxrPn+r(x)=(2r−1)!! Cnr+1/2(x),(2r−1)!!=∏j=1r(2j−1).(2)\frac{d^r}{dx^r}P_{n+r}(x)=(2r-1)!!\,C_n^{r+1/2}(x),\qquad(2r-1)!!=\prod_{j=1}^{r}(2j-1). \tag*{(2)}

The empty product is 1. A single superscript Pℓ(r)P_\ell^{(r)} will denote a derivative; two superscripts denote Jacobi parameters. After removing the zero forced by parity, put

Fm,r,δ(x)=C2m+δr+1/2(x)xδ,m≥1,δ∈{0,1}.(3)F_{m,r,\delta}(x)=\frac{C_{2m+\delta}^{r+1/2}(x)}{x^\delta},\qquad m\ge1,\quad\delta\in\{0,1\}. \tag*{(3)}

This polynomial has degree 2m2m in xx. All irreducibility assertions for Fm,r,δF_{m,r,\delta} refer to that full degree.

Theorem 1.4. For integers r≥0r \ge0, m≥1m \ge1, and δ∈{0,1}\delta\in\{0,1\}, the polynomial Fm,r,δF_{m,r,\delta} is irreducible over Q\mathbb{Q} whenever

m≥max⁡{100r,1000}.m\ge\max\{100r,1000\}.

There is also an effective absolute integer M0M_0 such that the same conclusion holds whenever m≥max⁡{8r,M0}m\ge\max\{8r,M_0\}.

The conclusion is uniform in the parameter: the derivative order may grow with mm. In particular, the second assertion covers every 0≤r≤m/80 \le r \le m/8 once mm exceeds one absolute threshold. For derivative orders r=0r=0 and r=1r=1, the conclusion holds without any restriction on mm.

Theorem 1.5. For every m≥1m \ge1, the polynomials

P2m(x),P2m+1(x)/x,P2m+1′(x),P2m+2′(x)/xP_{2m}(x),\qquad P_{2m+1}(x)/x,\qquad P'_{2m+1}(x),\qquad P'_{2m+2}(x)/x

are irreducible over Q\mathbb{Q}.

The first two assertions are Deng’s theorem [10]. The last two say that the nonzero critical points of each Legendre polynomial PℓP_\ell, ℓ≥3\ell\ge3, form a single rational Galois orbit. Rolle’s theorem places these critical points between consecutive zeros; the arithmetic assertion makes them conjugate over Q\mathbb{Q}. It also gives a common-zero theorem: distinct members of {Pℓ,Pℓ′:ℓ≥1}\{P_\ell,P'_\ell:\ell\ge1\} have no common nonzero root (Corollary 6.2). This extends Deng’s common-zero result for the Legendre polynomials themselves [11].

Rational parameters

We consider parameters (α,β)(\alpha,\beta) to be rational with certain conditions. One can observe that local ramification determines the Galois group on almost all roots even when irreducibility of the whole polynomial is not known. The condition below concerns the reduced denominators of the parameters and their sum. It ensures that the relevant Jacobi coefficients have one long Newton edge at suitably chosen primes.

Theorem 1.6. Fix α=a/u\alpha=a/u and β=b/v\beta=b/v in lowest terms, with u,v>0u,v>0, and let DD be the reduced denominator of α+β\alpha+\beta. Assume

D is even,D≥max⁡{u,v},α,β∉{−1,−2,…}.D\ \text{is even},\qquad D\ge\max\{u,v\},\qquad\alpha,\beta\notin\{-1,-2,\ldots\}.

For all sufficiently large nn, fn=Pn(α,β)f_n=P_n^{(\alpha,\beta)} has a unique monic irreducible factor hnh_n of degree Mn>n/2M_n>n/2, with

Gal⁡(hn/Q)=SMn,n−Mn=Oα,β,A(n(log⁡n)A)for every fixed A>0.\operatorname{Gal}(h_n/\mathbb{Q})=S_{M_n},\qquad n-M_n=O_{\alpha,\beta,A}\left(\frac{n}{(\log n)^A}\right)\quad\text{for every fixed }A>0.

Write fn=κnhngnf_n=\kappa_nh_ng_n, with gng_n monic and κn∈Q×\kappa_n\in\mathbb{Q}^{\times}. The splitting fields of hnh_n and gng_n are linearly disjoint over Q\mathbb{Q}, and restriction gives

Gal⁡(fn/Q)=SMn×Gal⁡(gn/Q).(4)\operatorname{Gal}(f_n/\mathbb{Q})=S_{M_n}\times\operatorname{Gal}(g_n/\mathbb{Q}). \tag*{(4)}

References

  1. [1]M. L. Agranovsky, On a problem of injectivity for the Radon transform on a paraboloid, Contemp. Math. 251 (2000), 1–14. doi:10.1090/conn/251/03856.DOI
  2. [2]M. L. Agranovsky and Y. Krasnov, Quadratic divisors of harmonic polynomials in ℝⁿ, J. Anal. Math. 82 (2000), 379–395. doi:10.1007/BF02791236.
  3. [3]M. A. Bennett, G. Martin, K. O’Bryant, and A. Rechnitzer, Explicit bounds for primes in arithmetic progressions, Illinois J. Math. 62 (2018), no. 1–4, 427–532. doi:10.1215/ijm/1562442669.arxiv.org/abs/1802.00085
  4. [4]K. Besrour, H. Saber, and A. Sebbar, Hasse–Bertrand, Jacobi pole divisors, and supersingular lifts, preprint, 2026, arXiv:2508.10788v3.
  5. [5]J. Brillhart and P. Morton, Class numbers of quadratic fields, Hasse invariants of elliptic curves, and the supersingular polynomial, J. Number Theory 106 (2004), no. 1, 79–111. doi:10.1016/j.jnt.2004.01.006.DOI
  6. [6]J. Cullinan and R. Gajek-Leonard, On the Newton polygons of Kaneko–Zagier lifts of supersingular polynomials, Res. Number Theory 2 (2016), article 34. doi:10.1007/s40993-016-0064-4.
  7. [7]J. Cullinan and F. Hajir, On the Galois groups of Legendre polynomials, Indag. Math. (N.S.) 25 (2014), no. 3, 534–552. doi:10.1016/j.indag.2014.01.004.
  8. [8]J. Cullinan and F. Hajir, Algebraic properties of Kaneko–Zagier lifts of supersingular polynomials, Proc. Amer. Math. Soc. 145 (2017), no. 6, 2291–2304. doi:10.1090/proc/13212.
  9. [9]J. Cullinan, F. Hajir, and E. Sell, Algebraic properties of a family of Jacobi polynomials, J. Théor. Nombres Bordeaux 21 (2009), no. 1, 97–108. doi:10.5802/jtnb.659.
  10. [10]Z. Deng, A proof of the irreducibility conjecture for Legendre polynomials, preprint, 2026, arXiv:2609.22336v2.arxiv.org/abs/2609.22336
  11. [11]Z. Deng, A proof of the common root conjecture for Legendre polynomials, arXiv:2609.22330v1.arxiv.org/abs/2609.22330
  12. [12]P. Dusart, Estimates of some functions over primes without R.H., arXiv:1002.0442 (2010).arxiv.org/abs/1002.0442
  13. [13]M. Filaseta, The irreducibility of all but finitely many Bessel polynomials, Acta Math. 174 (1995), no. 2, 383–397. doi:10.1007/BF02392470.DOI
  14. [14]M. Filaseta and O. Trifonov, The irreducibility of the Bessel polynomials, J. reine angew. Math. 550 (2002), 125–140. doi:10.1515/crll.2002.069.DOI
  15. [15]J. E. Greilhuber, Quadratic cones on which few harmonic functions vanish, Int. Math. Res. Not. IMRN 2025, no. 16, rn af246. doi:10.1093/imrn/rnaf246.DOI
  16. [16]D. Hanson, On the product of the primes, Canad. Math. Bull. 15 (1972), no. 1, 33–37. doi:10.4153/CMB-1972-007-7.DOI
  17. [17]G. A. Jones, Primitive permutation groups containing a cycle, Bull. Aust. Math. Soc. 89 (2014), no. 1, 159–165. doi:10.1017/S000497271300049X.DOI
  18. [18]M. Kaneko and D. Zagier, Supersingular j-invariants, hypergeometric series, and Atkin’s orthogonal polynomials, in Computational perspectives on number theory (Chicago, IL, 1995), AMS/IP Stud. Adv. Math., vol. 7, Amer. Math. Soc., Providence, RI, 1998, pp. 97–126. doi:10.1090/amsip/007/05.
  19. [19]K. Mahlburg and K. Ono, Arithmetic of certain hypergeometric modular forms, Acta Arith. 113 (2004), no. 1, 39–55. doi:10.4064/aa113-1-4.DOI
  20. [20]D. Mangoubi and A. Weller Weiser, Harmonic functions vanishing on a cone, Israel J. Math. 230 (2019), no. 2, 563–581. doi:10.1007/s11856-018-1823-9.
  21. [21]H. L. Montgomery and R. C. Vaughan, The large sieve, Mathematika 20 (1973), no. 2, 119–134. doi:10.1112/S0255579300004708.
  22. [22]F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds., NIST Digital Library of Mathematical Functions, release 1.2.8, 15 September 2026, https://dlmf.nist.gov/.
  23. [23]H. Render, Harmonic divisors and rationality of zeros of Jacobi polynomials, Ramanujan J. 31 (2013), no. 3, 257–270. doi:10.1007/s11139-013-9475-1.DOI
  24. [24]I. Schur, Affektlose Gleichungen in der Theorie der Laguerreschen und Hermiteschen Polynome, J. reine angew. Math. 165 (1931), 52–58. doi:10.1515/crll.1931.165.52.DOI
  25. [25]T. J. Stieltjes, Letter no. 275 to C. Hermite, 2 October 1890, in B. Baillaud and H. Bourget, eds., Correspondance d’Hermite et de Stieltjes, tome II, Gauthier-Villars, Paris, 1905, pp. 104–106.
  26. [26]G. Szegő, Orthogonal Polynomials, fourth ed., Amer. Math. Soc. Colloq. Publ. 23, American Mathematical Society, Providence, RI, 1975. doi:10.1090/coll/023.
  27. [27]J. H. Wahab, New cases of irreducibility for Legendre polynomials, Duke Math. J. 19 (1952), no. 1, 165–176. doi:10.1215/S0012-7094-52-01917-0.DOI
  28. [28]Yu. G. Zarhin, Very simple 2-adic representations and hyperelliptic Jacobians, Mosc. Math. J. 2 (2002), no. 2, 403–431. doi:10.17323/1609-4514-2002-2-2-403-431.DOI

Paper details

vlnc:W_m6997hkw
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 5

downloads · 2

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

OpenAI ChatGPT Astra, OpenAI Codex · View statement →

Looking for related papers…
Contents