The relation between rigid-analytic and algebraic deformation parameters for Artin-Schreier-Mumford curves (Q616528)

Let \(X \to Y\) be a Galois cover of projective curves over a non-archimedean field \(K\) with Galois group \(G\). In the case when \(X\) is a Mumford curve, associated to a Schottky group \(\Gamma\), it is uniformized by an open subset \(\Omega_{\Gamma}\) of \({\mathbb{P}}^1\). Let us denote by \(N\) the subgroup of \(\mathrm{PGL}(2,K)\) such that \(\Omega_{\Gamma}/N \simeq Y\). Now, there are different ways to deform the situation: we may either deform \(X\) together with the action of \(G\) (algebraic deformation), or \(N\) within \(\mathrm{PGL}(2,K)\) (analytic deformation). The aim of the article is to study the relationship between the algebraic and analytic deformation parameters for some families of Mumford curves. The first case is that of a Tate elliptic curve: \({\mathbb{G}}_{m}/q^{\mathbb{Z}}\). Such a curve admits a map to \({\mathbb{P}}^1\) which is ramified over 4 points. The authors give an explicit expression of the cross ratio \(\lambda\) of these 4 points as an infinite product of rational fractions in \(t\), with \(q=t^{-2}\). This gives back a classical formula in the theory of the Weierstrass \(\sigma\)-function. This formula is then generalized to any 4 point cover of \({\mathbb{P}}^1\) which is a Mumford curve. Finally, in the case when \(K\) contains a finite field \({\mathbb{F}}_{q}\), the authors introduce what they call Artin-Schreier-Mumford curves (ASM curves). For any \(\lambda\) in the punctured open unit disk \(\Delta_{0} = \{0 < |z| < 1\}\), the ASM curve \(X_{\lambda}\) is the subvariety of \({\mathbb{P}}^1 \times {\mathbb{P}}^1\) defined by the equation \((x^q-x)(y^q-y)=\lambda\). In this case too, they manage to give an expression of \(\lambda\) as an infinite product in an analytic deformation parameter \(t\) and prove that this infinite product actually defines an analytic function \(\lambda : \Delta_{0} \to \Delta_{0}\) that may be extended to \(0\). They also show that two ASM curves \(X_{\lambda_{1}}\) and \(X_{\lambda_{2}}\) are isomorphic if and only if \(\lambda_{1}/\lambda_{2} \in {\mathbb{F}}_{q}^*\).