Self-intersection of the relative dualizing sheaf on modular curves \(X_{ 1 }(N)\)
type: Item
instance of: scholarly article
title: Self-intersection of the relative dualizing sheaf on modular curves \(X_{ 1 }(N)\)
zbMATH Open document ID: 1308.14027
author: Hartwig Mayer
published in: Journal de Théorie des Nombres de Bordeaux
publication date: 2014-06-13T00:00:00Z
full work available at URL: https://arxiv.org/abs/1212.1294
review text: The paper under review concerns the Arakelov self-intersection number of the relative dualizing sheaf on modular curves \(X_1(N)\) over \(\mathbb{Q}\). In this paper, the author obtains an asymptotic formula for the self-intersection number with respect to the integer \(N\), from which the author also obtains an asymptotic formula for the stable Faltings height of the Jacobian of \(X_1(N)\) and, for sufficiently large \(N\), an effective version of the Bogomolov's conjecture. Precisely, let \(X_1(N)/\mathbb{Q}\) be the smooth projective algebraic curve that classifies elliptic curves equipped with a point of exact order \(N\). Suppose that \(N\) is odd, squarefree, and of the form \(N=N'qr>0\) with \(q,r\geq 4\) relative prime. Then the minimal regular model \(\mathcal{X}_1(N)/{\mathbb{Z}[\zeta_N]}\) is semistable and the genus \(g_N\) of \(X_1(N)/\mathbb{Q}\) is bigger than \(0\). With the notation \(\overline{\omega}^2_N=\frac{1}{[K:\mathbb{Q}]}\overline{\omega}^2_{\mathcal{X}_1(N)/{\mathcal{O}_K}}\), the stable arithmetic self-intersection number of the dualizing sheaf with the Arakelov metric, the main theorem in the paper under review reads \[ \overline{\omega}^2_N=3g_N\log(N)+o(g_N\log(N)). \] As an application, the stable Faltings height \(h_{\text{Fal}}(J_1(N))\) of the Jacobian of \(X_1(N)\) satisfies the formula \[ h_{\text{Fal}}(J_1(N))=\frac{g_N}{4}\log(N)+o(g_N\log(N)). \] Moreover, for any \(\varepsilon>0\), there is a sufficiently large \(N\) such that the set of algebraic points \[ \{x\in X_1(N)(\overline{\mathbb{Q}}) \mid h_{\text{NT}}(\varphi_D(x))<(\frac{3}{4}-\varepsilon)\log(N)\} \] is finite, and the set of algebraic points \[ \{x\in X_1(N)(\overline{\mathbb{Q}}) \mid h_{\text{NT}}(\varphi_D(x))\leq(\frac{3}{2}+\varepsilon)\log(N)\} \] is finite, if the class \([\mathcal{O}_{X_1(N)}(K_{X_1(N)}-(2g_N-2)D)]\) is a torsion element in \(J_1(N)/\mathbb{Q}\), where \(\varphi_D\) is the embedding \(X_1(N)\to J_1(N)\), \(h_{\text{NT}}\) is the Néron-Ta…
reviewed by: Shun Tang
Mathematics Subject Classification ID: 14G40
Mathematics Subject Classification ID: 14G35
zbMATH DE Number: 6304184
zbMATH Keywords: Arakelov self-intersection number
zbMATH Keywords: relative dualizing sheaf
zbMATH Keywords: modular curve
MaRDI profile type: Publication
OpenAlex ID: W2963678220
arXiv ID: 1212.1294
Wikidata QID: Q125703462
cites work: Q3125872
cites work: INTERSECTION THEORY OF DIVISORS ON AN ARITHMETIC SURFACE
cites work: Twists of newforms and pseudo-eigenvalues of \(W\)-operators
cites work: Q3356431
cites work: Q3159364
cites work: Two theorems on modular curves
cites work: Computational Aspects of Modular Forms and Galois Representations
cites work: Calculus on arithmetic surfaces
cites work: The Rankin-Selberg method on congruence subgroups
cites work: The Selberg trace formula for \(\mathrm{PSL}(2,\mathbb R)\). Vol. I
cites work: The Selberg trace formula for \(\text{PSL}(2,\mathbb R)\). Vol. 2
cites work: Q4790111
cites work: Eisenstein Series and the Selberg Trace Formula. II
cites work: Bounds for special values of Selberg zeta functions of Riemann surfaces
cites work: Bounds on canonical Green's functions
cites work: Bounds on Faltings's delta function through covers
cites work: Arithmetic Moduli of Elliptic Curves. (AM-108)
cites work: Q5170857
cites work: Points of small height on the modular curves \(X_0(N) \)
cites work: La formule de Noether pour les surfaces arithmétiques. (The Noether formula for arithmetic surfaces)
cites work: Q5181799
cites work: Das Eigenwertproblem der automorphen Formen in der hyperbolischen Ebene. I, II. (The eigenvalue problem of automorphic forms in the hyperbolic plane. I. II)
cites work: Q4712623
cites work: Q3972768
cites work: Q4149801
cites work: Q3943036
cites work: Admissible pairing on a curve
DOI: 10.5802/JTNB.862
Recommended article: Q5170857
Recommended article: Q3125872
Recommended article: Faltings modular height and self-intersection of dualizing sheaf
Recommended article: Self-dual sheaves on reductive Borel-Serre compactifications of Hilbert modular surfaces
Recommended article: Q4006648
Recommended article: Lower bounds on the arithmetic self-intersection number of the relative dualizing sheaf on arithmetic surfaces
Recommended article: Self-dual modules over local rings of curve singularities
Recommended article: A duality result for moduli spaces of semistable sheaves supported on projective curves
Recommended article: Q4521610
Recommended article: Lower bound of self-intersection of dualizing sheaves on arithmetic surfaces with reducible fibres
description: scientific article