Search arXivSearch

arXiv · 1907.01157

Some $q$-exponential formulas involving the double lowering operator $ψ$ for a tridiagonal pair

Abstract

Let $\mathbb{K}$ denote an algebraically closed field and let $V$ denote a vector space over $\mathbb{K}$ with finite positive dimension. Let $A,A^*$ denote a tridiagonal pair on $V$. We assume that $A,A^*$ belongs to a family of tridiagonal pairs said to have $q$-Racah type. 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 a double lowering operator $ψ:V\to V$ with the notable feature that both $ψU_i\subseteq U_{i-1}$ and $ψU_i^\Downarrow\subseteq U_{i-1}^\Downarrow$ for $0\leq i\leq d$, where $U_{-1}=0$ and $U_{-1}^\Downarrow=0$. In the same paper, we showed that there exists a unique linear transformation $Δ:V\to V$ such that $Δ(U_i)\subseteq U_i^{\Downarrow}$ and $(Δ-I)U_i\subseteq U_0+U_1+\cdots +U_{i-1}$ for $0\leq i \leq d$. In the present paper, we show that $Δ$ can be expressed as a product of two linear transformations; one is a $q$-exponential in $ψ$ and the other is a $q^{-1}$-exponential in $ψ$. We view $Δ$ as a transition matrix from the first split decomposition of $V$ to the second. Consequently, we view the $q^{-1}$-exponential in $ψ$ as a transition matrix from the first split decomposition to a decomposition of $V$ which we interpret as a kind of halfway point. This halfway point turns out to be the eigenspace decomposition of a certain linear transformation $\mathcal{M}$. We discuss the eigenspace decomposition of $\mathcal{M}$ and give the actions of various operators on this decomposition.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sarah Bockting-Conrad. 2019-08-06. Some $q$-exponential formulas involving the double lowering operator $ψ$ for a tridiagonal pair. https://arxiv.org/abs/1907.01157

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Menichetti's nonassociative $G$-crossed product algebras and Menichetti codes

We define the nonassociative Menichetti algebras which can be viewed as nonassociative crossed product algebras and then use them as ambient algebras for new linear error-correcting codes. More precisely, we take their left principal ideals to define linear codes which are in canonical one-to-one correspondence with these ideals, imitating the approach taken when defining right skew polycyclic codes as left principal ideals of Petit algebras. The approach is novel and will create large classes of new linear codes which are well behave because of their algebraic definition as ideals of an algebra. With the right choice of algebra the codes display symmetric and cyclic properties which promise efficient decoding algorithms.

math.RA

Galois Rings: Ring-Theoretic Properties and Applications to Coulomb Branches and Affine Hecke Algebras

Galois rings and Galois orders, introduced by Futorny and Ovsienko, are realized as subrings of fixed subrings of skew group (or monoid) rings and have numerous applications in the structure and representation theory of associative algebras. This paper consists of two parts. The first parte investigates ring-theoretic properties that follow from the Galois ring structure alone. In particular, we estabilish natural conditions under which Galois are Ore domains or (semi)prime Goldie rings. We also study several ring-theoretic dimensions and combine the theories of Galois rings and PI-algebras to obtain new structural results. In the second part, we apply these results, together with general techniques from ring theory, to affine Hecke algebras in the sense of Ginzburg, Kapranov, and Vasserot, as well as to spherical Coulomb branch algebras. In particular, we prove that these algebras are Jacobson semiprimitive, satisfy the Nullstellensatz, and determine several of their ring-theoretic dimensions. For affine Hecke algebras, we further prove that they satisfy the maximal Nullstellensatz, are integral over their centers, and determine their T-ideals of polynomial identities, PI-degree, and PI-exponents. For spherical Coulomb branch algebras, we compute the Krull dimension, estabilish that they satisfy the Gelfand-Kirillov conjecture, and prove that they are not PI-algebras

math.RA

Efficient Compression in Semigroups

Straight-line programs are a central tool in several areas of computer science, including data compression, algebraic complexity theory, and the algorithmic solution of algebraic equations. In the algebraic setting, where straight-line programs can be interpreted as circuits over algebraic structures such as semigroups or groups, they have led to deep insights in computational complexity. A key result by Babai and Szemerédi (1984) showed that finite groups afford efficient compression via straight-line programs, enabling the design of a black-box computation model for groups. Building on their result, Fleischer (2019) placed the Cayley table membership problem for certain classes (pseudovarieties) of finite semigroups in NPOLYLOGTIME, and in some cases even in FOLL. He also provided a complete classification of pseudovarieties of finite monoids affording efficient compression. In this work, we complete this classification program initiated by Fleischer, characterizing precisely those pseudovarieties of finite semigroups that afford efficient compression via straight-line programs. Along the way, we also improve several known bounds on the length and width of straight-line programs over semigroups, monoids, and groups. These results lead to new upper bounds for the membership problem in the Cayley table model: for all pseudovarieties that afford efficient compression and do not contain any nonsolvable group, we obtain FOLL algorithms. In particular, we resolve a conjecture of Barrington, Kadau, Lange, and McKenzie (2001), showing that the membership problem for all solvable groups is in FOLL.

math.RA