Example 2
Tag 0DT0, permanent. Cite it as [Bourbaki, Tag 0DT0].
Algebra, chapter X, § 2. Complexes de A-modules
Suppose that and , where the are polynomials in , such that the set of points of where all the vanish is an analytic subvariety of . One can show that the de Rham cohomology of over is isomorphic to the singular cohomology .
Let now be an -module and a -linear mapping from into such that
(one sometimes says that is a connection on the -module ).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.