Paper
Regular Functions on Formal-Analytic Arithmetic Surfaces
Authors
Samuel Goodman
Abstract
In this paper, we show that for a broad class of pseudoconvex formal-analytic arithmetic surfaces over , those which admit a nonconstant monic such regular function, that a conjecture of Bost-Charles that the ring of regular functions has continuum cardinality is implied by a purely complex-analytic conjecture. Under the conjecture, a Fekete-Szego-type approximation argument produces a polynomial "large" relative to the regular function, which in turn yields continuum many distinct regular functions. We also introduce a formula for the pushforward by a holomorphic function of the equilibrium Green's functions for our bordered Riemann surface with boundary, a formula which has constant term related to Arakelov degree.