The perfectoid commutant
of Lubin-Tate power series

Let $F$ be a finite extension of $\mathbf{Q}_{p}$, with ring of integers $\mathcal{O}_{F}$ and residue field $k$. Let $q=\operatorname{Card}(k)$ and let $\pi$ be a uniformizer of $\mathcal{O}_{F}$. Let $\mathrm{LT}$ be the Lubin-Tate formal $\mathcal{O}_{F}$-module attached to $\pi$. Let $F_{\infty}=F(\mathrm{LT}[\pi^{\infty}])$ denote the extension of $F$ generated by the torsion points of $\mathrm{LT}$, and let $\Gamma_{F}=\operatorname{Gal}(F_{\infty}/F)$. The Lubin-Tate character $\chi_{\pi}$ gives rise to an isomorphism $\chi_{\pi}:\Gamma_{F}\to\mathcal{O}_{F}^{\times}$.

The field of norms ([Win83]) $\mathbf{E}_{F}$ of the extension $F_{\infty}/F$ is a local field of characteristic $p$, endowed with an action of $\Gamma_{F}$, that can be explicitly described as follows. We choose a coordinate $T$ on $\mathrm{LT}$, so that for each $a\in\mathcal{O}_{F}$ we get a power series $[a](T)\in\mathcal{O}_{F}[\![T]\!]$. We then have $\mathbf{E}_{F}=k(\!(Y)\!)$, on which $\Gamma_{F}$ acts via the formula $\gamma(f(Y))=f([\chi_{\pi}(\gamma)](Y))$. In $p$-adic Hodge theory, we consider the field $\widetilde{\mathbf{E}}_{F}$, which is the $Y$-adic completion of the maximal purely inseparable extension $\cup_{n\geqslant 0}\mathbf{E}_{F}^{q^{-n}}$ of $\mathbf{E}_{F}$ inside an algebraic closure. The action of $\Gamma_{F}$ extends to the field $\widetilde{\mathbf{E}}_{F}$. If $f\in\widetilde{\mathbf{E}}_{F}$ and $\gamma\in\Gamma_{F}$, we still have $\gamma(f(Y))=f([\chi_{\pi}(\gamma)](Y))$. The question that motivated this paper is the following.

If $a\in\mathcal{O}_{F}^{\times}$, then $u(Y)=[a](Y)$ is an element of $\mathbf{E}_{F}$ of valuation $1$ that satisfies the functional equation $u\circ[g](Y)=[g]\circ u(Y)$ for all $g\in\mathcal{O}_{F}^{\times}$. Conversely, we prove the following theorem, which answers the question, as it allows us to find a uniformizer of $\mathbf{E}_{F}$ from the data of the valued field $\widetilde{\mathbf{E}}_{F}$ endowed with the action of $\Gamma_{F}$.

In particular, $\mathbf{E}_{F}=k(\!(u)\!)$ for any $u$ as in theorem A. The main difficulty in the proof of theorem A is to prove that if $u$ is as in the statement of theorem A, then there exists $n\geqslant 0$ such that $u\in\mathbf{E}_{F}^{q^{-n}}$. If $F=\mathbf{Q}_{p}$ and $\pi=p$, namely in the cyclotomic situation, this follows from the main result of [BR22]. However, a crucial ingredient in that paper does not generalize to $F\neq\mathbf{Q}_{p}$. In order to go beyond the cyclotomic case, we instead use a result of Colmez ([Col02]) to lift $u$ to an element $\hat{u}$ of a ring $\and_{F}^{+}$ (the Witt vectors over the ring of integers of $\widetilde{\mathbf{E}}_{F}$, as well as a completion of $\cup_{n\geqslant 0}\varphi_{q}^{-n}(\mathcal{O}_{F}[\![\widehat{Y}]\!])$, where $\varphi_{q}(\widehat{Y})=[\pi](\widehat{Y})$), that will satisfy a similar functional equation. In particular, $\hat{u}$ is a locally analytic element of a suitable ring of $p$-adic periods. By previous results of the author ([Ber16]), $\hat{u}$ belongs to $\varphi_{q}^{-n}(\mathcal{O}_{F}[\![\widehat{Y}]\!])$ for a certain $n$. This allows us to prove that there exists $n\geqslant 0$ such that $u\in\mathbf{E}_{F}^{q^{-n}}$. By replacing $u$ with $u^{p^{k}}$ for a well chosen $k$, we are led to the study of elements of $Y\cdot k[\![Y]\!]$ under composition. We prove that $u$ is invertible for composition, and to conclude we use a theorem of Lubin-Sarkis ([LS07]) saying that if an invertible series commutes with a nontorsion element of $\operatorname{Aut}(\mathrm{LT})$, then that series is itself in $\operatorname{Aut}(\mathrm{LT})$. We finish this paper with an explanation of why the “Tate traces” on $\widetilde{\mathbf{E}}_{F}$ used in [BR22] don’t exist if $F\neq\mathbf{Q}_{p}$.

We use the notation that was introduced in the introduction. In order to apply lemma 9.3 of [Col02], we assume that the coordinate $T$ on $\mathrm{LT}$ is chosen such that $[\pi](T)$ is a monic polynomial of degree $q$ (for example, we could ask that $[\pi](T)=T^{q}+\pi T$).

Let $F_{0}=\mathbf{Q}_{p}^{\mathrm{unr}}\cap F$. Let $\widetilde{\mathbf{E}}_{F}^{+}$ denote the ring of integers of $\widetilde{\mathbf{E}}_{F}$ and let $\and^{+}_{F}=\mathcal{O}_{F}\otimes_{\mathcal{O}_{F_{0}}}W(\widetilde{\mathbf{E}}_{F}^{+})$ be the $\mathcal{O}_{F}$-Witt vectors over $\widetilde{\mathbf{E}}^{+}_{F}$.

Let $\log_{\mathrm{LT}}(T)$ and $\exp_{\mathrm{LT}}(T)$ be the logarithm and exponential series for $\mathrm{LT}$. Write $\exp_{\mathrm{LT}}(T)=\sum_{n\geqslant 1}e_{n}T^{n}$ and $\exp_{\mathrm{LT}}(T)^{j}=\sum_{n\geqslant j}e_{j,n}T^{n}$ for $j\geqslant 1$.

We use a number of rings of $p$-adic periods in the Lubin-Tate setting, whose construction and properties were recalled in §3 of [Ber16]. Proposition 1 gives us an element $\hat{Y}\in\and_{F}^{+}$ (denoted by $u$ in ibid.). Let $\widetilde{\mathbf{B}}_{F}^{+}=\and_{F}^{+}[1/\pi]$. Given an interval $I=[r;s]\subset[0;+\infty[$, a valuation $V(\cdot,I)$ on $\widetilde{\mathbf{B}}^{+}_{F}[1/\hat{Y}]$ is constructed in ibid., as well as various completions of that ring. We use $\widetilde{\mathbf{B}}_{F}^{I}$, the completion of $\widetilde{\mathbf{B}}^{+}_{F}[1/\hat{Y}]$ for $V(\cdot,I)$ and $\widetilde{\mathbf{B}}^{\dagger,r}_{\mathrm{rig},F}=\varprojlim_{s\geqslant r}\widetilde{\mathbf{B}}_{F}^{[r;s]}$. Inside $\widetilde{\mathbf{B}}^{\dagger,r}_{\mathrm{rig},F}$, there is the ring $\mathbf{B}^{\dagger,r}_{\mathrm{rig},F}$ of power series $f(\hat{Y})$ with coefficients in $F$, where $f(T)$ converges on a certain annulus depending on $r$.

Let $W$ be a Banach space with a continuous action of $\Gamma_{F}$. The notion of locally analytic vector was introduced in [ST03]. Recall (see for instance §2 of [Ber16]; the definition given there is easily seen to be equivalent to the following one) that an element $w\in W$ is locally $F$-analytic if there exists a sequence $\{w_{k}\}_{k\geqslant 0}$ of $W$ such that $w_{k}\to 0$, and an integer $n\geqslant 1$ such that for all $\gamma\in\Gamma_{F}$ such that $\chi_{\pi}(\gamma)=1+p^{n}c(\gamma)$ with $c(\gamma)\in\mathcal{O}_{F}$, we have $\gamma(w)=\sum_{k\geqslant 0}c(\gamma)^{k}w_{k}$. If $W=\varprojlim_{i}W_{i}$ is a Fréchet representation of $\Gamma_{F}$, we say that $w\in W$ is pro-$F$-analytic if its image in $W_{i}$ is locally $F$-analytic for all $i$.

Recall that a power series $f(Y)\in k[\![Y]\!]$ is separable if $f^{\prime}(Y)\neq 0$. If $f(Y)\in Y\cdot k[\![Y]\!]$, we say that $f$ is invertible if $f^{\prime}(0)\in k^{\times}$, which is equivalent to $f$ being invertible for composition (denoted by $\circ$). We say that $w(Y)\in Y\cdot k[\![Y]\!]$ is nontorsion if $w^{\circ n}(Y)\neq Y$ for all $n\geqslant 1$. If $w(Y)=\sum_{i\geqslant 0}w_{i}Y^{i}\in k[\![Y]\!]$ and $m\in\mathbf{Z}$, let $w^{(m)}(Y)=\sum_{i\geqslant 0}w_{i}^{p^{m}}Y^{i}$. Note that $(w\circ v)^{(m)}=w^{(m)}\circ v^{(m)}$.

We now prove theorem A. Take $u\in\widetilde{\mathbf{E}}_{F}$ such that $\operatorname{val}_{Y}(u)=1$ and $u\circ[g]=[g]\circ u$ for all $g\in\mathcal{O}_{F}^{\times}$. By proposition 1, $u$ has a lift $\hat{u}\in\and^{+}_{F}$ such that $\gamma(\hat{u})=[\chi_{\pi}(\gamma)]\circ\hat{u}$ for all $\gamma\in\Gamma_{F}$. By proposition 1, $\hat{u}$ is a pro-$F$-analytic element of $\widetilde{\mathbf{B}}^{\dagger,r}_{\mathrm{rig},F}$. By proposition 1, there exists $n\geqslant 0$ such that $\hat{u}\in\varphi_{q}^{-n}(\mathbf{A}^{+}_{F})$. This implies that $u\in\varphi_{q}^{-n}(\mathbf{E}^{+}_{F})$. Hence there is an $m\in\mathbf{Z}$ such that $f(Y)=u(Y)^{p^{m}}$ belongs to $Y\cdot k[\![Y]\!]$ and is separable. Note that $\operatorname{val}_{Y}(f)=p^{m}$. Take $g\in 1+\pi\mathcal{O}_{F}$ such that $g$ is nontorsion, and let $w(Y)=[g](Y)$ so that $u\circ w=w\circ u$. We have $f\circ w=w^{(m)}\circ f$. By proposition 2, $f$ is invertible. This implies that $\operatorname{val}_{Y}(f)=1$, so that $m=0$ and $u$ itself is invertible. Since $u\circ[g]=[g]\circ u$ for all $g\in\mathcal{O}_{F}^{\times}$, theorem 6 of [LS07] implies that $u\in\operatorname{Aut}(\mathrm{LT})$. Hence there exists $a\in\mathcal{O}_{F}^{\times}$ such that $u(Y)=[a](Y)$.

If $F=\mathbf{Q}_{p}$ and $\pi=p$ (namely in the cyclotomic situation) the fact that, in the proof of theorem A, there exists $n\geqslant 0$ such that $u\in\varphi_{q}^{-n}(\mathbf{E}^{+}_{F})$ follows from the main result of [BR22]. We now explain why the methods of ibid don’t extend to the Lubin-Tate case. More precisely, we prove that there is no $\Gamma_{F}$-equivariant $k$-linear projector $\widetilde{\mathbf{E}}_{F}\to\mathbf{E}_{F}$ if $F\neq\mathbf{Q}_{p}$. Choose a coordinate $T$ on $\mathrm{LT}$ such that $\log_{\mathrm{LT}}(T)=\sum_{n\geqslant 0}T^{q^{n}}/\pi^{n}$, so that $\log^{\prime}_{\mathrm{LT}}(T)\equiv 1\bmod{\pi}$. Let $\partial=1/\log^{\prime}_{\mathrm{LT}}(T)\cdot d/dT$ be the invariant derivative on $\mathrm{LT}$.