When does a p-adic function have a Mahler expansion? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T11:07:41Z http://mathoverflow.net/feeds/question/15209 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15209/when-does-a-p-adic-function-have-a-mahler-expansion When does a p-adic function have a Mahler expansion? Hunter Brooks 2010-02-13T21:04:00Z 2010-06-23T17:57:29Z <p>Let $f: \mathbb{Z}_p \rightarrow \mathbb{C}_p$ be any continuous function. Then Mahler showed there are coefficients $a_n \in \mathbb{C}_p$ with </p> <p>$$f(x) = \sum^{\infty}_{n=0} a_n {x \choose n}.$$</p> <p>This is known as the Mahler expansion of $f$. Here, to make sense of $x \choose n$ for $x \not\in \mathbb{Z}$ define </p> <p>$${x\choose n} = \frac{x(x-1)\ldots(x-n+1)}{n!}.$$</p> <p>There's an important application to number theory: expressing a function in terms of its Mahler expansion is one step in translating the old fashioned interpolation-based language of $p$-adic $L$-functions into the more modern measure-theoretic language. This application is explained in Coates and Sujatha's book <em>Cyclotomic Fields and Zeta Values</em>.</p> <p>However, when the $p$-adic $L$-function is more complicated than Kubota-Leopoldt's, it seems to me that this "translation" really requires one to be able to write down a Mahler expansion of a function $f$ with much larger domain, e.g. the ring of integers of the completion of the maximal unramified extension of $\mathbb{Q}_p$ or some finitely ramified extension. (See, for instance, line (8), p. 19 of de Shalit's <em>Iwasawa Theory of Elliptic Curves with Complex Multiplication</em>).</p> <p>I can't find a published reference that these functions really have Mahler expansions. Mahler's paper uses in an essential way that the positive integers are dense in $\mathbb{Z}_p$, so it doesn't instantly generalize.</p> <p>So is it true or false that for a ring of integers $\mathcal{O}$ in a finitely ramified complete extension of $\mathbb{Q}_p$, and a function $f: \mathcal{O} \rightarrow \mathbb{C}_p$, there is a Mahler expansion as above?</p> http://mathoverflow.net/questions/15209/when-does-a-p-adic-function-have-a-mahler-expansion/15212#15212 Answer by Bjorn Poonen for When does a p-adic function have a Mahler expansion? Bjorn Poonen 2010-02-13T21:28:51Z 2010-02-14T00:26:51Z <p>It is false for the valuation ring in any nontrivial finite extension of $\mathbb{Q}_p$. The coefficients of the Mahler expansion of a continuous function $\mathcal{O} \to \mathbb{C}_p$ are determined by its restriction to $\mathbb{Z}_p$ (they are given as $n$-th differences of the sequence of values on nonnegative integers, in fact). But there are different continuous functions $\mathcal{O} \to \mathbb{C}_p$ with the same restriction to $\mathbb{Z}_p$.</p> <p>Even worse, the Mahler expansions need not even converge because if $x$ is not in $\mathbb{Z}_p$, the binomial coefficient values may have negative valuation.</p> <p><strong>EDIT:</strong> As Kevin Buzzard and dke suggest, one can give a positive answer if your question is interpreted differently. The point of this edit is to make a few explicit remarks in these two directions.</p> <p>1) If it is known in advance that $f \colon \mathcal{O} \to \mathbb{C}_p$ is represented by a single convergent power series, then the Mahler expansion of <code>$f|_{\mathbb{Z}_p}$</code> converges to $f$ on all of $\mathcal{O}$. This can be deduced from the theorem that a continuous function $\mathbb{Z}_p \to \mathbb{C}_p$ is analytic if and only if the Mahler expansion coefficients $a_n$ satisfy $a_n/n! \to 0$ (see Theorem 54.4 in <em>Ultrametric calculus: an introduction to $p$-adic analysis</em> by W. H. Schikhof).</p> <p>2) If one chooses a <code>$\mathbb{Z}_p$</code>-basis of $\mathcal{O}$, then $f$ can be interpreted as a continuous function <code>$\mathbb{Z}_p^r \to \mathbb{C}_p$</code>, and any such function has a multivariable Mahler expansion $$\sum a_n \binom{x_1}{n_1} \cdots \binom{x_r}{n_r},$$ where the sum is over tuples $n=(n_1,\ldots,n_r)$ with $n_i \in \mathbb{Z}_{\ge 0}$, and $a_n \to 0$ $p$-adically.</p> http://mathoverflow.net/questions/15209/when-does-a-p-adic-function-have-a-mahler-expansion/15213#15213 Answer by dke for When does a p-adic function have a Mahler expansion? dke 2010-02-13T22:01:05Z 2010-02-13T23:23:00Z <p>As Bjorn says in his answer, the set of binomial coefficient functions just isn't sufficient in general. However, plenty has been written about analogues of Mahler expansions, i.e. finding nice bases for various spaces of continuous functions, going back to Amice in the 1960's for finite extensions of ${\mathbb Q}_p$, as well as positive characteristic versions. This is all very nicely explained in Keith Conrad's <i> The Digit Principle</i>, J. Number Theory 84 (2000), no. 2, 230--257. <a href="http://arxiv.org/abs/math/0002026" rel="nofollow"> arXiv version </a></p> <p>S. Evrard has recently extended some of these results to cases with infinite residue field <i> Normal bases of rings of continuous functions constructed with the $(q_n)$-digit principle. </i> Acta Arith. 135 (2008), no. 3, 219--230. </p> <p>Edited to add: probably of more relevance to your question though would be the theory of Mahler-type expansions developed in <a href="http://www.mathematik.uni-bielefeld.de/documenta/vol-06/18.html" rel="nofollow"> <i>p-Adic Fourier Theory</i></a> by Schneider and Teitelbaum. </p> http://mathoverflow.net/questions/15209/when-does-a-p-adic-function-have-a-mahler-expansion/15215#15215 Answer by Carl Weisman for When does a p-adic function have a Mahler expansion? Carl Weisman 2010-02-13T22:08:30Z 2010-02-13T22:08:30Z <p>The answer to another interpretation of the question is: any continuous function from the p-adic integers to a Banach space over the p-adic numbers has a Mahler expansion, where the coefficients of the Newton polynomials are elements of the Banach space, computed by Newton's interpolation sum.</p> <p>Carl</p> http://mathoverflow.net/questions/15209/when-does-a-p-adic-function-have-a-mahler-expansion/23079#23079 Answer by Laurent Berger for When does a p-adic function have a Mahler expansion? Laurent Berger 2010-04-30T07:33:19Z 2010-04-30T07:33:19Z <p>Ehud de Shalit has a preprint called "Mahler's theorem for local fields" which does what you want.</p> http://mathoverflow.net/questions/15209/when-does-a-p-adic-function-have-a-mahler-expansion/29263#29263 Answer by Arijit for When does a p-adic function have a Mahler expansion? Arijit 2010-06-23T17:31:26Z 2010-06-23T17:31:26Z <p>You can look up the nice paper by Manjul Bhargava and Kiran Kedlaya titled "Continuous functions on compact sets of local fields". The results in this paper are weaker than the papers proposed by other people but nonetheless the paper is really easy and a pleasure to read.</p>