pdf file
pdf file
pdf file
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
• The map<br />
is an isomorphism of K-vector spaces.<br />
K → End C (I)<br />
λ ↦→ λ id I<br />
2. More generally, an object V of an additive category C is called absolutely simple, if the<br />
map<br />
is an isomorphism of K-vector spaces.<br />
K → End C (V )<br />
λ ↦→ λ id V<br />
3. Let {V i } i∈I be a family of objects in a K-linear category C. An object V in this category<br />
is said to be dominated by the family {V i }, if the image of the map<br />
additively generates End C (V ).<br />
Hom C (V, V i ) ⊗ Hom C (V i , V ) → End C (V )<br />
(f, g) → g ◦ f<br />
Definition 5.6.2<br />
A modular category is pair (C, {V i } i∈I ) consisting of<br />
• an additive ribbon category C with ground field K<br />
• a finite family {V i } i∈I of simple objects<br />
such that<br />
(A1) There exists an index 0 ∈ I with V 0 = I.<br />
(A2) For any index i ∈ I there is an index i ∗ ∈ I such that V i ∗<br />
∼ = V<br />
∗<br />
i .<br />
(A3) The family {V i } dominates all objects of C.<br />
(A4) The |I| × |I|-matrix with entries<br />
S ij = Tr c Vj ,V i<br />
◦ c Vi ,V j<br />
∈ End (I) ∼ = K<br />
is invertible over K.<br />
Remarks 5.6.3.<br />
1. The symmetry of the trace implies that the matrix S is symmetric, S ij = S ji .<br />
2. The matrix element S ij equals the invariant of the Hopf link with the two components<br />
coloured by the objects V i and V j .<br />
Observation 5.6.4.<br />
149