Families of Fuchsian equations
A Fuchsian equation on with only quasiunipotent singularities admits an upper bound for the number of complex roots of its solutions, which depends on the equation, in particular, in the “magnitude” (slope), but also on the relative position of its singularities.
We are interested in finding conditions ensuring that this bound does not “explode”. The easiest way to formulate this is to consider parametric families of Fuchsian equations.
We will assume that the parametric family has the form
with the coefficients polynomial in and rationally depending on the parameters (one can consider them as homogeneous polynomials of the same degree on ). For some values of the operator may degenerate (the leading coefficient vanishes identically, not excluding the degeneracy ). Such values, however, should constitute a proper algebraic subvariety .
Note that, because of the semicontinuity, it is sufficient to establish the global uniform bound for the number of isolated roots only for : complex roots cannot disappear in the blue sky…
We will impose the following qualitative conditions, imposed on the family (*).
- Isomonodromy: when parameters change, the monodromy group remains “the same”.
- Tameness (regularity): solutions of the equations grow at most polynomially when .
- Quasiunipotence: all singular points always have quasiunipotent monodromy.
The last condition is the “regularity” with respect to the parameters rather than with respect to the independent variable . All conditions need to be accurately formulated, but one can give a simple example producing such families.
Consider a rational matrix-valued 1-form on with the polar locus which is an algebraic divisor (singular hypersurface). Assume that the linear system is locally solvable and regular on . Then for any fixed the first row components of the (multivalued) matrix function satisfy a linear Fuchsian equation rationally depending on . This way we get the family of equations automatically satisfying the first two conditions above. It turns out that the third condition is sufficient to verify only for a generic equation of the family.
(Kashiwara theorem follows).
Boundedness of the slope
In the arbitrary family (*) the slope is a semialgebraic function of the parameter , eventually undefined on the locus itself, and may well be unbounded.
However, in the isomonodromic regular family this is impossible.
(Grigoriev theorem follows)
Corollary: conformal pseudoinvariance of the slope.