An Approximation of Local Antiderivatives of Relative Differential on Arithmetic Surface
Let $ω$ be a relative differential on aithmetic surface $X$. We construct a family of rational functions $G_x$ on $X\otimes\Bbb{C}$, which can approximate local antiderivatives of $ω$ over an open set on $X\otimes\Bbb{C}$. From this family of functions, we construct a rational function $G_2$ on $X$. The function $G_2$ can generate an element in the ring of integers of a number field, which can approximate an inner product produced by $ω$ and the conjugate of $ω$ over an open set on $X\otimes\Bbb{C}$. This will give a relation between the height of a rational curve $E_P$ on $X$ and the canonical norm of $ω$ on $X\otimes\Bbb{C}$. This relation will give an upper bound for the height of $E_P$ under a few assumptions.
math.AG↗