Pólya's theorem of \(\mathbb{F}_ q[T]\) (Q1366674): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 15:00, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pólya's theorem of \(\mathbb{F}_ q[T]\) |
scientific article |
Statements
Pólya's theorem of \(\mathbb{F}_ q[T]\) (English)
0 references
22 September 1997
0 references
In classical analysis, a theorem due to \textit{G. Pólya} [Über ganzwertige ganze Funktionen, Palermo Rend. 40, 1-16 (1915; JFM 45.0655.02)] states that an entire function of exponential order \(<1\), or exponential order 1 and type \(<\log 2\), which takes integer values on the set of nonnegative integers must be a polynomial. Now let \({\mathcal A}= \mathbb{F}_q[T]\). It is well-known that \({\mathcal A}\) is analogous to \(\mathbb{Z}\) in many ways; in fact the theory of Drinfeld modules, etc., is based on such analogies. In this interesting paper, the author establishes an elegant analog of Pólya's result for \({\mathcal A}\). In other words, let \(k\) be the quotient field of \({\mathcal A}\), \(K= k_\infty=\) the completion at the place \(\infty\) of \(k\), \(\overline K\) a fixed algebraic closure of \(K\) with its canonical metric and \(C_\infty\) the completion of \(\overline K\). As \(C_\infty\) has an absolute value, one obviously has entire power series with \(C_\infty\)-coefficients and so on. It is for these types of functions that the author's results hold. Remarkably, the proofs of these results involve the use of the ``Carlitz polynomials''. These are polynomials with \({\mathcal A}\)-coefficients which first appeared in [\textit{L. Carlitz}, Duke Math. J. 6, 486-504 (1940; Zbl 0026.05304)]; they are an excellent analog for \({\mathcal A}\) of the classical binomial polynomials \({s\choose j}\).
0 references
Pólya theorem
0 references
entire functions series
0 references
generalized binomial polynomials
0 references
Carlitz polynomials
0 references
Drinfeld modules
0 references
entire power series
0 references
polynomials
0 references