In the mathematical theory of special functions, Schwarz's list or the Schwartz table is the list of 15 cases found by Hermann Schwarz (1873, p. 323) when hypergeometric functions can be expressed algebraically. More precisely, it is a listing of parameters determining the cases in which the hypergeometric equation has a finite monodromy group, or equivalently has two independent solutions that are algebraic functions. It lists 15 cases, divided up by the isomorphism class of the monodromy group (excluding the case of a cyclic group), and was first derived by Schwarz by methods of complex analytic geometry. Correspondingly the statement is not directly in terms of the parameters specifying the hypergeometric equation, but in terms of quantities used to describe certain spherical triangles.

Hermann Schwarz, c. 1890

The wider importance of the table, for general second-order differential equations in the complex plane, was shown by Felix Klein, who proved a result to the effect that cases of finite monodromy for such equations and regular singularities could be attributed to changes of variable (complex analytic mappings of the Riemann sphere to itself) that reduce the equation to hypergeometric form. In fact more is true: Schwarz's list underlies all second-order equations with regular singularities on compact Riemann surfaces having finite monodromy, by a pullback from the hypergeometric equation on the Riemann sphere by a complex analytic mapping, of degree computable from the equation's data.[1][2]

Number area/ polyhedron
1 1/2 1/2 p/n (≤ 1/2) p/n Dihedral
2 1/2 1/3 1/3 1/6 Tetrahedral
3 2/3 1/3 1/3 2/6 Tetrahedral
4 1/2 1/3 1/4 1/12 Cube/octahedron
5 2/3 1/4 1/4 2/12 Cube/octahedron
6 1/2 1/3 1/5 1/30 Icosahedron/Dodecahedron
7 2/5 1/3 1/3 2/30 Icosahedron/Dodecahedron
8 2/3 1/5 1/5 2/30 Icosahedron/Dodecahedron
9 1/2 2/5 1/5 3/30 Icosahedron/Dodecahedron
10 3/5 1/3 1/5 4/30 Icosahedron/Dodecahedron
11 2/5 2/5 2/5 6/30 Icosahedron/Dodecahedron
12 2/3 1/3 1/5 6/30 Icosahedron/Dodecahedron
13 4/5 1/5 1/5 6/30 Icosahedron/Dodecahedron
14 1/2 2/5 1/3 7/30 Icosahedron/Dodecahedron
15 3/5 2/5 1/3 10/30 Icosahedron/Dodecahedron

The numbers are (up to permutations, sign changes and addition of with even) the differences of the exponents of the hypergeometric differential equation at the three singular points . They are rational numbers if and only if and are, a point that matters in arithmetic rather than geometric approaches to the theory.

Further work

edit

An extension of Schwarz's results was given by T. Kimura, who dealt with cases where the identity component of the differential Galois group of the hypergeometric equation is a solvable group.[3][4] A general result connecting the differential Galois group G and the monodromy group Γ states that G is the Zariski closure of Γ — this theorem is attributed in the book of Matsuda to Michio Kuga. By general differential Galois theory, the resulting Kimura-Schwarz table classifies cases of integrability of the equation by algebraic functions and quadratures.

Another relevant list is that of K. Takeuchi, who classified the (hyperbolic) triangle groups that are arithmetic groups (85 examples).[5]

Émile Picard sought to extend the work of Schwarz in complex geometry, by means of a generalized hypergeometric function, to construct cases of equations where the monodromy was a discrete group in the projective unitary group PU(1, n). Pierre Deligne and George Mostow used his ideas to construct lattices in the projective unitary group. This work recovers in the classical case the finiteness of Takeuchi's list, and by means of a characterisation of the lattices they construct that are arithmetic groups, provided new examples of non-arithmetic lattices in PU(1, n).[6]

Baldassari applied the Klein universality, to discuss algebraic solutions of the Lamé equation by means of the Schwarz list.[7]

Other hypergeometric functions which can be expressed algebraically, like those on Schwarz's list, arise in theoretical physics in the context of   deformations of two-dimensional gauge theories.[8]

See also

edit

Notes

edit
  1. ^ A modern treatment is in Baldassarri, F.; Dwork, B. (1979). "On second order linear differential equations with algebraic solutions". American Journal of Mathematics. 101 (1): 42–76. doi:10.2307/2373938. JSTOR 2373938. MR 0527825..
  2. ^ Baldassari, F. (1986–1987). "Towards a Schwarz list for Lamé's differential operators via division points on elliptic curves". Groupe de travail d'analyse ultramétrique. 14: Exposé no. 22, 17 pp.; see pp. 5-6.
  3. ^ Kimura, Tosihusa (1969–1970). "On Riemann's equations which are solvable by quadratures" (PDF). Funkcialaj Ekvacioj. 12: 269–281. MR 0277789.
  4. ^ Morales-Ruiz, Juan J.; Ramis, Jean Pierre (2001). "A note on the non-integrability of some Hamiltonian systems with a homogeneous potential". Methods and Applications of Analysis. 8 (1): 113–120. doi:10.4310/MAA.2001.v8.n1.a5. MR 1867496.; see p. 116 for the formulation.
  5. ^ Takeuchi, Kisao (1977). "Arithmetic triangle groups". Journal of the Mathematical Society of Japan. 29 (1): 91–106. doi:10.2969/jmsj/02910091. MR 0429744.
  6. ^ Deligne, Pierre; Mostow, G. D. (1986). "Monodromy of hypergeometric functions and non-lattice integral monodromy" (PDF). Publications mathématiques de l'IHÉS. 63: 5–89. doi:10.1007/BF02831622. S2CID 121385846.
  7. ^ F. Baldassarri, On algebraic solutions of Lamé’s differential equation, J. Differential Equations 41 (1) (1981) 44–58. Correction in Algebraic Solutions of the Lamé Equation, Revisited (PDF), by Robert S. Maier.
  8. ^ Brennan, T. Daniel; Ferko, Christian; Sethi, Savdeep (2020). "A non-abelian analogue of DBI from TT". SciPost Physics. 8 (4): 052. arXiv:1912.12389. doi:10.21468/SciPostPhys.8.4.052. S2CID 209515455.

References

edit
edit