Polynôme de Bernstein-Sato

En mathématiques, le polynôme de Bernstein-Sato est une construction mathématique qui facilite l'étude de certaines intégrales ou opérateurs différentiels. Il tient son nom des mathématiciens Joseph Bernstein et Mikio Satō, qui l'ont découvert en 1971 et 1972. Ce polynôme joue un rôle important dans l'étude des équations aux dérivées partielles et est intimement lié à la construction des D-modules. Enfin, il permet de démontrer la régularité de certaines constructions de physique quantique des champs. L'introduction des polynômes de Bernstein-Sato était initialement motivée par un problème posé par Israel Gelfand au congrès international des mathématiciens de 1954, à Amsterdam : si est une fonction analytique réelle, alors on peut construire pour tout complexe l'objet . En tant que fonction, est continue selon et analytique en , là où est de partie réelle positive. Gelfand demande alors : peut-on prolonger analytiquement à tout le plan complexe ? C'est pour répondre à cette question que Sato a introduit le polynôme , dont Bernstein a montré l'existence en général. La construction a depuis été étendue à des variétés algébriques générales et plusieurs algorithmes sont connus pour déterminer les polynômes de Bernstein-Sato dans des cas d'intérêt. On se place dans l'algèbre de Weyl , la sous-algèbre de engendrée par , où est la dérivation par rapport à . On utilise la notation multi-indicielle et . Alors la famille est une base de . On définit alors la fibration de Bernstein par : L'anneau gradué associé est commutatif, et isomorphe à un anneau de polynômes sur donc noethérien. Soit une indéterminée formelle, et un polynôme non nul. Alors il existe un polynôme non nul et un élément tels que l'égalité suivante est vérifiée : . L'ensemble des qui satisfont cette égalité forme un idéal de ; cet idéal est principal et possède un générateur , qui est appelé polynôme de Bernstein-Sato du polynôme . Considérons le polynôme (qui correspond au calcul du carré de la norme euclidienne). On a de sorte que le polynôme de Bernstein-Sato de est .