An alternative description of the Drinfeld \(p\)-adic half-plane (Q486792): Difference between revisions

Let \(F\) be a finite extension of \({\mathbb Q}_p\), with ring of integers \({\mathcal O}_F\). The Drinfeld half plane \(\Omega_F\) associated to \(F\) is the rigid analytic variety over \(F\), \(\Omega_F={\mathbb P}_F^1 \setminus {\mathbb P}^1(F)\). Let \(\hat{\Omega}_F\) be the Deligne's model of \(\Omega_F\). \(\hat{\Omega}_F\) is a formal scheme over \(\text{Spec } {\mathcal O}_F\) with generic fiber \(\Omega_F\). Let \({\mathcal O}_B\) be the ring of integers of the quaternion division algebra \(B\) over \(F\) satisfying some ``\textit{special condition}''. The main objective of the paper is to show that the Deligne formal model \(\hat{\Omega}_F\) of the Drinfeld \(p\)-adic half-plane relative to \(F\) represents a moduli problem of polarized \({\mathcal O}_F\)-modules with an action of the ring of integers in a quadratic extension \(E\) of \(F\). That is, the formal scheme \({\mathcal M}\cong \breve\Omega_F\) is also the solution of certain moduli problems on \(\text{Nilp}_{\breve{\mathcal O}_F}\). In fact, it is proved that certain morphism of functions on \(\text{Nilp}_{\breve{\mathcal O}_F}\) induces an isomorphism of formal schemes \(\eta : {\mathcal M}\to {\mathcal N}_E\) where \({\mathcal N}_E\) is the functor on \(\text{Nilp}_{\breve{\mathcal O}_F}\) that associates to \(S\) the set of isomorphism classes \({\mathcal N}_E(S)\) of quadruples \((X, \iota,\lambda,\rho)\) where \(X\) is a formal \({\mathcal O}_F\)-module of dimension \(2\) over \(S\) and \(\iota: {\mathcal O}_E\to \text{End}(X)\) is an action satisfying certain condition (\textit{Kottwitz condition}). This isomorphism reflects the accidental isomorphism of \(\text{SL}_2(F)\) and \(\text{SU}(C)(F)\) for a two-dimensional split hermitian space \(C\) for \(E/F\). In particular, it does not generalize to Drinfeld half spaces of higher dimension. Since the unramified and ramified cases are structurally rather different, they are treated separately. For the ramified case it is assumed \(p\neq 2\). However, it is very likely that a suitable formulation of the main result holds even in this case.