Sobre la cohomología asociada a un operador lineal diferencial complejo

Asociada a un operador lineal diferencial de la forma

P(y) -= Y(ⁿ⁾ +a₁(z)y(ⁿ⁾ + ... +a_n(z)y

                                            (a_kϵ 0(Ω)),

donde 0(Ω) es el espacio de las funciones holomorfas definidas en el abierto  [Formula Matemática] existe siempre una sucesión exacta de haces Ω:

                   P

0 →kerP → 0 →  0 →  0

donde  0 es el haz de gérmenes holomorfos sobre Ω  y KerP es el haz de soluciones de P(y) = O. Esta dá lugar a la sucesión exacta de cohomologías de haces: [Formulas Matemáticas].