logo IMB
Retour

Séminaire de Géométrie

Discrépance de Mather vue comme dimension de plongement dans l'espace des arcs.

Ana J. REGUERA

( U. Valladolid )

Salle 2

le 10 février 2017 à 10:45

L'espace des arcs XX_\infty d'une variété algébrique singulière XX définie sur un corps parfait kk possède des propriétés de finitude quand on le localise en ses points stables. Ceci permet d'associer des invariants à XX à partir de son espace d'arcs. Dans cet exposé, je montrerai quelques propriétés générales des points stables, et justifierai l'intérêt de calculer la dimension du complété OX,PE^\widehat{{\cal O}_{X_\infty, P_E}} de l'anneau local de XX_\infty en un point stable PEP_E défini par une valuation divisorielle νE\nu_E de XX. Je présenterai également notre dernier résultat, en collaboration avec H. Mourtada : en supposant car k=0\text{car } k =0, on a embdim OX,PE^ = k^E+1, \text{embdim} \ \widehat{{\cal O}_{X_\infty, P_E}} \ = \ \widehat{k}_E +1, k^E\widehat{k}_E est la discrépance de Mather par rapport à νE\nu_E. En l'exprimant en termes de cylindres, un point stable est précisément le point générique d'un cylindre irréductible dans XX_\infty. Notre résultat avec H. Mourtada affirme que la dimension de plongement de OX,PE^\widehat{{\cal O}_{X_\infty, P_E}} est égale à la codimension du cylindre NEN_E correspondant au point stable PEP_E. Mais en général, on a seulement dim OX,PE^ < embdim OX,PE^. \dim \ \widehat{{\cal O}_{X_\infty, P_E}} \ < \ \text{embdim} \ \widehat{{\cal O}_{X_\infty, P_E}}.