MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I known that there are classical ways to construct $p$-adic $L$ functions for Dirichlet characters through $p$-adic integrals.

We fix a character $\chi$ modulo $Np^r$ with $N$ and $p$ coprime and an integer $b$ coprime with $p$. It is possibile to create a mesure on $(\mathbb{Z}/N\mathbb{Z})^{\times}\times \mathbb{Z}_p^{\times}$ such that the integral of $z_p^k \xi(z)$ (for $z_p$ in $\mathbb{Z}_p^{\times}$, $k\geq 0$ and $\xi$ a character of $(\mathbb{Z}/N\mathbb{Z})^{\times}\times \mathbb{Z}_p^{\times}$ of finite order) is $(1-\xi\chi_1(b)b^{k+1})L_N(-k,\xi\chi)$, where we remove the Euler factors in $N$ and $p$ from the $L$ function of the corresponding primitive character, and $\xi\chi_1$ is the restriction of the character to its $p$-part.

Is there a way to construct similar mesures which would gave $L_N(k,\xi\chi)$? If we define a mesure on $1 + p\mathbb{Z}$ by pullback of the previous mesure, we can then get a mesure which gaves $L_N(-k,\xi\chi\omega^{-k})$ for $\omega$ the Teichmüller character of $\mathbb{Z}_p$. Assuming that the character $\xi\chi\omega^{-k}$ has conductor divisible by $p$, we can easily interpolate the missing Euler factors by the $p$-adic exponential, and then by the complex functional equation it is possible to have, up to trascendental factors and a power of the conductor, $L_N(k+1,\overline{\xi\chi\omega^{-k}})$.

What can we say if the character $\xi\chi\omega^{-k}$ has conductor not divisible by $p$? And is it possible to get some algebraic part of $L_N(k,\xi\chi\omega^{-k})$ integrating $z_p^k \xi(z)$?

Because $z_p^k \xi(z)$ is the function I have to integrate, and $L_N(k,\xi\chi\omega^{-k})$ is the result I need.

I thought about composing this mesure with the inversion of $(\mathbb{Z}/N\mathbb{Z})^{\times}\times \mathbb{Z}_p^{\times}$, but then I should integrate $z_p^{-k}$ and I do not know what I get from it. Maybe it is well-known, but I could not find any references about these kind of integrals at negative powers.

share|cite|improve this question
Generally the values of L-functions at positive integers are transcendental numbers, or are numbers believed to be transcendental. There isn't a natural way to embed these iside an algebraic closure of $\mathbb{}_p$, so I cannot see how there's a sensible notion of interpolation. – Robin Chapman Nov 22 '10 at 16:40
I see your point, but if you multiply the $L$ function associated to the primitive character $L(k,\chi)$ by $i^a \pi^{1/2-k}\frac{\Gamma(\frac{k+a}{2})}{\Gamma(\frac{1-k+a}{2})}$, where $a$ is the parity of your character, then by the complex functional equation you know that it is algebraic. That is the number I would like to interpolate. Those are the numbers I would like to interpolate. Maybe the existence of a functional equation for the $p$-adic $L$ function could help – gvnros Nov 22 '10 at 18:34
If you do that, then basically you have the values at the negative integers. – Robin Chapman Nov 22 '10 at 18:55
ok, thank you very much – gvnros Nov 23 '10 at 13:17

The problem is that your $L_N(k,\xi\chi)$ do not lie in an extension of $\mathbb{Q}_p$.

You can interpolate the algebraic part, but using the functional equation of the original Dirichelt L-functions you can see that

$$L(k,\xi\chi)=\gamma (k)L(-k,\xi\chi)$$

where $\gamma (k)$ is a trascendental gamma factor, and obviously $L(-k,\xi\chi)\in\mathbb{Q}$

So you are really just doing the Kubota-Leopoldt construction again (Robin Chapman alredy pointed this out in the comments). The argument with p-adic measures should give the same result.

share|cite|improve this answer

Your Answer


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.