Spencer cohomology
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.
The -Poincaré lemma [a6] shows that the cohomology of the complex does not depend on
when
is large enough. The stable cohomology
is called the Spencer cohomology of the differential operator
.
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.
References
[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. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Spencer_cohomology&oldid=13424