Skip to main content
3 of 8
$\text{}$ -> plain text
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Can we extend the Bernoulli distributions on finite extension of $\mathbb{Q}_p$?

The source of the following topic is Section 5 (Measure and integration), Chapter II of the book $p$-adic numbers, $p$-adic analysis and zeta functions. by Neal Koblitz:

The $p$-adic field $\mathbb{Q}_p$ has topological basis of open sets of the form $a+p^N \mathbb{Z}_p$ for $0 \leq a \leq p^N-1$ and $N \in \mathbb{Z}$. These are indeed compact open sets. One can define Bernoulli distributions by $$\mu_{B,k}(a+p^N \mathbb{Z}_p)=p^{N(k-1)}B_k \left(\frac{a}{p^N}\right), $$ where $B_k(x)$ are Bernoulli polynomials and $B_k=B_k(0)$ are Bernoulli numbers.

These $\mu_{B,k}$ extends to a distribution on $\mathbb{Z}_p$.

But these Bernoulli distributions $\mu_{B,k}$ do not define measure. However, in order to integrate $p$-adic continuous functions over the compact open subsets of $\mathbb{Q}_p$, one defines the regularized Bernoulli distribution by $$\mu_{k,\alpha}(U)=\mu_{B,k}(U)-\alpha^{-k}\mu_{B,k}(\alpha U)$$ for $\alpha \in \mathbb{Z}_p^{*}$, $k \in \{0\} \cup \mathbb{N}$ and $U=a+p^N \mathbb{Z}_p$.

The measures $\mu_{k, \alpha}$ are related by $$\int_{\mathbb{Z}_p} f(x) d \mu_{k,\alpha}=\int_{\mathbb{Z}_p} f(x) \cdot kx^{k-1} d \mu_{1, \alpha},$$ for any continuous function $f: \mathbb{Z}_p \to \mathbb{Z}_p$.

This is all the story on $\mathbb{Q}_p$.

Now consider a finite extension $K$ of $\mathbb{Q}_p$. It has similar compact-open subsets $\mathcal{O}_K$, the ring of integers and topological basis consisting of open sets $a+\pi O_K$, where $\pi$ is the uniformizer in the ring $\mathcal{O}_K$. Clearly, we can define Haar measure normalized with $\mu(O_K)=1$ and so $\mu(m_K)=1/q$, where $m_K$ is the maximal ideal and $q=\lvert\mathcal{O}_K/m_K\rvert$.

Also we know that Haar measure $\mu$ coincide with the Bernoulli distribution $\mu_{B,k}$ for $k=0$.

So it appears trivially that we can define the Bernoulli distribution $\mu_{B,0}$ on the finite extension $K$ as it equals to Haar measure and which can be defined on any locally compact Hausdorff space $K$.

My question-

Can we extend the Bernoulli distributions $\mu_{B,k}$ and regularized Bernoulli distributions $\mu_{k,\alpha}$ to finite extension $K$ of $\mathbb{Q}_p$?

Is it available in the literature?

Can we generalize the ideas in any finite extension of $\mathbb{Q}_p$?

I think the only thing we need to handle is the uniformizer $\pi$ which was just $p$ in case of $\mathbb{Q}_p$.

MAS
  • 930
  • 6
  • 18