Spencer cohomologies and symmetry groups
type: Item
instance of: scholarly article
title: Spencer cohomologies and symmetry groups
zbMATH Open document ID: 0852.58075
DOI: 10.1007/BF00996114
published in: Acta Applicandae Mathematicae
publication date: 1996-12-09T00:00:00Z
review text: Let \(\alpha : E (\alpha) \to M\) be a linear bundle, let a subbundle \(r\) in its \(k \)th order jet prolongation \(\alpha^k\) represent a formally integrable system of differential equations on the sections of \(\alpha\). Consider the Spencer complex \(0 \to {\mathcal R}^{(l)} \to {\mathcal R}^{ (l - 1)} \otimes \Lambda^1 (M) \to \cdots\) and the corresponding stable Spencer homology \({\mathcal H}^i (r)\). In the situation when the manifold \(M\) is fibred over another manifold \(B\) and the projection \(\kappa : M \to B\) is ``noncharacteristic'', the authors introduce a filtration in the Spencer complex such that its associated spectral sequence converges to Spencer cohomology of \(r\) and the term \(E^{pq}_2\) is isomorphic to the de Rham cohomology of the manifold \(B\) with coefficients in what is called a ``fiberwise Spencer cohomology'' and is denoted by \({\mathcal H}^\bullet_\kappa (r)\). This construction naturally generalizes the Leray-Serre spectral sequence and reduces to it when the system \(r\) is determined by the de Rham operator \(d : C^\infty M \to \Lambda^1 M\). Next, the authors consider a compact Lie group \(G\) and its representation by automorphisms of the bundle \(\alpha\) leaving the system \(r\) invariant. Another representation arises in the second (sophisticated) Spencer complex \(0 \to C^0 \to C^1 \to \cdots\) (the stable one). Its isotype decomposition is compatible with the differential, giving rise to a decomposition of Spencer cohomology groups \({\mathcal H}^q (R) = \oplus_{\mu \in Ch (G)} {\mathcal H}^q_\mu (R)\), \(Ch (G)\) being the character group. It turns out (theorem of coincidence) that in the majority of cases \({\mathcal H}^q_\mu (R) = 0\) for all nontrivial characters \(\mu\) so that \({\mathcal H}^q (R)\) coincides with the ``invariant'' Spencer cohomology \({\mathcal H}^q_e (R)\) \((e\) denoting the trivial character) [cf. the authors, Russ. Acad. Sci., Dokl., Math. 47, No. 1, 122-125 (1993); translation from Dokl. …
reviewed by: Michal Marvan
Mathematics Subject Classification ID: 58J10
Mathematics Subject Classification ID: 58J72
Mathematics Subject Classification ID: 58H10
Mathematics Subject Classification ID: 35Q53
Mathematics Subject Classification ID: 55N25
zbMATH DE Number: 824530
zbMATH Keywords: spectral sequences
zbMATH Keywords: symmetry
zbMATH Keywords: Spencer cohomology
author: Valentin Lychagin
author: Lev V. Zilbergleit
MaRDI profile type: Publication
cites work: Overdetermined systems of linear partial differential equations
cites work: Formal theory of linear overdetermined systems of partial differential equations
cites work: On E. Cartan's Prolongation Theorem of Exterior Differential Systems
cites work: Existence theorems for analytic linear partial differential equations
cites work: Some Algebraic Results Concerning the Characteristics of Overdetermined Partial Differential Equations
cites work: Q3218849
cites work: Q3903156
Recommended article: Spencer cohomologies and symmetries
Recommended article: Q4352767
Recommended article: Symmetric cohomology of groups
Recommended article: Symmetric cohomology of groups and Poincaré duality
Recommended article: Cohomology of Spaltenstein varieties
Recommended article: Symmetry groups and non-abelian cohomology
Recommended article: Symmetric homologies and cohomologies
Recommended article: Symmetric invariants and cohomology of groups
Recommended article: Cohomology of unitary and symplectic groups
Recommended article: Generalized Spencer cohomology groups and quasi-regular bases
description: scientific article; zbMATH DE number 824530