Skip to main content
2 of 4
edited tags
Alexey Ustinov
  • 12.3k
  • 7
  • 87
  • 119

Question about log and exp of a formal group law

Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $F$ be a Lubin Tate formal group law defined over $K$ with endomorphism $f(T)$ corresponding to $\pi$ (a uniformizer of $K$). Then one can define the logarithm of $F$ to be $\lambda_F(T) = \lim_{n\rightarrow\infty}\pi^{-n}f^n(T)$. $\lambda_F(T) = T +$ higher degree terms, so the logarithm is invertible under function composition. We define $\text{exp}_F(T)$ to be the inverse of $\lambda_F$ under composition. Then $\text{exp}_F(\lambda_F(T)) = T$. However I don't understand how this is possible if $\lambda_F$ is not one to one. In particular $\lambda_F$ sends all torsion points of $F$ to 0. Please let me know what is wrong here.

user474
  • 123
  • 5