Classifying (near)-Belyi maps with Five Exceptional Points
2016, arXiv (Cornell University)
Abstract
We classify all rational functions f : P 1 → P 1 whose branching pattern above 0, 1, ∞ satisfy a certain regularity condition with precisely d = 5 exceptions. This work is motivated by solving second order linear differential equations, with d = 5 true singularities, in terms of hypergeometric functions. A similar problem was solved for d = 4 in [2]. * Supported by NSF grants 1319547 and 1618657. 1 We focus on the regular singular case because for irregular singular equations of order 2, a complete algorithm to find all {Airy, Bessel, Kummer, Whittaker}-type solutions was given in [16, 9]. The regular-singular assumption can be replaced by the assumption that y in Conjecture 1 has a non-zero radius of convergence. 2 This condition implies at least one logarithmic singularity. Because of the conjecture we focus on differential equations with at least one logarithmic singularity, however, the same table can also be used for more general "parametric" cases [2]. 3 Equations with a convergent integer power series solution (globally nilpotent differential equations). 4 Solutions related to entries of the diagram can be expressed in terms of those three entries. However, the other entries can still be relevant if we want solutions of minimal size, see Section 5.3.3 (decompositions) in [11] for more. Entry (∞, ∞, ∞) corresponds to writing solutions in terms of the elliptic integrals K and E.
References (32)
- M. van Hoeij, V.J. Kunwar: Classifying (almost)-Belyi maps with Five Exceptional Points. Data, algorithms, and examples: http://www.math.fsu.edu/∼hoeij/FiveSing
- R. Vidunas, G. Filipuk: A Classification of Covering yielding Heun to Hypergeometric Reductions, Funkcialaj Ekvacioj, 56 No. 2, 271-321 (2013).
- M. van Hoeij, R. Vidūnas: Belyi functions for hyperbolic hypergeometric-to-Heun transformations, J. Algebra (2015).
- F. Beukers, H. Montanus: Explicit calculation of elliptic fibrations of K3-surfaces and their Belyi-maps, Cambridge Univ. Press, Cambridge (2008).
- R. Vidunas, A.V. Kitaev: Computation of Highly Ramified Coverings, Math. Comp. 78, No. 268, 2371-2395 (2009).
- R. Vidūnas: Transformations of Some Gauss Hypergeometric Functions, J. Comp. & App. Mathematics, Vol 178, 473-487 (2005).
- J. Sijsling, J. Voight: On computing Belyi maps, Publications mathématiques de Besançon 73-131 (2014).
- J. Sijsling: BelyiMaps: explicit determination of the permutation triples of given ramification type, sites.google.com/site/sijsling/programs (2010).
- R. Debeerst, M. van Hoeij, W. Koepf: Solving Differential Equations in Terms of Bessel Functions, ISSAC'08 Proceedings, 39-46 (2008).
- V. J. Kunwar, M. van Hoeij: Second Order Differential Equations with Hypergeometric Solutions of Degree Three, ISSAC 2013 Proceedings, 235-242 (2013) Implementation: www.math.fsu.edu/∼vkunwar/hypergeomdeg3
- V. J. Kunwar: Hypergeometric Solutions of Linear Differential Equations with Rational Function Coef- ficients, Ph.D thesis and implementation, available at www.math.fsu.edu/∼vkunwar (2014).
- A. V. Kitaev, Grothendieck's Dessins d'Enfants, Their Deformations and Algebraic Solutions of the Sixth Painlevé and Gauss Hypergeometric Equations, Algebra i Analiz 17, 224-273 (2005).
- A. V. Kitaev, Remarks Towards Classification of RS 2 4 (3)-Transformations and Algebraic Solutions of the Sixth Painlevé Equation, Theorie asymptotiques et equations de Painlevé (Angers, Juin 2004), Eds.
- E. Delabaere, M. Loday, Seminaires et Congrés 14, 199-227 (2006).
- F. V. Andreev, A. V, Kitaev, Transformations RS 2 4 (3) of the Ranks ≤ 4 and Algebraic Solutions of the Sixth Painlevé Equation, Comm. Math. Phys. 228, 151-176 (2002).
- T. Fang: Solving Linear Differential Equations in Terms of Hypergeometric Functions by 2-Descent, Ph.D thesis (2012).
- Q. Yuan: Finding all Bessel type solutions for Linear Differential Equations with Rational Function Coefficients, Ph.D thesis and implementation, available at www.math.fsu.edu/∼qyuan (2012).
- A. Bostan, S. Boukraa, S. Hassani, M. van Hoeij, J.-M. Maillard, J-A. Weil and N. Zenine: The Ising model: from elliptic curves to modular forms and Calabi-Yau equations. J. Phys. A: Math. Theor. 44 045204 (2011).
- K. Takeuchi: Commensurability classes of arithmetic triangle groups, J. Fac. Sci, Univ. Tokyo, Sect.1 A, 201-212 (1977).
- J. Kovacic: An algorithm for solving second order linear homogeneous equations, J. Symbolic Compu- tations, 2, 3-43 (1986).
- M. Jimbo and T. Miwa: Monodromy preserving deformation of linear ordinary differential equations with rational coefficients II, Physica 2D, 407448 (1981).
- A. Zvonkin: Belyi functions: examples, properties, and applications, Proceedings AAECC. Vol. 11 (2008).
- S. Donaldson: Riemann surfaces: notes. (2004).
- H. Volklein: Groups as Galois Groups. Cambridge Studies in Advanced Mathematics, 53, Cambridge University Press (1996).
- S. Donaldson: Fields of Definition of Function Fields and Hurwitz Families and; Groups as Galois Groups, Communications in Algebra 5, 1782 (1977).
- S. Donaldson, P. Bailey: Hurwitz monodromy, spin separation and higher levels of a Modular Tower, Proceedings of Symposia in Pure Mathematics 70 (2002).
- D. Eisenbud, N. Elkies, J. Harris and R. Speiser: On the Hurwitz scheme and its monodromy, Compositio Mathematica, 77: 95-117 (1991).
- K. Magaard, S. Shpectorov, and H. Volklein: A GAP Package for Braid Orbit Computation and Appli- cations, Eperimental Mathematics; 12, No. 4 385-394 (2003).
- T. R. Walsh: Space-Efficient Generation of Nonisomorphic Maps and Hypermaps, J. of Integer Se- quences, 18 (2015).
- L. Schneps: The Grothendieck Theory of Dessins d'Enfants, London Math. Soc. Lecture Note Series, Cambridge U. Press (1994).
- S. K. Lando, A. K. Zvonkin: Graphs on Surfaces and Their Applications, ISBN 3-540-00203-0 Springer- Verlag Berlin Heidelberg (2004).
- V. Ancona, E. Strickland: Trends in Contemporary Mathematics, Springer INdAM Series (2014).