Gonality of modular curves in characteristic p

DOI10.4310/MRL.2007.V14.N4.A14MaRDI QIDQ2473003zbMATH OpenFDO

Authors Bjorn Poonen

Publication date 25 February 2008

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0601141

zbMATH Keywords

gonalityIgusa curveimage of Galoismodular curve

Mathematics Subject Classification ID

Arithmetic aspects of modular and Shimura varieties (11G18) Modular and Shimura varieties (14G35) Special divisors on curves (gonality, Brill-Noether theory) (14H51)

Abstract: Let k be an algebraically closed field of characteristic p. Let X(p^e;N) be the curve parameterizing elliptic curves with full level N structure (where p does not divide N) and full level p^e Igusa structure. By modular curve, we mean a quotient of any X(p^e;N) by any subgroup of ((Z/p^e Z)^* x SL_2(Z/NZ))/{+-1}. We prove that in any sequence of distinct modular curves over k, the k-gonality tends to infinity. This extends earlier work, in which the result was proved for particular sequences of modular curves, such as X_0(N) for p not dividing N. We give an application to the function field analogue of a uniform boundedness statement for the image of Galois on torsion of elliptic curves.

Review text

Let \(k\) be an algebraically closed field of positive characteristic \(p\). Let \(N\geq1\) be an integer prime to \(p\) and \(e\geq1\) an integer. Denote by \(X(p^e;N)\) the modular curve parametrizing Igusa structures of level \(p^e\) [\textit{N. Katz} and \textit{B. Mazur}, Arithmetic Moduli of Elliptic Curves, Princeton Univ. Press (1985; Zbl 0576.14026), chapter 12] and full level \(N\) structure. In this paper a modular curve means any quotient of \(X(p^e;N)\) by a subgroup of \(((\mathbb{Z}/p^e\mathbb{Z})^*\times\text{SL}_2(\mathbb{Z}/N\mathbb{Z}))/\{\pm1\}\). The author proves that in any sequence of distinct modular curves their \(k\)-gonality tends to infinity. As an application he obtains the following nice result on the image of Galois representations. Let \(E\) be an ordinary elliptic curve defined over a field \(K\) of characteristic \(p\geq0\), \(K^s\) a separable closure of \(K\), \(\text{Gal}(K^s/K)\) the absolute Galois group of \(K\). Let \(e\geq1\) be an integer, \(F^e:E\to E^{(p^e)}\) the \(e\)-th iterate of the absolute Frobenius morphism and \(V_e:E^{(p^e)}\to E\) its dual isogeny. Then \(\text{Gal}(K^s/K)\) acts on both \(\varprojlim_e\ker(V_e)\) and \(\prod_{\ell\neq p}T_{\ell}(E)\), yielding a homomorphism \(\rho_E:\text{Gal}(K^s/K)\to\mathbb{Z}_p^*\times\prod_{\ell\neq p}\text{GL}_2(\mathbb{Z}_{\ell})\). Let \(S:=\mathbb{Z}_p^*\times\prod_{\ell\neq p}\text{SL}_2(\mathbb{Z}_{\ell})\). His second result is that given an integer \(d\geq1\), there exists a constant \(N_{p,d}\) depending only on \(p\) and \(d\) such that for any field \(k\) of characteristic \(p\geq0\), and any field \(K\) of degree at most \(d\) over \(k(t)\), and any elliptic curve \(E\) defined over \(K\) whose \(j\)-invariant is not algebraic over \(k\), the index \((S:\rho_E(\text{Gal}(K^s/K))\cap S)\) is at most \(N_{p,d}\).

Recommendations

• Gonality of abstract modular curves in positive characteristic
• Gonality of the modular curve X₁(N)
• Note on the gonality of abstract modular curves
• Genus of abstract modular curves with level-\(\ell\) structures
• scientific article; zbMATH DE number 2019796

Cited in

(37)

• Genus of abstract modular curves with level-\(\ell\) structures
• Binary curves of small fixed genus and gonality with many rational points
• Covering gonalities of complete intersections in positive characteristic
• On the Northcott property of zeta functions over function fields
• A generating set for the canonical ideal of HKG-curves
• A combinatorial Li-Yau inequality and rational points on curves
• Local Diophantine properties of Shimura curves and the \(\overline{\mathbb F}_p\)-gonality
• Unlikely intersections with Hecke translates of a special subvariety
• On smooth plane models for modular curves of Shimura type
• Higher Hamming weights for locally recoverable codes on algebraic curves
• A note on a theorem of Cadoret and Tamagawa
• Small height and infinite nonabelian extensions
• Trivial points on towers of curves
• Gonality of the modular curve X₁(N)
• Expander graphs, gonality, and variation of Galois representations
• An Abstract Characterization of the Igusa Curves
• Gonality and genus of canonical components of character varieties
• A classification of ECM-friendly families of elliptic curves using modular curves
• On a modular Fermat equation
• Gonality of dynatomic curves and strong uniform boundedness of preperiodic points
• Reduction of dynatomic curves
• Note on the gonality of abstract modular curves
• Gonality of abstract modular curves in positive characteristic
• Rational points on Atkin-Lehner quotients of geometrically hyperelliptic Shimura curves
• 𝑝-group Galois covers of curves in characteristic 𝑝
• New families satisfying the dynamical uniform boundedness principle over function fields
• Gonality of the modular curve 𝑋₀(𝑁)
• Embeddings of function fields into ample fields
• Squares in arithmetic progression over number fields
• Bielliptic Shimura curves X₀^D(N) with nontrivial level
• Tetragonal intermediate modular curves
• Hyperelliptic and trigonal modular curves in characteristic p
• On the maximum gonality of a curve over a finite field
• Tetragonal modular quotients \(X_0^{+ d}(N)\)
• Tetragonal modular quotients X₀^+(N)
• Isolated and parameterized points on curves
• Tetragonal modular quotients of X₀(N)

This page was built for publication: Gonality of modular curves in characteristic \(p\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2473003)