On a class of linear matrices with degenerate specialization (Q1059129)

Soit F un corps et \(x_{\xi \eta}\) \((\eta =1,2,...,n\), \(\xi =1,2,...,h)\) un système d'indéterminées sur F. Une matrice carrée d'ordre n \(M=(m_{ij})\) à éléments dans \(F(x_{\xi \eta})\) est linéaire si tout \(m_{ij}\) est un polynome linéaire par rapport aux \(x_{\xi \eta}\). L'A. appelle spéciale une telle matrice si chacun des \(m_{ij}\) est un polynome linéaire en les \(x_{\xi j}\) et il l'appelle formelle si tout \(m_{ij}\) est un polynome linéaire en les \(x_{ij}\). L'A., nomme spécialisation des \(x_{\xi \eta}\) dans F tout homomorphisme \(\Phi\) : F[x\({}_{\xi \eta}]\to F\), constant sur F. L'emploi des matrices linéaires intervient dans les problèmes de classification de prolongements algébriques en caractéristique positive aussi bien que dans les problèmes d'analyse des circuits. Dans les deux cas il s'agit de caractériser celles de ces matrices qui sont singulières pour toute spécialisation des indéterminées dans F. Si F est un corps infini, on a une caractérisation banale du fait que de telles matrices sont singulières. Mais cette caractérisation triviale n'est plus valable pour les corps finis. L'A. a établi, pour la vaste classe des matrices spéciales, des conditions non triviales pour caractériser celles de ces matrices qui dégénèrent pour toute spécialisation des indéterminées. A cet effet, il indique un algorithme qui permet d'établir si une matrice formelle possède une spécialisation régulière. Tout l'exposé est solidement fondé.