CRM CAMP in Nonlinear Analysis

Preuves mathématiques assistées par ordinateur en analyse non linéaire

6 octobre 2020 de 10 h 00 à 11 h 00 (heure de Montréal/HNE) Réunion Zoom

Computer-assisted proofs for finding the monodromy of hypergeometric differential equations

Séminaire par Akitoshi Takayasu (University of Tsukuba, Japan)

In this talk, we introduce a numerical method for rigorously finding the monodromy matrix of hypergeometric differential equations. From a base point defined by fundamental solutions, we analytically continue the solution on a contour around a singular point of the differential equation using a rigorous integrator. Depending on the contour we obtain the monodromy representation of fundamental solutions, which represents the fundamental group of the equation. As an application of this method, we consider a Picard-Fuchs type hypergeometric differential equation arising from a polarized K3 surface. The monodromy matrix shows a deformation of homologically independent 2-cycles for the surface along the contour, which is regarded as a change of characterization for the K3 surface. This is joint work with Naoya Inoue (University of Tsukuba) and Toshimasa Ishige (Chiba University).