Modular diagonal quotient surfaces
Automorphic forms on (mbox{GL}(2)); Hilbert and Hilbert-Siegel modular groups and their modular and automorphic forms; Hilbert modular surfaces (11F41) Arithmetic aspects of modular and Shimura varieties (11G18) Modular and Shimura varieties (14G35) Arithmetic ground fields for curves (14H25) Homogeneous spaces and generalizations (14M17)
The modular diagonal quotient surfaces are obtained as quotients of \(X(N)^2\), where \(X(N)\) is the modular curve of full level structure \(N\). There are several reasons for interest in such surfaces: (i) as usual, the interplay between moduli and geometry provides rich and interesting structures; (ii) as arithmetic varieties they provide good test ground to arithmetic conjectures (such as the automorphy of their zeta functions); (iii) they are directly related to the problem of studying elliptic curves \(E_1, E_2\) whose Galois representations, derived from the \(N\)-torsion points, are isomorphic. Let \(G = \text{ SL}(2, {\mathbb{Z}}/N{\mathbb{Z}})/\{ \pm 1\}\), let \(Q_\varepsilon\) be a diagonal matrix in \(\text{ GL}(2, {\mathbb{Z}}/N{\mathbb{Z}})\) with diagonal elements \(\varepsilon, 1\), let \(\alpha_\varepsilon\) be the automorphism of \(G\) defined by conjugation by \(Q_\varepsilon\), and let \(\Delta_\varepsilon = \{(g, \alpha_\varepsilon(g)): g \in G\}\). The quotient surface \(Z_{N, \varepsilon} = \Delta_\varepsilon \backslash (X(N) \times X(N))\) is called a modular diagonal quotient surface. The authors show that if \(N\geq 5\), the surface \(Z_{N, \varepsilon}\) has precisely \(r_0+r_1+r_\infty\) singularities, where \(r_0 = h(-4N^2)\) and \(r_1 = h(-3N^2)\) are certain class numbers of binary quadratic forms, and \(r_\infty = \sum_{1< d|N} \varphi(d)\varphi(N/d)\) denotes the number of cusps of \(X_1(N)\). All are cyclic quotient singularities. The authors determine the geometric genus \(p_{g, N, \varepsilon}\) and the Chern numbers of an explicit desingularization \(\widetilde{Z}_{N, \varepsilon}\) of \(Z_{N, \varepsilon}\). They prove the following formula for the Kodaira dimension: \[ \kappa(\widetilde{Z}_{N, \varepsilon}) = \min(2, -1+ p_{g, N, \varepsilon}). \] They provide the classification of \(\widetilde{Z}_{N, \varepsilon}\) according to the classification of surfaces, providing complete lists of the cases when they are rational, \(K3\), elliptic and of general type. Some of the results of this paper were also obtained by \textit{C. F. Hermann} [Manuscr. Math. 72, No. 1, 95-110 (1991; Zbl 0749.14016)]. The authors often refer to an previous paper [\textit{E. Kani} and \textit{W. Schanz}, Manuscr. Math. 93, No. 1, 67-108 (1997; Zbl 0898.14017)].
- Projective models of Shioda modular surfaces
- Diagonal quotient surfaces
- Modular surfaces of quadratic discriminant.
- About the 7-torsion modules of points of a family of elliptic curves
- Explicit moduli spaces for congruences of elliptic curves
- The Hauptmodul at elliptic points of certain arithmetic groups
- Covers of tori: genus two
- Explicit methods in number theory. Abstracts from the workshop held July 18--24, 2021 (hybrid meeting)
- On families of 7- and 11-congruent elliptic curves
- Hilbert modular surfaces for square discriminants and elliptic subfields of genus 2 function fields
- \(p\)-torsion monodromy representations of elliptic curves over geometric function fields
- On families of 9-congruent elliptic curves
- Genus 2 curves that admit a degree 5 map to an elliptic curve
- Visualizing Elements in the Shafarevich—Tate Group
- Families of elliptic curves with the same mod 8 representations
- Subcovers of curves and moduli spaces
- On the symplectic type of isomorphisms of the \(p\)-torsion of elliptic curves
- Selmer companion curves
- On modular ball-quotient surfaces of Kodaira dimension one
- Curves of genus 2 with \((N,N)\) decomposable Jacobians
- On 12-congruences of elliptic curves
This page was built for publication: Modular diagonal quotient surfaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1384609)
