Faltings modular height and self-intersection of dualizing sheaf (Q1909547): Difference between revisions

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\).