The de Rham cohomology and Dolbeault cohomology (cf. Duality in complex analysis) can be viewed as cohomologies with coefficients in the sheaf of locally constant, respectively harmonic, functions. Spencer cohomology is a generalization of these two cohomologies for the case of the solution sheaf of an arbitrary linear differential operator.
Namely, let and be smooth vector bundles (cf. also Vector bundle) and let be a linear differential operator acting from the module of smooth sections of to the module . Denote by the sheaf of solutions of . To find the cohomology of with coefficients in one needs a resolvent of the sheaf.
Spencer cohomology appears as a result of constructing a resolvent by a locally exact complex of differential operators
where , , . The condition that the complex be locally exact is too strong, and therefore D. Spencer proposed the weaker condition that the complex should be "formally exact" . In this setting, there exists for a formally integrable differential operator a canonical construction ([a5], [a6], [a1]) of a complex, called the second (or sophisticated) Spencer complex. In this complex,
the vector bundles have the form , where are prolongations of the differential equation corresponding to (cf. also Prolongation of solutions of differential equations) and are the symbols of these prolongations (cf. also Symbol of an operator). The differential operators are first-order partial differential operators whose symbols are induced by the exterior multiplication.
In general, the second Spencer complex does not produce a resolvent of ; however, it does in certain special cases, e.g. when is analytical operator [a6].
Almost-all cohomologies encountered in applications are of Spencer type. For example, de Rham cohomology corresponds to the differential , and the Dolbeault cohomology corresponds to the Cauchy–Riemann -operator . If is a determined operator such that not all covectors are characteristic, then , and for . In general, for each formally integrable operators .
In the case of Lie equations and corresponding geometrical structures (see [a2]), the first Spencer cohomology gives an estimate of the set of deformations of the structure.
If is an elliptic partial differential operator (cf. Elliptic partial differential equation) and is a compact manifold, then and the Euler characteristic of the Spencer complex is called the index of (cf. also Index formulas; Index theory). For elliptic Lie equations the index can be expressed in terms of characteristic classes corresponding to the geometrical structure ([a3]).
As is well-known, there are two main methods for calculating the de Rham cohomology: the Leray–Serre spectral sequence (cf. also Spectral sequence) and the theorem on coincidence of de Rham cohomology with invariant cohomology on homogeneous manifolds. These methods also apply to Spencer cohomology, provided the operator satisfies certain extra conditions.
Thus, if the base manifold is the total space of a smooth bundle over a simply-connected manifold and if the fibres of are not characteristic for , then there exists a spectral sequence converging to the Spencer cohomology ; its second term is , where is the fibrewise differential operator corresponding to [a4].
If is a homogeneous manifold and the structure group is a compact connected Lie group of symmetries of , then [a4] the Spencer cohomology coincides with the cohomology of the -invariant Spencer complex if the non-trivial characters of are non-characteristic.
|[a1]||H. Goldschmidt, "Existence theorems for analytic linear partial differential equations" Ann. Math. , 86 (1967) pp. 246–270|
|[a2]||A. Kumpera, D. Spencer, "Lie equations" Ann. Math. Studies , 73 (1972)|
|[a3]||V. Lychagin, V. Rubtsov, "Topological indices of Spencer complexes that are associated with geometric structures" Math. Notes , 45 (1989) pp. 305–312|
|[a4]||V. Lychagin, L. Zilbergleit, "Spencer cohomologies and symmetry groups" Acta Applic. Math. , 41 (1995) pp. 227–245|
|[a5]||D.G. Quillen, "Formal properties of overdetermined systems of linear partial differential equations" Thesis Harvard Univ. (1964)|
|[a6]||D. Spencer, "Overdetermined systems of linear partial differential operators" Bull. Amer. Math. Soc. , 75 (1969) pp. 179–239|
Spencer cohomology. Valentin Lychagin (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Spencer_cohomology&oldid=13424