Artikel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
Differential Equations, Spencer Cohomology, and Computing Resolutions
-
Veröffentlicht/Copyright:
25. Februar 2010
Abstract
We propose a new point of view of the Spencer cohomology appearing in the formal theory of differential equations based on a dual approach via comodules. It allows us to relate the Spencer cohomology with standard constructions in homological algebra and, in particular, to express it as a Cotor. We discuss concrete methods for its construction based on homological perturbation theory.
Key words and phrases:: Partial differential equations; Spencer cohomology; formal theory; homological resolutions; comodules; cobar construction; symbolic computation
Received: 2002-08-07
Published Online: 2010-02-25
Published in Print: 2002-December
© Heldermann Verlag
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Artikel in diesem Heft
- A Duality on Simplicial Complexes
- Chain Theories and Simplicial Abelian Group Spectra
- Crossed Complexes, and Free Crossed Resolutions for Amalgamated Sums and HNN-Extensions of Groups
- Boolean Galois Theories
- Stem Extensions and Stem Covers of Leibniz Algebras
- Central Series for Groups with Action and Leibniz Algebras
- Roots of Unity as A Lie Algebra
- On the Equivalence of Quillen's and Swan's K-Theories
- A Magnus–Witt Type Isomorphism for Non-Free Groups
- The Whitehead Categorical Group of Derivations
- Differential Equations, Spencer Cohomology, and Computing Resolutions
- On Construction of Signature of Quadratic Forms on Infinite-Dimensional Abstract Spaces
- A Property of the Degree Filtration of Polynomial Functors
- Free Quillen Factorization Systems
Schlagwörter für diesen Artikel
Partial differential equations;
Spencer cohomology;
formal theory;
homological resolutions;
comodules;
cobar construction;
symbolic computation
Artikel in diesem Heft
- A Duality on Simplicial Complexes
- Chain Theories and Simplicial Abelian Group Spectra
- Crossed Complexes, and Free Crossed Resolutions for Amalgamated Sums and HNN-Extensions of Groups
- Boolean Galois Theories
- Stem Extensions and Stem Covers of Leibniz Algebras
- Central Series for Groups with Action and Leibniz Algebras
- Roots of Unity as A Lie Algebra
- On the Equivalence of Quillen's and Swan's K-Theories
- A Magnus–Witt Type Isomorphism for Non-Free Groups
- The Whitehead Categorical Group of Derivations
- Differential Equations, Spencer Cohomology, and Computing Resolutions
- On Construction of Signature of Quadratic Forms on Infinite-Dimensional Abstract Spaces
- A Property of the Degree Filtration of Polynomial Functors
- Free Quillen Factorization Systems
