Differentiating relatively (Q373669)

Consider a smooth projective curve \(S/\mathbb{C}\) with function field (generic point) \(K\), and a semi-stable proper relative curve \(\xi:X \rightarrow S\). The \(\bar{K}\) points \(f\) of \(X\) are given by maps \(f:T\rightarrow X\) compatible with the structure maps \(p:T \rightarrow S\), \(\xi:X \rightarrow S\), where \(T/\mathbb{C}\) is smooth and connected and \(p\) is finite. For a line bundle \(L\) of \(X\) the normalized height of \(f\) with respect to \(L\) is defined as: \[ h_L(f)=\frac{1}{(T:S)} L\cdot_fT \] and the discriminant as \[ \mathrm{discr}(K(f)/K)=\frac{1}{(T:S)} [\text{degree of Ram}_p]. \] The main theorem of the article is that for every \(\epsilon>0\) there is a constant \(C(\epsilon)\) such that for every algebraic point \(f\) the following inequality holds: \[ h_{K_{X/S}}(f) \leq (1+\epsilon) \cdot \mathrm{discr}(K(f)/K)+C(\epsilon) \] where \(K_{X/S}\) is the relative canonical sheaf. The result has applications in the real \(abc\) conjecture over function fields.