Positivity and discretion of algebraic points of curves (Q1130228): Difference between revisions

Let \(K\) be a number field and let \(\overline K\) be its algebraic closure. Let \(X_K\) be a proper, smooth, geometrically connected curve of genus \(g\geq 2\) over \(K\) and let \(J\) be its jacobian. Let \(D_0\) be a divisor of degree \(1\) on \(X_K\) and let \(\varphi_{D_0}\) be the embedding of \(X_K\) into \(J\) defined by \(D_0\). Let \(h_{NT}(x)\) be the Néron-Tate height of a point \(x\in J(\overline K)\). Theorem 1. There exists \(\varepsilon>0\) such that \(\{P\in X(\overline K) |h_{NT}(\varphi_{D_0}(P))\leq \varepsilon\}\) is finite. This generalizes a theorem by \textit{M. Raynaud} [ Invent. Math. 71, 207-233 (1983; Zbl 0564.14020)] that the set of points \(P\in X_K(\overline K)\) such that \(\varphi_{D_0}(P)\) is torsion is finite. Raynaud's result is recaptured in theorem 1 that \(\varphi_{D_0}(P)\) being torsion is equivalent to \(h_{NT}(\varphi_{D_0}(P))=0\). Also this generalizes the works of \textit{L. Szpiro} [The Grothendieck Festschrift. III, Prog. Math. 88, 229-246 (1990; Zbl 0759.14018)] and \textit{S. Zhang} [Invent. Math. 112, No. 1, 171-193 (1993; Zbl 0795.14015)]. Theorem 2. Let \({\mathcal X}\to \text{Spec}({\mathcal O}_{{\mathcal K}})\) be a regular minimal model of a smooth geometrically connected curve \(X_K\) over \(K\) of genus \(g\geq 2\). If \(\mathcal X\) has a semi-stable reduction, then \[ (\omega_{Ar}, \omega_{Ar})_{Ar}\geq (\omega_a, \omega_a)_a>0. \] Here \((\;,\;)_{Ar}\) denotes the Arakelov intersection pairing, \(\omega_{Ar}=\overline{\omega_{\mathcal{X}/\mathcal{O}_K}}\) is an element of \(\text{Pic}_{Ar}(\mathcal X)\), and \((\;,\;)_a\) is the Zhang intersection pairing. The proof is by indirect method, namely, assuming \((\omega_a, \omega_a)=0\) and \(D_0={\Omega_X^1}/{2g-2}\), one leads to a contraction. This generalizes the results of \textit{S. Zhang} (loc. cit.), \textit{J.-F. Burnol} [Invent. Math. 107, No. 2, 421-432 (1992; Zbl 0723.14019)], and \textit{S. Zhang} [J. Algebr. Geom. 4, No. 2, 281-300 (1995; Zbl 0861.14019)].