Search arXivSearch

arXiv · 2409.19815

The $S_3$-symmetric $q$-Onsager algebra and its Lusztig automorphisms

Abstract

The $q$-Onsager algebra $O_q$ is defined by two generators and two relations, called the $q$-Dolan/Grady relations. In 2019, Baseilhac and Kolb introduced two automorphisms of $O_q$, now called the Lusztig automorphisms. Recently, we introduced a generalization of $O_q$ called the $S_3$-symmetric $q$-Onsager algebra $\mathbb O_q$. The algebra $\mathbb O_q$ has six distinguished generators, said to be standard. The standard $\mathbb O_q$-generators can be identified with the vertices of a regular hexagon, such that nonadjacent generators commute and adjacent generators satisfy the $q$-Dolan/Grady relations. In the present paper we do the following: (i) for each standard $\mathbb O_q$-generator we construct an automorphism of $\mathbb O_q$ called a Lusztig automorphism; (ii) we describe how the six Lusztig automorphisms of $\mathbb O_q$ are related to each other; (iii) we describe what happens if a finite-dimensional irreducible $\mathbb O_q$-module is twisted by a Lusztig automorphism; (iv) we give a detailed example involving an irreducible $\mathbb O_q$-module with dimension 5.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Paul Terwilliger. 2024-09-29. The $S_3$-symmetric $q$-Onsager algebra and its Lusztig automorphisms. https://arxiv.org/abs/2409.19815

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

KEEP EXPLORING

Related papers

Categorification of quasi-split iquantum groups

We introduce a new family of graded 2-categories generalizing the 2-quantum groups introduced by Khovanov, Lauda and Rouquier. We use them to categorify quasi-split iquantum groups in all symmetric types.

math.QA

The Ring of Differential Operators on a Nodal Curve is not a Bialgebroid

In a previous article, we showed that local projectivity is a sufficient condition for the existence of a bialgebroid structure on the ring of differential operators on an affine variety. In this note, we show using elementary methods that the ring of differential operators on a nodal curve is neither locally projective nor does it admit a bialgebroid structure.

math.QA

Coset representatives corresponding to Yetter-Drinfeld modules of modular group and continued fraction

We give complete conjugacy classes of modular group SL(2,Z). Particularly, the conjugacy classes of hyperbolic elements are decided by the proper equivalence classes of indefinite forms, and we give an example. Finally, we describe the coset representatives of centralizer of S, ST, T and hyperbolic elements of SL(2,Z) by regular continued fraction. In conclusion, most Nichols algebras over modular group are infinite-dimensional except Proposition 4.10.

math.QA