Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



On Spencer's cohomology theory for linear partial differential operators

Author: Joseph Johnson
Journal: Trans. Amer. Math. Soc. 154 (1971), 137-149
MSC: Primary 57.50
MathSciNet review: 0283826
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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

$\displaystyle 0 \to {R_{hq}} \to {\Lambda ^1}{T^\ast}{ \otimes _\mathcal{O}}{R_... ... \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 [Enhancements On Off] (What's this?)

  • [1] Joseph Johnson, Some homological properties of Spencer's cohomology theory, J. Differential Geometry (to appear). MR 0331446 (48:9779)
  • [2] Donald C. Spencer, Overdetermined systems of linear partial differential equations, Bull. Amer. Math. Soc. 75 (1969), 179-239. MR 39 #3533. MR 0242200 (39:3533)
  • [3] Roger Godement, Topologie algébrique et théorie des faisceaux, Actualités Sci. Indust., no. 1252, Hermann, Paris, 1958. MR 21 #1583. MR 0102797 (21:1583)
  • [4] F. Hirzebruch, Neue topologische Methoden in der algebraischen Geometrie, Ergebnisse der Math. und Grenzgebiete, Heft 9, Springer-Verlag, Berlin, 1962; English transl., Die Grundlehren der math. Wissenschaften, Band 131, Springer-Verlag, New York, 1966. MR 25 #1155; MR 34 #2573. MR 0137706 (25:1155)
  • [5] Alexander Grothendieck, Sur quelques points d'algèbre homologique, Tôhoku Math. J. (2) 9 (1957), 119-221. MR 21 #1328. MR 0102537 (21:1328)
  • [6] Bernard Malgrange, Cohomologie de Spencer (d'après Quillen), Publications du séminaire mathématique, d'Orsay, 1966.
  • [7] Alexander Grothendieck, Techniques de construction et théorèmes d'existence en géométrie algébrique. IV: Les schémas de Hilbert, Séminaire Bourbaki 1960/61, Exposés 221, Secrétariat mathématique, Paris, 1961. MR 27 #1339. MR 1611207
  • [8] David Mumford, Lectures on curves on an algebraic surface, Ann. of Math. Studies, no. 59, Princeton Univ. Press, Princeton, N. J., 1966, Lecture no. 14. MR 35 #187. MR 0209285 (35:187)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 57.50

Retrieve articles in all journals with MSC: 57.50

Additional Information

Keywords: Linear partial differential operator, formally integrable operator, over-determined system of linear partial differential equations, Spencer cohomology
Article copyright: © Copyright 1971 American Mathematical Society

American Mathematical Society