A tubular variant of Runge's method in all dimensions, with applications to integral points on Siegel modular varieties

Abstract

Runge’s method is a tool to figure out integral points on algebraic curves effectively in terms of height. This method has been generalized to varieties of any dimension, but unfortunately the conditions needed to apply it are often too restrictive. We provide a further generalization intended to be more flexible while still effective, and exemplify its applicability by giving finiteness results for integral points on some Siegel modular varieties. As a special case, we obtain an explicit finiteness result for integral points on the Siegel modular variety $A_2\left(2\right)$.