\(p\)-adic homogeneous spaces and moduli problems (Q1094496)

This is a generalization of the well-known Drinfeld theory of elliptic modules [\textit{V. G. Drinfeld}, Math. USSR, Sb. 23 (1974), 561--592 (1976; translation from Mat. Sb., Nov. Ser. 94 (136), 594--627 (1974; Zbl 0321.14014) and Math. USSR, Sb. 31, 159--170 (1977); translation from Mat. Sb., Nov. Ser. 102 (144), 182--194 (1977; Zbl 0363.20038)]. Let X be a complete smooth curve over a finite field \(k={\mathbb F}_ q\), \(K=k(X)\), \(\infty \in X({\mathbb F}_ q)\), \({\mathfrak O}_{\infty}\) be the local ring in the point \(\infty\), \(K_{\infty}\) be the corresponding completion of \(K\) and \({\mathbb C}_{\infty}\) be the completion of the algebraic closure of \(K_{\infty}\). Let \({\hat \Omega}^ d\) be the rigid-analytic space introduced by Mumford in his uniformization theory and later by Drinfeld. It is known that \({\hat \Omega}^ d({\mathbb C}_{\infty})={\mathbb P}_{d- 1}({\mathbb C}_{\infty})\)- the union of all \(K_{\infty}\)-rational hyperplanes in \({\mathbb P}_{d-1}\). There is an action of \(\text{GL}(d,{\mathfrak O}_ K)\), \({\mathfrak O}_ K=\Gamma (X-\infty,{\mathcal O}_ X)\) on \(\Omega^ d\) and the quotient exists as a formal scheme and can be algebraized. Assume that we have a ramified covering \(f: X\to Y\), \(\infty \in Y\), \(\deg (f)=t\) and \(f^{-1}(\infty)=T\) is completely decomposed. Then the author gives a modular interpretation for the quotient \(\prod^{t}_{i=1}{\hat \Omega}^ d_{\infty_ i}/\text{SL}(d,{\mathfrak O}_ K)\) where \(T=(\infty_ 1,...\infty_ t)\) and \({\mathfrak O}_ K=\Gamma (X-T,{\mathcal O}_ X)\). The answer is an explicit relation of the quotient with a formal completion of the fiber at \(\infty\) of the map \(FH_{X/Y}^{(d;T)}\to Y\) where \(FH_{X/Y}^{(d;T)}\) is an algebraic stack classifying the Frobenius-Hecke sheaves on \(X\) over \(Y\). They are the so-called ``shtukas'' of Drinfeld and were used in his proof of Langlands' conjecture.