With the restriction to only this exponential, as shown by Galois theory, only compositions of Abelian extensions may be constructed, which suffices only for equations of the fourth degree and below. Something more general is required for equations of higher degree, so to solve the quintic, Hermite, et al. replaced the exponential by an elliptic modular function and the integral (logarithm) by an elliptic integral. Kronecker believed that this was a special case of a still more general method.[1]Camille Jordan showed[2] that any algebraic equation may be solved by use of modular functions. This was accomplished by Thomae in 1870.[3] Thomae generalized Hermite's approach by replacing the elliptic modular function with even more general Siegel modular forms and the elliptic integral by a hyperelliptic integral. Hiroshi Umemura[4] expressed these modular functions in terms of higher genus theta functions.
with irreducible over a certain subfield of the complex numbers, then its roots may be expressed by the following equation involving theta functions of zero argument (theta constants):
where is the period matrix derived from one of the following hyperelliptic integrals. If is of odd degree, then,
Or if is of even degree, then,
This formula applies to any algebraic equation of any degree without need for a Tschirnhaus transformation or any other manipulation to bring the equation into a specific normal form, such as the Bring–Jerrard form for the quintic. However, application of this formula in practice is difficult because the relevant hyperelliptic integrals and higher genus theta functions are very complex.
^
Umemura, Hiroshi (1984). "Resolution of algebraic equations by theta constants". In David Mumford (ed.). Tata Lectures on Theta II. Birkhäuser. pp. 3.261–3.272. ISBN3-7643-3109-7.