SearcharxivSearch

arXiv · q-alg/9505015

Deformations of quadratic algebras and the corresponding quantum semigroups

Abstract

Let $V$ be a finite dimensional vector space. Given a decomposition $V\otimes V=\oplus_i^n I_i$, define $n$ quadratic algebras $(V, J_m)$ where $J_m=\oplus_{i\neq m} I_i$. This decomposition defines also the quantum semigroup $M(V;I_1,...,I_n)$ which acts on all these quadratic algebras. With the decomposition we associate a family of associative algebras $A_k=A_k(I_1,...I_n)$, $k\geq 2$. In the classical case, when $V\otimes V$ decomposes into the symmetric and skewsymmetric tensors, $A_k$ coincides with the group algebra of the symmetric group $S_k$. Let $I_{ih}$ be deformations of the subspaces $I_i$. In the paper we give a criteria for flatness of the corresponding deformations of the quadratic algebras $(V[[h]],J_{ih}$ and the quantum semigroup $M(V[[h]];I_{1h},...,I_{nh})$. It says that the deformations will be flat if the algebras $A_k(I_1,...,I_n)$ are semisimple and under the deformation their dimension does not change. Usually, the decomposition into $I_i$ is defined by a given Yang-Baxter operator $S$ on $V\otimes V$, for which $I_i$ are its eigensubspaces, and the deformations $I_{ih}$ are defined by a deformation $S_h$ of $S$. We consider the cases when $S_h$ is a deformation of Hecke or Birman-Wenzl symmetry, and also the case when $S_h$ is the Yang-Baxter operator which appears by a representation of the Drinfeld-Jimbo quantum group. Applying the flatness criteria we prove that in all these cases we obtain flat deformations of the quadratic algebras and the corresponding quantum semigroups.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

J. Donin, S. Shnider. 1995-05-16. Deformations of quadratic algebras and the corresponding quantum semigroups. https://arxiv.org/abs/q-alg/9505015

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

KEEP EXPLORING

Related papers

Idempotents of Hecke algebras of type A

We use a skein-theoretic version of the Hecke algebras of type A to present three-dimensional diagrammatic views of Gyoja's idempotent elements, based closely on the corresponding Young diagram. In this context we give straightforward calculations for the eigenvalues of two natural central elements in the Hecke algebras, namely the full curl and the sum of the Murphy operators. We discuss their calculation also in terms of the framing factor associated to the appropriate irreducible representation of the quantum group SU(N,q).

q-alg

Dual Affine Quantum Groups

Let $\hat{\mathfrak{g}}$ be an untwisted affine Kac-Moody algebra, with its Sklyanin-Drinfel'd structure of Lie bialgebra, and let $\hat{\mathfrak{h}}$ be the dual Lie bialgebra. By dualizing the quantum double construction - via formal Hopf algebras - we construct a new quantum group $U_q(\hat{\mathfrak{h}})$, dual of $U_q(\hat{\mathfrak{g}})$. Studying its restricted and unrestricted integer forms and their specializations at roots of 1 (in particular, their classical limits), we prove that $U_q(\hat{\mathfrak{h}})$ yields quantizations of $\hat{\mathfrak{h}}$ and $\hat{G}^\infty$ (the formal group attached to $\hat{\mathfrak{g}}$), and we construct new quantum Frobenius morphisms. The whole picture extends to the untwisted affine case the results known for quantum groups of finite type.

q-alg

A PBW basis for Lusztig's form of untwisted affine quantum groups

Let $ \mathfrak{g} $ be an untwisted affine Kac-Moody algebra over the field $ K \, $, and let $ U_q(\mathfrak{g}) $ be the associated quantum enveloping algebra; let $ \mathfrak{U}_q(g) $ be the Lusztig's integer form of $ U_q(\mathfrak{g}) \, $, generated by $ q $-divided powers of Chevalley generators over a suitable subring $ R $ of $ K(q) \, $. We prove a Poincaré-Birkhoff-Witt like theorem for $ \mathfrak{U}_q(\mathfrak{g}) \, $, yielding a basis over $ R $ made of ordered products of $ q $-divided powers of suitable quantum root vectors.

q-alg