BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Akitoshi Takayasu (University of Tsukuba\, Japan) DTSTART:20201006T140000Z DTEND:20201006T150000Z DTSTAMP:20260423T024740Z UID:CRM-CAMP/11 DESCRIPTION:Title: Computer-assisted proofs for finding the monodromy of hypergeometric dif ferential equations\nby Akitoshi Takayasu (University of Tsukuba\, Jap an) as part of CRM CAMP (Computer-Assisted Mathematical Proofs) in Nonline ar Analysis\n\n\nAbstract\nIn 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 analyt ically continue the solution on a contour around a singular point of the d ifferential equation using a rigorous integrator. Depending on the contour we obtain the monodromy representation of fundamental solutions\, which r epresents the fundamental group of the equation. As an application of this method\, we consider a Picard-Fuchs type hypergeometric differential equa tion arising from a polarized K3 surface. The monodromy matrix shows a def ormation of homologically independent 2-cycles for the surface along the c ontour\, which is regarded as a change of characterization for the K3 surf ace. This is joint work with Naoya Inoue (University of Tsukuba) and Toshi masa Ishige (Chiba University).\n LOCATION:https://researchseminars.org/talk/CRM-CAMP/11/ END:VEVENT END:VCALENDAR