28.04.2014 Views

pdf file

pdf file

pdf file

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1. The invertible element<br />

Q := R 21 ◦ R 12 ∈ H ⊗ H<br />

is called the monodromy element. We write Q = Q (1) ⊗ Q (2) and note that<br />

for all h ∈ H.<br />

2. The linear map<br />

is called the Drinfeld map.<br />

Δ(h) ∙ Q = Q ∙ Δ(h)<br />

F R : H ∗ → H<br />

φ ↦→ (id H ⊗ φ)(R 21 ∙ R 12 ) = (id H ⊗ φ)Q<br />

3. A quasi-triangular Hopf algebra is called factorizable, if the Drinfeld map is an isomorphism<br />

of vector spaces.<br />

Remark 4.4.7.<br />

The word factorizable is justified as follows: let (b i ) i∈I be a basis of H and (b i ) i∈I the dual basis<br />

of H ∗ . If H is factorizable, then the vectors c i := F R (b i ) form another basis of H. We write<br />

Q = ∑ i,j<br />

λ i,j b i ⊗ c j<br />

with λ i,j ∈ K. We then have<br />

c k = F R (b k ) = ∑ i,j<br />

λ i,j b k (b i ) ⊗ c k = ∑ j∈I<br />

λ k,j c k<br />

and thus for the monodromy matrix<br />

Q = ∑ i∈I<br />

b i ⊗ c i ,<br />

which explains the word factorizable.<br />

We consider the following subspace of H ∗ :<br />

C(H) := {f ∈ H ∗ | f(xy) = f(yS 2 (x)) for all x, y ∈ H}<br />

We call this subspace the space of central forms or the space of class functions or the<br />

character algebra. We relate it to the center of H.<br />

Lemma 4.4.8.<br />

Let H be a finite-dimensional unimodular Hopf algebra with non-zero left cointegral λ ∈ H ∗ .<br />

Then by theorem 3.1.13 the map<br />

H → H ∗<br />

a ↦→ λ(a ∙ −) = (λ ↼ a)<br />

is a bijection. It restricts to a bijection Z(H) ∼ = C(H). In particular dim K Z(H) = dim K C(H).<br />

103

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

Saved successfully!

Ooh no, something went wrong!