Some q-exponential formulas for finite-dimensional _q-modules

Abstract: We consider the algebra

s q u a r e_{q}

which is a mild generalization of the quantum algebra

U_{q} (f r a k {s l}_{2})

. The algebra

s q u a r e_{q}

is defined by generators and relations. The generators are

{x_{i}}_{i i n m a t h b b Z_{4}}

, where

m a t h b b Z_{4}

is the cyclic group of order

4

. For

i i n m a t h b b Z_{4}

the generators

x_{i}

,

x_{i + 1}

satisfy a

q

-Weyl relation, and

x_{i}

,

x_{i + 2}

satisfy a cubic

q

-Serre relation. For

i i n m a t h b b Z_{4}

we show that the action of

x_{i}

is invertible on each nonzero finite-dimensional

s q u a r e_{q}

-module. We view

x_{i}^{- 1}

as an operator that acts on nonzero finite-dimensional

s q u a r e_{q}

-modules. For

i i n m a t h b b Z_{4}

, define

m a t h f r a k n_{i, i + 1} = q (1 - x_{i} x_{i + 1}) / (q - q^{- 1})

. We show that the action of

m a t h f r a k n_{i, i + 1}

is nilpotent on each nonzero finite-dimensional

s q u a r e_{q}

-module. We view the

q

-exponential

{m e x p}_{q} (m a t h f r a k n_{i, i + 1})

as an operator that acts on nonzero finite-dimensional

s q u a r e_{q}

-modules. In our main results, for

i, j i n m a t h b b Z_{4}

we express each of of

{m e x p}_{q} (m a t h f r a k n_{i, i + 1}) x_{j} {m e x p}_{q} (m a t h f r a k n_{i, i + 1})^{- 1}

and

{m e x p}_{q} (m a t h f r a k n_{i, i + 1})^{- 1} x_{j} {m e x p}_{q} (m a t h f r a k n_{i, i + 1})

as a polynomial in

{x_{k}^{p m 1}}_{k i n m a t h b b Z_{4}}

.

Recommendations

Cites work

Cited in

(4)

Describes a project that uses

Uses Software

This page was built for publication: Some \(q\)-exponential formulas for finite-dimensional \(\square_q\)-modules