The Riemann-Hilbert problem consists in “constructing a Fuchsian system with a prescribed monodromy”.
More precisely, let be nondegenerate matrices such that their product is an identical matrix, and are distinct points, such that the segments are all disjoint except for the point itself.
The problem is to construct a linear system of equations
such that the monodromy operator along the path “segment small loop around segment ” is equal to .
The modern strategy of solving this problem is surgery. One can easily construct a local solution, a differential system on a neighborhood of the segment , which has the specified monodromy. The phase space of this system is the cylinder , and without loss of generality one can assume that together the neighborhoods cover the whole Riemann sphere . Patching together these local solutions, one can construct a linear system with the specified monodromy, but it will be defined not on , as required, but on a more general object, holomorphic vector bundle over .
Description of different vector bundles is of an independent interest and is well known. It turns out (Birkhoff), that each holomorphic vector bundle in dimension is completely determined by a(n unordered) tuple of integer numbers , and the bundle is trivial if and only if .
However, the strategy of solving the Riemann-Hilbert problem by construction of the bundle and determining its holomorphic type is complicated by two facts:
- Determination of the holomorphic type of a bundle is a transcendental problem;
- The local realization of the monodromy is by no means unique: in the non-resonant case one can realize any matrix by an Euler system with the eigenvalues which can be arbitrarily shifted by integers; in the resonant case one should add to this freedom also non-Euler systems. This freedom can change the holomorphic type of the vector bundle in a very broad range.
It turns out that the fundamental role in solvability of the Riemann-Hilbert problem plays the (ir)reducibility of the linear group generated by the matrices .
Theorem (Bolibruch, Kostov). If the group is irredicible, i.e., there is no invariant subspace in common for all operators , then one can choose the local realizations in such a way that the resulting bundle is trivial and thus yields solution to the Riemann-Hilbert problem.
The proof is achieved as follows: one constructs a possibly nontrivial bundle realizing the given monodromy, and then this bundle is brutally trivialized by a transformation that is only meromorphic at one of the singularities. The result will be a system with all but one singularities being Fuchsian, and the problem reduces to bringing to the Fuchsian form the last point (assumed to be at infinity) by transformations of the form with being a matrix polynomial with a constant nonzero determinant. The group of such transformations is considerably more subtle, but ultimately the freedom in construction of the initial bundle can be used to guarantee that the last point is also “Fuchsianizible”.
All the way around, if the monodromy group is reducible, then there is an obstruction of the torsion type exists for trivializing the bundle. This obstruction was first discovered by A. Bolibruch, and its description can be found in the textbook by Yu. Ilyashenko and SY (sections 16G and 18).