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 25<br />
3.2 Definition<br />
Let A be an algebra over an algebraic closed field k, and σ an automorphism<br />
<strong>of</strong> A.<br />
Definition 3.2.1. A twisted derivation <strong>of</strong> A relative to σ is a linear map<br />
D : A → A such that:<br />
∀ a, b ∈ A.<br />
D(ab) = D(a)b + σ(a)D(b)<br />
Definition 3.2.2. A twisted derivation D is called inner, if it exists in an<br />
element a ∈ A such that:<br />
and we denote it adσa.<br />
D(b) = ab − σ(b)a<br />
Property. Let a ∈ A and σ be an automorphism such that σ(a) = q 2 a where<br />
q is a scalar. Then<br />
(adσa) m (b) =<br />
m<br />
(−1) j q j(m−1)<br />
j=0<br />
m<br />
j<br />
<br />
a m−j σ j (b)a j<br />
Corollary 3.2.3. Under the hypothesis <strong>of</strong> Property 3.2 we have:<br />
if q is a primitive l-th root <strong>of</strong> 1.<br />
σ<br />
(adσa) e (x) = a e x − σ e (x)a e<br />
Fix an automorphism σ <strong>of</strong> A and a twisted derivation D <strong>of</strong> A relative to<br />
Definition 3.2.4. We define the twisted derivation algebra A σ,D [x] in the<br />
indeterminate x to be the k-module A⊗kk[x] thought as formal polynomials<br />
with multiplications defined by the rule:<br />
xa = σ(a)x + D(a).<br />
When D = 0, we will call it twisted polynomial algebra and we denote it by<br />
Aσ[x].<br />
Let us notice that if a, b ∈ A and a is invertible we can perform the<br />
change <strong>of</strong> variables<br />
y := ax + b<br />
and we see that<br />
Aσ,D[x] = Aσ ′ ,D ′[x],