logo IMB
Retour

Séminaire de Géométrie

Diviseurs linéairement libres et propriété de comparaison logarithmique.

Michel Granger

( Angers )

Salle 2

le 06 avril 2007 à 10:30

Soit un diviseur réduit dans Cn\mathbb{C}^n. On considère suivant K. Saito le complexe Ω(logD)\Omega ^{\bullet}(log D)Â des formes différentielles logarithmiques à pôles le long de DD. Le problème de la comparaison logarithmique consiste à caractériser les diviseurs pour lesquels l'inclusion de Ω(logD)\Omega ^{\bullet}(log D) dans les formes méromorphes est un quasi-isomorphisme. J'évoquerai d'abord un travail en commun avec Mathias Schulze (U. d'Oklahoma) où nous montrons que toute surface de C3\mathbb{C}^3 ayant la propriété de comparaison logarithmique est "fortement Euler-homogène". Dans le cas des diviseurs dits linéairement libres, le O\mathcal{O}--module Der(log(D)Der(-log (D) de champs de vecteur tangents à DD, est libre de rang nn engendré par une C\mathbb{C}-algèbre de Lie Der(log(D)0gl(Cn)Der(-log (D)_0\subset \mathfrak{gl}(\mathbb{C}^n). Nous montrons, avec D. Mond que la propriété de comparaison équivaut à l'égalité entre la cohomologie de l'algèbre de Lie Der(log(D)0Der(-log (D)_0 et la cohomologie complexe du Groupe associé GG. Cette propriété est satisfaite entre autres lorsque le groupe linéaire est réductif ce qui englobe une large classe d'exemples issus de représentations de carquois.