Décomposition de Hodge basique pour un feuilletage riemannien
Soit un feuilletage de codimension sur une variété compacte . On montre que le complexe des formes basiques admet une décomposition de Hodge. Il en résulte que la cohomologie basique de est de dimension finie et vérifie la dualité de Poincaré si et seulemnt si .