En mathématiques, un complexe différentiel est un groupe abélien (voire un module), ou plus généralement un objet d'une catégorie abélienne, muni d'un endomorphisme de carré nul (appelé différentielle ou bord), c'est-à-dire dont l' est contenue dans le noyau. Cette condition permet de définir son homologie, qui constitue un invariant essentiel en topologie algébrique. Un complexe différentiel peut être gradué pour constituer un complexe de chaines ou de cochaines). Il peut aussi être muni d'une multiplication ou d'une action extérieure compatible pour obtenir une structure d'anneau, algèbre ou module différentiels. Soit d une différentielle sur E, c'est-à-dire un endomorphisme de E tel que d = 0. Un élément du noyau de d est appelé un cycle. Un élément de son image est appelé un bord. L'homologie du complexe différentiel (E, d) est le quotient du noyau de d par son image : Le complexe est dit acyclique si son homologie est nulle, c'est-à-dire si le noyau de d est égal à son image. Un morphisme de complexes différentiels est une application linéaire qui commute avec la différentielle : Deux tels morphismes et sont dits homotopes s'il existe une application linéaire appelé homotopie telle que . Tout bord est un cycle. Un morphisme de complexes différentiels induit une application linéaire entre les homologies. Deux morphismes homotopes induisent la même application en homologie. Étant donné une suite exacte courte de complexes différentiels : il existe une application linéaire appelé connectant entre l'homologie de C et celle de A, qui permet de définir un triangle exact. Un complexe de chaines se présente comme une suite d'espaces indexée par l'ensemble des entiers relatifs et munie d'applications linéaires de chaque espace vers le précédent, de façon que les compositions de deux applications successives soient nulles : ∂i∂i+1 = 0. Un complexe de cochaines se note souvent avec une indexation en exposant : Dans les deux cas, la somme directe des espaces forme alors un complexe différentiel gradué, souvent notée avec une étoile en indice ou en exposant.