On Spencer’s cohomology theory for linear partial differential operators
HTML articles powered by AMS MathViewer
- by Joseph Johnson PDF
- Trans. Amer. Math. Soc. 154 (1971), 137-149 Request permission
Abstract:
Let D be a linear partial differential operator between vector bundles on a differentiable manifold X of dimension n. Let $\mathcal {D}$ be the sheaf of germs of differentiable functions on X. For every $h \in Z$ a spectral sequence ${(^h}{E^{pq}})$ is associated to D. When D satisfies appropriate regularity conditions these spectral sequences degenerate for all sufficiently large h and $^hE_2^{p0}$ is the pth Spencer cohomology for D. One can compute $^hE_2^{pq}$ as the cohomology at ${\Lambda ^p}{T^\ast }{ \otimes _\mathcal {O}}{R_{h - p,q}}$ of a complex \[ 0 \to {R_{hq}} \to {\Lambda ^1}{T^\ast }{ \otimes _\mathcal {O}}{R_{h - 1,q}} \to \cdots \to {\Lambda ^n}{T^\ast }{ \otimes _\mathcal {O}}{R_{h - n,q}} \to 0.\] When q = 0 this complex coincides with the usual (first) Spencer complex for D. These results give a generalization of Spencer’s theory. The principal importance of this generalization is that it greatly clarifies the role played by homological algebra in the theory of overdetermined systems of linear partial differential equations.References
- Joseph Johnson, Some homological properties of Spencer’s cohomology theory, J. Differential Geometry 5 (1971), 341–351. MR 331446
- D. C. Spencer, Overdetermined systems of linear partial differential equations, Bull. Amer. Math. Soc. 75 (1969), 179–239. MR 242200, DOI 10.1090/S0002-9904-1969-12129-4
- Roger Godement, Topologie algébrique et théorie des faisceaux, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1252, Hermann, Paris, 1958 (French). Publ. Math. Univ. Strasbourg. No. 13. MR 0102797
- F. Hirzebruch, Neue topologische Methoden in der algebraischen Geometrie, Ergebnisse der Mathematik und ihrer Grenzgebiete, (N.F.), Heft 9, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1962 (German). Zweite ergänzte Auflage. MR 0137706
- Alexander Grothendieck, Sur quelques points d’algèbre homologique, Tohoku Math. J. (2) 9 (1957), 119–221 (French). MR 102537, DOI 10.2748/tmj/1178244839 Bernard Malgrange, Cohomologie de Spencer (d’après Quillen), Publications du séminaire mathématique, d’Orsay, 1966.
- Alexander Grothendieck, Technique de descente et théorèmes d’existence en géométrie algébrique. VI. Les schémas de Picard: propriétés générales, Séminaire Bourbaki, Vol. 7, Soc. Math. France, Paris, 1995, pp. Exp. No. 236, 221–243 (French). MR 1611207
- David Mumford, Lectures on curves on an algebraic surface, Annals of Mathematics Studies, No. 59, Princeton University Press, Princeton, N.J., 1966. With a section by G. M. Bergman. MR 0209285
Additional Information
- © Copyright 1971 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 154 (1971), 137-149
- MSC: Primary 57.50
- DOI: https://doi.org/10.1090/S0002-9947-1971-0283826-3
- MathSciNet review: 0283826