Jacobi inversion problem

Jacobi inversion problem
Name	Jacobi inversion problem
Field	Mathematics
Introduced	19th century
Notable people	Carl Gustav Jacob Jacobi, Niels Henrik Abel, Bernhard Riemann, Gustav Roch, Friedrich Prym, Henri Poincaré, Felix Klein, Bernard Teissier, David Mumford

Jacobi inversion problem The Jacobi inversion problem is a classical problem in 19th century mathematics connecting the theory of elliptic functions, Abelian integrals, algebraic curves, and theta functions. It played a central role in the development of complex analysis, algebraic geometry, integrable systems, and the work of major figures such as Carl Gustav Jacob Jacobi, Niels Henrik Abel, and Bernhard Riemann. The problem formalizes the inversion of Abelian integrals on compact Riemann surfaces and leads to deep links between divisors, line bundles, and special functions.

Introduction

The Jacobi inversion problem arises from the inversion of multi-valued integrals studied by Niels Henrik Abel and Carl Gustav Jacob Jacobi in the context of hyperelliptic and more general algebraic curves, anticipating foundational results by Bernhard Riemann and later formalizations by Gustav Roch and David Mumford. It asks how to recover a set of points on a compact Riemann surface from the values of Abelian integrals, thereby connecting to Jacobian variety, Abel–Jacobi map, and theta divisor phenomena central to the work of Henri Poincaré and Felix Klein.

Historical background

The historical lineage begins with inversion problems studied by Niels Henrik Abel and culminates in systematic treatments by Carl Gustav Jacob Jacobi, who used elliptic function theory linked to the Weierstrass elliptic function and early theta functions. Bernhard Riemann reframed these ideas using Riemann surfaces and introduced the Riemann theta function as part of his groundbreaking memoir on abelian functions, influencing subsequent contributions by Gustav Roch with the Riemann–Roch theorem and by Friedrich Prym in the study of Prym varieties. Later 20th century developments by David Mumford, Bernard Teissier, and researchers in integrable systems and soliton theory extended the inversion problem to applications in the work of Igor Krichever, Boris Dubrovin, and Mikhail Sato.

Statement of the problem

Given a compact genus-g Riemann surface X and a base point, the classical formulation asks: for a divisor of degree g, how can one invert the Abelian integrals to recover the g points of the divisor? This is formalized via the Abel–Jacobi map from the g-fold symmetric product Sym^g(X) to the Jacobian variety J(X), and the problem becomes describing the preimage of a point in J(X) in terms of linear systems, theta divisor, and special translate of theta function zeros. The formulation involves period matrices arising from integrals of holomorphic differentials and invokes the Riemann period relations and the Riemann bilinear relations central to Riemann's existence theorem.

Solution via theta functions

Jacobi’s solution uses the multi-variable Riemann theta function associated to the period matrix of X to express coordinates of the g points as functions of the Abel–Jacobi image. The inversion is achieved by locating zeros of suitable theta functions and using the theta divisor and its translates; the Riemann vanishing theorem and Fay's trisecant identity provide essential analytical tools. Constructive formulae appear in terms of ratios of theta functions with characteristics, a technique refined in the works of Felix Klein, Igor Krichever, and David Mumford. For hyperelliptic curves explicit expressions involve hyperelliptic sigma functions studied by H. F. Baker and revived by modern authors such as Eilbeck, Enolskii, and B. A. Dubrovin.

Special cases and examples

In genus one the problem reduces to inversion of elliptic integrals solved by Carl Gustav Jacob Jacobi via elliptic functions and the Weierstrass elliptic function. For genus two and hyperelliptic examples, classical formulae due to H. F. Baker and later expositions by J. D. Fay and E. D. Belokolos give explicit theta-functional solutions. Non-hyperelliptic examples such as plane quartics and trigonal curves require methods developed by Bernhard Riemann, Gustav Roch, and modern treatments by Igor Krichever and Fedorov in the context of algebraic completely integrable systems and Kleinian functions.

Applications in algebraic geometry and integrable systems

The Jacobi inversion problem underpins the geometry of the Jacobian variety, the study of the theta divisor, and the proof of foundational results like the Torelli theorem and the Schottky problem. In integrable systems it provides explicit solutions of nonlinear partial differential equations such as the Korteweg–de Vries equation, Kadomtsev–Petviashvili equation, and the sine-Gordon equation via algebro-geometric solutions constructed by B. A. Dubrovin, S. P. Novikov, E. D. Belokolos, and M. Adler. Connections to the Calogero–Moser system and finite-gap integration were developed by I. M. Krichever and M. Sato and influenced work in mathematical physics by Lax and P. D. Lax.

Computational methods and algorithms

Computational approaches use numerical evaluation of period matrices, theta functions, and abelian integrals, implemented in software inspired by algorithms from David Mumford and contemporary computational algebraic geometry by researchers linked to Gröbner basis methods and symbolic packages. Practical algorithms for hyperelliptic inversion employ the work of J. van Wamelen, E. Previato, and numerical theta-evaluation libraries influenced by D. J. Bates and B. Sturmfels. Applications in computer algebra systems and numerics draw on algorithms for computing Riemann matrices, theta constants, and divisor arithmetic as developed in projects associated with Max Planck Institute for Mathematics, Institut des Hautes Études Scientifiques, and computational groups in French National Centre for Scientific Research environments.

Category:Algebraic geometry