Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · q-alg/9712046

Web bases for sl(3) are not dual canonical

Mikhail Khovanov·Greg Kuperberg
View original source ↗Read source document ↗Export metadata ↓

Abstract

We compare two natural bases for the invariant space of a tensor product of irreducible representations of A_2, or sl(3). One basis is the web basis, defined from a skein theory called the combinatorial A_2 spider. The other basis is the dual canonical basis, the dual of the basis defined by Lusztig and Kashiwara. For sl(2) or A_1, the web bases have been discovered many times and were recently shown to be dual canonical by Frenkel and Khovanov. We prove that for sl(3), the two bases eventually diverge even though they agree in many small cases. The first disagreement comes in the invariant space Inv((V^+ tensor V^+ tensor V^- tensor V^-)^{tensor 3}), where V^+ and V^- are the two 3-dimensional representations of sl(3). If the tensor factors are listed in the indicated order, only 511 of the 512 invariant basis vectors coincide.

Explore related subjects

q-algmath.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mikhail Khovanov, Greg Kuperberg. 1998-09-28. Web bases for sl(3) are not dual canonical. https://arxiv.org/abs/q-alg/9712046

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

KEEP EXPLORING

Related papers

arXiv2019

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↗
arXiv2017

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↗
arXiv2017

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↗