Nombres de Betti d'une hypersurface réelle provenant d'un patchwork

L'inégalité de Smith-Thom borne la somme des nombres de Betti de la partie réelle d'une variété algébrique réelle par la somme des nombres de Betti de sa partie complexe.
Dans cet exposé, j'expliquerai une preuve d'une conjecture d'Itenberg qui raffine cette borne pour une classe particulière d'hypersurfaces réelles projectives en termes de ses nombres de Hodge.

Les hypersurfaces qu'on considère proviennent de la construction du patchwork de Viro, qui est une méthode combinatoire puissante de construction d'hypersurfaces algébrique réelles.
Pour démontrer la conjecture d'Itenberg, nous développons un analogue réel de l'homologie tropicale et, à l'aide d'une suite spectrale, nous la comparons à l'homologie tropicale définie par Itenberg, Katzarkov, Mikhalkin et Zharkov. L'homologie tropicale redonne les nombres de Hodge d'une variété projective complexe, et sa version réelle détermine les nombres de Betti de sa partie réelle. Comprendre plus en détail la suite spectrale apparaissant dans la preuve est une des clefs pour contrôler la topologie de l'hypersurface réelle provenant d'un patchwork.

C'est un travail en commun avec Kristin Shaw.