Suppose we have a finite extension $K / \mathbb{Q}_p$ with valuation ring $\mathcal{O}$ and maximal ideal $\mathfrak{p}$.

One can define the $\mathfrak{p}$-adic logarithm on the group of principal units $U^{(1)}$ of the local field $K$ using the power series expansion $$\log(1 + x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \ldots.$$

One can then extend the definition to a map $\log\colon K^\ast \rightarrow K$ satisfying the properties $\log(xy) = \log(x) + \log(y)$ and $\log(p) = 0$.

My question is, why do we want $\log(p) = 0$?

With the usual logarithm over $\mathbb{R}$, the kernel of $\log$ is $\{1\}$, and I don't see an analogy where $p$ could correspond to something in $\mathbb{R}$. So what makes this particular choice of $\log(p)$ desirable, over for example some other choice like $\log(p) = e$, where $(p) = \mathfrak{p}^e$?


The main goal is to construct a continuous function $log_p: \mathbf C_p ^* \to \mathbf C_p$ s.t. $log_p (xy) = log_p + log_p (y)$. Since $ \mathbf C_p ^* = p^\mathbf Q \times W \times U_1$, where $U_1$ is the group of principal units and $W$ the group of roots of $1$ of order prime to $p$, it suffices to define $log_p$ on each of the direct factors. On $U_1$ one has already the usual power series $log_p (1+x)$ whose radius of convergence is $1$. On $W$, one must have the nullity of $log_p$, since for any root of unity $w$ of order $n$, necessarily $n.log_p (w)= log_p (1) = 0$. It remains only to adjust the value $log_p (p)$.

The choice is not quite arbitrary, because any $\sigma \in G_\mathbf {Q_p} $can be extended to a continuous automorphism of $\mathbf C_p$, and it follows that $log_p (p) \in \mathbf Q_p$. Your suggested choice $log_p (p)=e$ is not good either because it depends on the ambient field $K$. Actually, most of the ramification problems in CFT are concentrated in $U_1$, as well as most of the calculations about $L_p$-functions , so the definitely most natural (which is also the most simple) choice is $log_p (p)=0$. It follows that Ker $log_p = p^\mathbf Q \times \mu$, where $\mu$ is the group of all roots of unity (of arbitrary order).

  • 3
    $\begingroup$ Perfect answer. But the logarithmic series already vanishes at the $p$-primary roots of unity, no matter what you define $\log(p)$ to be, so I would recommend deletion of your last sentence (unless I have misunderstood your intention here). $\endgroup$ – Lubin Jul 11 '17 at 14:00
  • 2
    $\begingroup$ @Lubin Right, I modify my last sentence. $\endgroup$ – nguyen quang do Jul 11 '17 at 15:20
  • 1
    $\begingroup$ @Tob Ernack Let $K$ be a finite extension of $\mathbf Q_p$. Local CFT establishes the existence of a "reciprocity homomorphism" $rec_K: K^* \to G_K^{ab}$ (= the Galois group of the maximal abelian extension of $K$) with the following properties : (1) The restriction of $rec_K$ to $U_K$ (= the unit group of $K$) induces an isomorphism onto the inertia subgroup $I_K$ (2) Since the maximal abelian unramified extension of $K$ (= fixed by $I_K$) is simply the extension obtained by adding all roots of 1 of order prime to $p$, it remains "only " to describe $I_K$. $\endgroup$ – nguyen quang do Jul 11 '17 at 15:39
  • 1
    $\begingroup$ First one describes the filtration of $U_K$ provided by the subgroups $U_K ^{n} = 1+ P^n$, the successive quotients $U_K^{n} / U_K^{n+1}$ being "well known" . Then one transfers this filtration to $I_K$, knowing by CFT that $rec_K$ induces a surjective homomorphism of $U_K^{v}$ onto $I_K^{v}$. Here $v$ is a positive real and $I_K^{v}$ is the ramification subgroup of index $v$ in the upper enumeration (I don't recall the definitions). $\endgroup$ – nguyen quang do Jul 11 '17 at 15:50
  • 1
    $\begingroup$ @Torsten Schoeneberg. Sorry for my late answer, but here is the (somewhat technical) point. After the establishment of the main theoretical properties of CFT, a natural continuation was to give "explicit" descriptions of the reciprocity map, in particular the local Artin symbol. In the classical first results obtained for the cyclotomic fields $\mathbf Q_p (\zeta_{p^n})$ by computing the Hilbert symbol $<a,b>_n:=\zeta_{p^n}^{[a,b]_n}$ defined by combining CFT and Kummer theory (Hasse, Shafarevich, Iwasawa, Brückner, Vostokov...), extended later to Lubin-Tate towers by Coates and Wiles... $\endgroup$ – nguyen quang do Jul 28 '18 at 11:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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