No label defined (Q4510771)

Let \(X_{\text{aff}} := \Gamma\setminus\mathbb{H}\), where in characteristic zero (resp. positive characteristic) \(\mathbb{H}\) is the complex upper half plane (resp. the Drinfeld's upper half plane) and where \(\Gamma\) is an arithmetic subgroup of \(GL_2(\mathbb{Q})\) (resp. \(GL_2(\mathbb{F}_q,(T))\), \(\mathbb{F}_q\) being a finite field). Let \(X_\Gamma\) be the canonical completion of \(X_{\text{aff}}\), then \(X_\Gamma - X_{\text{aff}}\) contains finitely many closed points, the cusps. The subgroup of the jacobian \({\mathcal J}_{X_\Gamma}\) that they generate is the cuspidal divisor class group \(C_\Gamma\) with respect to \(X_\Gamma\) or to \(\Gamma\). The author recalls the main properties of this group (finiteness when \(\Gamma\) is a congruence subgroup, main examples \dots), some of which are new in the positive characteristic case. This parallel makes clear the analogy and the difference between the two cases. An interesting problem is suggested: to find in positive characteristic examples of (non congruence) subgroup \(\Gamma\) such that the cuspidal divisor class group \(C_\Gamma\) is non finite (this is known in the characteristic zero case). For the entire collection see [Zbl 0940.00025].