[Paper Review] On the Notion of a Ribbon Quasi-Hopf Algebra

Yorck Sommerhaeuser|arXiv (Cornell University)|Oct 9, 2009

Algebraic structures and combinatorial modelsMathematics3 references21 citations

TL;DR

This paper establishes the equivalence of two competing definitions of a ribbon quasi-Hopf algebra without assuming invertibility of the evaluation element, resolving a long-standing question in tensor category theory. By reinterpreting the R-matrix as a twist that relates the coproduct to its opposite, the authors derive a new conceptual framework for the Drinfel'd element, proving its fundamental properties and showing that the antipode maps the Drinfel'd element of the coopposite algebra to its inverse.

ABSTRACT

We show that two competing definitions of a ribbon quasi-Hopf algebra are actually equivalent. Along the way, we look at the Drinfel'd element from a new perspective and use this viewpoint to derive its fundamental properties.

Motivation & Objective

• To resolve the open question of whether the invertibility of the evaluation element is necessary for equivalence between two definitions of ribbon quasi-Hopf algebras.
• To show that the definition of Altschüler and Coste is equivalent to that of Bulacu, Panaite, and van Oystaeyen even without assuming invertibility of the evaluation element.
• To provide a new conceptual framework for understanding the Drinfel'd element via the R-matrix as a twist between coproduct and coopposite coproduct.
• To derive the fundamental properties of the Drinfel'd element in a concise, conceptual manner using this twist perspective.

Proposed method

• Reinterprets the R-matrix as a twist that transforms the coproduct into the coopposite coproduct, linking the original and coopposite algebras.
• Uses this twist perspective to define the Drinfel'd element as the connector between the antipode and its inverse on the coopposite algebra.
• Applies known results on twisting in quasi-Hopf algebras to relate the Drinfel'd element of the original algebra to that of the twisted coopposite algebra.
• Utilizes the antipode's behavior under twisting and duality to derive identities involving the Drinfel'd element.
• Employs the compatibility of the antipode with the R-matrix to prove that the antipode maps the Drinfel'd element of the coopposite algebra to its inverse.
• Leverages the isomorphism between the coopposite algebra and a twist of the original algebra to transfer properties and simplify proofs.

Experimental results

Research questions

• RQ1 Is the assumption of evaluation element invertibility necessary for the equivalence between the Altschüler–Coste and Bulacu–Panaite–van Oystaeyen definitions of a ribbon quasi-Hopf algebra?
• RQ2 Can the fundamental properties of the Drinfel'd element be derived in a conceptual, unified way without relying on case-by-case verification?
• RQ3 How does the Drinfel'd element transform under the antipode in the coopposite algebra, and what is its relation to the original Drinfel'd element?
• RQ4 What is the precise role of the R-matrix as a twist between the coproduct and its opposite in the context of quasi-Hopf algebras?
• RQ5 Can the antipode be used to relate the Drinfel'd elements of the original and coopposite algebras in a way that reveals deeper structural symmetries?

Key findings

• The two definitions of a ribbon quasi-Hopf algebra—by Altschüler and Coste, and by Bulacu, Panaite, and van Oystaeyen—are equivalent even without assuming invertibility of the evaluation element.
• The Drinfel'd element satisfies the identity $ u = S(\tilde{u}) $, where $ \tilde{u} $ is the Drinfel'd element of the coopposite algebra $ A^{\mathrm{op}\mathrm{cop}} $, proving a key symmetry property.
• The fundamental properties of the Drinfel'd element are derived in a short, conceptual way by viewing the R-matrix as a twist connecting the coproduct and its opposite.
• The antipode maps the Drinfel'd element of the coopposite algebra to the inverse of the original Drinfel'd element, i.e., $ S(\tilde{u}) = u^{-1} $, which is shown via isomorphism to a twisted algebra.
• The proof technique using the twist perspective provides a unified and simplified derivation of the Drinfel'd element's properties, independent of the invertibility assumption.
• The result confirms that the axiom omitted in the Bulacu–Panaite–van Oystaeyen definition is indeed redundant even without invertibility, validating their definition in full generality.