Elimination strata for torus-dynamical Fuchsian systems and the fixed-component Heun problem

Résumé Technique : Strates d'Élimination pour les Systèmes de Fuchs de Type Dynamique de Tore et le Problème de Heun à Composante Fixe

Énoncé du Problème
L'article traite d'un problème spécifique posé par Alexandrov et Glutsyuk concernant les systèmes de Fuchs de type dynamique de tore. Il s'agit de systèmes linéaires de dimension deux de la forme $Y' = A(z)Y$ avec des singularités finies prescrites en $0, \alpha, \alpha^{-1}$ (où $\alpha \in \mathbb{R} \setminus \{0, \pm 1\}$) et $\infty$. Ces systèmes sont caractérisés par une condition de symétrie de tore qui garantit que leur équation de Riccati projectivisée correspond à un système dynamique sur le tore réel de dimension deux.

La question centrale est la suivante : sous quelles conditions la seconde composante, $Y_2(z)$, d'une solution d'un tel système satisfait une équation de Heun « authentique » à quatre singularités ? Les auteurs distinguent une forme de polynôme de Heun (une équation scalaire du second ordre avec des singularités uniquement aux points prescrits et des coefficients polynomiaux de degrés spécifiques) d'une équation de Heun authentique (où aucune des quatre singularités prescrites n'est évitable).

Les résultats précédents d'Alexandrov et Glutsyuk traitaient le cas où la matrice de résidu en $z=0$ ($A_0$) est diagonale. Cet article vise à résoudre le problème de la « composante fixe, représentant fixe » sans supposer que $A_0$ est diagonale, triangulaire ou générique, et sans imposer de conditions spectrales ou de non-résonance.

Méthodologie
Les auteurs emploient une approche directe d'élimination scalaire combinée à la géométrie algébrique et au calcul des résidus.

1. Élimination Scalaire : En partant du système $Y' = A(z)Y$, où $A(z) = \sum \frac{A_s}{z-s}$, les auteurs éliminent la première composante $Y_1$ pour dériver une équation scalaire du second ordre pour $E = Y_2$. Ce processus introduit un terme de dérivée logarithmique impliquant le coefficient de couplage inférieur $c(z) = A_{21}(z)$.
2. Analyse des Diviseurs : Le coefficient de la première dérivée dans l'équation scalaire résultante contient le terme $c'/c$. Pour que l'équation soit de forme Heun (singularités uniquement en $0, \alpha, \beta, \infty$), les zéros de $c(z)$ en dehors de l'ensemble prescrit doivent être exclus. Puisque $c(z)$ possède des pôles simples aux singularités, le produit $\Gamma_A(z) = D(z)c(z)$ (où $D(z) = z(z-\alpha)(z-\beta)$) est un polynôme de degré au plus 2. La condition selon laquelle aucune singularité apparente supplémentaire n'existe est équivalente à exiger que $\Gamma_A(z)$ soit un monôme supporté uniquement sur les singularités prescrites : $\Gamma_A(z) = \lambda z^{n_0}(z-\alpha)^{n_\alpha}(z-\beta)^{n_\beta}$, où la multiplicité totale $\sum n_s \le 2$.
3. Équilibre des Résidus : Les auteurs analysent le coefficient d'ordre zéro de l'équation scalaire. Ils prouvent que pour que l'équation n'ait pas de pôles finis (autres que ceux prescrits), les résidus des matrices du système doivent satisfaire des identités algébriques spécifiques : $c_s b_s = d_s(a_s + n_s)$, où $n_s$ est l'ordre d'annulation de $\Gamma_A$ en $s$.
4. Intersection de Tore : La classification universelle dérivée ci-dessus est ensuite intersectée avec le « locus de résidus dynamique de tore » $T_\alpha$, défini par la condition que l'équation de Riccati projectivisée est invariante sous l'involution antiholomorphe $(Y_1, Y_2, z) \mapsto (Y_2, Y_1, z^{-1})$. Ce locus impose des contraintes algébriques réelles sur les matrices de résidus.
5. Gestion de la Jauge Projective : L'article distingue soigneusement le « représentant fixe » (la matrice $A(z)$ littérale) de la « classe projective » (modulo les termes de Fuchs scalaires). Il démontre comment les transformations de jauge scalaires affectent les équations d'équilibre des résidus et fournit des critères pour l'existence d'une jauge produisant une forme de Heun.

Contributions Clés et Résultats

• Théorème d'Élimination Universel (Théorème 3.5) : Les auteurs établissent une condition nécessaire et suffisante pour que n'importe quel système de Fuchs de dimension deux avec des pôles dans $\{0, \alpha, \beta\}$ se réduise à une équation de forme Heun dans la seconde composante. Cette condition consiste en :

  1. La condition du diviseur de couplage : $\Gamma_A = \lambda m$ pour un certain monôme $m$ issu d'un ensemble de dix polynômes possibles.
  2. Trois identités locales d'équilibre des résidus : $c_s b_s = d_s(a_s + n_s)$ pour $s \in \{0, \alpha, \beta\}$.
     Ce résultat est valable sans diagonaliser ou triangulariser les matrices de résidus.

• Classification des Systèmes Dynamiques de Tore (Théorème 4.1) : En intersectant les strates universelles avec le locus de symétrie de tore, les auteurs fournissent une classification complète des systèmes dynamiques de tore produisant des équations de Heun. L'espace de solution est décrit comme une union finie de dix strates semi-algébriques localement fermées réelles, indexées par les dix monômes de diviseurs possibles $m$.

  • L'article liste explicitement les équations d'équilibre des résidus pour chacune des dix strates (Tableau 1).
  • Il fournit des formules explicites pour les coefficients $P(z)$ et $Q(z)$ de l'équation de Heun résultante en termes des résidus du système et du diviseur choisi.

• Conditions de Singularité de Quatre Points Authentiques : L'article fournit des critères précis de « non-évitabilité » (Lemme 3.6) pour garantir que l'équation de Heun résultante n'est pas dégénérée (c'est-à-dire que les quatre singularités sont essentielles). Cela implique de vérifier que les coefficients polynomiaux ne s'annulent pas simultanément aux points singuliers et que le degré du coefficient dominant ne satisfait pas une condition d'évitabilité spécifique.

• Analyse Diagonale vs Non-Diagonale : Les auteurs montrent que le cas connu des résidus diagonaux (où $A_0$ est diagonale) correspond à une tranche spécifique de la strate où $m(z) = z$. Crucialement, ils fournissent un exemple non diagonal (Exemple 6.1) où $A_0$ n'est pas diagonale, mais où le système satisfait néanmoins les conditions de Heun, démontant ainsi que l'hypothèse de diagonalité n'est pas nécessaire.

• Solutions Polynomiales et Rationnelles (Section 7) : Les auteurs dérivent des critères de déterminant (Proposition 7.1 et Théorème 7.2) pour déterminer quand l'équation de Heun résultante admet des solutions polynomiales ou rationnelles. Ces critères sont exprimés sous forme de conditions d'incidence sur les paramètres de résidus originaux, utilisant des matrices tridiagonales construites à partir des coefficients de Heun.

Signification et Revendications
L'article affirme résoudre complètement la version « composante fixe, représentant fixe » du problème d'Alexandrov-Glutsyuk. Sa signification réside dans :

1. Suppression des Hypothèses : Il élimine la nécessité d'hypothèses de diagonalisation, de triangularisation ou de généricité sur le résidu en zéro, qui étaient présentes dans les travaux antérieurs.
2. Structure Algébrique Rigoureuse : Il identifie l'espace de solution comme une union finie de strates semi-algébriques, offrant une image géométrique claire de l'espace des paramètres où la réduction à la forme de Heun se produit.
3. Formules Explicites : Il offre des formules explicites et calculables pour les coefficients de Heun ainsi que pour les conditions sur les résidus du système, rendant la classification effective et vérifiable.
4. Distinction de la Jauge : Il clarifie la différence entre le représentant fixe et la classe projective, montrant comment les jauges scalaires peuvent être utilisées pour satisfaire les conditions de Heun même si le représentant original ne les satisfait pas.

Les auteurs soulignent que leur preuve repose sur des observations élémentaires mais rigides concernant le diviseur du terme de couplage et les équilibres locaux des résidus, évitant ainsi les arguments de continuation analytique cachés. Les résultats sont présentés comme des classifications définitives dans le cadre mathématique spécifié.