Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy both conditions below:
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is diagonal and the matrix representing $A$ is irreducible tridiagonal.
We call such a pair a {\it Leonard pair} on $V$. Referring to the above Leonard pair, we investigate 24 bases for $V$ on which the action of $A$ and $A^*$ takes an attractive form. With respect to each of these bases, the matrices representing $A$ and $A^*$ are either diagonal, lower bidiagonal, upper bidiagonal, or tridiagonal.
In this paper, we introduce the concepts of compatibility and companion for Leonard pairs. These concepts are roughly described as follows. Let $\mathbb{F}$ denote a field, and let $V$ denote a vector space over $\mathbb{F}$ with finite positive dimension. A Leonard pair on $V$ is an ordered pair of diagonalizable $\mathbb{F}$-linear maps $A : V \to V$ and $A^* : V \to V$ that each act in an irreducible tridiagonal fashion on an eigenbasis for the other one. Leonard pairs $A,A^*$ and $B,B^*$ on $V$ are said to be compatible whenever $A^* = B^*$ and $[A,A^*] = [B,B^*]$, where $[r,s] = r s - s r…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. Let $x$, $c$, $x^*$, $c…
Fix an algebraically closed field $\mathbb{F}$ and an integer $n \geq 1$. Let $\text{Mat}_n(\mathbb{F})$ denote the $\mathbb{F}$-algebra consisting of the $n \times n$ matrices that have all entries in $\mathbb{F}$. We consider a pair of diagonalizable matrices in $\text{Mat}_{n}(\mathbb{F})$, each acting in an irreducible tridiagonal fashion on an eigenbasis for the other one. Such a pair is called a Leonard pair in $\text{Mat}_{n}(\mathbb{F})$. In the present paper, we find all Leonard pairs $A,A^*$ in $\text{Mat}_{n}(\mathbb{F})$ such that each of $A$ and $A^*$ is irreducible tridiagonal wi…
Let $V$ denote a vector space with finite positive dimension. We consider an ordered pair of linear transformations $A: V\to V$ and $A^*: V\to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. In this paper, we characterize the Leonard pairs using the noti…
Fix an algebraically closed field $\mathbb{F}$ and an integer $d \geq 3$. Let $\text{Mat}_{d+1}(\mathbb{F})$ denote the $\mathbb{F}$-algebra consisting of the $(d+1) \times (d+1)$ matrices that have all entries in $\mathbb{F}$. We consider a pair of diagonalizable matrices $A,A^*$ in $\text{Mat}_{d+1}(\mathbb{F})$, each acts in an irreducible tridiagonal fashion on an eigenbasis for the other one. Such a pair is called a Leonard pair in $\text{Mat}_{d+1}(\mathbb{F})$. For a Leonard pair $A,A^*$ there is a nonzero scalar $q$ that is used to describe the eigenvalues of $A$ and $A^*$. In the pres…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy both conditions below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal, and the matrix representing $A^*$ is irreducible tridiagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is diagonal, and the matrix representing $A$ is irreducible tridiagonal. We call such a pair a Leonard pair on $V$. Refining this notion a bit, we in…
Let $V$ denote a vector space with finite positive dimension, and let $(A,B)$ denote a Leonard pair on $V$. As is known, the linear transformations $A,B$ satisfy the Askey-Wilson relations A^2B -bABA +BA^2 -g(AB+BA) -rB = hA^2 +wA +eI, B^2A -bBAB +AB^2 -h(AB+BA) -sA = gB^2 +wB +fI, for some scalars $b,g,h,r,s,w,e,f$. The scalar sequence is unique if the dimension of $V$ is at least 4. If $c,c*,t,t*$ are scalars and $t,t*$ are not zero, then $(tA+c,t*B+c*)$ is a Leonard pair on $V$ as well. These affine transformations can be used to bring the Leonard pair or its Askey-Wilson relations into a c…
Let $V$ denote a vector space with finite positive dimension. We consider an ordered pair of linear transformations $A: V\rightarrow V$ and $A^*: V\rightarrow V$ that satisfy (i) and (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. Very roughly speaking, a Leonard pair is a line…
Let $V$ denote a vector space with finite positive dimension. We consider an ordered pair of linear transformations $A: V\rightarrow V$ and $A^{*}: V\rightarrow V$ that satisfy (i) and (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^{*}$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^{*}$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. In the literature, there are some paramet…
Fix an algebraically closed field $\F$ and an integer $d \geq 3$. Let $V$ be a vector space over $\F$ with dimension $d+1$. A Leonard pair on $V$ is a pair of diagonalizable linear transformations $A: V \to V$ and $A^* : V \to V$, each acting in an irreducible tridiagonal fashion on an eigenbasis for the other one. There is an object related to a Leonard pair called a Leonard system. It is known that a Leonard system is determined up to isomorphism by a sequence of scalars $(\{þ_i\}_{i=0}^d, \{þ^*_i\}_{i=0}^d, \{\vphi_i\}_{i=1}^d, \{ϕ_i\}_{i=1}^d)$, called its parameter array. The scalars $\{þ…
Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy (i), (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. In the literature on Leonard pai…
Let $V$ denote a vector space with finite positive dimension. We consider an ordered pair of linear transformations $A: V\to V$ and $A^*: V\to V$ that satisfy (i) and (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. Arlene Pascasio recently obtained a characterization of the $Q$…
Let K denote a field and let $V$ denote a vector space over K with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ which satisfy the following two properties: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. Referring to the above…
Let $Φ$, $Φ'$ be Leonard systems over a field $\mathbb{K}$, and $V$, $V'$ the vector spaces underlying $Φ$, $Φ'$, respectively. In this paper, we introduce and discuss a balanced bilinear form on $V\times V'$. Such a form naturally arises in the study of $Q$-polynomial distance-regular graphs. We characterize a balanced bilinear form from several points of view.
Let $\F$ denote a field and let $V$ denote a vector space over $\F$ with finite positive dimension. Consider a pair $A,A^*$ of diagonalizable $\F$-linear maps on $V$, each of which acts on an eigenbasis for the other one in an irreducible tridiagonal fashion. Such a pair is called a Leonard pair. We consider the self-dual case in which there exists an automorphism of the endomorphism algebra of $V$ that swaps $A$ and $A^*$. Such an automorphism is unique, and called the duality $A \leftrightarrow A^*$. In the present paper we give a comprehensive description of this duality. In particular, we …
A Leonard pair is an ordered pair of diagonalizable linear maps on a finite-dimensional vector space, that each act on an eigenbasis for the other one in an irreducible tridiagonal fashion. In the present paper we consider a type of Leonard pair, said to have spin. The notion of a spin model was introduced by V.F.R. Jones to construct link invariants. A spin model is a symmetric matrix over $\mathbb{C}$ that satisfies two conditions, called the type II and type III conditions. It is known that a spin model $\sf W$ is contained in a certain finite-dimensional algebra $N({\sf W})$, called the No…
Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy (i), (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. It is known that there exists a …
Let $\K$ denote a field and let $V$ denote a vector space over $\K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $B:V\to V$ which satisfy both (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $B$ is diagonal; (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $B$ is irreducible tridiagonal. We call such a pair a Leonard pair on $V$. We introduce two canonical for…
Let $V$ denote a vector space with finite positive dimension. We consider a pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. Let $v_0,v_1,...,v_d$ (resp. $w_0,w_1,...,w_d$) denote a basis…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\it Leonard pair} on $V$. Let $\cal X$ denote the se…
Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*: V \to V$ that satisfy (i), (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. In this paper we investigate th…
Let $V$ denote a vector space with finite positive dimension. We consider a pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. In an earlier paper we described 24 special bases for $V$. One featu…
Fix an algebraically closed field $\mathbb{F}$ and an integer $d \geq 3$. Let $V$ be a vector space over $\mathbb{F}$ with dimension $d+1$. A Leonard pair on $V$ is an ordered pair of diagonalizable linear transformations $A: V \to V$ and $A^* : V \to V$, each acting in an irreducible tridiagonal fashion on an eigenbasis for the other one. Let $\{v_i\}_{i=0}^d$ (resp.\ $\{v^*_i\}_{i=0}^d$) be such an eigenbasis for $A$ (resp.\ $A^*$). For $0 \leq i \leq d$ define a linear transformation $E_i : V \to V$ such that $E_i v_i=v_i$ and $E_i v_j =0$ if $j \neq i$ $(0 \leq j \leq d)$. Define $E^*_i : …
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. By a Leonard pair on $V$ we mean an ordered pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following two conditions: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. Let $v^*_0, ..., v^*_d$ (resp. $v_0, ..…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. Let $A,A^*$ den…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a Leonard pair on $V$. We give an overview o…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. We call such a pair a {\it Leonard pair} on $V$. The structure o…
Pairings are particular bilinear maps, and as any bilinear maps they factor through the tensor product as group homomorphisms. Besides, nothing seems to prevent us to construct pairings on other abelian groups than elliptic curves or more general abelian varieties. The point of view adopted in this contribution is based on these two observations. Thus we present an elliptic curve free study of pairings which is essentially based on tensor products of abelian groups (or modules). Tensor products of abelian groups are even explicitly computed under finiteness conditions. We reveal that the exist…
