

Effective bounds for polynomial systems defined over the rationals - lecture 2
De Teresa Krick


Effective bounds for polynomial systems defined over the rationals - lecture 1
De Teresa Krick
Apparaît dans la collection : Bourbaki - Mars 2017
A un D-module M (de façon grossière, un système d'EDP linéaires à coefficients holomorphes) sur une variété complexe X, on associe son faisceau de solutions holomorphes, Sol(M). Si M est holonome (il contient "beaucoup" d'équations), alors Sol(M) a des propriétés de finitude. Si de plus M est à singularités régulières, alors on sait depuis les années 80 que Sol(M) détermine M. Des travaux récents de D'Agnolo, Kashiwara, Mochizuki, Schapira permettent de traiter le cas holonome général.
[D'après D'Agnolo, Kashiwara, Mochizuki, Schapira]
Séminaire Bourbaki, 69ème année (2016-2017), n°1128, mars 2017 PDF