Thomae's formula

In mathematics, Thomae's formula is a formula introduced by Thomae (1870) relating theta constants to the branch points of a hyperelliptic curve (Mumford 1984, section 8).

History

In 1824 the Abel–Ruffini theorem established that polynomial equations of a degree of five or higher could have no solutions in radicals. It became clear to mathematicians since then that one needed to go beyond radicals in order to express the solutions to equations of the fifth and higher degrees. In 1858, Charles Hermite, Leopold Kronecker, and Francesco Brioschi independently discovered that the quintic equation could be solved with elliptic transcendents. This proved to be a generalization of the radical, which can be written as:

{\sqrt[{n}]{x}}=\exp \left({{\frac {1}{n}}\ln x}\right)=\exp \left({\frac {1}{n}}\int _{1}^{x}{\frac {dt}{t}}\right).

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 Carl Johannes Thomae in 1870.[3] The process involved replacing the exponential in the nth root and the elliptic modular function in the approach by Hermite, et al. by still more general Siegel modular forms and the integral by a hyperelliptic integral. Hiroshi Umemura[4] expressed these modular functions in terms of higher genus theta functions.

Formula

If we have a polynomial function:

f(x)=a_{0}x^{n}+a_{1}x^{n-1}+\cdots +a_{n}

with $a_{0}\neq 0$ irreducible over a certain subfield of the complex numbers, then its roots $x_{k}$ may be expressed by the following equation involving theta functions of zero argument (theta constants):

{\begin{aligned}x_{k}={}&\left[\theta \left({\begin{matrix}1&0&\cdots &0\\0&\cdots &0&0\end{matrix}}\right)(\Omega )\right]^{4}\left[\theta \left({\begin{matrix}1&1&0&\cdots &0\\0&\cdots &0&0&0\end{matrix}}\right)(\Omega )\right]^{4}\\[6pt]&{}+\left[\theta \left({\begin{matrix}0&\cdots &0\\0&\cdots &0\end{matrix}}\right)(\Omega )\right]^{4}\left[\theta \left({\begin{matrix}0&1&0&\cdots &0\\0&0&0&\cdots &0\end{matrix}}\right)(\Omega )\right]^{4}\\[6pt]&{}-{\frac {\left[\theta \left({\begin{matrix}0&0&\cdots &0\\1&0&\cdots &0\end{matrix}}\right)(\Omega )\right]^{4}\left[\theta \left({\begin{matrix}0&1&0&\cdots &0\\1&0&\cdots &0&0\end{matrix}}\right)(\Omega )\right]^{4}}{2\left[\theta \left({\begin{matrix}1&0&\cdots &0\\0&\cdots &0&0\end{matrix}}\right)(\Omega )\right]^{4}\left[\theta \left({\begin{matrix}1&1&0&\cdots &0\\0&0&\cdots &0&0\end{matrix}}\right)(\Omega )\right]^{4}}}\end{aligned}}

where $\Omega$ is the period matrix derived from one of the following hyperelliptic integrals:

u(a)=\int _{1}^{a}{\frac {dx}{\sqrt {x(x-1)f(x)}}}

if $f(x)$ is of odd degree, or

u(a)=\int _{1}^{a}{\frac {dx}{\sqrt {x(x-1)(x-2)f(x)}}}

if $f(x)$ is of even degree.

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.

Notes

Kronecker, Leopold (1858). "Sur la résolution de l'equation du cinquème degré". C. R. Acad. Sci. 46: 1150–1152.
Jordan, Camille (1870). Traité des substitutions et des équations algébriques. Paris: Gauthier-Villars.
Thomae, Carl Johannes (1870). "Beitrag zur Bestimmung von θ(0,0,...0) durch die Klassenmoduln algebraischer Funktionen". Journal für die reine und angewandte Mathematik. 71: 201–222.
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. ISBN 3-7643-3109-7.

References

Mumford, David (1984), Tata lectures on theta. II, Progress in Mathematics, 43, Boston, MA: Birkhäuser Boston, ISBN 978-0-8176-3110-9, MR 0742776
Thomae, Carl Johannes (1870), "Beitrag zur Bestimmung von θ(0,0,...0) durch die Klassenmoduln algebraischer Funktionen", Journal für die reine und angewandte Mathematik, 71: 201–222

gollark: I do not.

gollark: I think there's a bit missing on the end, actually.

gollark: It is, in fact, `Never gonna give you up\r\nNever gonna let you down\r\nNever gonna run around and desert you\r\nNever gonna make you cry\r\nNever gonna say goodbye\r\nNever gonna tell a lie and hurt yo:`.

gollark: It's a oneliner in python, `"".join(map(lambda a: chr(int(a, 2)), x.split(" ")))` where x is the string of bytes.

gollark: What? No.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[kronecker-1] Kronecker, Leopold (1858). "Sur la résolution de l'equation du cinquème degré". C. R. Acad. Sci. 46: 1150–1152.

[jordan-2] Jordan, Camille (1870). Traité des substitutions et des équations algébriques. Paris: Gauthier-Villars.

[thomae-3] Thomae, Carl Johannes (1870). "Beitrag zur Bestimmung von θ(0,0,...0) durch die Klassenmoduln algebraischer Funktionen". Journal für die reine und angewandte Mathematik. 71: 201–222.

[4] 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. ISBN 3-7643-3109-7.