## Holonomic Modules in Positive Characteristic

### Anatoly N. Kochubei * * Partially supported by CRDF under Grant UM1-2567-OD-03 Institute of Mathematics, National Academy of Sciences of Ukraine, Tereshchenkivska 3, Kiev, 01601 Ukraine E-mail: kochubei@i.com.ua

Abstract
We study modules over the Weyl-Carlitz ring, a counterpart of the Weyl algebra in analysis over local fields of positive characteristic. It is shown that some basic objects of function field arithmetic, like the Carlitz module, Thakur's hypergeometric polynomials, and analogs of binomial coefficients arising in the function field version of umbral calculus, generate holonomic modules. Key words: $\mathbb{F}q$  -linear function; holonomic module; holonomic function; Carlitz derivative

1 INTRODUCTION

The theory of holonomic modules over the Weyl algebra and more general algebras of differential or $q$  -difference operators is becoming increasingly important, both as a crucial part of the general theory of D-modules and in view of various applications (see, for example, [1, 6, 10, 22). Well-known pathological properties of differential operators over fields of positive characteristic make the available, for this case, analogs of the theory of D-modules much more complicated [3, 19. More importantly, the resulting structures are not connected with the existing analysis in positive characteristic based on a completely different algebraic foundation.
Any non-discrete locally compact field of a positive characteristic $p$  is isomorphic to the field $K$  of formal Laurent series with coefficients from the Galois field $\mathbb{F}q$  , $q={p}^{\nu }$  , $\nu \in {\mathbb{Z}}_{+}$  . The field $K$  is endowed with a non-Archimedean absolute value as follows. If $z\in K$  , $z={\sum }_{i=m}^{\infty }{\zeta }_{i}{x}^{i},m\in \mathbb{Z},{\zeta }_{i}\in \mathbb{F}q,{\zeta }_{m}\ne 0,$  then $|z|={q}^{-m}$  . This valuation can be extended onto the field $\overline{K}c$  , the completion of an algebraic closure of $K$  .
Analysis over $K$  and $\overline{K}c$  , which was initiated in the great paper by Carlitz [5and developed subsequently by Wagner, Goss, Thakur, the author, and many others (see the bibliography in [9, 25) is very different from the classical calculus. An important feature is the availability of many non-trivial additive (actually, $\mathbb{F}q$  -linear) polynomials and power series of the form $u\left(t\right)=\sum {a}_{k}{t}^{{q}^{k}}$  .
Taking into account the fact that the usual factorial $i!$  , seen as an element of $K$  , vanishes for $i\ge p$  , Carlitz introduced the new factorial
 $\begin{array}{c}{D}_{i}=\left[i\right]\left[i-1{\right]}^{q}\dots \left[1{\right]}^{{q}^{i-1}},\left[i\right]={x}^{{q}^{i}}-x\left(i\ge 1\right),{D}_{0}=1,\end{array}$ (1)
the $\mathbb{F}q$  -linear logarithm and exponential (which obtained a wide generalization later, in the theory of Drinfeld modules), as well as an important polynomial system, the Carlitz polynomials. Subsequently many other $\mathbb{F}q$  -linear special functions, such as Thakur's hypergeometric function [23, 24, 25and further special polynomial systems, were introduced and investigated. The difference operator
 $\begin{array}{c}\Delta u\left(t\right)=u\left(xt\right)-xu\left(t\right)\end{array}$ (2)
introduced in [5became the main ingredient of the $\mathbb{F}q$  -linear calculus and analytic theory of differential equations over $K$  developed in [13, 14, 15. The role of a derivative is played by the $\mathbb{F}q$  -linear operator $d=\sqrt[q]{}\circ \Delta$  (the Carlitz derivative). The latter appears also in the $\mathbb{F}q$  -linear umbral calculus [16where an important role belongs to the following new analog of binomial coefficients
 $\begin{array}{c}\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}=\frac{{D}_{k}}{{D}_{m}{D}_{k-m}^{{q}^{m}}},0\le m\le k.\end{array}$ (3)
The meaning of a polynomial coefficient in a differential equation of the above type is not a usual multiplication by a polynomial, but the action of a polynomial in the Frobenius operator $\tau$  , $\tau u={u}^{q}$  .
The above developments show that in the positive characteristic case a natural counterpart of the Weyl algebra is, for the case of a single variable, the ring ${\mathfrak{A}}_{1}$  generated by $\tau ,d$  , and scalars from $\overline{K}c$  , with the relations [12
 $\begin{array}{c}d\tau -\tau d=\left[1{\right]}^{1/q},\tau \lambda ={\lambda }^{q}\tau ,,d\lambda ={\lambda }^{1/q}d\left(\lambda \in \overline{K}c\right).\end{array}$ (4)
Some algebraic properties of ${\mathfrak{A}}_{1}$  were studied in [14– it is left and right Noetherian, with no zero divisors, its center coincides with $\mathbb{F}q$  .
The aim of this paper is to initiate the dimension theory for modules over ${\mathfrak{A}}_{1}$  and more general “several variable” rings. The definition of the latter is not straightforward. If, for example, we consider the natural action of the Carlitz derivatives ${d}_{s}$  and ${d}_{t}$  on an $\mathbb{F}q$  -linear monomial $f\left(s,t\right)={s}^{{q}^{m}}{t}^{{q}^{n}}$  , we notice immediately that ${d}_{s}^{m}f$  is not a polynomial, nor even a holomorphic function in $t$  , if $m>n$  (since the action of $d$  is not linear and involves taking the $q$  -th root). Moreover, it follows from the relation $d\left({s}^{{q}^{m}}\right)=\left[m{\right]}^{1/q}{s}^{{q}^{m-1}}$  and the last commutation relation in (4) that ${d}_{s}$  and ${d}_{t}$  do not commute even on monomials $f$  with $m  .
A reasonable generalization is inspired by Zeilberger's idea (see [6) to study holonomic properties of sequences of functions making a transform with respect to the discrete variables, which reduces the continuous-discrete case to the purely continuous one (simultaneously in all the variables). In our situation, if $\left\{{P}_{k}\left(s\right)\right\}$  is a sequence of $\mathbb{F}q$  -linear polynomials with $deg{P}_{k}\le {q}^{k}$  , we set $f\left(s,t\right)={\sum }_{k=0}^{\infty }{P}_{k}\left(s\right){t}^{{q}^{k}},$  and ${d}_{s}$  is well-defined. In the variable $t$  , we consider not ${d}_{t}$  but the linear operator ${\Delta }_{t}$  . The latter does not commute with ${d}_{s}$  either, but satisfies the commutation relations ${d}_{s}{\Delta }_{t}-{\Delta }_{t}{d}_{s}=\left[1{\right]}^{1/q}{d}_{s},{\Delta }_{t}\tau -\tau {\Delta }_{t}=\left[1\right]\tau ,$  so that the resulting ring ${\mathfrak{A}}_{2}$  resembles a universal enveloping algebra of a solvable Lie algebra.
Similarly we define ${\mathfrak{A}}_{n+1}$  for $n>1$  .
Introducing in ${\mathfrak{A}}_{n+1}$  an analog of the Bernstein filtration and considering filtered modules over ${\mathfrak{A}}_{n+1}$  , we find that basic principles of the theory of algebraic D-modules [7carry over to this case without serious complications. However, the nonlinearity of $\tau$  and $d$  brings new phenomena. In particular, already the ring ${\mathfrak{A}}_{1}$  possesses non-trivial finite-dimensional representations. Therefore an analog of the Bernstein inequality does not hold here without some additional assumptions.
The case we study in a greater detail is that of holonomic submodules of the ${\mathfrak{A}}_{n+1}$  -module of $\mathbb{F}q$  -linear functions $u\left(s,{t}_{1},\dots ,{t}_{n}\right)$  , polynomial in $s$  and holomorphic near the origin in ${t}_{1},\dots ,{t}_{n}$  .
Following [6we call a function $f$  holonomic if such is the module ${\mathfrak{A}}_{n+1}f$  . We prove general conditions for a function $f$  to be holonomic and verify them for basic objects of this branch of analysis – the Carlitz polynomials, Thakur's hypergeometric polynomials, and the $K$  -binomial coefficients (3), making the above transition (*) from discrete variables to continuous ones.
Considering the $K$  -binomial coefficients we use this occasion to prove also the fact that they belong to the ring of integers not only for the field $K$  , but for any place of the global function field $\mathbb{F}q\left(x\right)$  . Together with the results of [16, this property supports the case for considering the expressions (3) as “proper” analogs of the classical binomial coefficients. For other analogs of the latter see [25.

2 The Weyl-Carlitz Ring

2.1. Denote by ${\mathcal{ℱ}}_{n+1}$  the set of all germs of functions of the form
 $\begin{array}{c}f\left(s,{t}_{1},\dots ,{t}_{n}\right)={\sum }_{{k}_{1}=0}^{\infty }\dots {\sum }_{{k}_{n}=0}^{\infty }{\sum }_{m=0}^{min\left({k}_{1},\dots ,{k}_{n}\right)}{a}_{m,{k}_{1},\dots ,{k}_{n}}{s}^{{q}^{m}}{t}_{1}^{{q}^{{k}_{1}}}\dots {t}_{n}^{{q}^{{k}_{n}}}\end{array}$ (5)
where ${a}_{m,{k}_{1},\dots ,{k}_{n}}\in \overline{K}c$  are such that all the series are convergent on some neighbourhoods of the origin. We do not exclude the case $n=0$  where ${\mathcal{ℱ}}_{1}$  will mean the set of all $\mathbb{F}q$  -linear power series ${\sum }_{m}{a}_{m}{s}^{{q}^{m}}$  convergent on a neighbourhood of the origin. ${\stackrel{^}{\mathcal{ℱ}}}_{n+1}$  will denote the set of all polynomials from ${\mathcal{ℱ}}_{n+1}$  , that is the series (5) in which only a finite number of coefficients is different from zero.
The ring ${\mathfrak{A}}_{n+1}$  is generated by the operators $\tau ,{d}_{s},{\Delta }_{{t}_{1}},\dots {\Delta }_{{t}_{n}}$  on ${\mathcal{ℱ}}_{n+1}$  defined in the Introduction, and the operators of multiplication by scalars from $\overline{K}c$  . To simplify the notation, we will write ${\Delta }_{j}$  instead of ${\Delta }_{{t}_{j}}$  and identify a scalar $\lambda \in \overline{K}c$  with the operator of multiplication by $\lambda$  . The operators ${\Delta }_{j}$  are $\overline{K}c$  -linear, so that
 $\begin{array}{c}{\Delta }_{j}\lambda =\lambda {\Delta }_{j},\lambda \in \overline{K}c,\end{array}$ (6)
while the operators $\tau ,{d}_{s}$  satisfy the commutation relations (4). In the action of each operator ${d}_{s},{\Delta }_{j}$  (acting in a single variable), other variables are treated as scalars. The operator $\tau$  acts simultaneously on all the variables and coefficients, so that $\tau f=\sum {a}_{m,{k}_{1},\dots ,{k}_{n}}^{q}{s}^{{q}^{m+1}}{t}_{1}^{{q}^{{k}_{1}+1}}\dots {t}_{n}^{{q}^{{k}_{n}+1}}.$  It follows from (2) that
 $\begin{array}{c}{\Delta }_{j}{t}_{j}^{{q}^{k}}=\left\{\begin{array}{cc}\left[k\right]{t}_{j}^{{q}^{k}},& \text{if}k\ge 1\text{};\\ 0,& \text{if}k=0\text{};\end{array}\end{array}$ (7)
the second equality can be included in the first one, if we set $\left[0\right]=0$  . Similarly
 $\begin{array}{c}{d}_{s}{s}^{{q}^{m}}=\left[m{\right]}^{1/q}{s}^{{q}^{m-1}},m\ge 0.\end{array}$ (8)
Since $|\left[m\right]|={q}^{-1}$  for any $m\ge 1$  , the action of operators from ${\mathfrak{A}}_{n+1}$  does not spoil convergence of the series (5).
The identity $\left[k+1\right]-\left[k{\right]}^{q}=\left[1\right]$  , together with (7) and (8), implies the commutation relations
 $\begin{array}{c}{\Delta }_{j}\tau -\tau {\Delta }_{j}=\left[1\right]\tau ,{d}_{s}{\Delta }_{j}-{\Delta }_{j}{d}_{s}=\left[1{\right]}^{1/q}{d}_{s},j=1,\dots ,n,\end{array}$ (9)
verified by applying both sides of each equality to an arbitrary monomial.
Using the commutation relations (4), (6), and (9), we can write any element $a\in {\mathfrak{A}}_{n+1}$  as a finite sum
 $\begin{array}{c}a=\sum {c}_{l,\mu ,{i}_{1},\dots ,{i}_{n}}{\tau }^{l}{d}_{s}^{\mu }{\Delta }_{1}^{{i}_{1}}\dots {\Delta }_{n}^{{i}_{n}}.\end{array}$ (10)
Proposition 1. The representation (10) of an element $a\in {\mathfrak{A}}_{n+1}$  is unique.
Proof. Suppose that
 $\begin{array}{c}{\sum }_{l,\mu ,{i}_{1},\dots ,{i}_{n}}{c}_{l,\mu ,{i}_{1},\dots ,{i}_{n}}{\tau }^{l}{d}_{s}^{\mu }{\Delta }_{1}^{{i}_{1}}\dots {\Delta }_{n}^{{i}_{n}}=0.\end{array}$ (11)
Applying the left-hand side of (11) to the function $s{t}_{1}^{{q}^{{k}_{1}}}\dots {t}_{n}^{{q}^{{k}_{n}}}$  with ${k}_{1},\dots ,{k}_{n}>0$  we find that ${\sum }_{l}\left({\sum }_{{i}_{1},\dots ,{i}_{n}}{c}_{l,0,{i}_{1},\dots ,{i}_{n}}\left[{k}_{1}{\right]}^{{i}_{1}{q}^{l}}\dots \left[{k}_{n}{\right]}^{{i}_{n}{q}^{l}}\right){s}^{{q}^{l}}{t}_{1}^{{q}^{{k}_{1}+l}}\dots {t}_{n}^{{q}^{{k}_{n}+l}}=0$  whence ${\sum }_{{i}_{1},\dots ,{i}_{n}}{c}_{l,0,{i}_{1},\dots ,{i}_{n}}\left[{k}_{1}{\right]}^{{i}_{1}{q}^{l}}\dots \left[{k}_{n}{\right]}^{{i}_{n}{q}^{l}}=0$  for each $l$  . Writing this in the form
 $\begin{array}{c}{\sum }_{{i}_{n}}\rho \left({i}_{n}\right){y}^{{i}_{n}}=0\end{array}$ (12)
where $\rho \left({i}_{n}\right)={\sum }_{{i}_{1},\dots ,{i}_{n-1}}{c}_{l,0,{i}_{1},\dots ,{i}_{n}}\left[{k}_{1}{\right]}^{{i}_{1}{q}^{l}}\dots \left[{k}_{n-1}{\right]}^{{i}_{n-1}{q}^{l}},y=\left[{k}_{n}{\right]}^{{q}^{l}},$  and taking into account that (12) holds for arbitrary ${k}_{n}\ge 1$  , that is for an infinite set of values of $y$  , we find that $\rho \left({i}_{n}\right)=0$  . Repeating this reasoning we get the equality ${c}_{l,0,{i}_{1},\dots ,{i}_{n}}=0$  for all $l,0,{i}_{1},\dots ,{i}_{n}$  .
Suppose that ${c}_{l,\mu ,{i}_{1},\dots ,{i}_{n}}=0$  for $\mu \le {\mu }_{0}$  and arbitrary $l,{i}_{1},\dots ,{i}_{n}$  . Then we apply the left-hand side of (11) to the function ${s}^{{q}^{{\mu }_{0}+1}}{t}_{1}^{{q}^{{k}_{1}}}\dots {t}_{n}^{{q}^{{k}_{n}}}$  and proceed as before coming to the equality ${c}_{l,{\mu }_{0}+1,{i}_{1},\dots ,{i}_{n}}=0$  for all $l,{i}_{1},\dots ,{i}_{n}$  . $■$  It is easy to prove by induction with respect to $n$  (using the commutation relations (9) and the result from [14regarding the case $n=0$  ) that ${\mathfrak{A}}_{n+1}$  has no zero-divisors.
2.2. Let us introduce a filtration in ${\mathfrak{A}}_{n+1}$  denoting by ${\Gamma }_{\nu }$  , $\nu \in {\mathbb{Z}}_{+}$  , the $\overline{K}c$  -vector space of operators (10) with $max\left\{l+\mu +{i}_{1}+\cdots +{i}_{n}\right\}\le \nu$  where the maximum is taken over all the terms contained in the representation (10). It is clear that ${\mathfrak{A}}_{n+1}$  is a filtered ring (for the definitions see [20). Setting ${T}_{0}=\overline{K}c$  , ${T}_{\nu }={\Gamma }_{\nu }/{\Gamma }_{\nu -1}$  , $\nu \ge 1$  , we introduce the associated graded ring $gr\left({\mathfrak{A}}_{n+1}\right)={\oplus }_{\nu =0}^{\infty }{T}_{\nu }.$  It is generated by scalars $\lambda \in {T}_{0}$  and the images $\overline{\tau },{\overline{d}}_{s},{\overline{\Delta }}_{1},\dots ,{\overline{\Delta }}_{n}\in {T}_{1}$  of the elements $\tau ,{d}_{s},{\Delta }_{1},\dots ,{\Delta }_{n}\in {\Gamma }_{1}$  respectively, which satisfy, by virtue of (4), (6), and (9), the relations
${\overline{d}}_{s}\overline{\tau }-\overline{\tau }{\overline{d}}_{s}=0,\overline{\tau }\lambda ={\lambda }^{q}\overline{\tau },{\overline{d}}_{s}\lambda ={\lambda }^{1/q}{\overline{d}}_{s},{\overline{d}}_{s}{\overline{\Delta }}_{j}-{\overline{\Delta }}_{j}{\overline{d}}_{s}=0,{\overline{\Delta }}_{j}\overline{\tau }-\overline{\tau }{\overline{\Delta }}_{j}=0,{\overline{\Delta }}_{j}\lambda =\lambda {\overline{\Delta }}_{j}\left(j=1,\dots ,n\right).$
It is clear that ${\mathfrak{A}}_{n+1}$  is a (left and right) almost normalizing extension of the field $\overline{K}c$  (see Chapter 1, §6 in [20), so that the rings ${\mathfrak{A}}_{n+1}$  and $gr\left({\mathfrak{A}}_{n+1}\right)$  are left and right Noetherian. Let us compute the dimension of the $\overline{K}c$  -vector space ${\Gamma }_{\nu }$  . Note that $dim{\Gamma }_{\nu }=dim{\oplus }_{j=1}^{\nu }{T}_{j},$  so that $dim{\Gamma }_{\nu }$  coincides with the dimension of the appropriate space appearing in the natural filtration in $gr\left({\mathfrak{A}}_{n+1}\right)$  .
Lemma 1. For any $\nu \in \mathbb{N}$  $dim{\Gamma }_{\nu }=\left(\genfrac{}{}{0}{}{\nu +n+2}{n+2}\right).$
Proof. The number $dim{\Gamma }_{\nu }$  coincides with the number of non-negative integral solutions $\left(l,\mu ,{i}_{1},\dots ,{i}_{n}\right)$  of the inequality $l+\mu +{i}_{1}+\cdots +{i}_{n}\le \nu$  , so that $dim{\Gamma }_{\nu }={\sum }_{j=0}^{\nu }N\left(j,n+2\right)$  where $N\left(j,k\right)$  is the number of different representations of $j$  as sums of $k$  non-negative integers.
It is known (Proposition 6.1 in [17) that $N\left(j,k\right)=\left(\genfrac{}{}{0}{}{j+k-1}{k-1}\right)$  . Then (see Sect. 1.3 from [21) $dim{\Gamma }_{\nu }={\sum }_{j=0}^{\nu }\left(\genfrac{}{}{0}{}{j+n+1}{n+1}\right)={\sum }_{i=0}^{\nu }\left(\genfrac{}{}{0}{}{\nu +n+1-i}{n+1}\right)=\left(\genfrac{}{}{0}{}{\nu +n+2}{n+2}\right),$  as desired. $■$

3 Filtered Modules

3.1. Let $M$  be a left module over the Weyl-Carlitz ring ${\mathfrak{A}}_{n+1}$  . Suppose we have a filtration $\left\{{\mathfrak{M}}_{j}\right\}$  of $M$  , that is
 $\begin{array}{c}{\mathfrak{M}}_{0}\subset {\mathfrak{M}}_{1}\subset \dots \subset M,M={\bigcup }_{j\ge 0}{\mathfrak{M}}_{j},\end{array}$ (13)
and ${\Gamma }_{\nu }{\mathfrak{M}}_{j}\subset {\mathfrak{M}}_{\nu +j}$  for any $\nu ,j\in {\mathbb{Z}}_{+}$  . We assume that each ${\mathfrak{M}}_{j}$  is a finite-dimensional vector space over $\overline{K}c$  . Below we write ${\mathfrak{M}}_{j}=\left\{0\right\}$  and ${\Gamma }_{\nu }=\left\{0\right\}$  if $j<0$  and $\nu <0$  .
In a standard way [7we define the graded module $gr\left(M\right)={\oplus }_{j\ge 0}\left({\mathfrak{M}}_{j}/{\mathfrak{M}}_{j-1}\right)$  over $gr\left({\mathfrak{A}}_{n+1}\right)$  , associated with the filtration (13). As usual, the filtration (13) is called good, if $gr\left(M\right)$  is finitely generated.
Main properties of filtered modules over the Weyl algebra (see [2, 7) carry over to our situation without any substantial changes, both in their formulations and proofs. In fact, the only technical difference is that the operators $\tau$  and ${d}_{s}$  are semilinear, not linear. However, as it is explained in Appendix I to Chapter 2 of [4, basic notions of linear algebra remain valid for semilinear mappings – a semilinear mapping of a vector space into itself can be interpreted as a linear mapping between two different vector spaces, and, for instance, dimensions of the kernel and cokernel are not changed in this interpretation. Note that everywhere in this paper we consider vector spaces over the algebraically closed field $\overline{K}c$  , on which $\tau$  induces an automorphism. Below, as before, $dim$  means the dimension over $\overline{K}c$  .
In particular, for a good filtration there exist a polynomial $\chi \in \mathbb{Q}\left[t\right]$  and a number $N\in \mathbb{N}$  , such that $dim{\mathfrak{M}}_{s}={\sum }_{i=0}^{s}dim\left({\mathfrak{M}}_{i}/{\mathfrak{M}}_{i-1}\right)=\chi \left(s\right)\text{for}s\ge N.$  The number $d\left(M\right)=deg\chi$  , called the (Gelfand-Kirillov) dimension of $M$  , and the leading coefficient of $\chi$  multiplied by $d\left(M\right)!$  , called the multiplicity $m\left(M\right)$  of $M$  , do not depend on the choice of a good filtration on $M$  . A filtration $\left\{{\mathfrak{M}}_{i}\right\}$  is good if and only if there exists such ${k}_{0}\in \mathbb{N}$  that ${\mathfrak{M}}_{i+k}={\Gamma }_{i}{\mathfrak{M}}_{k}\text{for all}k\ge {k}_{0}.$  If $N$  and $M/N$  are a submodule and the corresponding quotient module, with the induced filtrations, then $d\left(M\right)=max\left\{d\left(N\right),d\left(M/N\right)\right\}$  , and if $d\left(N\right)=d\left(M/N\right)$  , then $m\left(M\right)=m\left(N\right)+m\left(M/N\right)$  . For a direct sum $M={M}_{1}\oplus \cdots \oplus {M}_{k}$  we have $d\left(M\right)=max\left\{d\left({M}_{1}\right),\dots ,d\left({M}_{k}\right)\right\}$  .
In particular, if we consider ${\mathfrak{A}}_{n+1}$  as a feft module over itself, then by Lemma 1
 $\begin{array}{c}d\left({\mathfrak{A}}_{n+1}\right)=n+2,m\left({\mathfrak{A}}_{n+1}\right)=1.\end{array}$ (14)
It follows from (14) and the above general facts that for any finitely generated left ${\mathfrak{A}}_{n+1}$  -module
 $\begin{array}{c}d\left(M\right)\le n+2.\end{array}$ (15)
By (14), the bound in (15) in general cannot be improved. However, if $I$  is a non-zero left ideal in ${\mathfrak{A}}_{n+1}$  , then
 $\begin{array}{c}d\left({\mathfrak{A}}_{n+1}/I\right)\le n+1.\end{array}$ (16)
The proof of (16) is identical to the proof of Corollary 9.3.5 from [7.
3.2. Let us consider the set ${\stackrel{^}{\mathcal{ℱ}}}_{n+1}$  of polynomials (5) as a ${\mathfrak{A}}_{n+1}$  -module. A filtration ${\mathcal{ℱ}}_{n+1}^{\left(0\right)}\subset {\mathcal{ℱ}}_{n+1}^{\left(1\right)}\subset \dots \subset {\stackrel{^}{\mathcal{ℱ}}}_{n+1}$  can be introduced by setting ${\mathcal{ℱ}}_{n+1}^{\left(j\right)}$  to be the collection of all the polynomials (5), in which the maximal indices ${k}_{1},\dots ,{k}_{n}$  corresponding to non-zero coefficients ${a}_{m,{k}_{1},\dots ,{k}_{n}}$  do not exceed $j$  . This filtration is obviously good.
Proposition 2. For the module ${\stackrel{^}{\mathcal{ℱ}}}_{n+1}$  ,
 $\begin{array}{c}d\left({\stackrel{^}{\mathcal{ℱ}}}_{n+1}\right)=n+1,m\left({\stackrel{^}{\mathcal{ℱ}}}_{n+1}\right)=n!\end{array}$ (17)
Proof. Let us compute $dim{\mathcal{ℱ}}_{n+1}^{\left(j\right)}$  . For a fixed $\mu$  , the quantity of $n$  -tuples $\left({k}_{1},\dots ,{k}_{n}\right)$  of non-negative integers, for which $min\left({k}_{1},\dots ,{k}_{n}\right)=\mu$  , is added up from those $n$  -tuples where $i$  numbers are equal to $\mu$  while $n-i$  numbers are strictly larger and can take $j-\mu$  values.
Therefore the above quantity equals ${\sum }_{i=1}^{n}\left(\genfrac{}{}{0}{}{n}{i}\right)\left(j-\mu {\right)}^{n-i}$  . Next, $\mu +1$  possible values of $m$  in (5) correspond to each $n$  -tuple. Thus, $dim{\mathcal{ℱ}}_{n+1}^{\left(j\right)}={\sum }_{\mu =0}^{j}\left(\mu +1\right){\sum }_{i=1}^{n}\left(\genfrac{}{}{0}{}{n}{i}\right)\left(j-\mu {\right)}^{n-i}={\sum }_{\mu =0}^{j}\left(\mu +1\right)\left\{\left(j-\mu +1{\right)}^{n}-\left(j-\mu {\right)}^{n}\right\}.$  Denote ${r}_{\mu }=\left(j-\mu +1{\right)}^{n}-\left(j-\mu {\right)}^{n}$  , ${R}_{i}={r}_{0}+{r}_{1}+\cdots +{r}_{i}=\left(j+1{\right)}^{n}-\left(j-i{\right)}^{n}$  . Performing the Abel transformation we get
$dim{\mathcal{ℱ}}_{n+1}^{\left(j\right)}=\left(j+1\right){R}_{j}-{\sum }_{i=0}^{j-1}{R}_{i}=\left(j+1{\right)}^{n+1}-j\left(j+1{\right)}^{n}+{\sum }_{i=0}^{j-1}\left(j-i{\right)}^{n}=\left(j+1{\right)}^{n}+{\sum }_{k=1}^{j}{k}^{n}=\left(j+1{\right)}^{n}+{S}_{n}\left(j+1\right)$
where ${S}_{n}\left(N\right)={1}^{n}+{2}^{n}+\cdots +\left(N-1{\right)}^{n}$  .
It is known ([11, Chapter 15) that ${S}_{n}\left(N\right)=\frac{1}{n+1}{\sum }_{k=0}^{n}\left(\genfrac{}{}{0}{}{n+1}{k}\right){B}_{k}{N}^{n+1-k}$  where ${B}_{k}$  are the Bernoulli numbers. Therefore we find that $dim{\mathcal{ℱ}}_{n+1}^{\left(j\right)}=\frac{\left(j+1{\right)}^{n+1}}{n+1}+{P}_{n}\left(j\right)$  where ${P}_{n}$  is a polynomial of the degree $n$  . This implies (17). $■$  It is natural to call an ${\mathfrak{A}}_{n+1}$  -module $M$  holonomic if $d\left(M\right)=n+1$  . Thus, ${\stackrel{^}{\mathcal{ℱ}}}_{n+1}$  is an example of a holonomic module.
3.3. Let us look at possible values of $d\left(M\right)$  for ${\mathfrak{A}}_{1}$  -modules. The next result demonstrates a sharp difference from the case of modules over the Weyl algebras.
Theorem 1.
• (i) For any $k=1,2,\dots$  , there exists such a nontrivial ${\mathfrak{A}}_{1}$  -module $M$  that $dimM=k$  ( $dim$  means the dimension over $\overline{K}c$  ), that is $d\left(M\right)=0$  .
• (ii) Let $M$  be a finitely generated ${\mathfrak{A}}_{1}$  -module with a good filtration. Suppose that there exists a “vacuum vector” $v\in M$  , such that ${d}_{s}v=0$  and ${\tau }^{m}\left(v\right)\ne 0$  for all $m=0,1,2,\dots$  . Then $d\left(M\right)\ge 1$  .
Proof. (i) Let $M=\left(\overline{K}c{\right)}^{k}$  . Denote by ${\mathbf{e}}_{1},\dots ,{\mathbf{e}}_{k}$  the standard basis in $M$  , that is ${\mathbf{e}}_{j}=\left(0,\dots ,0,1,0,\dots ,0\right)$  , with 1 at the $j$  -th place. Let $\left({\lambda }_{ij}\right)$  be a $k×k$  matrix over $\overline{K}c$  , such that ${\lambda }_{ij}\in \mathbb{F}q$  if $i\ne j$  , while the diagonal elements satisfy the equation ${\lambda }^{q}-\lambda +\left[1{\right]}^{1/q}=0$  . We define the action of $\tau$  and ${d}_{s}$  on $M$  as follows:
$\tau \left(c{\mathbf{e}}_{j}\right)={c}^{q}{\mathbf{e}}_{j};{d}_{s}\left({\mathbf{e}}_{j}\right)={\sum }_{i=1}^{n}{\lambda }_{ij}{\mathbf{e}}_{i};{d}_{s}\left(c{\mathbf{e}}_{j}\right)={c}^{1/q}{\mathbf{e}}_{j},c\in \overline{K}c,j=1,\dots ,k,$  with subsequent additive continuation onto $M$  .
If $x={\sum }_{j=1}^{k}{c}_{j}{\mathbf{e}}_{j}$  , ${c}_{j}\in \overline{K}c$  , then we have $\tau {d}_{s}\left(x\right)={\sum }_{j=1}^{k}{c}_{j}{\sum }_{i=1}^{n}{\lambda }_{ij}^{q}{\mathbf{e}}_{i},{d}_{s}\tau \left(x\right)={\sum }_{j=1}^{k}{c}_{j}{\sum }_{i=1}^{n}{\lambda }_{ij}{\mathbf{e}}_{i},$  so that ${d}_{s}\tau \left(x\right)-\tau {d}_{s}\left(x\right)=\left[1{\right]}^{1/q}x,$  and we have indeed an ${\mathfrak{A}}_{1}$  -module.
(ii) It follows from the relation $\left[{d}_{s},{\tau }^{m}\right]=\left[m{\right]}^{1/q}{\tau }^{m-1}$  (see [14) that ${d}_{s}{\tau }^{m}v=\left[m{\right]}^{1/q}{\tau }^{m-1}v,m=1,2,\dots ,$  that is ${\tau }^{m-1}v$  is an eigenvector of a linear operator ${d}_{s}\tau$  on $M$  (considered as a $\overline{K}c$  -vector space) corresponding to the eigenvalue $\left[m{\right]}^{1/q}$  . Therefore the vectors ${\tau }^{m-1}v$  are linearly independent.
It follows from the existence of the Hilbert polynomial $\chi$  implementing the dimension $d\left(M\right)$  that $d\left(M\right)\ge 1$  . $■$

4 Holonomic Functions

4.1. Let $0\ne f\in {\mathcal{ℱ}}_{n+1}$  , ${I}_{f}=\left\{\phi \in {\mathfrak{A}}_{n+1}:\phi \left(f\right)=0\right\}.$  ${I}_{f}$  is a left ideal in ${\mathfrak{A}}_{n+1}$  . The left ${\mathfrak{A}}_{n+1}$  -module ${M}_{f}={\mathfrak{A}}_{n+1}/{I}_{f}$  is isomorphic to the submodule ${\mathfrak{A}}_{n+1}f\subset {\mathcal{ℱ}}_{n+1}$  – an element $\phi \left(f\right)\in {\mathfrak{A}}_{n+1}f$  corresponds to the class of $\phi \in {\mathfrak{A}}_{n+1}$  in ${M}_{f}$  . A natural good filtration in ${M}_{f}$  is induced from that in ${\mathfrak{A}}_{n+1}$  – the subspace ${\mathfrak{M}}_{j}$  is generated by elements ${\tau }^{l}{d}_{s}^{\mu }{\Delta }_{1}^{{i}_{1}}\dots {\Delta }_{n}^{{i}_{n}}f$  with $l+\mu +{i}_{1}+\cdots +{i}_{n}\le j$  .
As we know (see (16)), if ${I}_{f}\ne \left\{0\right\}$  , then $d\left({M}_{f}\right)\le n+1$  . We call a function $f$  holonomic if the module ${M}_{f}$  is holonomic, that is $d\left({M}_{f}\right)=n+1$  . The condition ${I}_{f}\ne \left\{0\right\}$  means that $f$  is a solution of a “differential equation” $\phi \left(f\right)=0$  , $\phi \in {\mathfrak{A}}_{n+1}$  . For $n=0$  , we have the following easy result.
Theorem 2. If a non-zero function $f\in {\mathcal{ℱ}}_{1}$  satisfies an equation $\phi \left(f\right)=0$  , $0\ne \phi \in {\mathfrak{A}}_{1}$  , then $f$  is holonomic.
Proof. It is sufficient to show that $dim{M}_{f}=\infty$  . In fact, the sequence ${\left\{{\tau }^{l}f\right\}}_{l=0}^{\infty }$  is linearly independent because otherwise we would have such a finite collection of elements ${c}_{0},{c}_{1},\dots ,{c}_{N}\in \overline{K}c$  , some of which are different from zero, that
 $\begin{array}{c}{c}_{0}f\left(s\right)+{c}_{1}{f}^{q}\left(s\right)+\cdots +{c}_{N}{f}^{{q}^{N}}\left(s\right)=0\end{array}$ (18)
for all $s$  from a neighbourhood of the origin in $\overline{K}c$  . It follows from (18) that $f$  takes only a finite number of values. By the uniqueness theorem for non-Archimedean holomorphic functions, $f\left(s\right)\equiv \text{const}$  on some neighbourhood of the origin. Due to the $\mathbb{F}q$  -linearity, $f\left(s\right)\equiv 0$  , and we have come to a contradiction. $■$  In particular, any $\mathbb{F}q$  -linear polynomial of $s$  is holonomic, since it is annihilated by ${d}_{s}^{m}$  , with a sufficiently large $m$  .
4.2. If $n>0$  , the situation is more complicated. We call the module ${M}_{f}$  (and the corresponding function $f$  ) degenerate if $D\left({M}_{f}\right)  (by the Bernstein inequality, there is no degeneracy phenomena for modules over the complex Weyl algebra). We give an example of degeneracy for the case $n=1$  .
Let $f\left(s,{t}_{1}\right)=g\left(s{t}_{1}\right)\in {\mathcal{ℱ}}_{2}$  where the function $g$  belongs to ${\mathcal{ℱ}}_{1}$  and satisfies an equation $\phi \left(g\right)=0$  , $\phi \in {\mathfrak{A}}_{1}$  . Then $f$  is degenerate.
Indeed, by the general rule, ${\mathfrak{M}}_{j}$  is spanned by elements ${\tau }^{l}{d}_{s}^{\mu }{\Delta }_{1}^{{i}_{i}}f$  with $l+\mu +{i}_{1}\le j$  . In the present situation, ${\Delta }_{1}f=g\left(xs{t}_{1}\right)-xg\left(s{t}_{1}\right)=\tau {d}_{s}g,$  so that an element ${\tau }^{l}{d}_{s}^{\mu }{\Delta }_{1}^{{i}_{i}}f$  is a linear combination of elements $\left({\tau }^{l+\lambda }{d}_{s}^{\mu +\nu }g\right)\left(s,t\right)$  with $\lambda \le {i}_{1}$  , $\nu \le {i}_{1}$  . Therefore ${\mathfrak{M}}_{j}$  is contained in the linear hull of elements ${\tau }^{k}{d}_{s}^{m}g$  , $k+m\le 2j$  . By Theorem 2, the $\overline{K}c$  -dimension of the latter does not exceed a linear function of $2j$  , so that $d\left({M}_{f}\right)\le 1$  . On the other hand, since, as in the proof of Theorem 2, the system of functions ${\left\{{\tau }^{l}f\right\}}_{l=0}^{\infty }$  is linearly independent, we find that $d\left({M}_{f}\right)=1$  .
In order to exclude the degenerate case, we introduce the notion of a non-sparse function.
A function $f\in {\mathcal{ℱ}}_{n+1}$  of the form (5) is called non-sparse if there exists such a sequence ${m}_{l}\to \infty$  that, for any $l$  , there exist sequences ${k}_{1}^{\left(i\right)},{k}_{2}^{\left(i\right)},\dots ,{k}_{n}^{\left(i\right)}\ge {m}_{l}$  (depending on $l$  ), such that ${k}_{\nu }^{\left(i\right)}\to \infty$  as $i\to \infty$  ( $\nu =1,\dots ,n$  ), and ${a}_{m,{k}_{1}^{\left(i\right)},\dots ,{k}_{n}^{\left(i\right)}}\ne 0$  .
Lemma 2. If a function $f$  is non-sparse, then the system of functions $\left(\tau {d}_{s}{\right)}^{\lambda }{\Delta }_{1}^{{j}_{1}}\dots {\Delta }_{n}^{{j}_{n}}f$  ( $\lambda ,{j}_{1},\dots ,{j}_{n}=0,1,2,\dots$  ) is linearly independent over $\overline{K}c$  .
Proof. Suppose that
 $\begin{array}{c}{\sum }_{\lambda =0}^{\Lambda }{\sum }_{{j}_{1}=0}^{{J}_{1}}\dots {\sum }_{{j}_{n}=0}^{{J}_{n}}{c}_{\lambda ,{j}_{1},\dots ,{j}_{n}}\left(\tau {d}_{s}{\right)}^{\lambda }{\Delta }_{1}^{{j}_{1}}\dots {\Delta }_{n}^{{j}_{n}}f=0\end{array}$ (19)
for some ${c}_{\lambda ,{j}_{1},\dots ,{j}_{n}}\in \overline{K}c$  , $\Lambda ,{J}_{1},\dots ,{J}_{n}\in \mathbb{N}$  . Substituting (5) into (19) and collecting coefficients of the power series we find that
 $\begin{array}{c}{\sum }_{\lambda =0}^{\Lambda }{\sum }_{{j}_{1}=0}^{{J}_{1}}\dots {\sum }_{{j}_{n}=0}^{{J}_{n}}{c}_{\lambda ,{j}_{1},\dots ,{j}_{n}}\left[{m}_{l}{\right]}^{\lambda }\left[{k}_{1}^{\left(i\right)}{\right]}^{{j}_{1}}\dots \left[{k}_{n}^{\left(i\right)}{\right]}^{{j}_{n}}=0\end{array}$ (20)
for all $l,i$  .
We see from (20) that the polynomial ${\sum }_{{j}_{n}=0}^{{J}_{n}}\left\{{\sum }_{\lambda =0}^{\Lambda }{\sum }_{{j}_{1}=0}^{{J}_{1}}\dots {\sum }_{{j}_{n-1}=0}^{{J}_{n-1}}{c}_{\lambda ,{j}_{1},\dots ,{j}_{n}}\left[{m}_{l}{\right]}^{\lambda }\left[{k}_{1}^{\left(i\right)}{\right]}^{{j}_{1}}\dots \left[{k}_{n-1}^{\left(i\right)}{\right]}^{{j}_{n-1}}\right\}{z}^{{j}_{n}}$  has an infinite sequence of different roots, so that ${\sum }_{\lambda =0}^{\Lambda }{\sum }_{{j}_{1}=0}^{{J}_{1}}\dots {\sum }_{{j}_{n-1}=0}^{{J}_{n-1}}{c}_{\lambda ,{j}_{1},\dots ,{j}_{n}}\left[{m}_{l}{\right]}^{\lambda }\left[{k}_{1}^{\left(i\right)}{\right]}^{{j}_{1}}\dots \left[{k}_{n-1}^{\left(i\right)}{\right]}^{{j}_{n-1}}=0$  for all $l,i$  , and for each ${j}_{n}=0,1,\dots ,{J}_{n}$  . Repeating this reasoning we find that all the coefficients ${c}_{\lambda ,{j}_{1},\dots ,{j}_{n}}$  are equal to zero. $■$  Now the above arguments regarding $d\left({M}_{f}\right)$  yield the following result.
Theorem 3. If a function $f$  is non-sparse, then $d\left({M}_{f}\right)\ge n+1$  . If, in addition, $f$  satisfies an equation $\phi \left(f\right)=0$  , $0\ne \phi \in {\mathfrak{A}}_{n+1}$  , then $f$  is holonomic.
As in the classical situation, one can construct holonomic functions by addition.
Proposition 3. If the functions $f,g\in {\mathcal{ℱ}}_{n+1}$  are holonomic, and $f+g$  is non-sparse, then $f+g$  is holonomic.
Proof. Consider the ${\mathfrak{A}}_{n+1}$  -module ${M}_{2}=\left({\mathfrak{A}}_{n+1}f\right)\oplus \left({\mathfrak{A}}_{n+1}g\right)$  . Since $f$  and $g$  are both holonomic, we have $d\left({M}_{2}\right)=n+1$  . Next, let ${N}_{2}$  be a submodule of ${M}_{2}$  consisting of such pairs $\left(\phi \left(f\right),\phi \left(g\right)\right)$  that $\phi \left(f\right)+\phi \left(g\right)=0$  . Then $d\left({M}_{2}\right)=max\left\{d\left({N}_{2}\right),d\left({M}_{2}/{N}_{2}\right)\right\}$  , so that $d\left({M}_{2}/{N}_{2}\right)\le n+1$  .
On the other hand, we have an injective mapping ${\mathfrak{A}}_{n+1}\left(f+g\right)\to {M}_{2}/{N}_{2}$  , which maps $\phi \left(f+g\right)$  to the image of $\left(\phi \left(f\right),\phi \left(g\right)\right)$  in ${M}_{2}/{N}_{2}$  . Therefore $d\left({\mathfrak{A}}_{n+1}\left(f+g\right)\right)\le d\left({M}_{2}/{N}_{2}\right)\le n+1$  .
It remains to use Theorem 3. $■$  4.3. We use Theorem 3 to prove that the functions (5) obtained via the sequence-to-function transform ( $*$  ) or its multi-index generalizations, from some well-known sequences of polynomials over $K$  are holonomic.
a) The Carlitz polynomials. The sequence ${f}_{k}\left(s\right)={D}_{k}^{-1}{\prod }_{m\in \mathbb{F}q\left[x\right]degm  of normalized Carlitz polynomials forms an orthonormal basis of the space of all $\mathbb{F}q$  -linear continuous functions on the ring of integers of the field $K$  . Its transform ( $*$  ), the function
 $\begin{array}{c}{C}_{s}\left(t\right)={\sum }_{k=0}^{\infty }{f}_{k}\left(s\right){t}^{{q}^{k}}\end{array}$ (21)
called the Carlitz module, is one of the main objects of the function field arithmetic [9, 25.
It is known [5, 8that ${f}_{k}\left(s\right)={\sum }_{i=0}^{k}\frac{\left(-1{\right)}^{k-i}}{{D}_{i}{L}_{k-i}^{{q}^{i}}}{s}^{{q}^{i}}$  where ${L}_{i}=\left[i\right]\left[i-1\right]\dots \left[1\right]$  ( $i\ge 1$  ), ${L}_{0}=1$  . By (1), we have
 $\begin{array}{c}|{D}_{i}|={q}^{-\frac{{q}^{i}-1}{q-1}},|{L}_{i}|={q}^{-i},\end{array}$ (22)
so that $|{D}_{i}{L}_{k-i}^{{q}^{i}}|={q}^{-\left(\frac{{q}^{i}-1}{q-1}+\left(k-i\right){q}^{i}\right)},0\le i\le k.$  For large values of $k$  , an elementary investigation of the function $z↦\left(k-z\right){q}^{z}$  , $z\le k$  , shows that ${max}_{0\le i\le k}\left(k-i\right){q}^{i}\le \alpha {q}^{k},\alpha >0,$  so that $|{f}_{k}\left(s\right)|\le {q}^{\alpha {q}^{k}}$  for all $s\in \overline{K}c$  with $|s|\le {q}^{-1}$  . Therefore the series (21) converges for small $|t|$  , so that the Carlitz module function belongs to ${\mathcal{ℱ}}_{2}$  .
Since ${d}_{s}{f}_{i}={f}_{i-1}$  for $i\ge 1$  , and ${d}_{s}{f}_{0}=0$  [8, we see that ${d}_{s}{C}_{s}\left(t\right)={C}_{s}\left(t\right)$  . Clearly, the function ${C}_{s}\left(t\right)$  is non-sparse. Therefore the Carlitz module function is holonomic, jointly in both its variables.
b) Thakur's hypergeometric polynomials. We consider the polynomial case of Thakur's hypergeometric function [23, 24, 25:
 $\begin{array}{c}{}_{l}{F}_{\lambda }\left(-{a}_{1},\dots ,-{a}_{l};-{b}_{1},\dots ,-{b}_{\lambda };z\right)={\sum }_{m}\frac{\left(-{a}_{1}{\right)}_{m}\dots \left(-{a}_{l}{\right)}_{m}}{\left(-{b}_{1}{\right)}_{m}\dots \left(-{b}_{\lambda }{\right)}_{m}{D}_{m}}{z}^{{q}^{m}}\end{array}$ (23)
where ${a}_{1},\dots ,{a}_{l},{b}_{1},\dots ,{b}_{\lambda }\in {\mathbb{Z}}_{+}$  ,
 $\begin{array}{c}\left(-a{\right)}_{m}=\left\{\begin{array}{cc}{L}_{a-m}^{-{q}^{m}},& \text{if}m\le a\text{},\\ 0,& \text{if}m>a\text{},\end{array},a\in {\mathbb{Z}}_{+}.\end{array}$ (24)
It is seen from (24) that the terms in (23), which make sense and do not vanish, are those with $m\le min\left({a}_{1},\dots ,{a}_{l},{b}_{1},\dots ,{b}_{\lambda }\right)$  . Let
 $\begin{array}{c}f\left(s,{t}_{1},\dots ,{t}_{l},{u}_{1},\dots ,{u}_{\lambda }\right)={\sum }_{{k}_{1}=0}^{\infty }\dots {\sum }_{{k}_{l}=0}^{\infty }{\sum }_{{\nu }_{1}=0}^{\infty }\dots {{\sum }_{{\nu }_{\lambda }=0}^{\infty }}_{l}{F}_{\lambda }\left(-{k}_{1},\dots ,-{k}_{l};-{\nu }_{1},\dots ,-{\nu }_{\lambda };s\right){t}_{1}^{{q}^{{k}_{1}}}\dots {t}_{l}^{{q}^{{k}_{l}}}{u}_{1}^{{q}^{{\nu }_{1}}}\dots {u}_{\lambda }^{{q}^{{\nu }_{\lambda }}}.\end{array}$ (25)
We prove as above that all the series in (25) converge near the origin. Thus, $f\in {\mathcal{ℱ}}_{l+\lambda +1}$  .
It is known ([25, Sect. 6.5) that
 $\begin{array}{c}{{d}_{s}}_{l}{F}_{\lambda }\left(-{k}_{1},\dots ,-{k}_{l};-{\nu }_{1},\dots ,-{\nu }_{\lambda };s\right){=}_{l}{F}_{\lambda }\left(-{k}_{1}+1,\dots ,-{k}_{l}+1;-{\nu }_{1}+1,\dots ,-{\nu }_{\lambda }+1;s\right)\end{array}$ (26)
if all the parameters ${k}_{1},\dots ,{k}_{l},{\nu }_{1},\dots ,{\nu }_{\lambda }$  are different from zero. If at least one of them is equal to zero, then the left-hand side of (26) equals zero. This property implies the identity ${d}_{s}f=f$  , the same as that for the Carlitz module function. Since $f$  is non-sparse, it is holonomic.
In the next section we will see that the $K$  -binomial coefficients (3) correspond to a holonomic function satisfying a more complicated equation containing also the operator ${\Delta }_{t}$  .

5 $K$  -Binomial Coefficients

5.1. Let us consider the $K$  -binomial coefficients (3). It follows from (22) that $|\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}|=1,0\le m\le k.$  Since $\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}\in \mathbb{F}q\left(x\right)$  , it is natural to consider also other places of $\mathbb{F}q\left(x\right)$  , that is other non-equivalent absolute values on $\mathbb{F}q\left(x\right)$  . It is well known ([26, Sect. 3.1) that they are parametrized by monic irreducible polynomials $\pi \in \mathbb{F}q\left[x\right]$  . The absolute value $|t{|}_{\pi }$  , $t\in \mathbb{F}q\left(x\right)$  , is defined as follows. We write $t={\pi }^{\nu }\alpha /{\alpha }^{\prime }$  where $m\in \mathbb{Z}$  , $\alpha ,{\alpha }^{\prime }\in \mathbb{F}q\left[x\right]$  , and $\pi$  does not divide $\alpha ,{\alpha }^{\prime }$  . Then $|t{|}_{\pi }=|\pi {|}_{\pi }^{\nu }$  , $|\pi {|}_{\pi }={q}^{-\delta }$  where $\delta =deg\pi$  ; as usual, $|0{|}_{\pi }=0$  . The absolute value $|\cdot |$  used elsewhere in this paper corresponds to $\pi \left(x\right)=x$  .
Proposition 4. For any monic irreducible polynomial $\pi \in \mathbb{F}q\left[x\right]$  , the $K$  -binomial coefficients (3) satisfy the inequality ${|\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}|}_{\pi }\le 1,0\le m\le k.$
Proof. First we compute $|{D}_{m}{|}_{\pi }$  . It follows from Lemma 2.13 of [18that $|\left[i\right]{|}_{\pi }=\left\{\begin{array}{cc}{q}^{-\delta },& \text{if}\delta \text{divides}i\text{},\\ 1,& \text{otherwise}.\end{array}$  Writing $m=j\delta +i$  , with $i,j\in {\mathbb{Z}}_{+}$  , $0\le i<\delta$  , we find that
$|{D}_{m}{|}_{\pi }=|\left[j\delta \right]{|}_{\pi }^{{q}^{i}}|\left[\left(j-1\right)\delta \right]{|}_{\pi }^{{q}^{\delta +i}}\dots |\left[\delta \right]{|}_{\pi }^{{q}^{\left(j-1\right)\delta +i}}={\left\{{q}^{-\delta }\cdot {\left({q}^{-\delta }\right)}^{{q}^{\delta }}\cdot \dots \cdot {\left({q}^{-\delta }\right)}^{{q}^{\left(j-1\right)\delta }}\right\}}^{{q}^{i}}={\left\{{\left({q}^{-\delta }\right)}^{1+{q}^{\delta }+\cdots +{q}^{\left(j-1\right)\delta }}\right\}}^{{q}^{i}}={q}^{-\delta {q}^{i}\frac{{q}^{j\delta }-1}{{q}^{\delta }-1}}.$
Similarly we can write $k-m=\mathbb{\varkappa }\delta +\lambda$  , with $\mathbb{\varkappa },\lambda \in {\mathbb{Z}}_{+}$  , $0\le \lambda <\delta$  , and get that $|{D}_{k-m}|={q}^{-\delta {q}^{\lambda }\frac{{q}^{\mathbb{\varkappa }\delta }-1}{{q}^{\delta }-1}}.$  If $i+\lambda <\delta$  , then we obtain a similar representation for $k$  simply by adding those for $m$  and $k-m$  , so that
${log}_{q}{|\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}|}_{\pi }=-\frac{\delta }{{q}^{\delta }-1}\left\{{q}^{i+\lambda }\left({q}^{\left(j+\mathbb{\varkappa }\right)\delta }-1\right)-{q}^{i}\left({q}^{j\delta }-1\right)-{q}^{\lambda }\left({q}^{\mathbb{\varkappa }\delta }-1\right){q}^{j\delta +i}\right\}=-\frac{\delta }{{q}^{\delta }-1}{q}^{i}\left(1+{q}^{\lambda +j\delta }-{q}^{\lambda }-{q}^{j\delta }\right)=-\frac{\delta }{{q}^{\delta }-1}{q}^{i}\left({q}^{\lambda }-1\right)\left({q}^{j\delta }-1\right)\le 0.$
If $i+\lambda \ge \delta$  , then $k=\left(j+\mathbb{\varkappa }+1\right)\delta +\nu$  where $0\le \nu =i+\lambda -\delta <\delta$  . In this case
${log}_{q}{|\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}|}_{\pi }=-\frac{\delta }{{q}^{\delta }-1}\left\{{q}^{\nu }\left({q}^{\left(j+\mathbb{\varkappa }+1\right)\delta }-1\right)-{q}^{i}\left({q}^{j\delta }-1\right)-{q}^{\lambda }\left({q}^{\mathbb{\varkappa }\delta }-1\right){q}^{j\delta +i}\right\}=-\frac{\delta }{{q}^{\delta }-1}\left({q}^{i}+{q}^{\lambda +j\delta +i}-{q}^{i+j\delta }-{q}^{\nu }\right)<0,$
since $\nu   . $■$  Below we will use only the valuation with $\pi \left(x\right)=x$  , that is, as above, consider the field $K$  .
5.2. Let us derive, for the $K$  -binomial coefficients (3), analogs of the classical Pascal and Vandermonde identities.
Proposition 5. The identity
 $\begin{array}{c}\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}=\left(\genfrac{}{}{0}{}{k-1}{m-1}{\right)}_{K}^{q}+\left(\genfrac{}{}{0}{}{k-1}{m}{\right)}_{K}^{q}{D}_{m}^{q-1}\end{array}$ (27)
holds, if $0\le m\le k$  and it is assumed that $\left(\genfrac{}{}{0}{}{k}{-1}{\right)}_{K}=\left(\genfrac{}{}{0}{}{k-1}{k}{\right)}_{K}=0$  .
Proof. Let ${e}_{m}\left(t\right)={D}_{m}{f}_{m}\left(t\right)$  be the “non-normalized” Carlitz polynomials. They satisfy the main $K$  -binomial identity [5, 16
 $\begin{array}{c}{e}_{k}\left(st\right)={\sum }_{m=0}^{k}\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}{e}_{m}\left(s\right){\left\{{e}_{k-m}\left(t\right)\right\}}^{{q}^{m}},\end{array}$ (28)
which holds, for example, for any $s,t\in \mathbb{F}q\left[x\right]$  .
It is known [5, 8that
 $\begin{array}{c}{e}_{k}={e}_{k-1}^{q}-{D}_{k-1}^{q-1}{e}_{k-1}.\end{array}$ (29)
Let us rewrite the left-hand side of (28) in accordance with (29), and apply to each term the identity (28) with $k-1$  substituted for $k$  . We have ${e}_{k-1}^{q}\left(st\right)={\sum }_{i=0}^{k-1}\left(\genfrac{}{}{0}{}{k-1}{i}{\right)}_{K}^{q}{e}_{i}^{q}\left(s\right){e}_{k-i-1}^{{q}^{i+1}}\left(t\right).$  By (29), ${e}_{i}^{q}={e}_{i+1}+{D}_{i}^{q-1}{e}_{i}$  , ${e}_{k-i-1}^{q}={e}_{k-i}+{D}_{k-i-1}^{q-1}{e}_{k-i-1}$  , whence
${e}_{k-1}^{q}\left(st\right)={\sum }_{i=0}^{k-1}\left(\genfrac{}{}{0}{}{k-1}{i}{\right)}_{K}^{q}{e}_{i+1}\left(s\right){e}_{k-i-1}^{{q}^{i+1}}\left(t\right)+{\sum }_{i=0}^{k-1}\left(\genfrac{}{}{0}{}{k-1}{i}{\right)}_{K}^{q}{D}_{i}^{q-1}{e}_{i}\left(s\right){e}_{k-i-1}^{{q}^{i+1}}\left(t\right)={\sum }_{j=1}^{k}\left(\genfrac{}{}{0}{}{k-1}{j-1}{\right)}_{K}^{q}{e}_{j}\left(s\right){e}_{k-j}^{{q}^{j}}\left(t\right)+{\sum }_{i=0}^{k-1}\left(\genfrac{}{}{0}{}{k-1}{i}{\right)}_{K}^{q}{D}_{i}^{q-1}{e}_{i}\left(s\right){e}_{k-i}^{{q}^{i}}\left(t\right)+{\sum }_{i=0}^{k-1}\left(\genfrac{}{}{0}{}{k-1}{i}{\right)}_{K}^{q}{D}_{i}^{q-1}{D}_{k-i-1}^{{q}^{i}\left(q-1\right)}{e}_{i}\left(s\right){e}_{k-i-1}^{{q}^{i}}\left(t\right).$
Note that
 $\begin{array}{c}\left(\genfrac{}{}{0}{}{k-1}{i}{\right)}_{K}^{q}{D}_{i}^{q-1}{D}_{k-i-1}^{{q}^{i}\left(q-1\right)}={D}_{k-1}^{q-1}\left(\genfrac{}{}{0}{}{k-1}{i}{\right)}_{K}.\end{array}$ (30)
Indeed, the left-hand side of (30) equals $\frac{{D}_{k-1}^{q}}{{D}_{i}^{q}{D}_{k-i-1}^{{q}^{i+1}}}{D}_{i}^{q-1}{D}_{k-i-1}^{{q}^{i+1}-{q}^{i}}=\frac{{D}_{k-1}^{q}}{{D}_{i}{D}_{k-i-1}^{{q}^{i}}}=\frac{{D}_{k-1}}{{D}_{i}{D}_{k-i-1}^{{q}^{i}}}{D}_{k-1}^{q-1}$  and coincides with the right-hand side. Therefore the last sum in the expression for ${e}_{k-1}^{q}\left(st\right)$  equals ${D}_{k-1}^{q-1}{\sum }_{i=0}^{k-1}\left(\genfrac{}{}{0}{}{k-1}{i}{\right)}_{K}{e}_{i}\left(s\right){e}_{k-i-1}^{{q}^{i}}\left(t\right)={D}_{k-1}^{q-1}{e}_{k-1}\left(st\right).$  Using (29) again we find that ${e}_{k}\left(st\right)={\sum }_{i=0}^{k}\left(\genfrac{}{}{0}{}{k-1}{i-1}{\right)}_{K}^{q}{e}_{i}\left(s\right){e}_{k-i}^{{q}^{i}}\left(t\right)+{\sum }_{i=0}^{k}\left(\genfrac{}{}{0}{}{k-1}{i}{\right)}_{K}^{q}{D}_{i}^{q-1}{e}_{i}\left(s\right){e}_{k-i}^{{q}^{i}}\left(t\right),$  and the comparison with (28) yields ${\sum }_{m=0}^{k}\left\{\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}-\left(\genfrac{}{}{0}{}{k-1}{m-1}{\right)}_{K}^{q}-\left(\genfrac{}{}{0}{}{k-1}{m}{\right)}_{K}^{q}{D}_{m}^{q-1}\right\}{e}_{m}\left(s\right){e}_{k-m}^{{q}^{m}}\left(t\right)=0$  for any $s,t$  .
Since the Carlitz polynomials are linearly independent, we obtain that $\left\{\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}-\left(\genfrac{}{}{0}{}{k-1}{m-1}{\right)}_{K}^{q}-\left(\genfrac{}{}{0}{}{k-1}{m}{\right)}_{K}^{q}{D}_{m}^{q-1}\right\}{e}_{k-m}^{{q}^{m}}\left(t\right)=0$  for any $t$  , and it remains to note that ${e}_{k-m}\left(t\right)\ne 0$  if $t\in \mathbb{F}q\left[x\right]$  , $degt\ge k$  , by the definition of the Carlitz polynomials. $■$  More generally, we have the following Vandermonde-type identity. Let $k,m$  be integers, $0\le m\le k$  .
Proposition 6. Define ${c}_{li}^{\left(m\right)}\in K$  by the recurrent relation
 $\begin{array}{c}{c}_{l+1,i}^{\left(m\right)}={c}_{l,i-1}^{\left(m\right)}+{c}_{li}^{\left(m\right)}{D}_{m-i}^{q-1}\end{array}$ (31)
and the initial conditions ${c}_{li}^{\left(m\right)}=0$  for $i<0$  and $i>l$  , ${c}_{00}^{\left(m\right)}=1$  . Then, for any $l\le m$  ,
 $\begin{array}{c}\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}={\sum }_{i=0}^{l}{c}_{li}^{\left(m\right)}\left(\genfrac{}{}{0}{}{k-l}{m-i}{\right)}_{K}^{{q}^{l}}.\end{array}$ (32)
Proof. The identity (32) is trivial for $l=0$  . Suppose it has been proved for some $l$  . Let us transform the right-hand side of (32) using the identity (27). Then we have
$\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}={\sum }_{i=0}^{l}{c}_{li}^{\left(m\right)}\left(\genfrac{}{}{0}{}{k-l-1}{m-i-1}{\right)}_{K}^{{q}^{l+1}}+{\sum }_{i=0}^{l}{c}_{li}^{\left(m\right)}\left(\genfrac{}{}{0}{}{k-l-1}{m-i}{\right)}_{K}^{{q}^{l+1}}{D}_{m-i}^{q-1}={\sum }_{j=1}^{l+1}{c}_{l,j-1}^{\left(m\right)}\left(\genfrac{}{}{0}{}{k-l-1}{m-j}{\right)}_{K}^{{q}^{l+1}}+{\sum }_{i=0}^{l}{c}_{li}^{\left(m\right)}\left(\genfrac{}{}{0}{}{k-l-1}{m-i}{\right)}_{K}^{{q}^{l+1}}{D}_{m-i}^{q-1}.$
Since we assume that ${c}_{l,-1}^{\left(m\right)}={c}_{l,l+1}^{\left(m\right)}=0$  , the summation in both the above sums can be performed from 0 to $l+1$  . Using (31) we obtain the required identity (32) with $l+1$  substituted for $l$  . $■$  5.3. Now we consider a function $f\in {\mathcal{ℱ}}_{2}$  associated with the $K$  -binomial coefficients, that is
 $\begin{array}{c}f\left(s,t\right)={\sum }_{k=0}^{\infty }{\sum }_{m=0}^{k}\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}{s}^{{q}^{m}}{t}^{{q}^{k}}.\end{array}$ (33)
Obviously, $f$  is non-sparse.
Proposition 7. The function (33) satisfies the equation
 $\begin{array}{c}{d}_{s}f\left(s,t\right)={\Delta }_{t}f\left(s,t\right)+\left[1{\right]}^{1/q}f\left(s,t\right),\end{array}$ (34)
so that $f$  is holonomic.
Proof. Let us compute ${d}_{s}f$  . We have ${d}_{s}f\left(s,t\right)={\sum }_{k=1}^{\infty }{\sum }_{m=1}^{k}\left(\genfrac{}{}{0}{}{k}{m}{\right)}_{K}^{1/q}\left[m{\right]}^{1/q}{s}^{{q}^{m-1}}{t}^{{q}^{k-1}}={\sum }_{\nu =0}^{\infty }{\sum }_{\mu =0}^{\nu }\left(\genfrac{}{}{0}{}{\nu +1}{\mu +1}{\right)}_{K}^{1/q}\left[\mu +1{\right]}^{1/q}{s}^{{q}^{\mu }}{t}^{{q}^{\nu }}.$  Using Proposition 5 we find that ${d}_{s}f={\Sigma }_{1}+{\Sigma }_{2}$  where ${\Sigma }_{1}={\sum }_{\nu =0}^{\infty }{\sum }_{\mu =0}^{\nu }\left(\genfrac{}{}{0}{}{\nu }{\mu }{\right)}_{K}\left[\mu +1{\right]}^{1/q}{s}^{{q}^{\mu }}{t}^{{q}^{\nu }},$  ${\Sigma }_{2}={\sum }_{\nu =0}^{\infty }{\sum }_{\mu =0}^{\nu }\left(\genfrac{}{}{0}{}{\nu }{\mu +1}{\right)}_{K}\left[\mu +1{\right]}^{1/q}{D}_{\mu +1}^{1-{q}^{-1}}{s}^{{q}^{\mu }}{t}^{{q}^{\nu }}.$  Note that $\left[\mu +1{\right]}^{1/q}={\left({x}^{{q}^{\mu +1}}-x\right)}^{1/q}=\left({x}^{{q}^{\mu }}-x\right)+{\left({x}^{q}-x\right)}^{1/q}=\left[\mu \right]+\left[1{\right]}^{1/q},$  so that
 $\begin{array}{c}{\Sigma }_{1}={\sum }_{\nu =0}^{\infty }{\sum }_{\mu =0}^{\nu }\left(\genfrac{}{}{0}{}{\nu }{\mu }{\right)}_{K}\left[\mu \right]{s}^{{q}^{\mu }}{t}^{{q}^{\nu }}+\left[1{\right]}^{1/q}f\left(s,t\right).\end{array}$ (35)
Next, we have $\left(\genfrac{}{}{0}{}{\nu }{\mu +1}{\right)}_{K}\left[\mu +1{\right]}^{1/q}{D}_{\mu +1}^{1-{q}^{-1}}=\frac{{D}_{\nu }}{{D}_{\mu +1}{D}_{\nu -\mu -1}^{{q}^{\mu +1}}}{D}_{\mu +1}{\left(\frac{\left[\mu +1\right]}{{D}_{\mu +1}}\right)}^{1/q}=\frac{{D}_{\nu }}{{D}_{\mu }{D}_{\nu -\mu -1}^{{q}^{\mu +1}}},$  and also ${D}_{\nu -\mu -1}^{q}=\frac{1}{\left[\nu -\mu \right]}\left[\nu -\mu \right]{D}_{\nu -\mu -1}^{q}=\frac{{D}_{\nu -\mu }}{\left[\nu -\mu \right]},$  whence ${D}_{\nu -\mu -1}^{{q}^{\mu +1}}=\frac{{D}_{\nu -\mu }^{{q}^{\mu }}}{\left[\nu -\mu {\right]}^{{q}^{\mu }}}.$  Therefore ${\Sigma }_{2}={\sum }_{\nu =0}^{\infty }{\sum }_{\mu =0}^{\nu }\left(\genfrac{}{}{0}{}{\nu }{\mu }{\right)}_{K}\left[\nu -\mu {\right]}^{{q}^{\mu }}{s}^{{q}^{\mu }}{t}^{{q}^{\nu }}.$  As above, $\left[\nu -\mu {\right]}^{{q}^{\mu }}={\left({x}^{{q}^{\nu -\mu }}-x\right)}^{{q}^{\mu }}=\left[\nu \right]-\left[\mu \right]$  , so that ${\Sigma }_{2}={\sum }_{\nu =0}^{\infty }{\sum }_{\mu =0}^{\nu }\left(\genfrac{}{}{0}{}{\nu }{\mu }{\right)}_{K}\left(\left[\nu \right]-\left[\mu \right]\right){s}^{{q}^{\mu }}{t}^{{q}^{\nu }}.$  Together with (35), this implies (34). $■$  References

1. Yu. Berest and A. Kasman, $\mathcal{D}$  -modules and Darboux transformations, Lett. Math. Phys. 43 (1998), 279–294.
2. J.-E. Björk, Rings of Differential Operators, North-Holland, Amsterdam, 1979.
3. R. Bögvad, An analogue of holonomic D-modules on smooth varieties in positive characteristics, Homology Homotopy Appl. 4, No. 2 (2002), 83–116.
4. N. Bourbaki, Algebra I, Springer, Berlin, 1989.
5. L. Carlitz, On certain functions connected with polynomials in a Galois field, Duke Math. J. 1 (1935), 137–168.
6. P. Cartier, Démonstration “automatique” d'identités et fonctions hypergéometriques (d'après D. Zeilberger), Astérisque 206 (1992), 41–91.
7. S. C. Coutinho, A Primer of Algebraic D-modules, Cambridge University Press, 1995.
8. D. Goss, Fourier series, measures, and divided power series in the theory of function fields, K-Theory 1 (1989), 533–555.
9. D. Goss, Basic Structures of Function Field Arithmetic, Springer, Berlin, 1996.
10. M. A. Guest, Quantum cohomology via D-modules, math.DG/0206212.
11. K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory, Springer, New York, 1982.
12. A. N. Kochubei, Harmonic oscillator in characteristic $p$  , Lett. Math. Phys. 45 (1998), 11–20.
13. A. N. Kochubei, $\mathbb{F}q$  -linear calculus over function fields, J. Number Theory 76 (1999), 281–300.
14. A. N. Kochubei, Differential equations for $\mathbb{F}q$  -linear functions, J. Number Theory 83 (2000), 137–154.
15. A. N. Kochubei, Differential equations for $\mathbb{F}q$  -linear functions II: Regular singularity, Finite Fields Appl. 9 (2003), 250–266.
16. A. N. Kochubei, Umbral calculus in positive characteristic, Adv. Appl. Math. 34 (2005), 175–191.
17. S. K. Lando, Lectures on Generating Functions, AMS, Providence, 2003.
19. G. Lyubeznik, F-modules: applications to local cohomology and D-modules in characteristic $p>0$  , J. Reine Angew. Math. 491 (1997), 65–130.
20. J. C. McConnell and J. C. Robson, Noncommutative Noetherian Rings, AMS, Providence, 2001.
21. J. Riordan, Combinatorial Identities, Wiley, New York, 1968.
22. C. Sabbah, Systèmes holonomes d'équations aux q-differences. In: “D-modules and Microlocal Geometry” (M. Kashiwara et al., eds.), Walter de Gruyter, Berlin, 1993, pp. 125–147.
23. D. S. Thakur, Hypergeometric functions for function fields, Finite Fields and Their Appl. 1 (1995), 219–231.
24. D. S. Thakur, Hypergeometric functions for function fields II, J. Ramanujan Math. Soc. 15 (2000), 43–52.
25. D. S. Thakur, Function Field Arithmetic, World Scientific, Singapore, 2004.
26. A. Weil, Basic Number Theory, Springer, Berlin, 1967.