Si vous me passez cet anglo-germanisme si inhabituel de la part d’un patriote comme moi, j’aimerais vous parler un petit peu du combinatorial nullstellensatz (CNst) d’Alon, déjà évoqué brièvement sur ce blog. Hendrik Lenstra et un de ses élèves ont trouvé une application de ce théorème en théorie de Galois : ils ont mis au point un nouveau cheminement vers le théorème de la base normale.

Ce qu’on appelle habituellement CNst est l’énoncé suivant :
Soit F un corps, et P\in F[X_1,\cdots,X_n] non-nul ; supposons que cX_1^{i_1}\cdots X_n^{i_n} soit un terme (non-nul) de degré maximal dans P. Soit S_1,\cdots,S_n des parties de F vérifiant \text{card } S_k>i_k pour tout k. Alors il existe (s_1,\cdots,s_n)\in\prod S_i tel que P(s_1,\cdots,s_n)\neq 0.

Pour mémoire, le Nullstellensatz historique de Hilbert est le suivant :
Soit F un corps algébriquement clos, et g_1,\cdots, g_m des éléments de F[X_1,\cdots,X_n]. Soit f\in F[X_1,\cdots,X_n] qui s’annule en tout n-uplet où tous les g_i s’annule. Alors il existe des polynômes h_1,\cdots,h_m et un entier k tel que f^k=\sum h_ig_i.

Une reformulation plaisante passe par la notion de variété définie par un idéal. Soit I\subset F[X_1,\cdots,X_n] un idéal ; notons
V(I)=\{ x=(x_1,\cdots,x_n)\in F^n\mid \forall f\in I,\quad f(x)=0\}.
Réciproquement, si S\subset F^n, notons Z(S)=\{f\in F[X_1,\cdots,X_n]\mid \forall x\in S,f(x)=0\}. C’est bien sûr un idéal. La grande question est alors : est-ce que par hasard Z(V(I))=I ? Et la réponse est non… la vérité, dit le Nullstellensatz est que Z(V(I))=\text{Rad }I.

Cependant, il est dur de voir le rapport entre le vrai Nst et le CNst ; on se demande bien pourquoi Alon a choisi ce nom. Surtout que dans les applications, très nombreuses, et essentiellement combinatoires, du théorème d’Alon, F est presque toujours un corps fini, et les S_i sont d’ailleurs généralement égales à F : la fonction polynomiale associée n’est pas entièrement nulle.

En fait le rapport apparaît lorsque l’on déduit le CNst du lemme suivant, cousin du théorème de Hilbert : avec les notations précédentes, si m=n et chaque g_i dépend de la seule variable x_i et est scindé, unitaire (on écrit alors g_i=\prod_{s\in S_i}(X_i-s), et alors le lieu des zéros communs des g_i est \prod S_i), alors Z(V(I))=I, et ce même si le corps n’est pas algébriquement clos. Plus précisément, il existe des polynômes h_i tels que f=\sum h_ig_i avec \text{deg }h_i\leq \text{deg }f-\text{deg }g_i. Cerise sur le gâteau : si les g_i sont tous dans un même sous-anneau, les h_i peuvent être pris dans ce sous-anneau.

La preuve de ce lemme et du CNst est facile et courte, cf l’article original de Noga Alon, qui multiplie les applications convaincantes.

Une application qui lui a échappé est le théorème de la base normale. Il dit que si k\subset L est une extension galoisienne de corps de groupe de Galois G=\{g_1,\cdots,g_n\}, il existe \alpha\in L tel que g_i(\alpha) forme une base du k-ev qu’est L.

Le lemme qui permet au CNst de faire sa besogne ici est le suivant : soit k un corps algébriquement clos et A une k-algèbre de dimension finie, de dimension n. Alors il existe une base b_1,\cdots,b_n de A et un polynôme f\in k[X_1,\cdots,X_n] de degré au plus 1 en chaque variable, tel que pour tout x_1,\cdots,x_n, on ait
\sum x_ib_i \in A^{\ast} \longleftrightarrow f(x_1,\cdots,x_n)\neq 0.

Un autre lemme important est le suivant : soit S_k l’ensemble des polynômes en n variables dont le combinatorial nullstellensatz assure qu’ils ne sont pas entièrement nuls sur k^n. Si le corps est infini, c’est k[X_1,\cdots,X_n]\setminus\{0\}. S’il est fini de cardinal q=p^m, ce sont les polynômes qui ont un terme T de plus haut degré tel que pour tout i, deg_{X_i} T\leq q-1. Soit \phi\in GL_n(k). Alors \phi (S_k)=S_k.

Une fois ces lemme démontrés, on n’a pas de difficulté à conclure.

Publicités