Completions, valuations and ultrapowers of Noetherian domains (Q1772255)

Soient \({\mathcal U}\) un ultrafiltre sur un ensemble \(I\) d'indices, \(R\) un anneau localement noethérien, \(M\) un idéal maximal de \(R\). Les AA. étudient avec soin le quotient \(R(x)\) de l'ultraproduit de \(R\) par rapport à \({\mathcal U}\) par l'intersection des puissances des ultraproduits de \(M\); ils en déduisent des relations entre cet anneau supposé quasi-local et le complété de \(R\), en particulier dans le cas où \(R\) est de dimension \(d\) et \({\mathcal U}\) dénombrablement incomplet. Mais la partie importante du travail porte sur des filtrations; si \(S\) est un semi-groupe totalement ordonné dont l'identité est élément minimal, une filtration de \(R\) est une application de \(R\) dans \(S\cup\{\infty\}\) vérifiant les propriétés classiques; le cas d'une filtration forte est longuement examiné, ainsi que les filtrations liées à une valuation. Cet article très complet et rigoureux mérite une grande attention.