Abstract
For an odd prime p, let \({{\,\textrm{E}\,}}_{p}(X)=\sum _{n=0}^{\infty } a_{n}X^{n}\in {\mathbb {F}}_p[[X]]\) denote the reduction modulo p of the Artin-Hasse exponential series. It is known that there exists a series \(G(X^p)\in {\mathbb {F}}_{p}[[X]]\), such that \(L_{p-1}^{(-T(X))}(X)={{\,\textrm{E}\,}}_{p}(X)\cdot G(X^p)\), where \(T(X)=\sum _{i=1}^{\infty }X^{p^{i}}\) and \(L_{p-1}^{(\alpha )}(X)\) denotes the (generalized) Laguerre polynomial of degree \(p-1\). We prove that \(G(X^p)=\sum _{n=0}^{\infty }(-1)^n a_{np}X^{np}\), and show that it satisfies \( G(X^p)\,G(-X^p)\,T(X)=X^p. \)
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let p be a prime. The Artin-Hasse exponential series is the formal power series in \({\mathbb {Q}}[[X]]\) defined as
As an immediate application of the Dieudonné-Dwork criterion, its coefficients are p-integral, hence they can be evaluated modulo p. Let \({{\,\textrm{E}\,}}_{p}(X)=\sum a_{n}X^{n}\) denote the reduction modulo p of the Artin-Hasse exponential series, hence viewed as a series in \({\mathbb {F}}_p[[X]]\).
The series \({{\,\textrm{E}\,}}_{p}(X)\) satisfies a weak version of the functional equation \(\exp (X)\exp (Y)=\exp (X+Y)\) of the classical exponential series \(\exp (X)=\sum X^k/k!\) in characteristic zero. In fact, it was shown in [7, Theorem 2.2] that each term of the series \(({{\,\textrm{E}\,}}_{p}(X+Y))^{-1}\,{{\,\textrm{E}\,}}_{p}(X)\,{{\,\textrm{E}\,}}_{p}(Y)\) has degree a multiple of p. This weak functional equation satisfied by \({{\,\textrm{E}\,}}_{p}(X)\) is the crucial property needed for a grading switching technique developed in [7], whose goal is producing a new grading of a non-associative algebra A in characteristic p from a given grading. Roughly speaking, the new grading of A is obtained by applying \({{\,\textrm{E}\,}}_{p}(D)\) to each homogeneous components of the given grading, where D is a nilpotent derivation of A satisfying a certain compatibility condition with the grading. In full generality, that is for arbitrary derivations, the grading switching was developed in [3]. The toral switching (see [5, 10] and [9]), a fundamental tool in the classification theory of simple modular Lie algebras, can be recovered as a special case of it.
In this Introduction we limit ourselves to a brief survey of the definitions and the results which are essential for the purposes of this paper, referring the reader to Sect. 2 for further details, and the interested reader to [3] and [2] for full details. In the general case of the grading switching, the role of the Artin-Hasse exponential is played by the (generalized) Laguerre polynomials of degree \(p-1\),
regarded as polynomials in \({\mathbb {F}}_{p}[\alpha ,X]\). These polynomials satisfy a congruence which can be interpreted as a further generalization of the weak functional equation satisfied by \({{\,\textrm{E}\,}}_{p}(X)\). The main result of [8] then implies that the power series
in \(1+X{\mathbb {F}}_{p}[[X]]\), satisfies \(S(X)=E_{p}(X)\cdot G(X^p)\) for some series \(G(X)\in 1+X{\mathbb {F}}_{p}[[X]]\). Our main result is to determine the coefficients of the series G(X) in terms of those of \({{\,\textrm{E}\,}}_{p}(X)\). We separately deal with the case \(p=2\) in Remark 7. When p is an odd prime we have the following.
Theorem 1
Let p be an odd prime, and let \({{\,\textrm{E}\,}}_{p}(X)=\sum _{n=0}^{\infty } a_{n}X^{n}\) in \({\mathbb {F}}_{p}[[X]]\) be the reduction modulo p of the Artin-Hasse exponential series. Then
and
in \({\mathbb {F}}_{p}[[X]]\).
As an immediate consequence of Theorem 1 we have the following result.
Proposition 2
Let p be an odd prime and \({{\,\textrm{E}\,}}_{p}(X)=\sum _{i=0}^{\infty } a_{i}X^{i}\) in \({\mathbb {F}}_{p}[[X]]\) the reduction modulo p of the Artin-Hasse exponential series. Then in \({\mathbb {F}}_{p}[[X]]\) we have the identity
Proposition 2 can equivalently be phrased in the following form involving the series \(\sum _{p\mid k}X^k/k!\) in place of the Artin-Hasse series.
Proposition 3
For any odd prime p, in \({\mathbb {Q}}[[X]]\) we have
Despite its appearance, the left-hand side of the congruence of Proposition 3 has p-integral coefficients, which justifies viewing it modulo p. This variant does not seem to offer any more direct proof than deducing it from Proposition 2, which we will do in Sect. 3.
As a final application of Theorem 1, we use properties of the Laguerre polynomials to produce explicit expressions for the coefficients \(a_n\), with \(0\le n<p^2\), in terms of coefficients in the same range but with n multiple of p. We denote by \({n \brack i}\) the (unsigned) Stirling numbers of the first kind.
Proposition 4
For \(0\le k<p\) and \(0\le r<p\) we have
where \(c_{jp}=a_{jp}\) for \(0\le j <p-1\) and \(c_{(p-1)p}=a_{(p-1)p}+1\).
We present proofs of our results in Sect. 3.
2 Preliminaries
Let \({\mathbb {Z}}_{p}\) denote the ring of p-adic integers, where p is any prime, and write
The coefficients \(u_{n}\) satisfy the recursive formula (see [6, Lemma 1])
where \(u_{0}=1\) and we naturally read \(u_{m}=0\) for \(m<0\), which easily follows from differentiating Eq. (5).
Our interest lies exclusively in prime characteristic p. Denote by \({{\,\textrm{E}\,}}_{p}(X)=\sum a_{n}X^n \in {\mathbb {F}}_{p}[[X]]\) the reduction modulo p of the Artin-Hasse exponential series, hence \(a_n \equiv u_n\) modulo p. As mentioned in the Introduction, \({{\,\textrm{E}\,}}_{p}(X)\) satisfies a functional equation which is a weak version of the fundamental equation \(\exp (X)\exp (Y)=\exp (X+Y)\) for the classical exponential series \(\exp (X)=\sum X^k/k!\) in characteristic zero. Namely, as shown in the proof of [7, Theorem 2.2], we have
in \({\mathbb {F}}_{p}[[X,Y]\), for some coefficients \(a_{i,j}\in {\mathbb {F}}_{p}\) which vanish unless \(p\;\vert \;i+j\). The functional Eq. (7) actually characterizes the series \({{\,\textrm{E}\,}}_{p}(X)\) in \({\mathbb {F}}_{p}[[X]]\), up to some natural variations. Precisely, we quote from [8] the following
Theorem 5
([8]) For a series \(S(X)\in 1+X{\mathbb {F}}_{p}[[X]]\), the series
has only terms of total degree a multiple of p if and only if
for some \(c\in {\mathbb {F}}_{p}\) and \(G(X)\in 1+X{\mathbb {F}}_{p}[[X]]\).
The classical (generalized) Laguerre polynomial of degree \(n \ge 0\) is defined as
where \(\alpha \) is a parameter, usually in the complex field. However, we may also view \(L_{n}^{(\alpha )}(X)\) as a polynomial with rational coefficients in the two indeterminates \(\alpha \) and X, hence in the polynomial ring \({\mathbb {Q}}[\alpha ,X]\). We are only interested in the Laguerre polynomials of degree \(n=p-1\). Their coefficients are p-integral, and hence can be evaluated modulo p. In particular, \(L_{p-1}^{(\alpha )}(X)\) will be viewed as a polynomial in \({\mathbb {F}}_p[\alpha ,x]\), and as such will be given by Eq. (1). Note that, for \(\alpha =0\), \(L_{p-1}^{(0)}(X)\) equals the truncated exponential \({{\,\textrm{E}\,}}(X)=\sum _{k=0}^{p-1}X^k/k!\), which in turns is congruent to \({{\,\textrm{E}\,}}_{p}(X)\) modulo \(X^p\).
The Laguerre polynomials \(L_{p-1}^{(\alpha )}(X)\) satisfy a congruence which can be interpreted as a further generalization of Eq. (7). Indeed, it follows from [3, Proposition 2] (but see also [4, Theorem 1] for a streamlined statement) that there exist rational expressions \(c_{i}(\alpha ,\beta )\in {\mathbb {F}}_{p}(\alpha ,\beta )\) such that
in \({\mathbb {F}}_{p}(\alpha ,\beta )[X,Y]\), modulo the ideal generated by \(X^p-(\alpha ^p-\alpha )\) and \(Y^p-(\beta ^p-\beta )\). This congruence actually characterizes the polynomials \(L_{p-1}^{(\alpha )}(X)\) among those in \({\mathbb {F}}_{p}[\alpha ][X]\), up to some natural variations, as proved in [4, Theorem 3].
In the rest of the paper we let S(X) denote the power series in \(1+X{\mathbb {F}}_{p}[[X]]\) defined as
According to [2, Proposition 6] to which we refer for details, Eq. (8) implies that \((S(X+Y))^{-1}S(X)S(Y)\) has only terms of degree divisible by p. According to Theorem 5, since \(S(X)\equiv L_{p-1}^{(0)}(X)={{\,\textrm{E}\,}}(X)\equiv {{\,\textrm{E}\,}}_{p}(X)\) modulo \(X^p\), we have
for some G(X) in \(1+X{\mathbb {F}}_{p}[[X]]\). Equivalently, we have
for some \(F(X)=1/G(X)\) in \(1+X{\mathbb {F}}_{p}[[X]]\). Our Theorem 1 produces explicit expressions for \(G(X^p)\) and \(F(X^p)\).
3 Proofs
In this section we prove Theorem 1, Proposition 2 and Proposition 4. We will need the following special instance of Eq. (8).
Lemma 6
([1, Lemma 10]) In the polynomial ring \({\mathbb {F}}_{p}[\alpha ,X]\) we have
Note that \(L_{p-1}^{(\alpha )}(0)=\left( {\begin{array}{c}\alpha -1\\ p-1\end{array}}\right) =1-\alpha ^{p-1}=L_{p-1}^{(-\alpha )}(0)\).
Proof of Theorem 1
From Eq. (9) and the fact that \({{\,\textrm{E}\,}}_{p}(X){{\,\textrm{E}\,}}_{p}(-X)=1\) (for p odd) we deduce
where \(T(X)=\sum _{i=1}^{\infty }X^{p^i}\). To fix notation we set \(G(X^p)=\sum _{n=0}^{\infty }b_{np}X^{np}\). Setting \(\alpha =-T(X)\) in Lemma 6 we find \( S(X)\cdot S(-X) =1-T(X)^{p-1} \). In more formal terms we have applied to the congruence the ring homomorphism of \({\mathbb {F}}_{p}[\alpha ,X]\) to \({\mathbb {F}}_p[[X]]\) which maps \(\alpha \) to \(-T(X)\), noting that the modulus \(X-(\alpha ^p-\alpha )\) belongs to its kernel. Consequently, \(T(X)\cdot S(X)\cdot S(-X)=X^p\), because \(T(X)-T(X)^p=X^p\), and hence
Now we are only interested in the terms of this equation where the exponent of X is a multiple of p. In the case of \(S(-X)=L_{p-1}^{(T(X))}(-X)\) the collection of such terms equals
in \({\mathbb {F}}_p(X)\). Because \(T(X)-T(X)^p= X^p\) we conclude
which is equivalent to Eq. (2).
To prove Eq. (3) we proceed in a similar way, starting from \(S(X)\cdot F(X^p)={{\,\textrm{E}\,}}_{p}(X)\) in \({\mathbb {F}}_{p}[[X]]\). Setting \(F(X^p)=\sum _{n=0}^{\infty }c_{np}X^{np}\) we have
Restricting to powers of X with exponent a multiple of p in each side we obtain
which is equivalent to Eq. (3). \(\square \)
Remark 7
Although Theorem 1 does not extend to \(p=2\) as stated, a replacement for Eq. (3) is easily found directly. Indeed, \(L_{1}^{(\alpha )}(X)=1+\alpha +X\) and the recursive formula Eq. (6) implies \( a_{2n}=a_{2n+1}+\sum _{i=1}^{\infty }a_{2n+1-2^{i}} \) for every integer n, where \(a_{n}=0\) for \(n<0\). Hence,
Thus, when \(p=2\) Eq. (10) holds with \(F(X^2)=\sum _{n=0}^{\infty }a_{2n+1}X^{2n}\).
Theorem 1 immediately implies Proposition 2.
Proof of Proposition2
Our goal can be restated as
Now \(G(X^p)\,G(-X^p)=S(X)\,S(-X)=1-T(X)^{p-1}\), as we deduced from Lemma 6 at the beginning of the proof of Theorem 1. The conclusion follows because \(G(X^p)=\sum _{r=0}^{\infty }(-1)^ra_{rp}X^{rp}\) according to Theorem 1. \(\square \)
Deducing Proposition 3 from Proposition 2 requires the technique of series multisection.
Proof of Proposition 3
In terms of \(e_p(X) =\sum _{p\mid k}X^k/k!\), our goal becomes the congruence
from the equation
in \({\mathbb {F}}_p[[X]]\). We have \( e_p(X) =(1/p)\sum _{\omega ^p=1}\exp (\omega X), \) where the sum is over all complex pth roots of unity \(\omega \).
Because of the equation
our series \(G(-X^p)\) equals the reduction modulo p of \(e_p(X){{\,\textrm{AH}\,}}(X^p)^{1/p}\). Consequently, for p odd, the product \(G(X^p)\,G(-X^p)\) equals the reduction modulo p of
which simplifies to \(e_p(X)\,e_p(-X)\). Note that \(e_p(X){{\,\textrm{AH}\,}}(X^p)^{1/p}\) belongs to \({\mathbb {Z}}_p[[X]]\) because \({{\,\textrm{AH}\,}}(X)\) does. Hence so does \(e_p(X)\,e_p(-X)\). \(\square \)
Denote by \(y^{{\overline{n}}}=y(y+1)\cdots (y+n-1)\) the rising factorial. The (unsigned) Stirling number of the first kind \({n \brack i}\), for \(0\le i \le n\), may be defined by the polynomial identity \(y^{{\overline{n}}}=\sum _{i=0}^{n} {n \brack i} y^i\) in \({\mathbb {Z}}[y]\).
Proof of Proposition 4
In view of working modulo \(X^{p^2}\), because S(X) is congruent with \(L_{p-1}^{(-X^{p})}(X)\), we expand the latter as
where we have used the standard identity \(\sum _{t=m}^{n}{n \brack t}\left( {\begin{array}{c}t\\ m\end{array}}\right) ={n+1 \brack m+1}\).
Because of Eq. (10) we have \(L_{p-1}^{(-X^{p})}(X)F(X^p)\equiv {{\,\textrm{E}\,}}_{p}(X)\pmod {X^{p^2}}\), where \(F(X^p)=\sum _{r=0}^{\infty }c_{rp}X^{rp}\) for some \(c_{np}\in {\mathbb {F}}_{p}\). Comparing this with
completes the proof. Note that the equation in the statement implicitly includes a definition of the coefficients \(c_{jp}\) when \(k=0\). \(\square \)
Remark 8
The coefficients \(u_n\in {\mathbb {Q}}\) of the Artin-Hasse series may be computed recursively from Eq. (6). When n is not a multiple of p, the recursive equation may be read modulo p, and hence applied directly to the coefficients \(a_n\). Writing \(n=rp+k\), with \(0\le k<p\), a recursive application of Eq. (6) shows that \(a_{rp+k}\) may eventually be computed from the coefficients \(a_{ip}\) for \(i<r\). Proposition 4 provides an explicit form for the final result of that process.
References
Avitabile, M., Mattarei, S.: A generalized truncated logarithm. Aequationes Math. 93(4), 711–734 (2019)
Avitabile, M., Mattarei, S.: Grading switching for modular non-associative algebras. Lie algebras and related topics. Contemp. Math. Am. Math. Soc. 625, 1–14 (2015)
Avitabile, Marina, Mattarei, Sandro: Laguerre polynomials of derivations. Israel J. Math. 205(1), 109–126 (2015)
Avitabile, Marina, Mattarei, Sandro: Generalized finite polylogarithms. Glasgow Math. J. 63(1), 66–80 (2021)
Block, R.E., Wilson, R.L.: The simple Lie \(p\)-algebras of rank two. Ann. of Math. 115(1), 93–168 (1982)
Kanesaka, Kiyomi, Sekiguchi, Koji: Representation of Witt vectors by formal power series and its applications. Tokyo J. Math. 2(2), 349–370 (1979)
Mattarei, Sandro: Artin-Hasse exponentials of derivations. J. Algebra 294(1), 1–18 (2005)
Mattarei, Sandro: Exponential functions in prime characteristic. Aequationes Math. 71(3), 311–317 (2006)
Premet, A.A.: Cartan subalgebras of Lie \(p\)-algebras. Izv. Akad. Nauk SSSR Ser. Mat. 50(4), 788-800-878–879 (1986)
Winter, D.J.: On the toral structure of Lie \(p\)-algebras. Acta Math. 123, 69–81 (1969)
Funding
Open access funding provided by Università degli Studi di Milano - Bicocca within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Contributions
Both authors contributed jointly and equally to the paper.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Avitabile, M., Mattarei, S. The Artin-Hasse series and Laguerre polynomials modulo a prime. Aequat. Math. (2023). https://doi.org/10.1007/s00010-023-00996-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00010-023-00996-5