The $q$-Onsager algebra and its alternating central extension

Abstract

The q-Onsager algebra O q has a presentation involving two generators W 0 , W 1 and two relations, called the q-Dolan/Grady relations. The alternating central extension O q has a presentation involving the alternating generatorsand a large number of relations. Let W 0 , W 1 denote the subalgebra of O q generated by W 0 , W 1 . It is known that there exists an algebra isomorphism O q → W 0 , W 1 that sends W 0 → W 0 and W 1 → W 1 . It is known that the center Z of O q is isomorphic to a polynomial algebra in countably many variables. It is known that the multiplication map W 0 , W 1 ⊗ Z → O q , w ⊗ z → wz is an isomorphism of algebras. We call this isomorphism the standard tensor product factorization of O q . In the study of O q there are two natural points of view: we can start with the alternating generators, or we can start with the standard tensor product factorization. It is not obvious how these two points of view are related. The goal of the paper is to describe this relationship. We give seven main results; the principal one is an attractive factorization of the generating function for some algebraically independent elements that generate Z.