Source author record

Sarah Bockting-Conrad

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.CO math.QA math.RT

Catalog footprint

Research overview

6works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Finite-Dimensional Irreducible Modules of the Racah Algebra at Characteristic Zero

Assume that ${\mathbb F}$ is an algebraically closed field with characteristic zero. The Racah algebra $\Re$ is the unital associative ${\mathbb F}$ -algebra defined by generators and relations in the following way. The generators are $A$ , $B$ , $C$ , $D$ and the relations assert that $[A,B]=[B,C]=[C,A]=2D$ and that each of $[A,D]+AC-BA$ , $[B,D]+BA-CB$ , $[C,D]+CB-AC$ is central in $\Re$ . In this paper we discuss the finite-dimensional irreducible $\Re$ -modules in detail and classify them up to isomorphism. To do this, we apply an infinite-dimensional $\Re$ -module and its universal property. We additionally give the necessary and sufficient conditions for $A$ , $B$ , $C$ to be diagonalizable on finite-dimensional irreducible $\Re$ -modules.

preprint2020arXiv

Sós Permutations

Let $f(x) = αx + β\mod 1$ for fixed real parameters $α$ and $β$ . For any positive integer $n$ , define the Sós permutation $π$ to be the lexicographically first permutation such that $0 \leq f(π(0)) \leq f(π(1)) \leq \cdots \leq f(π(n)) < 1$ . In this article we give a bijection between Sós permutations and regions in a partition of the parameter space $(α,β)\in [0,1)^2$ . This allows us to enumerate these permutations and to obtain the following "three areas" theorem: in any vertical strip $(a/b,c/d)\times [0,1)$ , with $(a/b,c/d)$ a Farey interval, there are at most three distinct areas of regions, and one of these areas is the sum of the other two.

preprint2020arXiv

The Casimir elements of the Racah algebra

Let $\mathbb{F}$ denote a field with ${\rm char\,}\mathbb{F}\not=2$ . The Racah algebra $\mathfrak{R}$ is the unital associative $\mathbb{F}$ -algebra defined by generators and relations in the following way. The generators are $A$ , $B$ , $C$ , $D$ . The relations assert that $[A,B]=[B,C]=[C,A]=2D$ and each of the elements \begin{gather*} α=[A,D]+AC-BA, \qquad β=[B,D]+BA-CB, \qquad γ=[C,D]+CB-AC \end{gather*} is central in $\mathfrak{R}$ . Additionally the element $δ=A+B+C$ is central in $\mathfrak{R}$ . The algebra $\mathfrak{R}$ was introduced by Genest-Vinet-Zhedanov. We consider a mild change in their setting to call each element in \begin{equation*} D^2+A^2+B^2 +\frac{(δ+2)\{A,B\}-\{A^2,B\}-\{A,B^2\}}{2} +A (β-δ) +B (δ-α)+\mathfrak{C} \end{equation*} a Casimir element of $\mathfrak{R}$ , where $\mathfrak{C}$ is the commutative subalgebra of $\mathfrak{R}$ generated by $α$ , $β$ , $γ$ , $δ$ . The main results of this paper are as follows. Each of the following distinct elements is a Casimir element of $\mathfrak{R}$ : \begin{align*} Ω_A = D^2 + \frac{B A C +C A B}{2} + A^2 +B γ-C β-A δ, Ω_B = D^2 + \frac{C B A +A B C}{2} + B^2 +C α-A γ-Bδ, Ω_C = D^2 + \frac{A C B +B C A}{2} + C^2 +A β-Bα-Cδ. \end{align*} The set $\{Ω_A,Ω_B,Ω_C\}$ is invariant under a faithful $D_6$ -action on $\mathfrak{R}$ . Moreover we show that any Casimir element $Ω$ is algebraically independent over $\mathfrak{C}$ ; if ${\rm char\,}\mathbb{F}=0$ then the center of $\mathfrak{R}$ is $\mathfrak{C}[Ω]$ .

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

Tridiagonal pairs of $q$ -Racah type, the double lowering operator $ψ$ , and the quantum algebra $U_q(\mathfrak{sl}_2)$

Let \K denote an algebraically closed 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,A*:V \to V that satisfy the following conditions:(i)Each of A,A* is diagonalizable;(ii)there exists an ordering {V_i}_{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 {V*_i}_{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 W of V such that AW\subseteq W,A*W\subseteq W,W\neq 0,W\neq V. We call such a pair a tridiagonal pair on V. It is known that d=δ; to avoid trivialities assume d\geq 1. We assume that A,A* belongs to a family of tridiagonal pairs said to have q-Racah type. This is the most general type of tridiagonal pair. Let {U_i}_{i=0}^d and {U_i^\Downarrow}_{i=0}^d denote the first and second split decompositions of V. In an earlier paper we introduced the double lowering operator ψ:V\to V. One feature of ψis that both ψU_i\subseteq U_{i-1} and ψU_i^\Downarrow\subseteq U_{i-1}^\Downarrow for 0\leq i\leq d. Define linear transformations K:V\to V and B:V\to V such that (K-q^{d-2i}I)U_i=0 and (B-q^{d-2i}I)U_i^\Downarrow=0 for 0\leq i\leq d. Our results are summarized as follows. Using ψ,K,B we obtain two actions of Uq(sl2) on V. For each of these Uq(sl2)-module structures, the Chevalley generator e acts as a scalar multiple of ψ. For each of the Uq(sl2)-module structures, we compute the action of the Casimir element on V. We show that these two actions agree. Using this fact, we express ψas a rational function of K^{\pm 1},B^{\pm 1} in several ways. Eliminating ψfrom these equations we find that K,B are related by a quadratic equation.

preprint2011arXiv

Two commuting operators associated with a tridiagonal pair

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 the following four conditions: (i) Each of A,A* is diagonalizable; (ii) there exists an ordering {V_i}_{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 {V*_i}_{i=0}^δ of the eigenspaces of A* such that AV*_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 W of V such that AW\subseteq W, A*W\subseteq W, W\neq0, W\neq V. We call such a pair a TD pair on V. It is known that d=δ; to avoid trivialities assume d\geq 1. We show that there exists a unique linear transformation Δ:V\to V such that (Δ-I)V*_i\subseteq V*_0+V*_1+...+V*_{i-1} and Δ(V_i+V_{i+1}+...+V_d)=V_0 +V_{1}+...+V_{d-i} for 0\leq i \leq d. We show that there exists a unique linear transformation Ψ:V\to V such that ΨV_i\subseteq V_{i-1}+V_i+V_{i+1} and (Ψ-Λ)V*_i\subseteq V*_0+V*_1+...+V*_{i-2} for 0\leq i\leq d, where Λ=(Δ-I)(θ_0-θ_d)^{-1} and θ_0 (resp θ_d) denotes the eigenvalue of A associated with V_0 (resp V_d). We characterize Δ,Ψin several ways. There are two well-known decompositions of V called the first and second split decomposition. We discuss how Δ,Ψact on these decompositions. We also show how Δ,Ψrelate to each other. Along this line we have two main results. Our first main result is that Δ,Ψcommute. In the literature on TD pairs there is a scalar βused to describe the eigenvalues. Our second main result is that each of Δ^{\pm 1} is a polynomial of degree d in Ψ, under a minor assumption on β.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Sarah Bockting-Conrad

Research overview

Is this your work?

6 publications

Finite-Dimensional Irreducible Modules of the Racah Algebra at Characteristic Zero

Sós Permutations

The Casimir elements of the Racah algebra

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

Tridiagonal pairs of $q$ -Racah type, the double lowering operator $ψ$ , and the quantum algebra $U_q(\mathfrak{sl}_2)$

Two commuting operators associated with a tridiagonal pair

See the researcher in context

Building this map preview

Sarah Bockting-Conrad

Research overview

Is this your work?

6 publications

Finite-Dimensional Irreducible Modules of the Racah Algebra at Characteristic Zero

Sós Permutations

The Casimir elements of the Racah algebra

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

Tridiagonal pairs of qqq-Racah type, the double lowering operator ψψψ, and the quantum algebra Uq(sl2)U_q(\mathfrak{sl}_2)Uq​(sl2​)

Two commuting operators associated with a tridiagonal pair

See the researcher in context

Building this map preview

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

Tridiagonal pairs of $q$ -Racah type, the double lowering operator $ψ$ , and the quantum algebra $U_q(\mathfrak{sl}_2)$