No label defined (Q3972996)

[For the entire collection see Zbl 0721.00006.] Let \(p\) and \(q\) be distinct primes and \({\mathcal O}\) be a maximal order in a quaternion algebra of discriminant \(pq\) over \(\mathbb{Q}\). Let \({\mathcal C}\) be the Shimura curve which classifies abelian surfaces with an action of \({\mathcal O}\), together with a \(\Gamma_ 0(M)\)-structure, \(M\) and \(pq\) relatively prime. Let \({\mathcal X}\) be the modular curve \(X_ 0(Mpq)\). They exist as schemes over \(\mathbb{Z}\). In a previous paper [Invent. Math. 100, No. 2, 431-476 (1990; Zbl 0773.11039 )] the author described the \(1-1\) correspondence between the set of singular points of the curves \({\mathcal C}_{\mathbb{F}_ p}\) and \({\mathcal X}_{\mathbb{F}_ q}\). This was not canonical. Now, let \(\overline\mathbb{F}_ p\) and \(\overline\mathbb{F}_ q\) be the algebraic closures of the residue fields \(\mathbb{F}_{p^ 2}\) and \(\mathbb{F}_{q^ 2}\) of \({\mathcal O}\), then in this paper the author proves that there exists a canonical bijection between the singular points of \({\mathcal X}(\overline\mathbb{F}_ q)\) and \({\mathcal C}(\overline\mathbb{F}_ p)\). He also discusses the problem of expressing the set of components of \({\mathcal C}_{\overline\mathbb{F}_ q}\) in terms of singular points of \(X_ 0(M_ q)\) in characteristic \(q\). It is also considered the generalization of the above described problem to the case in which the discriminant of \({\mathcal O}\) is \(pqD\), where \(D\) is the product of an even number of distinct primes which are prime to \(pqM\).