Extension of matrix pencil reduction to abelian categories

DOI10.1142/S0219498818500627zbMATH Open1392.15023arXiv1604.00272OpenAlexW3105430143MaRDI QIDQ4638596FDOQ4638596

Olivier Verdier

Publication date: 27 April 2018

Published in: Journal of Algebra and its Applications (Search for Journal in Brave)

Abstract: Matrix pencils, or pairs of matrices, are used in a variety of applications. By the Kronecker decomposition Theorem, they admit a normal form. This normal form consists of four parts, one part based on the Jordan canonical form, one part made of nilpotent matrices, and two other dual parts, which we call the observation and control part. The goal of this paper is to show that large portions of that decomposition are still valid for pairs of morphisms of modules or abelian groups, and more generally in any abelian category. % This gives a new perspective even in the vector space case, as we have to use radically new proof techniques to work on abelian categories. In the vector space case, we recover the full Kronecker decomposition theorem. The main technique is that of reduction, which extends readily to the abelian category case. Reductions naturally arise in two flavours, which are dual to each other. There are a number of properties of those reductions which extend remarkably from the vector space case to abelian categories. First, both types of reduction commute. Second, at each step of the reduction, one can compute three sequences of invariant spaces (objects in the category), which generalize the Kronecker decomposition into nilpotent, observation and control blocks. These sequences indicate whether the system is reduced in one direction or the other. In the category of modules, there is also a relation between these sequences and the resolvent set of the pair of morphisms, which generalizes the regular pencil theorem. We also indicate how this allows to define invariant subspaces in the vector space case, and study the notion of strangeness as an example.

Full work available at URL: https://arxiv.org/abs/1604.00272

Recommendations

• Some geometric considerations about the Kronecker normal form
• Decomposability and Quotient Subspaces for the Pencil $sL - M$
• scientific article; zbMATH DE number 3900046
• Computing stable eigendecompositions of matrix pencils
• Regularizing decompositions for matrix pencils and a topological classification of pairs of linear mappings

zbMATH Keywords

matrix pencilreductionstrangenessKronecker decomposition

Mathematics Subject Classification ID

Canonical forms, reductions, classification (15A21) Vector spaces, linear dependence, rank, lineability (15A03) Matrix pencils (15A22)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The computation of Kronecker's canonical form of a singular pencil
• Title not available (Why is that?)
• Canonical forms for linear differential-algebraic equations with variable coefficients
• Representation theory for Banach algebras, Abelian groups, and semigroups in the spectral analysis of linear operators
• Spectral analysis of linear relations and degenerate operator semigroups
• A geometric treatment of implicit differential-algebraic equations
• Title not available (Why is that?)
• The eigenvalue problem \(\lambda Tx+Sx\)
• Title not available (Why is that?)
• Differential Elimination–Completion Algorithms for DAE and PDAE
• Title not available (Why is that?)

This page was built for publication: Extension of matrix pencil reduction to abelian categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4638596)