8
$\begingroup$
  1. Let $F$ be a number field. Denote, as usual, $\mathcal{O}_F$ the ring of integers and $r_1$, $r_2$ the number of real and complex embeddings. Let $\zeta_F(s)$ be the Dedekind zeta function of $F$. The class number formula says that the leading term of $\zeta_F$ at $s=0$ equals $$ \zeta_F^\ast(0):=\lim_{s \to 0} \zeta_F(s)s^{-(r_1+r_2-1)}=-\frac{h}{w} R, \quad (1) $$ where $R$ is the covolume of the image of Dirichlet's regulator $\mathcal{O}_F^\ast \to \mathbb{R}^{r_1+r_2}.$ By the functional equation, this statement is equivalent to the computation of the residue of $\zeta_F$ at $s=1$.

  2. Borel introduced higher regulators $$ K_{2n-1}(\mathcal{O}_F) \to \mathbb{R}^{d_n} $$ where $n \geq 1$ and $d_n=r_1+r_2$ if $n$ is odd and $r_2$ if $n$ is even. When $n=1$, $K_1(\mathcal{O}_F)\sim \mathcal{O}_F^\ast$ and one recovers the first regulator. Then he proved that the leading term of $\zeta_F(s)$ at $s=1-n$ is $$ \zeta_F^\ast(1-n)=\alpha \pi^{d_n} R_n \quad (2) $$ where $\alpha \in \mathbb{Q}^\times$ and $R_n$ is the covolume of the image of $K_{2n-1}(\mathcal{O}_F)$ in $\mathbb{R}^{d_n}$.

  3. Given a prime number $p$, one has at disposal a $p$-adic Dedekind zeta function $\zeta_{F, p}$ and an equivalent of Dirichlet's regulator, constructed by Leopoldt. It is known that the equivalent of (1) holds in this case (I think for arbitrary $F$ this is due to Colmez).

Question: Does there exist a $p$-adic version of (2)?

$\endgroup$

2 Answers 2

7
$\begingroup$

Yes, there are $p$-adic analogues of (2). The case where $F$ is abelian over $\mathbf{Q}$ is known: see the paper

Manfred Kolster and Thong Nguyen Quang Do, Syntomic regulators and special values of p-adic L-functions, Invent. math. 133, 417-447 (1998).

From the abstract: "In this paper p-adic analogs of the Lichtenbaum Conjectures are proven for abelian number fields $F$ and odd prime numbers $p$, which generalize Leopoldt's $p$-adic class number formula, and express special values of $p$-adic $L$-functions in terms of orders of $K$-groups and higher $p$-adic regulators."

There's also been a lot of more recent work on this. For example, see Besser, Buckingham, De Jeu and Roblot, On the p-adic Beilinson conjecture for number fields, Pure and Applied Math Quarterly 5 (2009), number 1, 375-434

$\endgroup$
2
$\begingroup$

There are some more things that could be said concerning $p$-adic analogues of Borel's results. First, there is an interesting paper on $p$-adic Borel regulators by Huber and Kings:

  • A. Huber and G. Kings. A p-adic analogue of the Borel regulator and the Bloch-Kato exponential map. J. Inst. Math. Jussieu, 10, 2011, no. 1, 149-190.

The result of the paper is a construction of a Borel regulator $K_{2n-1}(R)\to K$ for $K/\mathbb{Q}_p$ a $p$-adic field and $R$ its valuation ring. The construction is actually pretty close to Borel's construction in the number field case. In the paper, you can also find a comparison to Soulé's regulator $K_{2n-1}(R)\to H^1_{et}(K,\mathbb{Q}_p(n))$ via the Bloch-Kato exponential map.

The $p$-adic Borel regulator of Huber and Kings has been compared to Karoubi's regulator (which is constructed via cyclic homology) by Tamme, in the following paper:

  • G. Tamme Comparison of Karoubi's regulator and the p-adic Borel regulator, Journal of K-Theory 9 (2012), no. 3, 579-600.

Concerning the comparison between regulators and leading terms of zeta-functions, I do not know much about this beyond relations to the Leopoldt conjecture as in the question. Probably a full $p$-adic analogue of (2) is not known at the moment, but I do not know about the state of the art.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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