alphaFeedback

WorksMathematics

Uniform irreducibility and Galois groups of generalized Laguerre polynomials

AI contributions
  • OpenAI ChatGPT Astra
View details

Abstract

We prove that the generalized Laguerre polynomial Hn,sH_{n,s} is irreducible over Q\mathbb Q and has Galois group containing AnA_n for every positive integer ss, once nn exceeds an effective absolute constant. Equivalently, every numerator and denominator in the exponential Padé table has these properties once its own degree is sufficiently large. The exceptional positive integral pairs form an effectively computable finite set. The proof combines integral traces at degenerate fibers, Padé resultants, and an energy inequality for Galois-invariant positive semidefinite forms on the roots.

Introduction

A classical theorem of Schur [43] states that the exponential Taylor polynomial

En(X)=∑j=0nXjj!E_n(X) = \sum_{j=0}^{n} \frac{X^j}{j!}

is irreducible over Q\mathbb{Q} for every n≥1n \ge1. One also can determine its Galois group: it is AnA_n when 4∣n4 \mid n and SnS_n otherwise [44] (see also [10]).

In fact, Schur family occurs among the generalized Laguerre polynomials. More precisely, we use the monic normalization

Hn,s(X)=∑k=0n(nk)(s)kXn−k,(s)0=1,(s)k=s(s+1)⋯(s+k−1).(1)H_{n,s}(X) = \sum_{k=0}^{n} \binom{n}{k} (s)_k X^{n-k}, \qquad(s)_0 = 1, \qquad(s)_k = s(s+1)\cdots(s+k-1). \tag*{(1)}

Here nn is a nonnegative integer and ss may be complex; in particular, H0,s=1H_{0,s} = 1. Our main arithmetic results concern positive integers n,sn,s, for which Hn,s∈Z[X]H_{n,s} \in\mathbb{Z}[X]. It is also a generalization of Bessel polynomials (see [26]):

yn(X)=∑j=0n(n+j)!(n−j)! j!(X2)j.y_n(X) = \sum_{j=0}^{n} \frac{(n+j)!}{(n-j)!\,j!}\left(\frac{X}{2}\right)^j.

Filaseta proved yny_n is irreducible over Q\mathbb{Q} for all sufficiently large nn in 1995 [21]. After that, together with Trifonov, they proved the result for every nn [24].

Note that the two classical families are the specializations

Hn,1(X)=n!En(X),Hn,n+1(X)=Xnyn(2/X).(2)H_{n,1}(X) = n!E_n(X), \qquad H_{n,n+1}(X) = X^n y_n(2/X). \tag*{(2)}

The second identity uses the usual normalization of the Bessel polynomial [40 (18.34.1)]. Multiplication by a nonzero rational constant and the reciprocal substitution in (2) preserve irreducibility and splitting fields.

Hajir proposed extending these arithmetic properties to every positive integral pair (n,s)(n,s) [29 Conjectures 1.1–1.2]. His first conjecture asserts that every Hn,sH_{n,s} is irreducible over Q\mathbb{Q}. His second asserts that, whenever Hn,sH_{n,s} is irreducible, its Galois group contains AnA_n. We prove both assertions in all sufficiently large degrees, with an effective degree bound independent of ss, and show that the remaining exceptional pairs form an effectively computable finite set.

Uniform arithmetic

For positive integers n,sn,s, write Gn,s=Gal⁡(Hn,s/Q)G_{n,s}=\operatorname{Gal}(H_{n,s}/\mathbb{Q}) for the Galois group in its action on the roots. These roots are distinct, and the action is transitive exactly when Hn,sH_{n,s} is irreducible over Q\mathbb{Q}.

Theorem 1.1. There is an effectively computable absolute integer NN such that

n≥N,s∈Z≥1⟹Hn,s is irreducible over QandAn≤Gn,s.n \ge N,\qquad s \in\mathbb{Z}_{\ge1}\quad\Longrightarrow\quad H_{n,s}\text{ is irreducible over }\mathbb{Q}\quad\text{and}\quad A_n\le G_{n,s}.

The bound is uniform in the parameter: ss may grow arbitrarily with nn. Thus the theorem applies to every sequence s=s(n)s=s(n) of positive integers. Proposition 3.21 proves irreducibility. Theorem 4.28 proves alternating containment for irreducible members, with a second effective degree bound independent of ss.

Corollary 1.2. The set of positive integral pairs (n,s)(n,s) for which Hn,sH_{n,s} is reducible or An≰Gn,sA_n\not\le G_{n,s} is finite and effectively computable.

For reducibility, the fixed-degree bound is explicit:

Hn,s reducible,n≥2⟹s<⌊n24⌋n.(3)H_{n,s}\text{ reducible},\qquad n\ge2\quad\Longrightarrow\quad s<\left\lfloor\frac{n^2}{4}\right\rfloor^n. \tag*{(3)}

For irreducible specializations with smaller Galois group, a decomposition-group criterion at infinity permits an effective application of Runge’s theorem. Combining these fixed-degree results with Theorem 1.1 proves the corollary in Section 5. The exceptional set has not been enumerated, and we do not prove that it is empty. Thus the result gives uniform eventual forms of Hajir’s conjectures and an effective finite reduction of their all-degree forms.

Earlier work controls complementary parts of the parameter plane. Hajir proved both conclusions for each fixed ss and all sufficiently large nn [29 Theorem 1.3]. Jindal–Laishram–Sarma gave the explicit sufficient condition

r=s−1≥2,n>exp⁡(r(1+1.2762log⁡r)).r=s-1\ge2,\qquad n>\exp\left(r\left(1+\frac{1.2762}{\log r}\right)\right).

and proved both conclusions in every degree for 1≤s≤611\le s\le61 [32 Theorems 1.1–1.2]. The published theorem of Jindal–Nair–Shorey extends that interval to 1≤s≤931\le s\le93 and proves the Galois assertion, conditional on irreducibility, for 94≤s≤10194\le s\le101 [33]. Jindal–Laishram studied the neighboring Bessel lines n≤s≤n+4n\le s\le n+4 [31]. In the other direction, Hajir–Wong proved that for each fixed n≥5n\ge5, all but finitely many rational parameters give irreducibility and alternating containment [30 Theorem 1(a)]; the finiteness there is ineffective [29 Corollary 6.2 and the following remark]. Finiteness on each fixed row and column does not exclude infinitely many exceptional pairs with both coordinates unbounded. Theorem 1.1 excludes such pairs.

The fixed-parameter results for Ln(α)L_n^{(\alpha)}, where

Hn,s(X)=(−1)nn!Ln(−n−s)(X).(4)H_{n,s}(X)=(-1)^n n!L_n^{(-n-s)}(X). \tag*{(4)}

with α∈Q∖Z<0\alpha\in\mathbb{Q}\setminus\mathbb{Z}_{<0} have a different scope: Filaseta–Lam proved eventual irreducibility, and Hajir proved eventual alternating containment [22 Theorem 1][28 Theorem 1.1]. Here α=−n−s\alpha=-n-s varies with the degree and is a negative integer. For the Bessel specialization, the irreducibility theorem of Filaseta–Trifonov and Grosswald’s criterion give SnS_n in every degree [24][27 Chapter 12, Theorem 1].

Root geometry and the proof

A root theorem valid for every n≥2n \ge2 supplies the complex estimates in the arithmetic proof. Fix n≥2n \ge2, continue a root or a conjugate pair of Hn,sH_{n,s} along s>0s > 0, and write q(s)q(s) for its modulus. Classical annular estimates for generalized Bessel polynomials locate these roots [6]. The next theorem also describes their motion.

Theorem 1.3. For every such branch there is a unique finite, absolutely continuous, nonnegative measure μ\mu on [0,n−1][0,n-1] such that

q(s)=s+∫0n−1ss+t dμ(t)(s>0).q(s)=s+\int_{0}^{n-1}\frac{s}{s+t}\,d\mu(t) \qquad(s>0).

If ξ≥0\xi\ge0 is the corresponding absolute Hermite zero, characterized by α(s)=−s+iξs+O(1)\alpha(s)=-s+i\xi\sqrt{s}+O(1) as s→+∞s \to+\infty for the upper-half-plane root (and ξ=0\xi=0 for the real root), then

μ([0,n−1])=n−13+ξ26.\mu([0,n-1])=\frac{n-1}{3}+\frac{\xi^2}{6}.

For every integer r≥1r \ge1 and every s>0s>0,

(−1)r−1drdsr(q(s)−s)>0.(-1)^{r-1}\frac{d^r}{ds^r}(q(s)-s)>0.

Here the Hermite polynomials have the probabilists’ normalization, specified in (23). Theorem 2.5, Corollary 2.6, and Proposition A.2 prove the statement and identify the exact support of each measure. In particular, q−sq-s is strictly increasing and strictly concave, and is a complete Bernstein function. Castillo obtains related complete Bernstein representations for scaled ultraspherical zeros [9]; the present representation concerns complex Laguerre roots in the range α<−n\alpha<-n.

Outline of the proof. The proof separates three possibilities: a rational factor, an imprimitive action on the roots, and a primitive Galois group not containing AnA_n. Integral traces and one energy inequality control factors and invariant partitions. Local permutations handle the remaining primitive groups.

First, a tridiagonal realization and Fan’s variational principle [20] give the strict trace estimate

∣Re⁡∑i=1d(αi+s)∣<d(n−d)(0<d<n).(5)\left|\operatorname{Re}\sum_{i=1}^{d}(\alpha_i+s)\right|<d(n-d)\qquad(0<d<n). \tag*{(5)}

The centered trace of a rational factor is therefore an integer in a bounded interval independent of ss. At s=0,−1,−2,−3s=0,-1,-2,-3, at most three roots are nonzero. Reduction at these four fibers restricts the trace to finitely many subset sums. For every n≥2n \ge2, a reducible member consequently has

rad⁡((s+i)(s+j))<n6for some 0≤i<j≤3.\operatorname{rad}((s+i)(s+j))<n^6\qquad\text{for some }0\le i<j\le3.

Matveev’s theorem [38] then gives log⁡s<nε\log s<n^\varepsilon for every fixed ε>0\varepsilon>0 and all effectively sufficiently large nn. Theorem 2.12 isolates this argument for general monic families; Theorem 2.15 gives the all-degree bound, including rational parameters.

Second, we attach to a factor or an invariant partition a Galois-invariant positive semidefinite matrix QQ with Q1=0Q\mathbf{1}=0. At a finite place, a cluster of roots contributes a nonnegative squared difference between its actual and expected occupation. The product formula compares the sum of these local contributions with complex logarithmic energy. The root-modulus representation supplies the complex bounds uniformly in ss. For factors, the energy estimate and a nonzero Padé resultant give incompatible restrictions on the factor degree. The resulting contradiction proves uniform irreducibility.

For the Galois group, local permutations first exclude primitive groups not containing AnA_n. The partition energy and trace bounds then reduce imprimitivity to a partition into two blocks. The stabilizer of a block fixes a quadratic field. The real quadratic case is controlled by traces. In the imaginary quadratic case, we construct integral functions whose block sums are small and whose first nonzero Laurent terms distinguish the blocks. The underlying interpolation theorem identifies a cyclic intermediate field as the obstruction to prescribing Laurent coefficients. Hermite expansions and Gaussian quadrature provide the quantitative bounds needed after specialization. The last contradiction uses a criterion for large prime valuations at nearby integers. The primitive-group step uses Burness–Guralnick [7]; this is the only input to the main theorem that uses the classification of finite simple groups.

Consequences and related families

The exponential Padé table. The same question has a natural formulation in rational approximation. For a,b≥0a,b \ge0, let Aa,b/Ba,bA_{a,b}/B_{a,b} be the Padé approximant of type [a/b][a/b] to eXe^X, normalized by Aa,b(0)=Ba,b(0)=1A_{a,b}(0)=B_{a,b}(0)=1. Thus

deg⁡Aa,b=a,deg⁡Ba,b=b,Ba,b(X)eX−Aa,b(X)=O(Xa+b+1).\deg A_{a,b}=a,\qquad\deg B_{a,b}=b,\qquad B_{a,b}(X)e^X-A_{a,b}(X)=O(X^{a+b+1}).

Its numerator and denominator are

Aa,b(X)=b!(a+b)!Ha,b+1(X),Ba,b(X)=a!(a+b)!Hb,a+1(−X).(6)A_{a,b}(X)=\frac{b!}{(a+b)!}H_{a,b+1}(X),\qquad B_{a,b}(X)=\frac{a!}{(a+b)!}H_{b,a+1}(-X). \tag*{(6)}

Cullinan–Scheel used these identities to study diagonal approximants and special cases of irreducibility [11]. The boundary b=0b=0 gives the exponential Taylor polynomials, and the diagonal a=ba=b gives the Bessel polynomials.

Corollary 1.4. For the absolute constant NN in Theorem 1.1, Aa,bA_{a,b} is irreducible over Q\mathbb{Q} with Galois group containing AaA_a whenever a≥Na\ge N, for every b≥0b\ge0. Likewise, Ba,bB_{a,b} is irreducible with Galois group containing AbA_b whenever b≥Nb\ge N, for every a≥0a\ge0.

Proof. Apply Theorem 1.1 to (6). Multiplication by a nonzero rational constant and X↦−XX\mapsto-X preserve irreducibility and splitting fields. □

This is an equivalent form of the main theorem: the required bound depends only on the degree of the numerator or denominator being studied. It also applies to the exponential family in [41 Question 1.3 and Theorem 1.4].

The symmetric and alternating cases. Schur’s discriminant formula [45 p. 54, (7)], in the present normalization, is

Δn,s=(−1)n(n−1)/2∏j=2njj(s+n−j)j−1.(7)\Delta_{n,s}=(-1)^{n(n-1)/2}\prod_{j=2}^{n}j^{j}(s+n-j)^{j-1}. \tag*{(7)}

References

  1. [1]P. Banerjee and R. Bera, Classifying families of orthogonal polynomials having Galois group the alternating group, J. Number Theory 240 (2022), 31–49. doi:10.1016/j.jnt.2021.12.009.DOI
  2. [2]P. Banerjee, M. Filaseta, C. E. Finch and J. R. Leidy, On classifying Laguerre polynomials which have Galois group the alternating group, J. Théor. Nombres Bordeaux 25 (2013), no. 1, 1–30. doi:10.5802/jtnb.822.DOI
  3. [3]L. Bary-Soroker and O. Ben-Porath, On the Galois theory of generalized Laguerre polynomials and trimmed exponential, Acta Arith. 200 (2021), no. 2, 183–196. doi:10.4064/aa200825-7-3.
  4. [4]L. Bary-Soroker and B. Kadets, Generic Manin–Mumford, preprint (2026), arXiv:2609.09354.
  5. [5]J. Borcea and P. Brändén, Pólya–Schur master theorems for circular domains and their boundaries, Ann. of Math. (2) 170 (2009), 465–492. doi:10.4007/annals.2009.170.465.DOI
  6. [6]M. G. de Bruin, E. B. Saff, and R. S. Varga, On the zeros of generalized Bessel polynomials. I, Indag. Math. (Proceedings) 84 (1981), no. 1, 1–13. doi:10.1016/1385-7258(81)90013-5.DOI
  7. [7]T. C. Burness and R. M. Guralnick, Fixed point ratios for finite primitive groups and applications, Adv. Math. 411 (2022), 108778. doi:10.1016/j.aim.2022.108778.DOI
  8. [8]G. Butler and J. McKay, The transitive groups of degree up to eleven, Comm. Algebra 11 (1983), no. 8, 863–911. doi:10.1080/00927878308822884.DOI
  9. [9]K. Castillo, Complete Bernstein functions and scaled ultraspherical zeros, preprint (2026), arXiv:2609.18186.
  10. [10]R. F. Coleman, On the Galois groups of the exponential Taylor polynomials, Enseign. Math. (2) 33 (1987), no. 3–4, 183–189. doi:10.5169/seals-87891.DOI
  11. [11]J. Cullinan and N. Scheel, On the arithmetic of Padé approximants to the exponential function, J. Ramanujan Math. Soc. 37 (2022), no. 3, 207–219. https://www.mathjournals.org/jrms/2022-037-003/2022-037-003-001.html.
  12. [12]Z. Deng, A proof of the irreducibility conjecture for Legendre polynomials, preprint (2026), arXiv:2609.22336.arxiv.org/abs/2609.22336
  13. [13]J. D. Dixon and B. Mortimer, Permutation Groups, Graduate Texts in Mathematics, vol. 163, Springer, New York, 1996. doi:10.1007/978-1-4612-0731-3.
  14. [14]P. Dusart, Explicit estimates of some functions over primes, Ramanujan J. 45 (2018), no. 1, 227–251. doi:10.1007/s11139-016-9839-4.
  15. [15]P. Dusart, Estimates of some functions over primes without R.H., preprint (2010), arXiv:1002.0442.arxiv.org/abs/1002.0442
  16. [16]P. Erdős, On consecutive integers, Nieuw Arch. Wisk. (3) 3 (1955), 124–128.
  17. [17]P. Erdős and J. L. Selfridge, The product of consecutive integers is never a power, Illinois J. Math. 19 (1975), no. 2, 292–301. https://users.renyi.hu/~p_erdos/1975-46.pdf.DOI
  18. [18]P. Erdős and J. R. Turán, Products of integers in short intervals, Acta Arith. 44 (1984), no. 2, 147–174. doi:10.4064/aa-44-2-147-174.DOI
  19. [19]G. Faltings, Endlichkeitssätze für abelsche Varietäten über Zahlkörpern, Invent. Math. 73 (1983), 349–366. doi:10.1007/BF01388432.
  20. [20]K. Fan, On a theorem of Weyl concerning eigenvalues of linear transformations. I, Proc. Natl. Acad. Sci. USA 35 (1949), no. 11, 652–655. doi:10.1073/pnas.35.11.652.
  21. [21]M. Filaseta, The irreducibility of all but finitely many Bessel polynomials, Acta Math. 174 (1995), no. 2, 383–397. doi:10.1007/BF02392470.DOI
  22. [22]M. Filaseta and T.-Y. Lam, On the irreducibility of the generalized Laguerre polynomials, Acta Arith. 105 (2002), no. 2, 177–182. doi:10.4064/aa105-2-4.DOI
  23. [23]M. Filaseta, S. Laishram, and N. Saradha, Solving n(n + d) · · · (n + (k − 1)d) = by² with P(b) ≤ Ck, Int. J. Number Theory 8 (2012), 161–173. doi:10.1142/S1793042112500091.DOI
  24. [24]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
  25. [25]K. Ford, The distribution of integers with a divisor in a given interval, Ann. of Math. (2) 168 (2008), no. 2, 367–433. doi:10.4007/annals.2008.168.367.DOI
  26. [26]E. Grosswald, On some algebraic properties of the Bessel polynomials, Trans. Amer. Math. Soc. 71 (1951), no. 2, 197–210. doi:10.1090/S0002-9947-1951-0053280-2.DOI
  27. [27]E. Grosswald, Bessel Polynomials, Lecture Notes in Mathematics, vol. 698, Springer, Berlin–New York, 1978. doi:10.1007/BFb0063135.DOI
  28. [28]F. Hajir, On the Galois group of generalized Laguerre polynomials, J. Théor. Nombres Bordeaux 17 (2005), 517–525. doi:10.5802/jtnb.505.
  29. [29]F. Hajir, Algebraic properties of a family of generalized Laguerre polynomials, Canad. J. Math. 61 (2009), no. 3, 583–603. doi:10.4153/CJM-2009-031-6.DOI
  30. [30]F. Hajir and S. Wong, Specializations of one-parameter families of polynomials, Ann. Inst. Fourier (Grenoble) 56 (2006), no. 4, 1127–1163. doi:10.5802/aif.2208.DOI
  31. [31]A. Jindal and S. Laishram, Galois groups of Laguerre polynomials with alternating group as Galois group, J. Number Theory 241 (2022), 387–429. doi:10.1016/j.jnt.2022.04.001.DOI
  32. [32]A. Jindal, S. Laishram, and R. Sarma, Irreducibility and Galois groups of generalized Laguerre polynomials L_n^{(-1−n)}(x), J. Number Theory 183 (2018), 388–406. doi:10.1016/j.jnt.2017.08.003.
  33. [33]A. Jindal, S. G. Nair, and T. N. Shorey, Extension of irreducibility results on generalized Laguerre polynomials L_n^{(-n−s−1)}(x), Publ. Math. Debrecen 105 (2024), no. 3–4, 473–494. doi:10.5486/PMD.2024.9906.
  34. [34]A. Levin, Variations on a theme of Runge: effective determination of integral points on certain varieties, J. Théor. Nombres Bordeaux 20 (2008), no. 2, 385–417. doi:10.5802/jtnb.634.DOI
  35. [35]D. Lombardo, On the ℓ-adic Galois representations attached to nonsimple abelian varieties, Ann. Inst. Fourier (Grenoble) 66 (2016), no. 3, 1217–1245. doi:10.5802/aif.3035.DOI
  36. [36]J. H. Loxton, Some problems involving powers of integers, Acta Arith. 46 (1986), no. 2, 113–123. doi:10.4064/aa-46-2-113-123.DOI
  37. [37]A. W. Marcus, D. A. Spielman, and N. Srivastava, Finite free convolutions of polynomials, Probab. Theory Related Fields 182 (2022), 807–848. doi:10.1007/s00440-021-01105-w.DOI
  38. [38]E. M. Matveev, An explicit lower bound for a homogeneous rational linear form in the logarithms of algebraic numbers, II, Izv. Math. 64 (2000), no. 6, 1217–1269. doi:10.1070/IM2000v064n06ABEH000314.
  39. [39]J. Nagura, On the interval containing at least one prime number, Proc. Japan Acad. 28 (1952), no. 4, 177–181. doi:10.3792/pja/1195570997.DOI
  40. [40]NIST Digital Library of Mathematical Functions, Chapter 18, Orthogonal Polynomials, especially §§18.5, 18.7–18.8, 18.9, and 18.34. https://dlmf.nist.gov/18 (accessed 4 November 2026).
  41. [41]P. Rabarison, F. Pazuki, and P. Molin, Exponentielle tronquée et autres contes galoisiens, Publ. Math. Besançon Algèbre Théor. Nombres (2024), 105–117. doi:10.5802/pmb.57.
  42. [42]J. B. Rosser and L. Schoenfeld, Approximate formulas for some functions of prime numbers, Illinois J. Math. 6 (1962), no. 1, 64–94. doi:10.1215/ijm/1255631807.DOI
  43. [43]I. Schur, Einige Sätze über Primzahlen mit Anwendungen auf Irreduzibilitätsfragen. I, Sitzungsber. Preuss. Akad. Wiss., Phys.-Math. Kl. (1929), 125–136.
  44. [44]I. Schur, Gleichungen ohne Affekt, Sitzungsber. Preuss. Akad. Wiss., Phys.-Math. Kl. (1930), 443–449.
  45. [45]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
  46. [46]C. L. Stewart, On heights of multiplicatively dependent algebraic numbers, Acta Arith. 133 (2008), no. 2, 97–108. doi:10.4064/aa133-2-1.DOI
  47. [47]Y. 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
  48. [48]Y. G. Zarhin, Homomorphisms of hyperelliptic Jacobians, Proc. Steklov Inst. Math. 241 (2003), 79–92. https://www.mathnet.ru/eng/tm389.arxiv.org/abs/math/0301173

Paper details

vlnc:W_dyr3s3yt
v1 · latestHistory (1)

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

added ·

Usage

views · 0

downloads · 0

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 · View statement →

Looking for related papers…
Contents