23.07.2013 Views

Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...

Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...

Degree of Parabolic Quantum Groups - Dipartimento di Matematica ...

SHOW MORE
SHOW LESS

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],

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!