Namespaces
Variants
Actions

Spencer cohomology

From Encyclopedia of Mathematics
Jump to: navigation, search

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 $\alpha : E ( \alpha ) \rightarrow M$ and $\beta : E ( \beta ) \rightarrow M$ be smooth vector bundles (cf. also Vector bundle) and let $D : \Gamma ( \alpha ) \rightarrow \Gamma ( \beta )$ be a linear differential operator acting from the module $\Gamma ( \alpha )$ of smooth sections of $\alpha$ to the module $\Gamma ( \beta )$. Denote by ${\frak G} _ { D }$ the sheaf of solutions of $D a = 0$. To find the cohomology of $M$ with coefficients in ${\frak G} _ { D }$ 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 $\alpha = \alpha _ { 0 }$, $\alpha _ { 1 } = \beta$, $D = D _ { 0 }$. 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 $D$ a canonical construction ([a5], [a6], [a1]) of a complex, called the second (or sophisticated) Spencer complex. In this complex,

the vector bundles $C _ { k }$ have the form $C _ { k } = \Lambda ^ { k } T ^ { * } M \otimes R _ { m } / \delta ( \Lambda ^ { k - 1 } T ^ { * } M \otimes g _ { m + 1 } )$, where $R _ { m } \subset J ^ { m } ( \alpha )$ are prolongations of the differential equation corresponding to $D$ (cf. also Prolongation of solutions of differential equations) and $g _ { m }$ are the symbols of these prolongations (cf. also Symbol of an operator). The differential operators $D _ { k }$ are first-order partial differential operators whose symbols are induced by the exterior multiplication.

The $\delta$-Poincaré lemma [a6] shows that the cohomology of the complex does not depend on $m$ when $m$ is large enough. The stable cohomology $H _ { S } ^ { * } ( D )$ is called the Spencer cohomology of the differential operator $D$.

In general, the second Spencer complex does not produce a resolvent of ${\frak G} _ { D }$; however, it does in certain special cases, e.g. when $D$ is analytical operator [a6].

Almost-all cohomologies encountered in applications are of Spencer type. For example, de Rham cohomology corresponds to the differential $D = d : C ^ { \infty } ( M ) \rightarrow \Omega ^ { 1 } ( M )$, and the Dolbeault cohomology corresponds to the Cauchy–Riemann $\overline { \partial }$-operator $\overline { \partial } : \Omega ^ { p , 0 } ( M ) \rightarrow \Omega ^ { p , 1 } ( M )$. If $D$ is a determined operator such that not all covectors are characteristic, then $H _ { S } ^ { 0 } ( D ) =\operatorname{ ker} D$, $H _ { S } ^ { 1 } ( D ) = \text { coker } D$ and $H _ { S } ^ { i } ( D ) = 0$ for $i \geq 2$. In general, $H _ { S } ^ { 0 } ( D ) =\operatorname{ ker} D$ for each formally integrable operators $D$.

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 $D$ is an elliptic partial differential operator (cf. Elliptic partial differential equation) and $M$ is a compact manifold, then $\operatorname { dim} H _ { S } ^ { i } ( D ) < \infty$ and the Euler characteristic $\chi ( D ) = \sum ( - 1 ) ^ { i } \operatorname { dim } H _ { S } ^ { i } ( D )$ of the Spencer complex is called the index of $D$ (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 $D$ satisfies certain extra conditions.

Thus, if the base manifold $M$ is the total space of a smooth bundle $\pi : M \rightarrow B$ over a simply-connected manifold $B$ and if the fibres of $\pi$ are not characteristic for $D$, then there exists a spectral sequence $( E _ { r } ^ { p q } , d _ { r } ^ { p q } )$ converging to the Spencer cohomology $H _ { S } ^ { * } ( D )$; its second term is $E _ { 2 } ^ { p q } = H ^ { p } ( B ) \otimes H _ { S } ^ { q } ( D _ { \pi } )$, where $D _ { \pi }$ is the fibrewise differential operator corresponding to $D$ [a4].

If $M = G / G_0$ is a homogeneous manifold and the structure group $G$ is a compact connected Lie group of symmetries of $D$, then [a4] the Spencer cohomology $H _ { S } ^ { * } ( D )$ coincides with the cohomology of the $G$-invariant Spencer complex if the non-trivial characters of $( G , G _ { 0 } )$ 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
How to Cite This Entry:
Spencer cohomology. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Spencer_cohomology&oldid=50655
This article was adapted from an original article by Valentin Lychagin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article