fc8e7065becb7e28.tex
1: \begin{definition}\label{unif}
2: 			Retain the notation from Theorem~\ref{thm:adic_closure}.  Assume that $F$ is a finite extension of $\Q_p$ and that $\varphi$ fixes $P$ modulo $\mm$. Using Lemma~\ref{lem:complete_local}, identify $\hat{\calO}_{\scrX,\bar{P}}$ with $A[[T_1,\ldots,T_g]]$, and $\changeK{C(P):= C(P,1)}$ with $\mm^g$.  The orbit $\calO_{\varphi}(P)$ has a \defi{uniformization} if there exist power series $G_1,\ldots,G_g$ in $F[[T]]$, convergent on $\Z_p$
3: such that:
4: 			\begin{itemize}
5: 				\item[(i)] $ (G_1(0),\ldots,G_g(0))= P$, which equals $0$ in $\mm^g$, and
6: 				\item[(ii)]
7: 				 $\varphi(G_1(z),\ldots,G_g(z))= (G_1(z+1),\ldots,G_g(z+1))\ \forall z\in \Z_p$.
8: 			\end{itemize}
9: 		\end{definition}
10: