Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...
Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...
Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
3. TWISTED POLYNOMIAL ALGEBRAS<br />
In this chapter we introduce the main notion <strong>of</strong> quasi polynomial algebras,<br />
or skew polynomial. Note that as the quantum enveloping algebras are the<br />
“quantum” version <strong>of</strong> the universal enveloping algebras <strong>of</strong> a Lie algebra, we<br />
can think that twisted polynomial algebras are the “quantum” version <strong>of</strong><br />
the symmetric algebra <strong>of</strong> a Lie algebra. More details on twisted polynomial<br />
algebras can be found, for examples, in [DCP93] or [Man91].<br />
3.1 Useful notation and first properties<br />
Before giving the definition <strong>of</strong> twisted polynomial algebra, we want to introduce<br />
some notations, all will be useful in the sequel.<br />
Let fix an invertible element q ∈ C <strong>di</strong>fferent from 1 and −1 so that the<br />
fraction 1<br />
q−q −1 is well defined. For all n ∈ Z, set<br />
[n] = qn − q −n<br />
q − q −1 = qn−1 + q n−3 + · · · + q −n+3 + q −n+1 .<br />
We have the following relation:<br />
[−n] = − [n]<br />
[n + m] = q n [m] + q m [n]<br />
Observe that if q is not a root <strong>of</strong> unity then ∀ n ∈ Z, non zero, [n] = 0. If q<br />
is a primitive lth root <strong>of</strong> unity, with l > 2, define<br />
<br />
l if l is odd<br />
e =<br />
.<br />
if l is even.<br />
Now is easy to check that<br />
Property. If q is a primitive l root <strong>of</strong> unity then<br />
(i) [n] = 0 ⇔ n ≡ 0 mod e<br />
(ii) [n] l = [n].<br />
l<br />
2<br />
We can now define the q analogue <strong>of</strong> the factorials and <strong>of</strong> the binomial<br />
coefficients