On critical kernels

We propose a method for collapsing simplicial complexes. For that purpose, we introduce the notion of an essential face, and the one of a core of a cell. Then, we define the critical kernel of a complex. Our main result is that the critical kernel of a given complex X is a collapse of X. We extend this result by giving a necessary and sufficient condition which characterizes a certain class of subcomplexes of X which contain the critical kernel of X. In particular, any complex which belongs to this class is homotopy equivalent to X. To cite this article: G. Bertrand, C. R. Acad. Sci. Paris, Ser. I 345 (2007).

RésuméNous proposons une méthode pour rétracter homotopiquement des complexes simpliciaux. Pour cela nous introduisons la notion de face essentielle, et celle de noyau d'une cellule. Nous définissons alors le noyau critique d'un complexe. Notre principal résultat est que le noyau critique d'un complexe X est une rétraction homotopique de X. Nous généralisons ce résultat en donnant une condition nécessaire et suffisante qui caractérise une certaine classe de sous-complexes de X qui contiennent le noyau critique de X. En particulier, tout complexe qui appartient à cette classe est homotopiquement équivalent à X. Pour citer cet article : G. Bertrand, C. R. Acad. Sci. Paris, Ser. I 345 (2007).