Asúmase que "X" es una variedad de Kähler, por lo que hay una descomposición en su cohomología con coeficientes complejos: