Chalermpong Worawannotai

arXiv2012

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.

math.QA↗

arXiv2012

Dual polar graphs, the quantum algebra U_q(sl_2), and Leonard systems of dual q-Krawtchouk type

In this paper we consider how the following three objects are related: (i) the dual polar graphs; (ii) the quantum algebra U_q(sl_2); (iii) the Leonard systems of dual q-Krawtchouk type. For convenience we first describe how (ii) and (iii) are related. For a given Leonard system of dual q-Krawtchouk type, we obtain two U_q(sl_2)-module structures on its underlying vector space. We now describe how (i) and (iii) are related. Let Γdenote a dual polar graph. Fix a vertex x of Γand let T = T(x) denote the corresponding subconstituent algebra. By definition T is generated by the adjacency matrix A of Γand a certain diagonal matrix A* = A*(x) called the dual adjacency matrix that corresponds to x. By construction the algebra T is semisimple. We show that for each irreducible T-module W the restrictions of A and A* to W induce a Leonard system of dual q-Krawtchouk type. We now describe how (i) and (ii) are related. We obtain two U_q(sl_2)-module structures on the standard module of Γ. We describe how these two U_q(sl_2)-module structures are related. Each of these U_q(sl_2)-module structures induces a $\mathbb{C}$-algebra homomorphism U_q(sl_2) \rightarrow T. We show that in each case T is generated by the image together with the center of T. Using the combinatorics of Γwe obtain a generating set L, F, R, K of T along with some attractive relations satisfied by these generators.

math.CO↗