BZPEER

preprint2022arXiv

Distance-regular graphs, the subconstituent algebra, and the $Q$ -polynomial property

This survey paper contains a tutorial introduction to distance-regular graphs, with an emphasis on the subconstituent algebra and the $Q$ -polynomial property.

preprint2021arXiv

Double Lowering Operators on Polynomial

Recently Sarah Bockting-Conrad introduced the double lowering operator $ψ$ for a tridiagonal pair. Motivated by $ψ$ we consider the following problem about polynomials. Let $\mathbb F$ denote an algebraically closed field. Let $x$ denote an indeterminate, and let $\mathbb F\lbrack x \rbrack$ denote the algebra consisting of the polynomials in $x$ that have all coefficients in $\mathbb F$ . Let $N$ denote a positive integer or $\infty$ . Let $\lbrace a_i\rbrace_{i=0}^{N-1}$ , $\lbrace b_i\rbrace_{i=0}^{N-1}$ denote scalars in $\mathbb F$ such that $\sum_{h=0}^{i-1} a_h \not= \sum_{h=0}^{i-1} b_h$ for $1 \leq i \leq N$ . For $0 \leq i \leq N$ define polynomials $τ_i, η_i \in \mathbb F\lbrack x \rbrack$ by $τ_i = \prod_{h=0}^{i-1} (x-a_h)$ and $η_i = \prod_{h=0}^{i-1} (x-b_h)$ . Let $V$ denote the subspace of $\mathbb F\lbrack x \rbrack$ spanned by $\lbrace x^i\rbrace_{i=0}^N$ . An element $ψ\in \operatorname{End}(V)$ is called double lowering whenever $ψτ_i \in \mathbb F τ_{i-1}$ and $ψη_i \in \mathbb F η_{i-1}$ for $0 \leq i \leq N$ , where $τ_{-1}=0$ and $η_{-1}=0$ . We give necessary and sufficient conditions on $\lbrace a_i\rbrace_{i=0}^{N-1}$ , $\lbrace b_i\rbrace_{i=0}^{N-1}$ for there to exist a nonzero double lowering map. There are four families of solutions, which we describe in detail.

preprint2021arXiv

The $q$ -Onsager algebra and its alternating central extension

The $q$ -Onsager algebra $O_q$ has a presentation involving two generators $W_0$ , $W_1$ and two relations, called the $q$ -Dolan/Grady relations. The alternating central extension $\mathcal O_q$ has a presentation involving the alternating generators $\lbrace \mathcal W_{-k}\rbrace_{k=0}^\infty$ , $\lbrace \mathcal W_{k+1}\rbrace_{k=0}^\infty$ , $\lbrace \mathcal G_{k+1}\rbrace_{k=0}^\infty$ , $\lbrace \mathcal {\tilde G}_{k+1}\rbrace_{k=0}^\infty$ and a large number of relations. Let $\langle \mathcal W_0, \mathcal W_1 \rangle$ denote the subalgebra of $\mathcal O_q$ generated by $\mathcal W_0$ , $\mathcal W_1$ . It is known that there exists an algebra isomorphism $O_q \to \langle \mathcal W_0, \mathcal W_1 \rangle$ that sends $W_0\mapsto \mathcal W_0$ and $W_1 \mapsto \mathcal W_1$ . It is known that the center $\mathcal Z$ of $\mathcal O_q$ is isomorphic to a polynomial algebra in countably many variables. It is known that the multiplication map $\langle \mathcal W_0, \mathcal W_1 \rangle \otimes \mathcal Z \to \mathcal O_q$ , $w \otimes z \mapsto wz$ is an isomorphism of algebras. We call this isomorphism the standard tensor product factorization of $\mathcal O_q$ . In the study of $\mathcal O_q$ there are two natural points of view: we can start with the alternating generators, or we can start with the standard tensor product factorization. It is not obvious how these two points of view are related. The goal of the paper is to describe this relationship. We give seven main results; the principal one is an attractive factorization of the generating function for some algebraically independent elements that generate $\mathcal Z$ .

preprint2020arXiv

An Infinite-Dimensional $\square_q$ -Module Obtained from the $q$ -Shuffle Algebra for Affine $\mathfrak{sl}_2$

Let $\mathbb F$ denote a field, and pick a nonzero $q \in \mathbb F$ that is not a root of unity. Let $\mathbb Z_4=\mathbb Z/4 \mathbb Z$ denote the cyclic group of order 4. Define a unital associative ${\mathbb F}$ -algebra $\square_q$ by generators $\lbrace x_i \rbrace_{i \in \mathbb Z_4}$ and relations $\frac{q x_i x_{i+1}-q^{-1}x_{i+1}x_i}{q-q^{-1}} = 1,\qquad x^3_i x_{i+2} - \lbrack 3 \rbrack_q x^2_i x_{i+2} x_i + \lbrack 3 \rbrack_q x_i x_{i+2} x^2_i -x_{i+2} x^3_i = 0,$ where $\lbrack 3 \rbrack_q = \big(q^3-q^{-3}\big)/\big(q-q^{-1}\big)$ . Let $V$ denote a $\square_q$ -module. A vector $ξ\in V$ is called NIL whenever $x_1 ξ= 0$ and $x_3 ξ=0$ and $ξ\not=0$ . The $\square_q$ -module $V$ is called NIL whenever $V$ is generated by a NIL vector. We show that up to isomorphism there exists a unique NIL $\square_q$ -module, and it is irreducible and infinite-dimensional. We describe this module from sixteen points of view. In this description an important role is played by the $q$ -shuffle algebra for affine $\mathfrak{sl}_2$ .

preprint2020arXiv

Connectivity concerning the last two subconstituents of a Q-polynomial distance-regular graph

Let $Γ$ be a $Q$ -polynomial distance-regular graph of diameter $d\geq 3$ . Fix a vertex $γ$ of $Γ$ and consider the subgraph induced on the union of the last two subconstituents of $Γ$ with respect to $γ$ . We prove that this subgraph is connected.

preprint2020arXiv

Idempotent systems

In this paper we introduce the notion of an idempotent system. This linear algebraic object is motivated by the structure of an association scheme. We focus on a family of idempotent systems, said to be symmetric. A symmetric idempotent system is an abstraction of the primary module for the subconstituent algebra of a symmetric association scheme. We describe the symmetric idempotent systems in detail. We also consider a class of symmetric idempotent systems, said to be $P$ -polynomial and $Q$ -polynomial. In the topic of orthogonal polynomials there is an object called a Leonard system. We show that a Leonard system is essentially the same thing as a symmetric idempotent system that is $P$ -polynomial and $Q$ -polynomial.

preprint2020arXiv

Notes on the Leonard system classification

Around 2001 we classified the Leonard systems up to isomorphism. The proof was lengthy and involved considerable computation. In this paper we give a proof that is shorter and involves minimal computation. We also give a comprehensive descriptionof the intersection numbers of a Leonard system.

preprint2020arXiv

The Norton algebra of a $Q$ -polynomial distance-regular graph

We consider the Norton algebra associated with a $Q$ -polynomial primitive idempotent of the adjacency matrix for a distance-regular graph. We obtain a formula for the Norton algebra product that we find attractive.

preprint2020arXiv

Tridiagonal pairs of $q$ -Racah type and the $q$ -tetrahedron algebra

Let $\mathbb F$ denote a field, and let $V$ denote a vector space over $\mathbb F$ with finite positive dimension. We consider an ordered pair of $\mathbb F$ -linear maps $A: V \to V$ and $A^*:V\to V$ such that (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_i+ V_{i+1}$ for $0 \leq i \leq d$ , where $V_{-1} = 0$ and $V_{d+1}= 0$ ; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_i+ V^*_{i+1}$ for $0 \leq i \leq δ$ , where $V^*_{-1} = 0$ and $V^*_{δ+1}= 0$ ; (iv) there does not exist a subspace $U$ of $V$ such that $AU\subseteq U$ , $A^*U \subseteq U$ , $U\not=0$ , $U\not=V$ . We call such a pair a tridiagonal pair on $V$ . We assume that $A, A^*$ belongs to a family of tridiagonal pairs said to have $q$ -Racah type. There is an infinite-dimensional algebra $\boxtimes_q$ called the $q$ -tetrahedron algebra; it is generated by four copies of $U_q(\mathfrak{sl}_2)$ that are related in a certain way. Using $A, A^*$ we construct two $\boxtimes_q$ -module structures on $V$ . In this construction the two main ingredients are the double lowering map $ψ:V\to V$ due to Sarah Bockting-Conrad, and a certain invertible map $W:V\to V$ motivated by the spin model concept due to V. F. R. Jones.

preprint2020arXiv

Twisting finite-dimensional modules for the $q$ -Onsager algebra $\mathcal O_q$ via the Lusztig automorphism

The $q$ -Onsager algebra $\mathcal O_q$ is defined by two generators $A$ , $A^*$ and two relations, called the $q$ -Dolan/Grady relations. Recently P. Baseilhac and S. Kolb found an automorphism $L$ of $\mathcal O_q$ , that fixes $A$ and sends $A^*$ to a linear combination of $A^*$ , $A^2A^*$ , $AA^*A$ , $A^*A^2$ . Let $V$ denote an irreducible $\mathcal O_q$ -module of finite dimension at least two, on which each of $A$ , $A^*$ is diagonalizable. It is known that $A$ , $A^*$ act on $V$ as a tridiagonal pair of $q$ -Racah type, giving access to four familiar elements $K$ , $B$ , $K^\downarrow$ , $B^\downarrow$ in ${\rm End}(V)$ that are used to compare the eigenspace decompositions for $A$ , $A^*$ on $V$ . We display an invertible $H \in {\rm End}(V)$ such that $L(X)=H^{-1} X H$ on $V$ for all $X \in \mathcal O_q$ . We describe what happens when one of $K$ , $B$ , $K^\downarrow$ , $B^\downarrow$ is conjugated by $H$ . For example $H^{-1}KH=a^{-1}A-a^{-2}K^{-1}$ where $a$ is a certain scalar that is used to describe the eigenvalues of $A$ on $V$ . We use the conjugation results to compare the eigenspace decompositions for $A$ , $A^*$ , $L^{\pm 1}(A^*)$ on $V$ . In this comparison we use the notion of an equitable triple; this is a 3-tuple of elements in ${\rm End}(V)$ such that any two satisfy a $q$ -Weyl relation. Our comparison involves eight equitable triples. One of them is $a A - a^2 K$ , $M^{-1}$ , $K$ where $M= (a K-a^{-1} B)(a-a^{-1})^{-1}$ . The map $M$ appears in earlier work of S. Bockting-Conrad concerning the double lowering operator $ψ$ of a tridiagonal pair.

preprint2019arXiv

The alternating PBW basis for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$

The positive part $U^+_q$ of $U_q(\widehat{\mathfrak{sl}}_2)$ has a presentation with two generators $A,B$ that satisfy the cubic $q$ -Serre relations. We introduce a PBW basis for $U^+_q$ , said to be alternating. Each element of this PBW basis commutes with exactly one of $A$ , $B$ , $qAB-q^{-1}BA$ . This gives three types of PBW basis elements; the elements of each type mutually commute. We interpret the alternating PBW basis in terms of a $q$ -shuffle algebra associated with affine $\mathfrak{sl}_2$ . We show how the alternating PBW basis is related to the PBW basis for $U^+_q$ found by Damiani in 1993.

preprint2016arXiv

Leonard triples of $q$ -Racah type

Let $\mathbb F$ denote a field, and let $V$ denote a vector space over $\mathbb F$ with finite positive dimension. Pick a nonzero $q \in \mathbb F$ such that $q^4 \not=1$ , and let $A,B,C$ denote a Leonard triple on $V$ that has $q$ -Racah type. We show that there exist invertible $W, W', W''$ in ${\rm End}(V)$ such that (i) $A$ commutes with $W$ and $W^{-1}BW-C$ ; (ii) $B$ commutes with $W'$ and $(W')^{-1}CW'-A$ ; (iii) $C$ commutes with $W''$ and $(W'')^{-1}AW''-B$ . Moreover each of $W,W', W''$ is unique up to multiplication by a nonzero scalar in $\mathbb F$ . We show that the three elements $W'W, W''W', WW''$ mutually commute, and their product is a scalar multiple of the identity. A number of related results are obtained.

preprint2016arXiv

Tridiagonal pairs of $q$ -Racah type, the Bockting operator $ψ$ , and $L$ -operators for $U_q(L({\mathfrak{sl}}_2))$

We describe the Bockting operator $ψ$ for a tridiagonal pair of $q$ -Racah type, in terms of a certain $L$ -operator for the quantum loop algebra $U_q(L({\mathfrak {sl}}_2))$ .

preprint2015arXiv

Lowering-Raising triples and $U_q(\mathfrak{sl}_2)$

We introduce the notion of a lowering-raising (or LR) triple of linear transformations on a nonzero finite-dimensional vector space. We show how to normalize an LR triple, and classify up to isomorphism the normalized LR triples. We describe the LR triples using various maps, such as the reflectors, the inverters, the unipotent maps, and the rotators. We relate the LR triples to the equitable presentation of the quantum algebra $U_q(\mathfrak{sl}_2)$ and Lie algebra $\mathfrak{sl}_2$ .

preprint2015arXiv

The $q$ -Onsager algebra and the positive part of $U_q({\widehat{\mathfrak{sl}}}_2)$

The positive part $U^+_q$ of $U_q({\widehat{\mathfrak{sl}}}_2)$ has a presentation by two generators $X,Y$ that satisfy the $q$ -Serre relations. The $q$ -Onsager algebra $\mathcal O_q$ has a presentation by two generators $A,B$ that satisfy the $q$ -Dolan/Grady relations. We give two results that describe how $U^+_q$ and $\mathcal O_q$ are related. First, we consider the filtration of $\mathcal O_q$ whose $n$ th component is spanned by the products of at most $n$ generators. We show that the associated graded algebra is isomorphic to $U^+_q$ . Second, we introduce an algebra $\square_q$ and show how it is related to both $U^+_q$ and $\mathcal O_q$ . The algebra $\square_q$ is defined by generators and relations. The generators are $\lbrace x_i \rbrace_{i \in \mathbb Z_4}$ where $\mathbb Z_4$ is the cyclic group of order 4. For $i \in \mathbb Z_4$ the generators $x_i, x_{i+1}$ satisfy a $q$ -Weyl relation, and $x_i,x_{i+2}$ satisfy the $q$ -Serre relations. We show that $\square_q$ is related to $U^+_q$ in the following way. Let $\square^{\rm even}_q$ (resp. $\square^{\rm odd}_q$ ) denote the subalgebra of $\square_q$ generated by $x_0, x_2$ (resp. $x_1, x_3$ ). We show that (i) there exists an algebra isomorphism $U^+_q \to \square^{\rm even}_q$ that sends $X\mapsto x_0$ and $Y\mapsto x_2$ ; (ii) there exists an algebra isomorphism $U^+_q \to \square^{\rm odd}_q$ that sends $X\mapsto x_1$ and $Y\mapsto x_3$ ; (iii) the multiplication map $\square^{\rm even}_q \otimes \square^{\rm odd}_q \to \square_q$ , $u \otimes v \mapsto uv$ is an isomorphism of vector spaces. We show that $\square_q$ is related to $\mathcal O_q$ in the following way. For nonzero scalars $a,b$ there exists an injective algebra homomorphism $\mathcal O_q \to \square_q$ that sends $A \mapsto a x_0+ a^{-1} x_1$ and $B \mapsto b x_2+ b^{-1} x_3$ .

preprint2014arXiv

Billiard Arrays and finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$ -modules

We introduce the notion of a Billiard Array. This is an equilateral triangular array of one-dimensional subspaces of a vector space $V$ , subject to several conditions that specify which sums are direct. We show that the Billiard Arrays on $V$ are in bijection with the 3-tuples of totally opposite flags on $V$ . We classify the Billiard Arrays up to isomorphism. We use Billiard Arrays to describe the finite-dimensional irreducible modules for the quantum algebra $U_q(\mathfrak{sl}_2)$ and the Lie algebra $\mathfrak{sl}_2$ .

preprint2013arXiv

Distance-regular graphs of $q$ -Racah type and the universal Askey-Wilson algebra

Let $\C$ denote the field of complex numbers, and fix a nonzero $q \in \C$ such that $q^4 \ne 1$ . Define a $\C$-algebra $Δ_q$ by generators and relations in the following way. The generators are $A,B,C$ . The relations assert that each of $A+\frac{qBC-q^{-1}CB}{q^2-q^{-2}}$ , $B+\frac{qCA-q^{-1}AC}{q^2-q^{-2}}$ , $C+\frac{qAB-q^{-1}BA}{q^2-q^{-2}}$ is central in $Δ_q$ . The algebra $Δ_q$ is called the universal Askey-Wilson algebra. Let $Γ$ denote a distance-regular graph that has $q$ -Racah type. Fix a vertex $x$ of $Γ$ and let $T=T(x)$ denote the corresponding subconstituent algebra. In this paper we discuss a relationship between $Δ_q$ and $T$ . Assuming that every irreducible $T$ -module is thin, we display a surjective $\C$-algebra homomorphism $Δ_q \to T$ . This gives a $Δ_q$ action on the standard module of $T$ .

preprint2013arXiv

Evaluation modules for the $q$ -tetrahedron algebra

Let $\mathbb F$ denote an algebraically closed field, and fix a nonzero $q \in \mathbb F$ that is not a root of unity. We consider the $q$ -tetrahedron algebra $\boxtimes_q$ over $\mathbb F$ . It is known that each finite-dimensional irreducible $\boxtimes_q$ -module of type 1 is a tensor product of evaluation modules. This paper contains a comprehensive description of the evaluation modules for $\boxtimes_q$ . This description includes the following topics. Given an evaluation module $V$ for $\boxtimes_q$ , we display 24 bases for $V$ that we find attractive. For each basis we give the matrices that represent the $\boxtimes_q$ -generators. We give the transition matrices between certain pairs of bases among the 24. It is known that the cyclic group $\Z_4$ acts on $\boxtimes_q$ as a group of automorphisms. We describe what happens when $V$ is twisted via an element of $\Z_4$ . We discuss how evaluation modules for $\boxtimes_q$ are related to Leonard pairs of $q$ -Racah type.

preprint2013arXiv

Finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$ -modules from the equitable point of view

We consider the quantum algebra $U_q(\mathfrak{sl}_2)$ with $q$ not a root of unity. We describe the finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$ -modules from the point of view of the equitable presentation.

preprint2013arXiv

The algebra $U_q({\mathfrak{sl}_2})$ in disguise

We discuss a connection between the algebra $U_q({\mathfrak{sl}_2})$ and the tridiagonal pairs of $q$ -Racah type. To describe the connection, let $x,y^{\pm 1},z$ denote the equitable generators for $U_q({\mathfrak{sl}_2})$ . Let $U^\vee_q$ denote the subalgebra of $U_q({\mathfrak{sl}_2})$ generated by $x,y^{-1},z$ . Using a tridiagonal pair of $q$ -Racah type we construct two finite-dimensional $U^\vee_q$ -modules. The constructions yield two nonstandard presentations of $U^\vee_q$ by generators and relations. These presentations are investigated in detail.

preprint2013arXiv

The Universal Askey-Wilson Algebra and DAHA of Type $(C_1^{\vee},C_1)$

Let $\mathbb F$ denote a field, and fix a nonzero $q\in\mathbb F$ such that $q^4\not=1$ . The universal Askey-Wilson algebra $Δ_q$ is the associative $\mathbb F$ -algebra defined by generators and relations in the following way. The generators are $A$ , $B$ , $C$ . The relations assert that each of $A+\frac{qBC-q^{-1}CB}{q^2-q^{-2}}$ , $B+\frac{qCA-q^{-1}AC}{q^2-q^{-2}}$ , $C+\frac{qAB-q^{-1}BA}{q^2-q^{-2}}$ is central in $Δ_q$ . The universal DAHA $\hat H_q$ of type $(C_1^\vee,C_1)$ is the associative $\mathbb F$ -algebra defined by generators $\lbrace t^{\pm1}_i\rbrace_{i=0}^3$ and relations (i) $t_i t^{-1}_i=t^{-1}_i t_i=1$ ; (ii) $t_i+t^{-1}_i$ is central; (iii) $t_0t_1t_2t_3=q^{-1}$ . We display an injection of $\mathbb F$ -algebras $ψ:Δ_q\to\hat H_q$ that sends $A\mapsto t_1t_0+(t_1t_0)^{-1}$ , $B\mapsto t_3t_0+(t_3t_0)^{-1}$ , $C\mapsto t_2t_0+(t_2t_0)^{-1}$ . For the map $ψ$ we compute the image of the three central elements mentioned above. The algebra $Δ_q$ has another central element of interest, called the Casimir element $Ω$ . We compute the image of $Ω$ under $ψ$ . We describe how the Artin braid group $B_3$ acts on $Δ_q$ and $\hat H_q$ as a group of automorphisms. We show that $ψ$ commutes with these $B_3$ actions. Some related results are obtained.

preprint2012arXiv

Augmented down-up algebras and uniform posets

Motivated by the structure of the uniform posets we introduce the notion of an augmented down-up (or ADU) algebra. We discuss how ADU algebras are related to the down-up algebras defined by Benkart and Roby. For each ADU algebra we give two presentations by generators and relations. We also display a $Z$ -grading and a linear basis. In addition we show that the center is isomorphic to a polynomial algebra in two variables. We display seven families of uniform posets and show that each gives an ADU algebra module in a natural way. The main inspiration for the ADU algebra concept comes from the second author's thesis concerning a type of uniform poset constructed using a dual polar graph.

preprint2012arXiv

Krawtchouk polynomials, the Lie algebra $\mathfrak{sl}_2$ , and Leonard pairs

A Leonard pair is a pair of diagonalizable linear transformations of a finite-dimensional vector space, each of which acts in an irreducible tridiagonal fashion on an eigenbasis for the other one. In the present paper we give an elementary but comprehensive account of how the following are related: (i) Krawtchouk polynomials; (ii) finite-dimensional irreducible modules for the Lie algebra ${\mathfrak{sl}_2}$ ; (iii) a class of Leonard pairs said to have Krawtchouk type. Along the way we obtain elementary proofs of some well-known facts about Krawtchouk polynomials, such as the three-term recurrence, the orthogonality, the difference equation, and the generating function. The paper is a tutorial meant for a graduate student or a researcher unfamiliar with the above topics.

preprint2012arXiv

The Universal Askey-Wilson Algebra and the Equitable Presentation of $U_q(\mathfrak{sl}_2)$

Around 1992 A. Zhedanov introduced the Askey-Wilson algebra AW(3). Recently we introduced a central extension $Δ$ of AW(3) called the universal Askey-Wilson algebra. In this paper we discuss a connection between $Δ$ and the quantum algebra $U_q(\mathfrak{sl}_2)$ . Our main result is an algebra injection from $Δ$ into a relative of $U_q(\mathfrak{sl}_2)$ ; the relative is obtained from $U_q(\mathfrak{sl}_2)$ by adjoining three mutually commuting indeterminates. We describe the injection using the equitable presentation of $U_q(\mathfrak{sl}_2)$

preprint2011arXiv

Bipartite Q-polynomial distance-regular graphs and uniform posets

Let $\G$ denote a bipartite distance-regular graph with vertex set $X$ and diameter $D \ge 3$ . Fix $x \in X$ and let $L$ (resp. $R$ ) denote the corresponding lowering (resp. raising) matrix. We show that each $Q$ -polynomial structure for $\G$ yields a certain linear dependency among $RL^2$ , $LRL$ , $L^2R$ , $L$ . Define a partial order $\le$ on $X$ as follows. For $y,z \in X$ let $y \le z$ whenever $\partial(x,y)+\partial(y,z)=\partial(x,z)$ , where $\partial$ denotes path-length distance. We determine whether the above linear dependency gives this poset a uniform or strongly uniform structure. We show that except for one special case a uniform structure is attained, and except for three special cases a strongly uniform structure is attained.

preprint2011arXiv

The Universal Askey-Wilson Algebra

In 1992 A. Zhedanov introduced the Askey-Wilson algebra AW=AW(3) and used it to describe the Askey-Wilson polynomials. In this paper we introduce a central extension $Δ$ of AW, obtained from AW by reinterpreting certain parameters as central elements in the algebra. We call $Δ$ the {\it universal Askey-Wilson algebra}. We give a faithful action of the modular group ${\rm {PSL}}_2({\mathbb Z})$ on $Δ$ as a group of automorphisms. We give a linear basis for $Δ$ . We describe the center of $Δ$ and the 2-sided ideal $Δ[Δ,Δ]Δ$ . We discuss how $Δ$ is related to the $q$ -Onsager algebra.

preprint2010arXiv

A classification of sharp tridiagonal pairs

Let $F$ denote a field and let $V$ denote a vector space over $F$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$ , where $V_{-1}=0$ and $V_{d+1}=0$ ; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$ , where $V^*_{-1}=0$ and $V^*_{δ+1}=0$ ; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$ , $A^* W \subseteq W$ , $W \neq 0$ , $W \neq V$ . We call such a pair a {\it tridiagonal pair} on $V$ . It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i,V_{d-i},V^*_i, V^*_{d-i}$ coincide. The pair $A,A^*$ is called {\it sharp} whenever ${\rm dim} V_0=1$ . It is known that if $F$ is algebraically closed then $A,A^*$ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the $μ$ -conjecture.

preprint2010arXiv

Double Affine Hecke Algebras of Rank 1 and the $Z_3$ -Symmetric Askey-Wilson Relations

We consider the double affine Hecke algebra $H=H(k_0,k_1,k^\vee_0,k^\vee_1;q)$ associated with the root system $(C^\vee_1,C_1)$ . We display three elements $x$ , $y$ , $z$ in $H$ that satisfy essentially the $Z_3$ -symmetric Askey-Wilson relations. We obtain the relations as follows. We work with an algebra $\hat H$ that is more general than $H$ , called the universal double affine Hecke algebra of type $(C_1^\vee,C_1)$ . An advantage of $\hat H$ over $H$ is that it is parameter free and has a larger automorphism group. We give a surjective algebra homomorphism ${\hat H} \to H$ . We define some elements $x$ , $y$ , $z$ in $\hat H$ that get mapped to their counterparts in $H$ by this homomorphism. We give an action of Artin's braid group $B_3$ on $\hat H$ that acts nicely on the elements $x$ , $y$ , $z$ ; one generator sends $x\mapsto y\mapsto z \mapsto x$ and another generator interchanges $x$ , $y$ . Using the $B_3$ action we show that the elements $x$ , $y$ , $z$ in $\hat H$ satisfy three equations that resemble the $Z_3$ -symmetric Askey-Wilson relations. Applying the homomorphism ${\hat H}\to H$ we find that the elements $x$ , $y$ , $z$ in $H$ satisfy similar relations.

preprint2010arXiv

The A-like matrices for a hypercube

Let $D$ denote a positive integer and let $Q_D$ denote the graph of the $D$ -dimensional hypercube. Let $X$ denote the vertex set of $Q_D$ and let $A \in \MX$ denote the adjacency matrix of $Q_D$ . A matrix $B \in \MX$ is called $A$ -{\em like} whenever both (i) $BA = AB$ ; (ii) for all $x,y \in X$ that are not equal or adjacent, the $(x,y)$ -entry of $B$ is zero. Let $\Al$ denote the subspace of $\MX$ consisting of the $A$ -like elements. We decompose $\Al$ into the direct sum of its symmetric part and antisymmetric part. We give a basis for each part. The dimensions of the symmetric part and antisymmetric part are $D+1$ and ${D \choose 2}$ , respectively.

preprint2010arXiv

The Equitable Basis for sl_2

This article contains an investigation of the equitable basis for the Lie algebra sl_2. Denoting this basis by {x,y,z}, we have [x,y] = 2x + 2y, [y,z] = 2y + 2z, [z, x] = 2z + 2x. One focus of our study is the group of automorphisms G generated by exp(ad x*), exp(ad y*), exp(ad z*), where {x*,y*,z*} is the basis for sl_2 dual to {x,y,z} with respect to the trace form (u,v) = tr(uv). We show that G is isomorphic to the modular group PSL_2(Z). Another focus of our investigation is the lattice L=Zx+Zy+Zz. We prove that the orbit G(x) equals {u in L |(u,u)=2}. We determine the precise relationship between (i) the group G, (ii) the group of automorphisms for sl_2 that preserve L, (iii) the group of automorphisms and antiautomorphisms for sl_2 that preserve L, and (iv) the group of isometries for (,) that preserve L. We obtain analogous results for the lattice L* =Zx*+Zy*+Zz*. Relative to the equitable basis, the matrix of the trace form is a Cartan matrix of hyperbolic type; consequently,we identify the equitable basis with the set of simple roots of the corresponding Kac-Moody Lie algebra g. Then L is the root lattice for g and 1/2L* is the weight lattice, and G(x) coincides with the set of real roots for g. Using L, L*, and G, we give several descriptions of the isotropic roots for g and show that each isotropic root has multiplicity 1. We describe the finite-dimensional sl_2-modules from the point of view of the equitable basis. In the final section, we establish a connection between the Weyl group orbit of the fundamental weights of g and Pythagorean triples.

preprint2010arXiv

The Rahman polynomials and the Lie algebra sl_3(C)

We interpret the Rahman polynomials in terms of the Lie algebra $sl_3(C)$ . Using the parameters of the polynomials we define two Cartan subalgebras for $sl_3(C)$ , denoted $H$ and $\tilde{H}$ . We display an antiautomorphism $\dagger$ of $sl_3(C)$ that fixes each element of $H$ and each element of $\tilde{H}$ . We consider a certain finite-dimensional irreducible $sl_3(C)$ -module $V$ consisting of homogeneous polynomials in three variables. We display a nondegenerate symmetric bilinear form $<,>$ on $V$ such that $<βξ,ζ> = < ξ,β^\dagger ζ>$ for all $β\in sl_3(C)$ and $ξ,ζ\in V$ . We display two bases for $V$ ; one diagonalizes $H$ and the other diagonalizes $\tilde{H}$ . Both bases are orthogonal with respect to $<,>$ . We show that when $<,>$ is applied to a vector in each basis, the result is a trivial factor times a Rahman polynomial evaluated at an appropriate argument. Thus for both transition matrices between the bases each entry is described by a Rahman polynomial. From these results we recover the previously known orthogonality relation for the Rahman polynomials. We also obtain two seven-term recurrence relations satisfied by the Rahman polynomials, along with the corresponding relations satisfied by the dual polynomials. These recurrence relations show that the Rahman polynomials are bispectral. In our theory the roles of $H$ and $\tilde{H}$ are interchangable, and for us this explains the duality and bispectrality of the Rahman polynomials. We view the action of $H$ and $\tilde{H}$ on $V$ as a rank 2 generalization of a Leonard pair.

preprint2010arXiv

Tridiagonal matrices with nonnegative entries

In this paper we characterize the nonnegative irreducible tridiagonal matrices and their permutations, using certain entries in their primitive idempotents. Our main result is summarized as follows. Let $d$ denote a nonnegative integer. Let $A$ denote a matrix in $\matR$ and let $\{þ_i\}_{i=0}^d$ denote the roots of the characteristic polynomial of $A$ . We say $A$ is multiplicity-free whenever these roots are mutually distinct and contained in $\R$ . In this case $E_i$ will denote the primitive idempotent of $A$ associated with $þ_i$ $(0 \leq i \leq d)$ . We say $A$ is symmetrizable whenever there exists an invertible diagonal matrix $Δ\in \matR$ such that $ΔA Δ^{-1}$ is symmetric. Let $Γ(A)$ denote the directed graph with vertex set $\{0,1,...,d\}$ , where $i \rightarrow j$ whenever $i \neq j$ and $A_{ij} \neq 0$ . Theorem: Assume that each entry of $A$ is nonnegative. Then the following are equivalent for $0 \leq s,t \leq d$ : (i) The graph $Γ(A)$ is a bidirected path with endpoints $s$ , $t$ : (ii) The matrix $A$ is symmetrizable and multiplicity-free. Moreover the $(s,t)$ -entry of $E_i$ times $(þ_i-þ_0)...(þ_i-þ_{i-1})(þ_i-þ_{i+1})...(þ_i-þ_d)$ is independent of $i$ for $0 \leq i \leq d$ , and this common value is nonzero. Recently Kurihara and Nozaki obtained a theorem that characterizes the $Q$ -polynomial property for symmetric association schemes. We view the above result as a linear algebraic generalization of their theorem.

preprint2005arXiv

The Universal Central Extension of the Three-point sl_2 Loop Algebra

We give a presentation of the universal central extension of the three-point loop algebra L over sl_2 by generators and relations. Our presentation arises from the realization of L as the tetrahedron Lie algebra and leads to connections between the universal central extension and the Onsager Lie algebra. Symmetry under the alternating group A_4 features prominently in this work.

Paul Terwilliger

Research overview

Is this your work?

33 publications

Distance-regular graphs, the subconstituent algebra, and the $Q$ -polynomial property

Double Lowering Operators on Polynomial

The $q$ -Onsager algebra and its alternating central extension

An Infinite-Dimensional $\square_q$ -Module Obtained from the $q$ -Shuffle Algebra for Affine $\mathfrak{sl}_2$

Connectivity concerning the last two subconstituents of a Q-polynomial distance-regular graph

Idempotent systems

Notes on the Leonard system classification

The Norton algebra of a $Q$ -polynomial distance-regular graph

Tridiagonal pairs of $q$ -Racah type and the $q$ -tetrahedron algebra

Twisting finite-dimensional modules for the $q$ -Onsager algebra $\mathcal O_q$ via the Lusztig automorphism

The alternating PBW basis for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$

Leonard triples of $q$ -Racah type

Tridiagonal pairs of $q$ -Racah type, the Bockting operator $ψ$ , and $L$ -operators for $U_q(L({\mathfrak{sl}}_2))$

Lowering-Raising triples and $U_q(\mathfrak{sl}_2)$

The $q$ -Onsager algebra and the positive part of $U_q({\widehat{\mathfrak{sl}}}_2)$

Billiard Arrays and finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$ -modules

Distance-regular graphs of $q$ -Racah type and the universal Askey-Wilson algebra

Evaluation modules for the $q$ -tetrahedron algebra

Finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$ -modules from the equitable point of view

The algebra $U_q({\mathfrak{sl}_2})$ in disguise

The Universal Askey-Wilson Algebra and DAHA of Type $(C_1^{\vee},C_1)$

Augmented down-up algebras and uniform posets

Krawtchouk polynomials, the Lie algebra $\mathfrak{sl}_2$ , and Leonard pairs

The Universal Askey-Wilson Algebra and the Equitable Presentation of $U_q(\mathfrak{sl}_2)$

Bipartite Q-polynomial distance-regular graphs and uniform posets

The Universal Askey-Wilson Algebra

A classification of sharp tridiagonal pairs

Double Affine Hecke Algebras of Rank 1 and the $Z_3$ -Symmetric Askey-Wilson Relations

The A-like matrices for a hypercube

The Equitable Basis for sl_2

The Rahman polynomials and the Lie algebra sl_3(C)

Tridiagonal matrices with nonnegative entries

The Universal Central Extension of the Three-point sl_2 Loop Algebra

See the researcher in context

Building this map preview

Paul Terwilliger

Research overview

Is this your work?

33 publications

Distance-regular graphs, the subconstituent algebra, and the QQQ-polynomial property

Double Lowering Operators on Polynomial

The qqq-Onsager algebra and its alternating central extension

An Infinite-Dimensional □q\square_q□q​-Module Obtained from the qqq-Shuffle Algebra for Affine sl2\mathfrak{sl}_2sl2​

Connectivity concerning the last two subconstituents of a Q-polynomial distance-regular graph

Idempotent systems

Notes on the Leonard system classification

The Norton algebra of a QQQ-polynomial distance-regular graph

Tridiagonal pairs of qqq-Racah type and the qqq-tetrahedron algebra

Twisting finite-dimensional modules for the qqq-Onsager algebra Oq\mathcal O_qOq​ via the Lusztig automorphism

The alternating PBW basis for the positive part of Uq(sl^2)U_q(\widehat{\mathfrak{sl}}_2)Uq​(sl2​)

Leonard triples of qqq-Racah type

Tridiagonal pairs of qqq-Racah type, the Bockting operator ψψψ, and LLL-operators for Uq(L(sl2))U_q(L({\mathfrak{sl}}_2))Uq​(L(sl2​))

Lowering-Raising triples and Uq(sl2)U_q(\mathfrak{sl}_2)Uq​(sl2​)

The qqq-Onsager algebra and the positive part of Uq(sl^2)U_q({\widehat{\mathfrak{sl}}}_2)Uq​(sl2​)

Billiard Arrays and finite-dimensional irreducible Uq(sl2)U_q(\mathfrak{sl}_2)Uq​(sl2​)-modules

Distance-regular graphs of qqq-Racah type and the universal Askey-Wilson algebra

Evaluation modules for the qqq-tetrahedron algebra

Finite-dimensional irreducible Uq(sl2)U_q(\mathfrak{sl}_2)Uq​(sl2​)-modules from the equitable point of view

The algebra Uq(sl2)U_q({\mathfrak{sl}_2})Uq​(sl2​) in disguise

The Universal Askey-Wilson Algebra and DAHA of Type (C1∨,C1)(C_1^{\vee},C_1)(C1∨​,C1​)

Augmented down-up algebras and uniform posets

Krawtchouk polynomials, the Lie algebra sl2\mathfrak{sl}_2sl2​, and Leonard pairs

The Universal Askey-Wilson Algebra and the Equitable Presentation of Uq(sl2)U_q(\mathfrak{sl}_2)Uq​(sl2​)

Bipartite Q-polynomial distance-regular graphs and uniform posets

The Universal Askey-Wilson Algebra

A classification of sharp tridiagonal pairs

Double Affine Hecke Algebras of Rank 1 and the Z3Z_3Z3​-Symmetric Askey-Wilson Relations

The A-like matrices for a hypercube

The Equitable Basis for sl_2

The Rahman polynomials and the Lie algebra sl_3(C)

Tridiagonal matrices with nonnegative entries

The Universal Central Extension of the Three-point sl_2 Loop Algebra

See the researcher in context

Building this map preview

Distance-regular graphs, the subconstituent algebra, and the $Q$ -polynomial property

The $q$ -Onsager algebra and its alternating central extension

An Infinite-Dimensional $\square_q$ -Module Obtained from the $q$ -Shuffle Algebra for Affine $\mathfrak{sl}_2$

The Norton algebra of a $Q$ -polynomial distance-regular graph

Tridiagonal pairs of $q$ -Racah type and the $q$ -tetrahedron algebra

Twisting finite-dimensional modules for the $q$ -Onsager algebra $\mathcal O_q$ via the Lusztig automorphism

The alternating PBW basis for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$

Leonard triples of $q$ -Racah type

Tridiagonal pairs of $q$ -Racah type, the Bockting operator $ψ$ , and $L$ -operators for $U_q(L({\mathfrak{sl}}_2))$

Lowering-Raising triples and $U_q(\mathfrak{sl}_2)$

The $q$ -Onsager algebra and the positive part of $U_q({\widehat{\mathfrak{sl}}}_2)$

Billiard Arrays and finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$ -modules

Distance-regular graphs of $q$ -Racah type and the universal Askey-Wilson algebra

Evaluation modules for the $q$ -tetrahedron algebra

Finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$ -modules from the equitable point of view

The algebra $U_q({\mathfrak{sl}_2})$ in disguise

The Universal Askey-Wilson Algebra and DAHA of Type $(C_1^{\vee},C_1)$

Krawtchouk polynomials, the Lie algebra $\mathfrak{sl}_2$ , and Leonard pairs

The Universal Askey-Wilson Algebra and the Equitable Presentation of $U_q(\mathfrak{sl}_2)$

Double Affine Hecke Algebras of Rank 1 and the $Z_3$ -Symmetric Askey-Wilson Relations