Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

$$ f(x) = \sum^{\infty}_{n=0} a_n {x \choose n}. $$

This is known as the Mahler expansion of $f$. Here, to make sense of $x \choose n$ for $x \not\in \mathbb{Z}$ define

$$ {x\choose n} = \frac{x(x-1)\ldots(x-n+1)}{n!}. $$

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 Cyclotomic Fields and Zeta Values.

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 Iwasawa Theory of Elliptic Curves with Complex Multiplication).

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.

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?

share|improve this question
    
Just a remark that p-adic L-functions are analytic, which is much stronger than just continuous, so power series expansions for them are in a sense much easier to come by, even if the source is much more general. –  Kevin Buzzard Feb 13 '10 at 21:55

5 Answers 5

up vote 14 down vote accepted

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$.

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.

EDIT: 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.

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 $f|_{\mathbb{Z}_p}$ 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 Ultrametric calculus: an introduction to $p$-adic analysis by W. H. Schikhof).

2) If one chooses a $\mathbb{Z}_p$-basis of $\mathcal{O}$, then $f$ can be interpreted as a continuous function $\mathbb{Z}_p^r \to \mathbb{C}_p$, 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.

share|improve this answer

Ehud de Shalit has a preprint called "Mahler's theorem for local fields" which does what you want.

share|improve this answer

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 The Digit Principle, J. Number Theory 84 (2000), no. 2, 230--257. arXiv version

S. Evrard has recently extended some of these results to cases with infinite residue field Normal bases of rings of continuous functions constructed with the $(q_n)$-digit principle. Acta Arith. 135 (2008), no. 3, 219--230.

Edited to add: probably of more relevance to your question though would be the theory of Mahler-type expansions developed in p-Adic Fourier Theory by Schneider and Teitelbaum.

share|improve this answer

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.

share|improve this answer

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.

Carl

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.