Isomonodromic deformation

This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (March 2021) (Learn how and when to remove this template message)

In mathematics, the equations governing the isomonodromic deformation of meromorphic linear systems of ordinary differential equations are, in a fairly precise sense, the most fundamental exact nonlinear differential equations. As a result, their solutions and properties lie at the heart of the field of exact nonlinearity and integrable systems.

Isomonodromic deformations were first studied by Richard Fuchs, with early pioneering contributions from Lazarus Fuchs, Paul Painlevé, René Garnier, and Ludwig Schlesinger. Inspired by results in statistical mechanics, a seminal contribution to the theory was made by Michio Jimbo, Tetsuji Miwa, and , who studied cases with arbitrary singularity structure.

Fuchsian systems and Schlesinger's equations[]

This section does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. (March 2021) (Learn how and when to remove this template message)

Consider the of linear differential equations

${\displaystyle {\frac {dy}{dx}}=Ay=\sum _{i=1}^{n}{\frac {A_{i}}{x-\lambda _{i}}}y}$

where the independent variable x takes values in the complex projective line P¹(C), the solution y takes values in Cⁿ and the A_i are constant n×n matrices. Solutions to this equation have polynomial growth at x = λ_i. By placing n independent column solutions into a fundamental matrix ${\displaystyle Y=(y_{1},...,y_{n})}$ then ${\displaystyle {\frac {dY}{dx}}=AY}$ and one can regard ${\displaystyle Y}$ as taking values in GL(n, C). For simplicity, assume that there is no further pole at infinity which amounts to the condition that

${\displaystyle \sum _{i=1}^{n}A_{i}=0.}$

Monodromy data[]

This section does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. (March 2021) (Learn how and when to remove this template message)

Now, fix a basepoint b on the Riemann sphere away from the poles. Analytic continuation of a fundamental solution ${\displaystyle Y_{1}}$ around any pole λ_i and back to the basepoint will produce a new solution ${\displaystyle Y_{2}}$ defined near b. The new and old solutions are linked by the monodromy matrix M_i as follows:

${\displaystyle Y_{2}=Y_{1}M_{i}.}$

One therefore has the Riemann–Hilbert homomorphism from the fundamental group of the punctured sphere to the monodromy representation:

${\displaystyle \pi _{1}\left(\mathbf {P} ^{1}(\mathbf {C} )-\{\lambda _{1},\dots ,\lambda _{n}\}\right)\to GL(n,\mathbf {C} ).}$

A change of basepoint merely results in a (simultaneous) conjugation of all the monodromy matrices. The monodromy matrices modulo simultaneous conjugation define the monodromy data of the Fuchsian system.

Hilbert's twenty-first problem[]

This section does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. (March 2021) (Learn how and when to remove this template message)

Now, with given monodromy data, can a Fuchsian system be found which exhibits this monodromy? This is one form of Hilbert's twenty-first problem. One does not distinguish between coordinates x and ${\displaystyle {\hat {x}}}$ which are related by Möbius transformations, and also do not distinguish between gauge equivalent Fuchsian systems - this means that A and

${\displaystyle g^{-1}(x)Ag(x)-g^{-1}(x){\frac {dg(x)}{dx}}}$

are regarded as being equivalent for any holomorphic gauge transformation g(x). (It is thus most natural to regard a Fuchsian system geometrically, as a connection with simple poles on a trivial rank n vector bundle over the Riemann sphere).

For generic monodromy data, the answer to Hilbert's twenty-first problem is 'yes' - as was first proved by Josip Plemelj. However, Plemelj neglected certain degenerate cases, and it was shown in 1989 by Andrei Bolibrukh that there are cases when the answer is 'no'. Here, the generic case is focused upon entirely.

Schlesinger's equations[]

This section does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. (March 2021) (Learn how and when to remove this template message)

There are (generically) many Fuchsian systems with the same monodromy data. Thus, given any such Fuchsian system with specified monodromy data, isomonodromic deformations can be performed of it. On therefore is led to study families of Fuchsian systems, and allow the matrices A_i to depend on the positions of the poles.

In 1912 (following earlier incorrect attempts) Ludwig Schlesinger proved that in general, the deformations which preserve the monodromy data of a (generic) Fuchsian system are governed by the integrable holonomic system of partial differential equations which now bear his name:

${\displaystyle {\begin{aligned}{\frac {\partial A_{i}}{\partial \lambda _{j}}}&={\frac {[A_{i},A_{j}]}{\lambda _{i}-\lambda _{j}}}\qquad \qquad j\neq i\\{\frac {\partial A_{i}}{\partial \lambda _{i}}}&=-\sum _{j\neq i}{\frac {[A_{i},A_{j}]}{\lambda _{i}-\lambda _{j}}}.\end{aligned}}}$

These are therefore the isomonodromy equations for (generic) Fuchsian systems. The natural interpretation of these equations is as the flatness of a natural connection on a vector bundle over the 'deformation parameter space' which consists of the possible pole positions. For non-generic isomonodromic deformations, there will still be an integrable isomonodromy equation, but it will no longer be Schlesinger.

If one limits attention to the case when the A_i take values in the Lie algebra ${\displaystyle {\mathfrak {sl}}(2,\mathbf {C} )}$, the so-called Garnier systems are obtained. If one specializes further to the case when there are only four poles, then the Schlesinger/Garnier equations can be reduced to the famous sixth Painlevé equation.

Irregular singularities[]

This section does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. (March 2021) (Learn how and when to remove this template message)

Motivated by the appearance of Painlevé transcendents in correlation functions in the theory of Bose gases, Michio Jimbo, Tetsuji Miwa and Kimio Ueno extended the notion of isomonodromic deformation to the case of arbitrary pole structure. The linear system under study is now of the form

${\displaystyle {\frac {dY}{dx}}=AY=\sum _{i=1}^{n}\sum _{j=1}^{r_{i}+1}{\frac {A_{j}^{(i)}}{(x-\lambda _{i})^{j}}}Y,}$

with n poles, with the pole at λ_i of order ${\displaystyle (r_{i}+1)}$. The ${\displaystyle A_{j}^{(i)}}$ are constant matrices.

Extended monodromy data[]

As well as the monodromy representation described in the Fuchsian setting, deformations of irregular systems of linear ordinary differential equations are required to preserve extended monodromy data. Roughly speaking, monodromy data is now regarded as data which glues together canonical solutions near the singularities. If one takes ${\displaystyle x_{i}=x-\lambda _{i}}$ as a local coordinate near a pole λ_iof order ${\displaystyle r_{i}+1}$, one can then solve term-by-term for a holomorphic gauge transformation g such that locally, the system looks like

${\displaystyle {\frac {d(g_{i}^{-1}Z_{i})}{dx_{i}}}=\left(\sum _{j=1}^{r_{i}}{\frac {(-j)T_{j}^{(i)}}{x_{i}^{j+1}}}+{\frac {M^{(i)}}{x_{i}}}\right)(g_{i}^{-1}Z_{i})}$

where ${\displaystyle M^{(i)}}$ and the ${\displaystyle T_{j}^{(i)}}$ are diagonal matrices. If this were valid, it would be extremely useful, because then (at least locally), one has decoupled the system into n scalar differential equations which one can easily solve to find that (locally):

${\displaystyle Z_{i}=g_{i}\exp \left(M^{(i)}\log(x_{i})+\sum _{j=1}^{r_{i}}{\frac {T_{j}^{(i)}}{x_{i}^{j}}}\right).}$

However, this does not work - because the power series solved term-for-term for g will not, in general, converge.

It was the great insight of Jimbo, Miwa and Ueno to realize that nevertheless, this approach provides canonical solutions near the singularities, and can therefore be gainfully employed to define extended monodromy data. This is because of a theorem of George Birkhoff which states that given such a formal series, there is a unique convergent function G_i such that in any particular sufficiently large sector around the pole, G_i is asymptotic to g_i, and

${\displaystyle Y=G_{i}\exp \left(M^{(i)}\log(x_{i})+\sum _{j=1}^{r_{i}}{\frac {T_{j}^{(i)}}{x_{i}^{j}}}\right).}$

is a true solution of the differential equation. A canonical solution therefore appears in each such sector near each pole. The extended monodromy data consists of

• the data from the monodromy representation as for the Fuchsian case;
• which connect canonical solutions between adjacent sectors at the same pole;
• connection matrices that connect canonical solutions between sectors at different poles.

General isomonodromic deformations[]

As before, one now considers families of systems of linear differential equations, all with the same singularity structure. One therefore allows the matrices ${\displaystyle A_{j}^{(i)}}$ to depend on parameters. One is allowed to vary the positions of the poles λ_i, but now, in addition, one also varies the entries of the diagonal matrices ${\displaystyle T_{j}^{(i)}}$ which appear in the canonical solution near each pole.

Jimbo, Miwa and Ueno proved that if one defines a one-form on the 'deformation parameter space' by

${\displaystyle \Omega =\sum _{i=1}^{n}\left(Ad\lambda _{i}-g_{i}D\left(\sum _{j=1}^{r_{i}}T_{j}^{(i)}\right)g_{i}^{-1}\right)}$

(where D denotes exterior differentiation with respect to the components of the ${\displaystyle T_{j}^{(i)}}$ only)

then deformations of the meromorphic linear system specified by A are isomonodromic if and only if

${\displaystyle dA+[\Omega ,A]+{\frac {d\Omega }{dx}}=0.}$

These are the general isomonodromy equations. As before, these equations can be interpreted as the flatness of a natural connection on the deformation parameter space.

Properties[]

The isomonodromy equations enjoy a number of properties that justify their status as nonlinear special functions.

Painlevé property[]

This is perhaps the most important property of a solution to the isomonodromic deformation equations. This means that all essential singularities of the solutions are fixed, although the positions of poles may move. It was proved by Bernard Malgrange for the case of Fuchsian systems, and by Tetsuji Miwa in the general setting.

Indeed, suppose that one is given a partial differential equation (or a system of them). Then, 'possessing a reduction to an isomonodromy equation' is more or less equivalent to the Painlevé property, and can therefore be used as a test for integrability.

Transcendence[]

In general, solutions of the isomonodromy equations cannot be expressed in terms of simpler functions such as solutions of linear differential equations. However, for particular (more precisely, reducible) choices of extended monodromy data, solutions can be expressed in terms of such functions (or at least, in terms of 'simpler' isomonodromy transcendents). The study of precisely what this transcendence means has been largely carried out by the invention of 'nonlinear differential Galois theory' by Hiroshi Umemura and Bernard Malgrange.

There are also very special solutions which are algebraic. The study of such algebraic solutions involves examining the topology of the deformation parameter space (and in particular, its mapping class group); for the case of simple poles, this amounts to the study of the action of braid groups. For the particularly important case of the sixth Painlevé equation, there has been a notable contribution by Boris Dubrovin and , which has been recently extended to larger classes of monodromy data by .

Rational solutions are often associated with special polynomials. Sometimes, as in the case of the sixth Painlevé equation, these are well-known orthogonal polynomials, but there are new classes of polynomials with an extremely interesting distribution of zeros and interlacing properties. The study of such polynomials has largely been carried out by and collaborators.

Symplectic structure[]

The isomonodromy equations can be rewritten using Hamiltonian formulations. This viewpoint was extensively pursued by in a series of papers on the Painlevé equations in the 1980s.

They can also be regarding as a natural extension of the Atiyah–Bott symplectic structure on spaces of flat connections on Riemann surfaces to the world of meromorphic geometry - a perspective pursued by . Indeed, if one fixes the positions of the poles, one can even obtain complete hyperkähler manifolds; a result proved by and .

There is another description in terms of moment maps to (central extensions of) loop algebras - a viewpoint introduced by John Harnad and extended to the case of general singularity structure by Nick Woodhouse. This latter perspective is intimately related to a curious Laplace transform between isomonodromy equations with different pole structure and rank for the underlying equations.

Twistor structure[]

The isomonodromy equations arise as (generic) full dimensional reductions of (generalized) anti-self-dual Yang–Mills equations. By the Penrose–Ward transform they can therefore be interpreted in terms of holomorphic vector bundles on complex manifolds called twistor spaces. This allows the use of powerful techniques from algebraic geometry in studying the properties of transcendents. This approach has been pursued by Nigel Hitchin, and Nick Woodhouse.

Gauss-Manin connections[]

By considering data associated with families of Riemann surfaces branched over the singularities, one can consider the isomonodromy equations as nonhomogeneous Gauss–Manin connections. This leads to alternative descriptions of the isomonodromy equations in terms of abelian functions - an approach known to Fuchs and Painlevé, but lost until rediscovery by Yuri Manin in 1996.

Asymptotics[]

Particular transcendents can be characterized by their asymptotic behaviour. The study of such behaviour goes back to the early days of isomonodromy, in work by Pierre Boutroux and others.

Applications[]

This section does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. (March 2021) (Learn how and when to remove this template message)

Their universality as the simplest genuinely nonlinear integrable systems means that the isomonodromy equations have an extremely diverse range of applications. Perhaps of greatest practical importance is the field of random matrix theory. Here, the statistical properties of eigenvalues of large random matrices are described by particular transcendents.

The initial impetus for the resurgence of interest in isomonodromy in the 1970s was the appearance of transcendents in correlation functions in Bose gases.

They provide generating functions for moduli spaces of two-dimensional topological quantum field theories and are thereby useful in the study of quantum cohomology and Gromov–Witten invariants.

'Higher-order' isomonodromy equations have recently been used to explain the mechanism and universality properties of shock formation for the of the Korteweg–de Vries equation.

They are natural reductions of the Ernst equation and thereby provide solutions to the Einstein field equations of general relativity; they also give rise to other (quite distinct) solutions of the Einstein equations in terms of theta functions.

They have arisen in recent work in mirror symmetry - both in the geometric Langlands programme, and in work on the moduli spaces of stability conditions on derived categories.

Generalizations[]

This section does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. (March 2021) (Learn how and when to remove this template message)

The isomonodromy equations have been generalized for meromorphic connections on a general Riemann surface.

They can also easily be adapted to take values in any Lie group, by replacing the diagonal matrices by the maximal torus, and other similar modifications.

There is a burgeoning field studying discrete versions of isomonodromy equations.

References[]

Sources[]

• Its, Alexander R.; Novokshenov, Victor Yu. (1986), The isomonodromic deformation method in the theory of Painlevé equations, Lecture Notes in Mathematics, vol. 1191, Berlin, New York: Springer-Verlag, ISBN 978-3-540-16483-8, MR 0851569
• Sabbah, Claude (2007), Isomonodromic deformations and Frobenius manifolds, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-1-84800-053-7, ISBN 978-2-7598-0047-6 MR1933784