Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces

Abstract

In this paper, we present a numerical method for rigorously finding the monodromy of linear differential equations. Beginning at a base point where certain particular solutions are explicitly given by series expansions, we first compute the value of fundamental system of solutions using interval arithmetic to rigorously control truncation and rounding errors. The solutions are then analytically continued along a prescribed contour encircling the singular points of the differential equation via a rigorous integrator. From these computations, the monodromy matrices are derived, generating the monodromy group of the differential equation. This method establishes a mathematically rigorous framework for addressing the monodromy problem in differential equations. For a notable example, we apply our computer-assisted proof method to resolve the monodromy problem for a Picard--Fuchs differential equation associated with a family of K3 toric hypersurfaces.

References in corpus (4)

• Black Hole Scattering from Monodromy
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Elementary Integral Series for Heun Functions. With an Application to Black-Hole Perturbation Theory
• Period differential equations for the families of $K3$ surfaces with $2$ parameters derived from the reflexive polytopes