Twists of Drinfeld-Stuhler modular varieties (Q612994)

\textit{V. G. Drinfel'd} [``Elliptic modules'', Math. USSR, Sb. 23 (1974), 561--592 (1976); translation from Mat. Sb., n. Ser. 94 (136), 594--627 (1974; Zbl 0321.14014)] introduced the analogues of Shimura varieties for \(\mathrm{GL}_d\) over a global field of positive characteristic. \textit{G. Laumon, M. Rapoport} and \textit{U. Stuhler} [``\({\mathcal D}\)-elliptic sheaves and the Langlands correspondence'', Invent. Math. 113, No. 2, 217--338 (1993; Zbl 0809.11032)] defined the corresponding varieties, which are the analogues of Shimura curves for \(d=2\). The higher dimensional analogues are moduli spaces of \(\mathcal{A}\)-elliptic sheaves. The author generalizes slightly the notion of \(\mathcal{A}\)-elliptic sheaves by using hereditary orders. Let \(X\) be a proper smooth curve over a finite field \(\mathbb{F}_q\) together with a distinguished point \(\infty\), and \(I\) an effective divisor on \(X\). Denote by \(F\) the function field of \(X\). Let \(A\) be a central simple \(F\)-algebra of dimension \(d^2\) and \(\mathcal{A}\) a locally principal hereditary \(\mathcal{O}_X\)-order in \(A\). It is proved that the moduli stack of \(\mathcal{A}\)-elliptic sheaves with \(I\)-level structure \(\mathcal{E}\!\ell\ell^\infty_{\mathcal{A},I}\) is a Deligne-Mumford stack which is locally of finite type and of dimension \(d-1\) over \(X-I\). The main result of this article is the following: Let \(B\) be an other central simple \(F\)-algebra of dimension \(d^2\) such that there is a closed point \(\mathfrak{p} \in X- \{\infty\}\) such that the local invariants of \(B\) are given by \[ \mathrm{inv}_\infty(B)=\mathrm{inv}_\infty(A)+\frac{1}{d},\;\; \mathrm{inv}_{\mathfrak{p}}(B)=\mathrm{inv}_{\mathfrak{p}(A)}-\frac{1}{d} \] and all other local invariants at points different than \(\mathfrak{p},\infty\) are equal. If \(\mathcal{B}\) is a locally principal hereditary \(\mathcal{O}_X\)-order in \(B\) with \(e_x(\mathcal{B})=e_x(\mathcal{A})\) for all \(x\), then the moduli stack \(\mathcal{E}\!\ell\ell^{\mathfrak{p}}_{\mathcal{B},I}\) is a twist of \(\mathcal{E}\!\ell\ell^\infty_{\mathcal{A},I}\). The positive integer \(e_x(\mathcal{A})\) is defined by \(\mathrm{Rad}(\mathcal{A}_x)^{e_x(\mathcal{A})}= \varpi_x \mathcal{A}_x\), where \(\varpi_x\) is the uniformizer at \(x\). Using this result the author proves that the uniformization at \(\infty\) and the analogue of Cherednik-Drinfeld uniformization for the moduli spaces \(\mathcal{E}\!\ell\ell^\infty_{\mathcal{A},I}\) are equivalent.