Barakat, Mohamed (RWTH-Aachen, Germany), Robertz, Daniel (RWTH-Aachen, Germany)

Computing Invariants of Multidimensional Linear Systems on an Abstract Homological Level

Scheduled for presentation during the Mini-Symposium "Symbolic Methods in Multidimensional Systems Theory" (MoP13), Monday, July 24, 2006, 15:45−16:10, Room 101

17th International Symposium on Mathematical Theory of Networks and Systems, July 24-28, 2006, Kyoto, Japan

This information is tentative and subject to change. Compiled on April 19, 2024

Abstract

Methods from homological algebra [Rotman 79] play a more and more important role in the study of multidimensional linear systems [Quadrat 99], [Pommaret 01], [Chyzak et al. 05]. The use of modules allows an algebraic treatment of linear systems which is independent of their presentations by systems of equations. The type of linear system (ordinary/partial differential equations, time-delay systems, discrete systems...) is encoded in the (non-commutative) ring of (differential, shift, ...) operators over which the modules are defined. In this framework, homological algebra gives very general information about the structural properties of linear systems.

Homological algebra is a natural extension of the theory of modules over rings. The category of modules and their homomorphisms is replaced by the category of chain complexes and their chain maps. A module is represented by any of its resolutions. The module is then recovered as the only non-trivial homology of the resolution. The notions of derived functors and their homologies, connecting homomorphism and the resulting long exact homology sequences play a central role in homological algebra.

The MAPLE-package homalg [BarRob 06, BarRob] provides a way to deal with these powerful notions. The package is abstract in the sense that it is independent of any specific ring arithmetic. If one specifies a ring in which one can solve the ideal membership problem and compute syzygies, the above homological algebra constructions over that ring become accessible using homalg.

In this paper we introduce the package homalg and present several applications of homalg to the study of multidimensional linear systems using available MAPLE-packages which provide the ring arithmetics, e.g. OreModules [Chyzak et al.] and Janet [Blinkov et al. 03], [PleRob 05].