Faltings modular height and self-intersection of dualizing sheaf (Q1909547): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Semi-stability and heights of cycles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The irreducibility of the space of curves of a given genus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4027254 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness theorems for abelian varieties over number fields. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inequality of Bogomolov-Gieseker type on arithmetic surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Admissible pairing on a curve / rank | |||
Normal rank |
Latest revision as of 10:10, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Faltings modular height and self-intersection of dualizing sheaf |
scientific article |
Statements
Faltings modular height and self-intersection of dualizing sheaf (English)
0 references
16 July 1996
0 references
Let \(K\) be a number field, \(O_K\) the ring of integers of \(K\) and \(X\) a stable curve over \(O_K\) of genus \(g \geq 2\). In the paper, the author proves a strict inequality \[ {\bigl( \widehat c_1 (\omega_{X/S}, \Phi_{\text{can}})^2 \bigr) \over [K : Q]} > {4(g - 1) \over g} \text{Height}_{\text{Fal}} \bigl( J(X_K) \bigr), \] where \(\omega_{X/S}\) is the dualizing sheaf of \(X\) over \(S = \text{Spec} (O_K)\), \(\Phi_{\text{can}}\) is the canonical Hermitian metric of \(\omega_{X/S}\) and \(\text{Height}_{\text{Fal}} (J(X_K))\) it the Faltings modular height of the Jacobian of \(X_K\). As corollary, for any constant \(A\), the set of all stable curves \(X\) over \(O_K\) with \({(\widehat c_1 (\omega_{X/O_K}, \Phi_{\text{can}})^2) \over [K : Q]} \leq A\) is finite under the following equivalence. For stable curves \(X\) and \(Y\), \(X\) is equivalent to \(Y\) if \(X\) is isomorphic to \(Y\) over \(O_{K'}\) for some finite extension field \(K'\) of \(K\).
0 references
Faltings modular height
0 references