Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The kernels of powers of linear operator via Weyr characteristic

Jie Jian, Jun Liao, Heguo Liu

Abstract

The adjoint of a matrix in the Lie algebra associated with a matrix algebra is a fundamental operator, which can be generalized to a more general operator $\varphi_{AB}: X\rightarrow AX-XB$ by two matrices $A$ and $B$. The kernel of the operator is very well-known and it can be found in Gantmacher's book. The formulas for the dimensions of the kernels of arbitrary powers of the operator $\varphi_{AB}$ were given in terms of the Segre characteristics of these two matrices by the second and third authors in this paper and their collaborators. This paper provides an alternative approach to this problem via the Weyr characteristic in a more essential method. We obtain formulas for the dimensions of the kernels of arbitrary powers of the operator in terms of the Weyr characteristics. Furthermore, the basis for kernel of each power of the operator is described explicitly. As a consequence, for arbitrary square matrices $A$ and $B$ over an algebraically closed field, the dimension of the kernel of each power of the operator $\varphi_{A-λI,B}$ for eigenvalues $λ$ of $\varphi_{AB}$ can be viewed as a similarity invariant of the operator $\varphi_{AB}$, so we characterise the operator within similarity, which should be of interest to a number of people (including physicists).

The kernels of powers of linear operator via Weyr characteristic

Abstract

The adjoint of a matrix in the Lie algebra associated with a matrix algebra is a fundamental operator, which can be generalized to a more general operator by two matrices and . The kernel of the operator is very well-known and it can be found in Gantmacher's book. The formulas for the dimensions of the kernels of arbitrary powers of the operator were given in terms of the Segre characteristics of these two matrices by the second and third authors in this paper and their collaborators. This paper provides an alternative approach to this problem via the Weyr characteristic in a more essential method. We obtain formulas for the dimensions of the kernels of arbitrary powers of the operator in terms of the Weyr characteristics. Furthermore, the basis for kernel of each power of the operator is described explicitly. As a consequence, for arbitrary square matrices and over an algebraically closed field, the dimension of the kernel of each power of the operator for eigenvalues of can be viewed as a similarity invariant of the operator , so we characterise the operator within similarity, which should be of interest to a number of people (including physicists).
Paper Structure (3 sections, 9 theorems, 59 equations)

This paper contains 3 sections, 9 theorems, 59 equations.

Table of Contents

  1. Introduction
  2. Preliminaries
  3. Proof of Theorem \ref{['main']}

Key Result

Theorem 1.1

Suppose that $A\in M_{m\times m}(\mathbb{C})$, $B\in M_{n\times n}(\mathbb{C})$. Let $\varphi_{AB}$ be the operator of $M_{m\times n}(\mathbb{C})$ defined by Assume that $\alpha_{i}=(\alpha_{i1},\alpha_{i2},\dots ,\alpha_{ip_i})=\omega(A,\lambda_{i})$ is the Weyr characteristic of $A$ associated with eigenvalue $\lambda_{i}$, for $i=1,2,\dots, a$, and $\beta_{j}=(\beta_{j1},\beta_{j2},\dots ,\bet

Theorems & Definitions (16)

  • Theorem 1.1
  • Example 1.2
  • Lemma 2.1: LLWX
  • Lemma 2.2: LLWX
  • Lemma 2.3
  • proof
  • Corollary 2.4
  • proof
  • Lemma 2.5: LLWX
  • Lemma 2.6
  • ...and 6 more