Endomorphisms of exceptional \(\mathcal{D}\)-elliptic sheaves (Q5962177): Difference between revisions

The determination of endomorphisms rings of elliptic curves or abelian varieties is a classical and beautiful subject of number theory. In [Math. USSR, Sb. 23, 561--592 (1976); translation from Mat. Sb., n. Ser. 9 (136; Zbl 0321.14014)] \textit{V. G. Drinfeld} introduced the notion of ``elliptic modules'' -- now called Drinfeld modules, which are the function field analogues of abelian varieties. This concept was further generalized by \textit{G. Laumon, M. Rapoport} and \textit{U. Stuhler} [Invent. Math. 113, No. 2, 217--338 (1993; Zbl 0809.11032)] to the notion of \(\mathcal{D}\)-elliptic sheaves. Let \(X\) be a smooth projective geometrically connected curve defined over a finite field \(\mathbb{F}_q\) with function field \(F\). For a fixed place \(\infty\) of \(F\) define the subring \(A=H^0(X-\infty,\mathcal{O}_X)\) and consider another place \(o\) of \(F\) with residue field \(\mathbb{F}_o\). Let \(F_o\) be the completion of \(F\) at the place \(o\). Fix a central simple algebra \(D\) over \(F\) of dimension \(d^2\) which is split at \(\infty\) and a maximal \(\mathcal{O}_X\)-order \(\mathcal{D}\) in \(D\). Assume that \(D_o:=D \otimes_F F_o\) is the \(d^2\)-dimensional central division algebra with invariant \(1/d\) over \(F_o\). The authors define a subclass of \(\mathcal{D}\)-elliptic sheaves which they call exceptional of type \(\mathbf{f}\) and for an exceptional \(\mathcal{D}\)-elliptic sheaf \(\mathbb{E}\) they prove that \(\mathrm{End}(\mathbb{E})\) is a hereditary \(A\)-order in a central division algebra \(\bar{D}\) of \(F\) with given invariants. The order \(\mathrm{End}(\mathbb{E})\) is maximal at every place \(x\neq o\), while at \(o\) is isomorphic to a hereditary order determined by \(\mathbf{f}\). Moreover, they prove that there is a bijection between the set of isomorphism classes of exceptional \(\mathcal{D}\)-elliptic sheaves over \(\bar{\mathbb{F}}_0\) of type \(\mathbf{f}\), modulo the action of \(\mathbb{Z}\), and the isomorphism classes of locally free rank-\(1\) right \(\mathrm{End}(\mathbb{E})\)-modules.