Flat polynomial endomorphisms (Q1174737)

Dans la mouvance de la conjecture jacobienne l'A. étudie des caractérisations pratiques des endomorphismes polynomiaux plats. Ce texte est très riche et je n'en décrirai que quelqes aspects. Soit \(A\) un anneau commutatif, unitaire et \(e:A[{\mathbf S}]:=A[S_ 1,\ldots,S_ n]\to A[{\mathbf X}]:=A[X_ 1,\ldots,X_ n]\) un endomorphisme de \(A\)-algèbres, défini par \(e(S_ i)=P_ i\in A[{\mathbf X}]\) \((i=1,\ldots,n)\). L'A. montre (y compris lorsque \(A\) n'est pas noethérien) que si \(e\) est plat alors la dimension projective de \(A[{\mathbf X}]\), en tant que \(A[{\mathbf S}]\)-module via l'action par \(e\), est \(\leq 1\). Avec les notations précédentes, si \(n=1\), l'endomorphisme \(e\) est plat si et seulement si pour tout \(Q\in A[{\mathbf S}]\) le contenu de \(Q(P_ 1)\) est égal au contenu de \(Q\). Lorsque \(n>1\) cette dernière condition assure seulement que \(e\) est \(A\)-universellement injectif. Aussi l'A. montre que \(e\) est plat si et seulement si la suite \(P_ 1,\ldots,P_ n\) est universellement \(A\)-régulière (i.e. pour tout morphisme d'anneaux \(A\to A'\) et \(x_ 1,\ldots,x_ n\in A'\), la suite \(P_ 1\otimes 1-1\otimes x_ 1,\ldots,P_ n\otimes 1-1\otimes x_ n\) de \(A[{\mathbf X}]\otimes_ AA'\) est régulière). Pour \(n=2\), l'A. obtient en outre des caractérisations de la platitude de \(e\) en termes de divisibilité. Par exemple, supposons \(P_ 1\), \(P_ 2\) de contenus \(A\) et degrés \(p_ 1,p_ 2>0\) respectivement, alors \(e\) est plat si et seulement si pour tout \(U_ 1,U_ 2\in A[S_ 1,S_ 2][X_ 1,X_ 2]\) de degrés \(\leq p_ 2\) et \(\leq p_ 1\) respectivement le contenu dans \(A[S_ 1,S_ 2]\) de \(U_ 1(P_ 1-S_ 1)+U_ 2(P_ 2-S_ 2)\) est égal à l'idéal engendré par les contenus de \(U_ 1\) et \(U_ 2\). Supposons maintenant que \(A\) est un corps. Si \(P_ 1,\ldots,P_ n\) sont homogènes et \(e\) est plat alors \(e\) est libre. Si \(A\) est algébriquement clos, le morphisme \(e\) est fini si et seulement si pour tout \(x_ 1,\ldots,x_ n\in A\) la dimension sur \(A\) de l'anneau \(A[{\mathbf X}]/(P_ 1-x_ 1,\ldots,P_ n-x_ n)\) est égale à celle de \(A({\mathbf S})[{\mathbf X}]/(P_ 1-S_ 1,\ldots,P_ n-S_ n)\) sur \(A({\mathbf S})\). -- Les démonstrations de ces résultats (et des autres) font appel à un large éventail de méthodes d'algèbre (commutative) où se distingue en particulier les notions de contenu et module à contenu (de Ohm et Rush).