\(p\)-torsion monodromy representations of elliptic curves over geometric function fields
type: Item
instance of: scholarly article
title: \(p\)-torsion monodromy representations of elliptic curves over geometric function fields
zbMATH Open document ID: 1386.14093
author: Benjamin Bakker
author: Jacob Tsimerman
published in: Annals of Mathematics. Second Series
publication date: 2016-11-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1403.7168
reviewed by: Andrea Bandini
Mathematics Subject Classification ID: 14G35
Mathematics Subject Classification ID: 14H52
Mathematics Subject Classification ID: 11G05
zbMATH DE Number: 6647930
zbMATH Keywords: \(p\)-torsion representation
zbMATH Keywords: elliptic curve
zbMATH Keywords: hyperbolic geometry
zbMATH Keywords: Shimura variety
zbMATH Keywords: moduli scheme
MaRDI profile type: Publication
OpenAlex ID: W2964177651
arXiv ID: 1403.7168
cites work: A linear lower bound on the gonality of modular curves
cites work: Q4341343
cites work: Platonic surfaces
cites work: On the period matrix of a Riemann surface of large genus (with an appendix by J. H. Conway and N. J. A. Sloane)
cites work: Moduli for pairs of elliptic curves with isomorphic \(N\)-torsion
cites work: On families of 7- and 11-congruent elliptic curves
cites work: Q4369178
cites work: Modular surfaces of quadratic discriminant.
cites work: Volumes of complex analytic subvarieties of Hermitian symmetric spaces
cites work: Injectivity radius and gonality of a compact Riemann surface
cites work: Modular diagonal quotient surfaces
cites work: Rational isogenies of prime degree. (With an appendix by D. Goldfeld)
cites work: Q3320467
DOI: 10.4007/ANNALS.2016.184.3.2
Recommended article: Elliptic curves with non-abelian entanglements
Recommended article: The image of Galois representations attached to elliptic curves with an isogeny
Recommended article: Special cohomology classes for modular Galois representations
Recommended article: Composite images of Galois for elliptic curves over $\mathbf {Q}$ and entanglement fields
Recommended article: Q4878338
Recommended article: Q4657449
Recommended article: Residual Galois representations of elliptic curves with image contained in the normaliser of a nonsplit Cartan
Recommended article: Elliptic surfaces over ℙ1 and large class groups of number fields
Recommended article: A proof of Perrin-Riou's Heegner point main conjecture
Recommended article: Q4858021
review text: Let \(E\) be an elliptic curve defined over a function field \(K=k(B)\) (\(k\) an algebraically closed field of characteristic 0 and \(B\) a complex curve) and, for any prime \(p\), let \(E[p]\) be its \(p\)-torsion. Let \(\rho_{E,p}\) be the Galois representation associated to \(E[p]\): the paper proves that non-isotrivial elliptic curves \(E_{/K}\) are classified (modulo isogenies) by their \(\rho_{E,p}\) as long as \(p\) is larger than a constant only depending on the gonality of \(B\), i.e., the smallest degree \(d\) for which there exists a degree \(d\) map \(B\rightarrow \mathbb{P}^1\).NEWLINENEWLINE\noindent The authors consider the compactification \(X(p)\) of the coarse moduli scheme \(Y(p)\) representing pairs \((E_{/K},\varphi:(\mathbb{Z}/p)^2\buildrel\sim\over\rightarrow E[p])\) (\(\varphi\) an isomorphism) and focus their attention on \(Z(p)\), the quotient of \(X(p)\times X(p)\) parametrizing triples \((E_{/K},E'_{/K},\psi:E[p]\buildrel\sim\over\rightarrow E'[p])\). The main result of the paper is obtained as a consequence of a conjecture of \textit{E. Kani} and \textit{W. Schanz} [Math. Z. 227, No. 2, 337--366 (1998; Zbl 0996.14012)] predicting the non-existence of non-Hecke rational and elliptic curves in \(Z(p)\) for large \(p\). To prove the conjecture the authors lift a curve \(B\) of gonality \(n\) in \(Z(p)\) to a curve \(C\rightarrow (X(p)\times X(p))^n\) (using the gonality map \(B\rightarrow \mathbb{P}^1\)) and provide a lower and upper bound on the genus of \(C\) using the Riemann-Hurwitz formula. The lower bound just uses the canonical divisor of \((X(p)\times X(p))^n\), while the upper one uses estimates on the ramification of \(C\rightarrow \mathbb{P}^1\) which involve crucial generalizations of results of \textit{J.-M. Hwang} and \textit{W.-K. To} [Am. J. Math. 124, No. 6, 1221--1246 (2002; Zbl 1024.32013); ibid. 134, No. 1, 259--283 (2012; Zbl 1241.53032)] on volumes of complex analytic subvarieties (some valid for any curve and some sp…
description: scientific article; zbMATH DE number 6647930