[Paper Review] An Algebraic Characterization of the Affine Canonical Basis

Jonathan Beck, Vyjayanthi Chari+1 more|ArXiv.org|Aug 13, 1998

Algebraic structures and combinatorial models7 references4 citations

TL;DR

This paper provides an algebraic characterization of the affine canonical basis for quantized universal enveloping algebras of affine Lie algebras, extending Lusztig's finite-type construction. By introducing basis elements for the 'imaginary' subalgebra and using a PBW-type basis over ℤ[q⁻¹], the authors establish a bar-invariant basis that reduces to a crystal basis at q = ∞, with the imaginary part realized via Schur functions.

ABSTRACT

The canonical basis for quantized universal enveloping algebras associated to the finite--dimensional simple Lie algebras, was introduced by Lusztig. The principal technique is the explicit construction (via the braid group action) of a lattice over $\bz[q^{-1}]$. This allows the algebraic characterization of the canonical basis as a certain bar-invariant basis of $\cl$. Here we present a similar algebraic characterization of the affine canonical basis. Our construction is complicated by the need to introduce basis elements to span the ``imaginary'' subalgebra which is fixed by the affine braid group. Once the basis is found we construct a PBW-type basis whose $\bz[q^{-1}]$-span reduces to a ``crystal'' basis at $q=\infty,$ with the imaginary component given by the Schur functions.

Motivation & Objective

• To extend Lusztig's algebraic characterization of the canonical basis from finite-dimensional to affine Lie algebras.
• To address the challenge of the affine braid group's fixed point subalgebra, which includes the 'imaginary' part not present in the finite case.
• To construct a basis over ℤ[q⁻¹] that is invariant under the bar involution, ensuring integrality and compatibility with crystal limits.
• To demonstrate that the basis reduces to a crystal basis at q = ∞, with the imaginary component described by Schur functions.
• To provide a systematic algebraic framework for the affine canonical basis analogous to the finite-type case.

Proposed method

• Construct a lattice over ℤ[q⁻¹] using the braid group action, adapted to the affine setting.
• Introduce additional basis elements to span the 'imaginary' subalgebra, which is fixed under the affine braid group action.
• Develop a PBW-type basis for the quantized universal enveloping algebra, with ordered generators reflecting root space decomposition.
• Apply the bar involution to the PBW basis and identify the unique bar-invariant basis as the canonical basis.
• Show that the image of the basis under specialization q → ∞ yields a crystal basis, with the imaginary part realized by Schur functions.
• Use the structure of the affine root system and the action of the affine Weyl group to control the construction.

Experimental results

Research questions

• RQ1 How can the canonical basis for affine quantum groups be algebraically characterized in analogy to Lusztig's finite-type construction?
• RQ2 What role do the 'imaginary' root spaces play in the construction of the affine canonical basis, and how can they be systematically incorporated?
• RQ3 Can a PBW-type basis over ℤ[q⁻¹] be constructed such that its specialization at q = ∞ yields a crystal basis?
• RQ4 How does the bar-invariance condition constrain the structure of the affine canonical basis?
• RQ5 In what way do Schur functions arise naturally in the description of the imaginary component of the affine canonical basis?

Key findings

• The affine canonical basis is uniquely characterized as the bar-invariant basis of the quantized universal enveloping algebra over ℤ[q⁻¹].
• The construction explicitly incorporates basis elements for the imaginary subalgebra, which are fixed by the affine braid group action.
• The PBW-type basis constructed over ℤ[q⁻¹] reduces to a crystal basis at q = ∞, with the imaginary part isomorphic to the ring of symmetric functions generated by Schur functions.
• The canonical basis is stable under the bar involution, ensuring integrality and compatibility with the crystal limit.
• The method generalizes Lusztig's finite-type approach to the affine setting by resolving the technical obstruction posed by the non-trivial fixed points of the braid group on the imaginary roots.
• The resulting basis provides a uniform algebraic framework for studying affine quantum groups and their representations via canonical bases.