Skip to content
Surf Wiki
Save to docs
general/hypergeometric-functions

From Surf Wiki (app.surf) — the open knowledge base

Schwarz's list

Schwarz's list

[[Hermann Schwarz]], c. 1890

In the mathematical theory of special functions, Schwarz's list or the Schwarz table is the list of 15 cases found by 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.

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.A modern treatment is in {{cite journal

Number\lambda\mu\nuarea/\pipolyhedron
11/21/2p/n (≤ 1/2)p/nDihedral
21/21/31/31/6Tetrahedral
32/31/31/32/6Tetrahedral
41/21/31/41/12Cube/octahedron
52/31/41/42/12Cube/octahedron
61/21/31/51/30Icosahedron/Dodecahedron
72/51/31/32/30Icosahedron/Dodecahedron
82/31/51/52/30Icosahedron/Dodecahedron
91/22/51/53/30Icosahedron/Dodecahedron
103/51/31/54/30Icosahedron/Dodecahedron
112/52/52/56/30Icosahedron/Dodecahedron
122/31/31/56/30Icosahedron/Dodecahedron
134/51/51/56/30Icosahedron/Dodecahedron
141/22/51/37/30Icosahedron/Dodecahedron
153/52/51/310/30Icosahedron/Dodecahedron

The numbers \lambda, \mu, \nu are (up to permutations, sign changes and addition of (\ell,m,n) \in \mathbb{Z}^3 with \ell+m+n even) the differences 1-c, c-a-b,b-a of the exponents of the hypergeometric differential equation at the three singular points 0,1,\infty. They are rational numbers if and only if a,b and c are, a point that matters in arithmetic rather than geometric approaches to the theory.

Further work

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.{{cite journal

Another relevant list is that of K. Takeuchi, who classified the (hyperbolic) triangle groups that are arithmetic groups (85 examples).{{cite journal

É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).

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

Other hypergeometric functions which can be expressed algebraically, like those on Schwarz's list, arise in theoretical physics in the context of T \overline{T} deformations of two-dimensional gauge theories.

Notes

References

References

  1. (1986). "Monodromy of hypergeometric functions and non-lattice integral monodromy". Publications mathématiques de l'IHÉS.
  2. F. Baldassarri, ''On algebraic solutions of Lamé's differential equation'', J. Differential Equations 41 (1) (1981) 44–58. Correction in [http://math.arizona.edu/~rsm/papers/paper104.pdf ''Algebraic Solutions of the Lamé Equation, Revisited'' (PDF)], by Robert S. Maier.
  3. (2020). "A non-abelian analogue of DBI from ''T{{overline". SciPost Physics.
Wikipedia Source

This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.

Want to explore this topic further?

Ask Mako anything about Schwarz's list — get instant answers, deeper analysis, and related topics.

Research with Mako

Free with your Surf account

Content sourced from Wikipedia, available under CC BY-SA 4.0.

This content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.

Report