tridiagonal pairs of q-racah type and the quantum …...the quantum universal enveloping algebra u...

Tridiagonal pairs of q-Racah type and the

quantum enveloping algebra Uq

Sarah Bockting-Conrad

University of Wisconsin-Madison

June 5, 2014

Introduction

This talk is about tridiagonal pairs and tridiagonal systems.

We will focus on a special class of tridiagonal systems known as theq-Racah class.

We introduce some linear transformations which act on the on theunderlying vector space in an attractive manner.

We give two actions of the quantum group Uq(sl2) on the underlyingvector space. We describe these actions in detail, and show how they arerelated.

Sarah Bockting-Conrad Tridiagonal pairs of q-Racah type and the quantum enveloping algebra Uq (sl2

Definition of a tridiagonal pairLet K denote a field.Let V denote a vector space over K of finite positive dimension.

DefinitionBy a tridiagonal pair (or TD pair) on V we mean an ordered pair of linear

transformations A : V ! V and A⇤: V ! V satisfying:

1. Each of A,A⇤is diagonalizable.

2. There exists an ordering {Vi}di=0

of the eigenspaces of A such that

A⇤Vi ✓ Vi�1

+ Vi + Vi+1

(0 i d),

where V�1

= 0 and Vd+1

3. There exists an ordering {V ⇤i }�i=0

of the eigenspaces of A⇤such that

AV ⇤i ✓ V ⇤

+ V ⇤i + V ⇤

(0 i �),

where V ⇤�1

= 0 and V ⇤�+1

4. There does not exist a subspace W of V such that AW ✓ W ,

A⇤W ✓ W , W 6= 0, W 6= V .

Example: Q-polynomial distance-regular graph

Let � = �(X ,E ) denote a Q-polynomial distance-regular graph.

Let A denote the adjacency matrix of �.

Fix x 2 X . Let A⇤ = A

⇤(x) denote the dual adjacency matrix of � withrespect to x .

Let W denote an irreducible (A,A⇤)-module of C|X |.

Then A,A⇤ form a TD pair on W .

Connections

There are connections between TD pairs and

IQ-polynomial distance-regular graphs

I representation theory

I orthogonal polynomials

I partially ordered sets

I statistical mechanical models

I other areas of physics

For further examples, see “Some algebra related to P- and Q-polynomial association

schemes” by Ito, Tanabe, and Terwilliger or the survey “An algebraic approach to the

Askey scheme of orthogonal polynomials” by Terwilliger.

Standard ordering

DefinitionGiven a TD pair A,A⇤, an ordering {Vi}di=0

of the eigenspaces of A iscalled standard whenever

⇤Vi ✓ Vi�1

+ Vi + Vi+1

(0 i d),

where V�1

= 0 and Vd+1

= 0. (A similar discussion applies to A

Lemma (Ito, Terwilliger)

If {Vi}di=0

is a standard ordering of the eigenspaces of A, then {Vd�i}di=0

is standard and no other ordering is standard.

Standard ordering

DefinitionGiven a TD pair A,A⇤, an ordering {Vi}di=0

of the eigenspaces of A iscalled standard whenever

⇤Vi ✓ Vi�1

+ Vi + Vi+1

(0 i d),

where V�1

= 0 and Vd+1

= 0. (A similar discussion applies to A

Lemma (Ito, Terwilliger)

If {Vi}di=0

is a standard ordering of the eigenspaces of A, then {Vd�i}di=0

is standard and no other ordering is standard.

Tridiagonal system

DefinitionBy a tridiagonal system (or TD system) on V , we mean a sequence

� = (A; {Vi}di=0

;A⇤; {V ⇤i }di=0

that satisfies (1)–(3) below.

1. A,A⇤ is a tridiagonal pair on V .

2. {Vi}di=0

is a standard ordering of the eigenspaces of A.

3. {V ⇤i }di=0

is a standard ordering of the eigenspaces of A

Assumptions

Until further notice, we fix a TD system

� = (A; {Vi}di=0

;A⇤; {V ⇤i }di=0

Let�+ = (A; {Vd�i}di=0

;A⇤; {V ⇤i }di=0

Notation

Throughout this talk, we will focus on � and its associated objects. Keepin mind that a similar discussion applies to �+ and its associated objects.

For any object f associated with �, we let f + denote the correspondingobject associated with �+.

Some ratios

For 0 i d , we let ✓i (resp. ✓⇤i ) denote the eigenvalue of A (resp. A⇤)corresponding to the eigenspace Vi (resp. V

⇤i ).

Lemma (Ito, Tanabe, Terwilliger)

The ratios

✓i�2

� ✓i+1

✓i�1

� ✓i,

✓⇤i�2

� ✓⇤i+1

✓⇤i�1

� ✓⇤i

are equal and independent of i for 2 i d � 1.

This gives two recurrence relations, whose solutions can be written inclosed form. The most general case is known as the q-Racah case and isdescribed below.

Some ratios

For 0 i d , we let ✓i (resp. ✓⇤i ) denote the eigenvalue of A (resp. A⇤)corresponding to the eigenspace Vi (resp. V

⇤i ).

The ratios

✓i�2

� ✓i+1

✓i�1

� ✓i,

✓⇤i�2

� ✓⇤i+1

✓⇤i�1

� ✓⇤i

are equal and independent of i for 2 i d � 1.

This gives two recurrence relations, whose solutions can be written inclosed form. The most general case is known as the q-Racah case and isdescribed below.

q-Racah case

DefinitionWe say that the TD system � has q-Racah type whenever there existnonzero scalars q, a, b 2 K such that q4 6= 1 and

✓i = aq

d�2i + a

2i�d ,

✓⇤i = bq

d�2i + b

2i�d

for 0 i d .

Assumption

Throughout this talk, we assume that � has q-Racah type. Forsimplicity, we also assume that K is algebraically closed.

First split decomposition of V

DefinitionFor 0 i d , define

Ui = (V ⇤0

+ · · ·+ V

⇤i ) \ (Vi + Vi+1

+ · · ·+ Vd).

Theorem (Ito, Tanabe, Terwilliger)

+ · · ·+ Ud (direct sum)

We refer to {Ui}di=0

as the first split decomposition of V .

First split decomposition of V

Ui = (V ⇤0

+ · · ·+ V

⇤i ) \ (Vi + Vi+1

+ · · ·+ Vd).

+ · · ·+ Ud (direct sum)

We refer to {Ui}di=0

as the first split decomposition of V .

Second split decomposition of V

+i = (V ⇤

+ · · ·+ V

⇤i ) \ (V

+ · · ·+ Vd�i ).

+ · · ·+ U

+d (direct sum)

We refer to {U+i }di=0

as the second split decomposition of V .

The maps K ,B

DefinitionLet K : V ! V denote the linear transformation such that for 0 i d ,Ui is an eigenspace of K with eigenvalue q

d�2i . That is,

(K � q

d�2iI )Ui = 0

for 0 i d .

DefinitionLet B : V ! V denote the linear transformation such that for 0 i d ,U

+i is an eigenspace of B with eigenvalue q

d�2i . That is,

(B � q

d�2iI )U+

for 0 i d .

Note: B = K

Split decompositions of V

Let 0 i d.

A,A⇤act on the first split decomposition in the following way:

(A� ✓i I )Ui ✓ Ui+1

, (A⇤ � ✓⇤i I )Ui ✓ Ui�1

A,A⇤act on the second split decomposition in the following way:

(A� ✓d�i I )U+i ✓ U

, (A⇤ � ✓⇤i I )U+i ✓ U

+i�1

The raising maps R ,R+

DefinitionLet

R = A� aK � a

By construction,

IR acts on Ui as A� ✓i I for 0 i d ,

IRUi ✓ Ui+1

(0 i < d), RUd = 0.

DefinitionLet

+ = A� a

B � aB

By construction,

+ acts on U

+i as A� ✓d�i I for 0 i d ,

+i ✓ U

(0 i < d), R

+d = 0.

Relating R ,R+,K ,B

Lemma (B. 2014)

KR = q

The linear transformation

In 2005, Nomura showed that

d�iX

⌧ij(A)Ki ,

whereKi = Ui \ U

and⌧ij(x) = (x � ✓i )(x � ✓i+1

) · · · (x � ✓j�1

d�iX

⌧ij(A)Ki ,

DefinitionLet : V ! V denote the linear transformation such that

⌧ij(A)v = �ij⌧i,j�1

for 0 i d/2, i j d � i , and v 2 Ki . Here

�ij =[j � i ]q [d � i � j + 1]q

[n]q =q

n � q

q � q

Lemma (B. 2012)

For 0 i d, both

Ui ✓ Ui�1

U+i ✓ U

+i�1

Moreover, d+1 = 0.

In light of the above result, we refer to as the double lowering

operator.

Lemma (B. 2014)

Relating ,R ,R+,K ,B

Lemma (B. 2014)

R � R =�q � q

� �K � K

R+ � R

+ =�q � q

� �B � B

Relation summaryOur relations

KR = q

R � R =�q � q

� �K � K

�+-analogues

R+ � R

+ =�q � q

� �B � B

The quantum universal enveloping algebra Uq

DefinitionThe quantum universal enveloping algebra Uq(sl2) is defined to bethe unital associative K-algebra with generators

e, f , k , k

and relations

�1 = 1 = k

ke = q

kf = q

ef � fe =k � k

q � q

The generators e, f , k , k�1 are known as the Chevalley generators forUq(sl2).

Two Uq

(sl2)-module structures on V

Theorem (B. 2014)

There exists a Uq(sl2)-module structure on V for which the Chevalley

generators act as follows:

element of Uq(sl2) e f k k

action on V (q � q

�1)�1 (q � q

�1)�1

Theorem (B. 2014)

�1)�1 (q � q

�1)�1

Two Uq

(sl2)-module structures on V

Theorem (B. 2014)

�1)�1 (q � q

�1)�1

Theorem (B. 2014)

�1)�1 (q � q

�1)�1

Irreducible Uq

(sl2)-submodules of V

Let denote M the subalgebra of End(V ) generated by A.

For 0 i d/2 and v 2 Ki = Ui \ U

+i , let Mv denote the M-submodule

of V generated by v .

Lemma (B. 2014)

Let 0 i d/2 and v 2 Ki . For either of the Uq(sl2)-actions on V from

the previous slide, Mv is an irreducible Uq(sl2)-submodule of V with

dimension d � 2i + 1.

Lemma (B. 2014)

For either of the Uq(sl2)-actions on V from the previous slide, V can be

written as a direct sum of its irreducible Uq(sl2)-submodules.

Irreducible Uq

Lemma (B. 2014)

Irreducible Uq

Lemma (B. 2014)

The Casimir element of Uq

DefinitionDefine the normalized Casimir element ⇤ of Uq(sl2) by

⇤ = (q � q

�1)2ef + q

k + qk

= (q � q

�1)2fe + qk + q

I ⇤ is in the center of Uq(sl2).

I ⇤ generates the center of Uq(sl2) whenever q is not a root of unity.

I ⇤ acts as a scalar multiple of the identity on irreducibleUq(sl2)-modules.

The action of the Casimir element on V

Lemma (B. 2014)

With respect to the first Uq(sl2)-module structure on V , the action of

the ⇤ on V is equal to both

K + qK

R + qK + q

Lemma (B. 2014)

With respect to the second Uq(sl2)-module structure on V , the action of

R+ + q

B + qB

+ + qB + q

Lemma (B. 2014)

With respect to the first Uq(sl2)-module structure on V , the action of

K + qK

R + qK + q

Lemma (B. 2014)

With respect to the second Uq(sl2)-module structure on V , the action of

R+ + q

B + qB

+ + qB + q

Lemma (B. 2014)

Let 0 i d/2 and v 2 Ki .

With respect to either of the Uq(sl2)-module structures on V , ⇤ acts on

d�2i+1 + q

�d+2i�1

times the identity.

Corollary (B. 2014)

Let 0 i d/2.

MKi as

d�2i+1 + q

�d+2i�1

times the identity.

Lemma (B. 2012)

The following sum is direct.

where r = bd/2c.

Corollary (B. 2014)

Let 0 i d/2.

MKi as

d�2i+1 + q

�d+2i�1

times the identity.

Lemma (B. 2012)

The following sum is direct.

where r = bd/2c.

Comparing the actions of ⇤ on V

Lemma (B. 2014)

The following coincide:

(i) the action of ⇤ on V for the first Uq(sl2)-module structure on V ,

(ii) the action of ⇤ on V for the second Uq(sl2)-module structure on V .

Corollary (B. 2014)

The following four expressions are equal:

K + qK

R + qK + q

R+ + q

B + qB

+ + qB + q

Comparing the actions of ⇤ on V

Lemma (B. 2014)

The following coincide:

(i) the action of ⇤ on V for the first Uq(sl2)-module structure on V ,

(ii) the action of ⇤ on V for the second Uq(sl2)-module structure on V .

Corollary (B. 2014)

The following four expressions are equal:

K + qK

R + qK + q

R+ + q

B + qB

+ + qB + q

Relating K , B , and their inverses

Theorem (B. 2014)

Each of the following holds:

�1 =I � a

I � aq ,

�1 =I � aq

I � a

B =I � a

I � aq

�1 ,

K =I � aq

I � a

�1 .

Note that since is nilpotent, each of the above expressions is equal to apolynomial in .

How R ,K±1 and R+,B±1 are related

Lemma (B. 2014)

The following equations hold:

K + (1� a

�i i ,

�1 = a

�1 + (1� a

�2)K�1

+ = R + (a� a

�1)dX

(a�iq

�iK � a

�1) i .

How R ,K±1 and R+,B±1 are related

Lemma (B. 2014)

The following equations hold:

B + (1� a

�2)BdX

�i i ,

�1 = a

�1 + (1� a

2)B�1

+ + (a� a

�1)dX

(a�iq

�1 � a

�iB) i .

Four equations for

Theorem (B. 2014)

Each of the following expressions is equal to :

I � BK

q(aI � a

�1),

I � KB

q(a�1

I � aKB

�1),

q(I � K

aI � a

,q(I � B

I � aB

Relating K , B , and their inverses

Theorem (B. 2014)

We have

�1 � a

q � q

�1 � aq

q � q

BK + a

2 = 0.

Theorem (B. 2014)

We have

�2 +aq

�1 � a

q � q

�1 +a

�1 � aq

q � q

�1 + a

�2 = 0.

The subalgebra U_q

There exists a second presentation of Uq(sl2) known as the equitable

presentation. The generators are x , y±1, z and are subject to therelations yy�1 = y

y = 1,

qxy � q

q � q

= 1,qyz � q

q � q

= 1,qzx � q

q � q

Let U_q denote the subalgebra of Uq(sl2) generated by x , y�1, z .

The above relations involving K

±1,B±1 helped lead to the discovery oftwo new presentations for U_

The subalgebra U_q

Theorem (B.,Terwilliger 2014)

Let U denote the K-algebra with generators K ,B ,A and relations

qKA� q

q � q

I ,qBA� q

q � q

2 + aI ,

�1 � a

q � q

�1 � aq

q � q

BK + a

2 = 0.

Then U is isomorphic to U

The second presentation of U_q is obtained by inverting q, a,K ,B .

Summary

Given a TD system � on V of q-Racah type, we defined several lineartransformations which act on V in an attractive way.

We used these linear transformations to obtain two Uq(sl2)-modulestructures for V and discussed how these actions are related.

Using information about Uq(sl2), we derived several new equationsrelating our linear transformations.

These equations helped lead to the discovery of new information aboutUq(sl2).

The End

Thank you for your attention!

tridiagonal pairs of q-racah type and the quantum …...the quantum universal enveloping algebra u...

Documents

lac 104 wac -...

the hall algebra approach to quantum...

quantum algorithms for linear algebra and machine...

quantum geometric algebra - tauquernions

what can we learn from a failure of quantum computers gil...

quantum geometric algebra - matzke family · quantum...

anpa 2002: quantum geometric algebra 8/15/2002 djm quantum...

matrix algebra for quantum chemistry - diva portal

lecture 15 - stanford...

quantum computing quantum gates -...

combinatorial algebra for second-quantized quantum

the coulomb blockade in quantum boxes avraham schiller racah...

quantum - algebra lineal.pdf

partial dynamical symmetries in quantum...

hidden quantum groups inside kac-moody algebra

orthomodular lattices and a quantum algebra | springerlink

a quantum leap in cyber security · a quantum leap in cyber...

quantum numbers quantum numbers and angular momentum...

quantum geometric algebra · computing concepts by...

euler.us.eseuler.us.es/~renato/papers/q-racah-jpa.pdf · a...