a brief introduction to quantum groups pavel etingof mit · 2020. 5. 6. · a brief introduction to...
TRANSCRIPT
![Page 1: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/1.jpg)
A brief introduction to quantum groups
Pavel Etingof
MIT
May 5, 2020
1
![Page 2: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/2.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics.
Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theoryenumerative geometryquantum computationalgebraic combinatoricsconformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
2
![Page 3: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/3.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theoryenumerative geometryquantum computationalgebraic combinatoricsconformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
3
![Page 4: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/4.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theory
the Langlands programlow-dimensional topologycategory theoryenumerative geometryquantum computationalgebraic combinatoricsconformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
4
![Page 5: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/5.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands program
low-dimensional topologycategory theoryenumerative geometryquantum computationalgebraic combinatoricsconformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
5
![Page 6: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/6.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topology
category theoryenumerative geometryquantum computationalgebraic combinatoricsconformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
6
![Page 7: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/7.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theory
enumerative geometryquantum computationalgebraic combinatoricsconformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
7
![Page 8: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/8.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theoryenumerative geometry
quantum computationalgebraic combinatoricsconformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
8
![Page 9: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/9.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theoryenumerative geometryquantum computation
algebraic combinatoricsconformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
9
![Page 10: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/10.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theoryenumerative geometryquantum computationalgebraic combinatorics
conformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
10
![Page 11: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/11.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theoryenumerative geometryquantum computationalgebraic combinatoricsconformal field theory
integrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
11
![Page 12: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/12.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theoryenumerative geometryquantum computationalgebraic combinatoricsconformal field theoryintegrable systems
integrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications.
12
![Page 13: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/13.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theoryenumerative geometryquantum computationalgebraic combinatoricsconformal field theoryintegrable systemsintegrable probability
The goal of this talk is to review some of the main ideas andexamples of quantum groups and briefly describe some of theapplications.
13
![Page 14: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/14.jpg)
Introduction
The theory of quantum groups developed in mid 1980s(Faddeev’s school, Drinfeld, Jimbo) from attempts to constructand understand solutions of the quantum Yang-Baxter equationarising in quantum field theory and statistical mechanics. Sincethen, it’s grown into a vast subject with deep links to many areas:
representation theorythe Langlands programlow-dimensional topologycategory theoryenumerative geometryquantum computationalgebraic combinatoricsconformal field theoryintegrable systemsintegrable probabilityThe goal of this talk is to review some of the main ideas and
examples of quantum groups and briefly describe some of theapplications. 14
![Page 15: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/15.jpg)
Hopf algebras
Classical physics:
X – a space of states;A = O(X ) – the algebra of observables, i.e., (say, complex)functions on X (a commutative, associative algebra).Example: X = R2. Then the coordinate x and momentum pare examples of observables (elements of A).
Quantum physics:A is deformed to a non-commutative (but still associative)algebra A~ with quantization parameter ~, e.g., theHeisenberg uncertainty relation [p, x ] = −i~.
15
![Page 16: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/16.jpg)
Hopf algebras
Classical physics:X – a space of states;
A = O(X ) – the algebra of observables, i.e., (say, complex)functions on X (a commutative, associative algebra).Example: X = R2. Then the coordinate x and momentum pare examples of observables (elements of A).
Quantum physics:A is deformed to a non-commutative (but still associative)algebra A~ with quantization parameter ~, e.g., theHeisenberg uncertainty relation [p, x ] = −i~.
16
![Page 17: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/17.jpg)
Hopf algebras
Classical physics:X – a space of states;A = O(X ) – the algebra of observables, i.e., (say, complex)functions on X (a commutative, associative algebra).
Example: X = R2. Then the coordinate x and momentum pare examples of observables (elements of A).
Quantum physics:A is deformed to a non-commutative (but still associative)algebra A~ with quantization parameter ~, e.g., theHeisenberg uncertainty relation [p, x ] = −i~.
17
![Page 18: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/18.jpg)
Hopf algebras
Classical physics:X – a space of states;A = O(X ) – the algebra of observables, i.e., (say, complex)functions on X (a commutative, associative algebra).Example: X = R2. Then the coordinate x and momentum pare examples of observables (elements of A).
Quantum physics:A is deformed to a non-commutative (but still associative)algebra A~ with quantization parameter ~, e.g., theHeisenberg uncertainty relation [p, x ] = −i~.
18
![Page 19: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/19.jpg)
Hopf algebras
Classical physics:X – a space of states;A = O(X ) – the algebra of observables, i.e., (say, complex)functions on X (a commutative, associative algebra).Example: X = R2. Then the coordinate x and momentum pare examples of observables (elements of A).
Quantum physics:
A is deformed to a non-commutative (but still associative)algebra A~ with quantization parameter ~, e.g., theHeisenberg uncertainty relation [p, x ] = −i~.
19
![Page 20: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/20.jpg)
Hopf algebras
Classical physics:X – a space of states;A = O(X ) – the algebra of observables, i.e., (say, complex)functions on X (a commutative, associative algebra).Example: X = R2. Then the coordinate x and momentum pare examples of observables (elements of A).
Quantum physics:A is deformed to a non-commutative (but still associative)algebra A~ with quantization parameter ~,
e.g., theHeisenberg uncertainty relation [p, x ] = −i~.
20
![Page 21: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/21.jpg)
Hopf algebras
Classical physics:X – a space of states;A = O(X ) – the algebra of observables, i.e., (say, complex)functions on X (a commutative, associative algebra).Example: X = R2. Then the coordinate x and momentum pare examples of observables (elements of A).
Quantum physics:A is deformed to a non-commutative (but still associative)algebra A~ with quantization parameter ~, e.g., theHeisenberg uncertainty relation [p, x ] = −i~.
21
![Page 22: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/22.jpg)
Hopf algebras, ctd.
What if X = G is a group?
A group is equipped with an associative product, which has aunit and all elements are invertible:
m : G × G → G , m(x , y) = xy , x(yz) = (xy)z ,
∃ e : ∀g ∈ G : eg = ge = g ,
∀ g ∃ g−1 : gg−1 = g−1g = e.
Thus the algebra A = O(G ) of functions on a (say, finite)group has a natural structure of a coalgebra. Namely, decomposingO(G × G ) as O(G )⊗O(G ), one gets comultiplication, orcoproduct on A from the multiplication m in G :
∆ : A→ A⊗ A : (∆f )(x , y) = f (xy) = f(1)(x)⊗ f(2)(y).
Here we used Sweedler’s notation for the coproduct ∆f = f(1)⊗ f(2)where summation is implied, i.e., f(1) ⊗ f(2) is really
∑i f
i(1) ⊗ f i(2).
22
![Page 23: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/23.jpg)
Hopf algebras, ctd.
What if X = G is a group?A group is equipped with an associative product, which has a
unit and all elements are invertible:
m : G × G → G , m(x , y) = xy , x(yz) = (xy)z ,
∃ e : ∀g ∈ G : eg = ge = g ,
∀ g ∃ g−1 : gg−1 = g−1g = e.
Thus the algebra A = O(G ) of functions on a (say, finite)group has a natural structure of a coalgebra. Namely, decomposingO(G × G ) as O(G )⊗O(G ), one gets comultiplication, orcoproduct on A from the multiplication m in G :
∆ : A→ A⊗ A : (∆f )(x , y) = f (xy) = f(1)(x)⊗ f(2)(y).
Here we used Sweedler’s notation for the coproduct ∆f = f(1)⊗ f(2)where summation is implied, i.e., f(1) ⊗ f(2) is really
∑i f
i(1) ⊗ f i(2).
23
![Page 24: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/24.jpg)
Hopf algebras, ctd.
What if X = G is a group?A group is equipped with an associative product, which has a
unit and all elements are invertible:
m : G × G → G , m(x , y) = xy , x(yz) = (xy)z ,
∃ e : ∀g ∈ G : eg = ge = g ,
∀ g ∃ g−1 : gg−1 = g−1g = e.
Thus the algebra A = O(G ) of functions on a (say, finite)group has a natural structure of a coalgebra. Namely, decomposingO(G × G ) as O(G )⊗O(G ), one gets comultiplication, orcoproduct on A from the multiplication m in G :
∆ : A→ A⊗ A : (∆f )(x , y) = f (xy) = f(1)(x)⊗ f(2)(y).
Here we used Sweedler’s notation for the coproduct ∆f = f(1)⊗ f(2)where summation is implied, i.e., f(1) ⊗ f(2) is really
∑i f
i(1) ⊗ f i(2).
24
![Page 25: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/25.jpg)
Hopf algebras, ctd.
What if X = G is a group?A group is equipped with an associative product, which has a
unit and all elements are invertible:
m : G × G → G , m(x , y) = xy , x(yz) = (xy)z ,
∃ e : ∀g ∈ G : eg = ge = g ,
∀ g ∃ g−1 : gg−1 = g−1g = e.
Thus the algebra A = O(G ) of functions on a (say, finite)group has a natural structure of a coalgebra.
Namely, decomposingO(G × G ) as O(G )⊗O(G ), one gets comultiplication, orcoproduct on A from the multiplication m in G :
∆ : A→ A⊗ A : (∆f )(x , y) = f (xy) = f(1)(x)⊗ f(2)(y).
Here we used Sweedler’s notation for the coproduct ∆f = f(1)⊗ f(2)where summation is implied, i.e., f(1) ⊗ f(2) is really
∑i f
i(1) ⊗ f i(2).
25
![Page 26: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/26.jpg)
Hopf algebras, ctd.
What if X = G is a group?A group is equipped with an associative product, which has a
unit and all elements are invertible:
m : G × G → G , m(x , y) = xy , x(yz) = (xy)z ,
∃ e : ∀g ∈ G : eg = ge = g ,
∀ g ∃ g−1 : gg−1 = g−1g = e.
Thus the algebra A = O(G ) of functions on a (say, finite)group has a natural structure of a coalgebra. Namely, decomposingO(G × G ) as O(G )⊗O(G ), one gets comultiplication, orcoproduct on A from the multiplication m in G :
∆ : A→ A⊗ A : (∆f )(x , y) = f (xy) = f(1)(x)⊗ f(2)(y).
Here we used Sweedler’s notation for the coproduct ∆f = f(1)⊗ f(2)where summation is implied, i.e., f(1) ⊗ f(2) is really
∑i f
i(1) ⊗ f i(2).
26
![Page 27: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/27.jpg)
Hopf algebras, ctd.
What if X = G is a group?A group is equipped with an associative product, which has a
unit and all elements are invertible:
m : G × G → G , m(x , y) = xy , x(yz) = (xy)z ,
∃ e : ∀g ∈ G : eg = ge = g ,
∀ g ∃ g−1 : gg−1 = g−1g = e.
Thus the algebra A = O(G ) of functions on a (say, finite)group has a natural structure of a coalgebra. Namely, decomposingO(G × G ) as O(G )⊗O(G ), one gets comultiplication, orcoproduct on A from the multiplication m in G :
∆ : A→ A⊗ A : (∆f )(x , y) = f (xy) = f(1)(x)⊗ f(2)(y).
Here we used Sweedler’s notation for the coproduct ∆f = f(1)⊗ f(2)where summation is implied, i.e., f(1) ⊗ f(2) is really
∑i f
i(1) ⊗ f i(2).
27
![Page 28: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/28.jpg)
Hopf algebras, ctd.
What if X = G is a group?A group is equipped with an associative product, which has a
unit and all elements are invertible:
m : G × G → G , m(x , y) = xy , x(yz) = (xy)z ,
∃ e : ∀g ∈ G : eg = ge = g ,
∀ g ∃ g−1 : gg−1 = g−1g = e.
Thus the algebra A = O(G ) of functions on a (say, finite)group has a natural structure of a coalgebra. Namely, decomposingO(G × G ) as O(G )⊗O(G ), one gets comultiplication, orcoproduct on A from the multiplication m in G :
∆ : A→ A⊗ A : (∆f )(x , y) = f (xy) = f(1)(x)⊗ f(2)(y).
Here we used Sweedler’s notation for the coproduct ∆f = f(1)⊗ f(2)where summation is implied, i.e., f(1) ⊗ f(2) is really
∑i f
i(1) ⊗ f i(2).
28
![Page 29: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/29.jpg)
Hopf algebras ctd.
It is clear that• ∆ is an algebra homomorphism.
The algebra A also has a natural counit and antipode obtainedfrom the unit and inversion in G :
ε : A→ C : ε(f ) = f (e),
S : A→ A : S(f )(x) = f (x−1).
The following properties could be easily checked:
∆ is coassociative, i.e., (id⊗∆) ◦∆ = (∆⊗ id) ◦∆;(ε⊗ id) ◦∆ = (id⊗ ε) ◦∆ = id;µ ◦ (S ⊗ id) ◦∆(x) = µ ◦ (id⊗ S) ◦∆(x) = ε(x),where µ : A⊗ A→ A is the multiplication.
Definition
A quantum group or Hopf algebra is a unital associative algebra A(not necessary commutative) which is equipped with ∆, ε,S andhas the properties listed above.
29
![Page 30: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/30.jpg)
Hopf algebras ctd.
It is clear that• ∆ is an algebra homomorphism.The algebra A also has a natural counit and antipode obtained
from the unit and inversion in G :
ε : A→ C : ε(f ) = f (e),
S : A→ A : S(f )(x) = f (x−1).
The following properties could be easily checked:
∆ is coassociative, i.e., (id⊗∆) ◦∆ = (∆⊗ id) ◦∆;(ε⊗ id) ◦∆ = (id⊗ ε) ◦∆ = id;µ ◦ (S ⊗ id) ◦∆(x) = µ ◦ (id⊗ S) ◦∆(x) = ε(x),where µ : A⊗ A→ A is the multiplication.
Definition
A quantum group or Hopf algebra is a unital associative algebra A(not necessary commutative) which is equipped with ∆, ε,S andhas the properties listed above.
30
![Page 31: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/31.jpg)
Hopf algebras ctd.
It is clear that• ∆ is an algebra homomorphism.The algebra A also has a natural counit and antipode obtained
from the unit and inversion in G :
ε : A→ C : ε(f ) = f (e),
S : A→ A : S(f )(x) = f (x−1).
The following properties could be easily checked:
∆ is coassociative, i.e., (id⊗∆) ◦∆ = (∆⊗ id) ◦∆;(ε⊗ id) ◦∆ = (id⊗ ε) ◦∆ = id;µ ◦ (S ⊗ id) ◦∆(x) = µ ◦ (id⊗ S) ◦∆(x) = ε(x),where µ : A⊗ A→ A is the multiplication.
Definition
A quantum group or Hopf algebra is a unital associative algebra A(not necessary commutative) which is equipped with ∆, ε,S andhas the properties listed above.
31
![Page 32: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/32.jpg)
Hopf algebras ctd.
It is clear that• ∆ is an algebra homomorphism.The algebra A also has a natural counit and antipode obtained
from the unit and inversion in G :
ε : A→ C : ε(f ) = f (e),
S : A→ A : S(f )(x) = f (x−1).
The following properties could be easily checked:
∆ is coassociative, i.e., (id⊗∆) ◦∆ = (∆⊗ id) ◦∆;
(ε⊗ id) ◦∆ = (id⊗ ε) ◦∆ = id;µ ◦ (S ⊗ id) ◦∆(x) = µ ◦ (id⊗ S) ◦∆(x) = ε(x),where µ : A⊗ A→ A is the multiplication.
Definition
A quantum group or Hopf algebra is a unital associative algebra A(not necessary commutative) which is equipped with ∆, ε,S andhas the properties listed above.
32
![Page 33: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/33.jpg)
Hopf algebras ctd.
It is clear that• ∆ is an algebra homomorphism.The algebra A also has a natural counit and antipode obtained
from the unit and inversion in G :
ε : A→ C : ε(f ) = f (e),
S : A→ A : S(f )(x) = f (x−1).
The following properties could be easily checked:
∆ is coassociative, i.e., (id⊗∆) ◦∆ = (∆⊗ id) ◦∆;(ε⊗ id) ◦∆ = (id⊗ ε) ◦∆ = id;
µ ◦ (S ⊗ id) ◦∆(x) = µ ◦ (id⊗ S) ◦∆(x) = ε(x),where µ : A⊗ A→ A is the multiplication.
Definition
A quantum group or Hopf algebra is a unital associative algebra A(not necessary commutative) which is equipped with ∆, ε,S andhas the properties listed above.
33
![Page 34: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/34.jpg)
Hopf algebras ctd.
It is clear that• ∆ is an algebra homomorphism.The algebra A also has a natural counit and antipode obtained
from the unit and inversion in G :
ε : A→ C : ε(f ) = f (e),
S : A→ A : S(f )(x) = f (x−1).
The following properties could be easily checked:
∆ is coassociative, i.e., (id⊗∆) ◦∆ = (∆⊗ id) ◦∆;(ε⊗ id) ◦∆ = (id⊗ ε) ◦∆ = id;µ ◦ (S ⊗ id) ◦∆(x) = µ ◦ (id⊗ S) ◦∆(x) = ε(x),
where µ : A⊗ A→ A is the multiplication.
Definition
A quantum group or Hopf algebra is a unital associative algebra A(not necessary commutative) which is equipped with ∆, ε,S andhas the properties listed above.
34
![Page 35: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/35.jpg)
Hopf algebras ctd.
It is clear that• ∆ is an algebra homomorphism.The algebra A also has a natural counit and antipode obtained
from the unit and inversion in G :
ε : A→ C : ε(f ) = f (e),
S : A→ A : S(f )(x) = f (x−1).
The following properties could be easily checked:
∆ is coassociative, i.e., (id⊗∆) ◦∆ = (∆⊗ id) ◦∆;(ε⊗ id) ◦∆ = (id⊗ ε) ◦∆ = id;µ ◦ (S ⊗ id) ◦∆(x) = µ ◦ (id⊗ S) ◦∆(x) = ε(x),where µ : A⊗ A→ A is the multiplication.
Definition
A quantum group or Hopf algebra is a unital associative algebra A(not necessary commutative) which is equipped with ∆, ε,S andhas the properties listed above.
35
![Page 36: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/36.jpg)
Hopf algebras ctd.
It is clear that• ∆ is an algebra homomorphism.The algebra A also has a natural counit and antipode obtained
from the unit and inversion in G :
ε : A→ C : ε(f ) = f (e),
S : A→ A : S(f )(x) = f (x−1).
The following properties could be easily checked:
∆ is coassociative, i.e., (id⊗∆) ◦∆ = (∆⊗ id) ◦∆;(ε⊗ id) ◦∆ = (id⊗ ε) ◦∆ = id;µ ◦ (S ⊗ id) ◦∆(x) = µ ◦ (id⊗ S) ◦∆(x) = ε(x),where µ : A⊗ A→ A is the multiplication.
Definition
A quantum group or Hopf algebra is a unital associative algebra A(not necessary commutative) which is equipped with ∆, ε,S andhas the properties listed above.
36
![Page 37: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/37.jpg)
Hopf algebras ctd.
Note that this definition makes sense over any field and evenover a commutative ring.
Usually it is also assumed that S isinvertible (we will do so below); this does not follow from theabove axioms. We will also use the notation ∆op = P ◦∆ where Pis the permutation: P(u ⊗ v) = v ⊗ u. Finally, note that we canview the unit of A as a linear map ι : C→ A.
Proposition
1. If A is a finite dimensional Hopf algebra then A∗ is also, withthe operations of A∗ being dual to the operations of A.2. ε is an algebra homomorphism.3. S is an algebra and coalgebra antihomomorphism, i.e.,S(xy) = S(y)S(x) and ∆(S(x)) = (S ⊗ S)(∆op(x)).4. ε and S are uniquely determined by ∆.5. If A is commutative or cocommutative (i.e., ∆ = ∆op) thenS2 = id (even without the assumption that S is invertible).
37
![Page 38: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/38.jpg)
Hopf algebras ctd.
Note that this definition makes sense over any field and evenover a commutative ring. Usually it is also assumed that S isinvertible (we will do so below); this does not follow from theabove axioms.
We will also use the notation ∆op = P ◦∆ where Pis the permutation: P(u ⊗ v) = v ⊗ u. Finally, note that we canview the unit of A as a linear map ι : C→ A.
Proposition
1. If A is a finite dimensional Hopf algebra then A∗ is also, withthe operations of A∗ being dual to the operations of A.2. ε is an algebra homomorphism.3. S is an algebra and coalgebra antihomomorphism, i.e.,S(xy) = S(y)S(x) and ∆(S(x)) = (S ⊗ S)(∆op(x)).4. ε and S are uniquely determined by ∆.5. If A is commutative or cocommutative (i.e., ∆ = ∆op) thenS2 = id (even without the assumption that S is invertible).
38
![Page 39: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/39.jpg)
Hopf algebras ctd.
Note that this definition makes sense over any field and evenover a commutative ring. Usually it is also assumed that S isinvertible (we will do so below); this does not follow from theabove axioms. We will also use the notation ∆op = P ◦∆ where Pis the permutation: P(u ⊗ v) = v ⊗ u.
Finally, note that we canview the unit of A as a linear map ι : C→ A.
Proposition
1. If A is a finite dimensional Hopf algebra then A∗ is also, withthe operations of A∗ being dual to the operations of A.2. ε is an algebra homomorphism.3. S is an algebra and coalgebra antihomomorphism, i.e.,S(xy) = S(y)S(x) and ∆(S(x)) = (S ⊗ S)(∆op(x)).4. ε and S are uniquely determined by ∆.5. If A is commutative or cocommutative (i.e., ∆ = ∆op) thenS2 = id (even without the assumption that S is invertible).
39
![Page 40: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/40.jpg)
Hopf algebras ctd.
Note that this definition makes sense over any field and evenover a commutative ring. Usually it is also assumed that S isinvertible (we will do so below); this does not follow from theabove axioms. We will also use the notation ∆op = P ◦∆ where Pis the permutation: P(u ⊗ v) = v ⊗ u. Finally, note that we canview the unit of A as a linear map ι : C→ A.
Proposition
1. If A is a finite dimensional Hopf algebra then A∗ is also, withthe operations of A∗ being dual to the operations of A.2. ε is an algebra homomorphism.3. S is an algebra and coalgebra antihomomorphism, i.e.,S(xy) = S(y)S(x) and ∆(S(x)) = (S ⊗ S)(∆op(x)).4. ε and S are uniquely determined by ∆.5. If A is commutative or cocommutative (i.e., ∆ = ∆op) thenS2 = id (even without the assumption that S is invertible).
40
![Page 41: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/41.jpg)
Hopf algebras ctd.
Note that this definition makes sense over any field and evenover a commutative ring. Usually it is also assumed that S isinvertible (we will do so below); this does not follow from theabove axioms. We will also use the notation ∆op = P ◦∆ where Pis the permutation: P(u ⊗ v) = v ⊗ u. Finally, note that we canview the unit of A as a linear map ι : C→ A.
Proposition
1. If A is a finite dimensional Hopf algebra then A∗ is also, withthe operations of A∗ being dual to the operations of A.
2. ε is an algebra homomorphism.3. S is an algebra and coalgebra antihomomorphism, i.e.,S(xy) = S(y)S(x) and ∆(S(x)) = (S ⊗ S)(∆op(x)).4. ε and S are uniquely determined by ∆.5. If A is commutative or cocommutative (i.e., ∆ = ∆op) thenS2 = id (even without the assumption that S is invertible).
41
![Page 42: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/42.jpg)
Hopf algebras ctd.
Note that this definition makes sense over any field and evenover a commutative ring. Usually it is also assumed that S isinvertible (we will do so below); this does not follow from theabove axioms. We will also use the notation ∆op = P ◦∆ where Pis the permutation: P(u ⊗ v) = v ⊗ u. Finally, note that we canview the unit of A as a linear map ι : C→ A.
Proposition
1. If A is a finite dimensional Hopf algebra then A∗ is also, withthe operations of A∗ being dual to the operations of A.2. ε is an algebra homomorphism.
3. S is an algebra and coalgebra antihomomorphism, i.e.,S(xy) = S(y)S(x) and ∆(S(x)) = (S ⊗ S)(∆op(x)).4. ε and S are uniquely determined by ∆.5. If A is commutative or cocommutative (i.e., ∆ = ∆op) thenS2 = id (even without the assumption that S is invertible).
42
![Page 43: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/43.jpg)
Hopf algebras ctd.
Note that this definition makes sense over any field and evenover a commutative ring. Usually it is also assumed that S isinvertible (we will do so below); this does not follow from theabove axioms. We will also use the notation ∆op = P ◦∆ where Pis the permutation: P(u ⊗ v) = v ⊗ u. Finally, note that we canview the unit of A as a linear map ι : C→ A.
Proposition
1. If A is a finite dimensional Hopf algebra then A∗ is also, withthe operations of A∗ being dual to the operations of A.2. ε is an algebra homomorphism.3. S is an algebra and coalgebra antihomomorphism, i.e.,S(xy) = S(y)S(x) and ∆(S(x)) = (S ⊗ S)(∆op(x)).
4. ε and S are uniquely determined by ∆.5. If A is commutative or cocommutative (i.e., ∆ = ∆op) thenS2 = id (even without the assumption that S is invertible).
43
![Page 44: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/44.jpg)
Hopf algebras ctd.
Note that this definition makes sense over any field and evenover a commutative ring. Usually it is also assumed that S isinvertible (we will do so below); this does not follow from theabove axioms. We will also use the notation ∆op = P ◦∆ where Pis the permutation: P(u ⊗ v) = v ⊗ u. Finally, note that we canview the unit of A as a linear map ι : C→ A.
Proposition
1. If A is a finite dimensional Hopf algebra then A∗ is also, withthe operations of A∗ being dual to the operations of A.2. ε is an algebra homomorphism.3. S is an algebra and coalgebra antihomomorphism, i.e.,S(xy) = S(y)S(x) and ∆(S(x)) = (S ⊗ S)(∆op(x)).4. ε and S are uniquely determined by ∆.
5. If A is commutative or cocommutative (i.e., ∆ = ∆op) thenS2 = id (even without the assumption that S is invertible).
44
![Page 45: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/45.jpg)
Hopf algebras ctd.
Note that this definition makes sense over any field and evenover a commutative ring. Usually it is also assumed that S isinvertible (we will do so below); this does not follow from theabove axioms. We will also use the notation ∆op = P ◦∆ where Pis the permutation: P(u ⊗ v) = v ⊗ u. Finally, note that we canview the unit of A as a linear map ι : C→ A.
Proposition
1. If A is a finite dimensional Hopf algebra then A∗ is also, withthe operations of A∗ being dual to the operations of A.2. ε is an algebra homomorphism.3. S is an algebra and coalgebra antihomomorphism, i.e.,S(xy) = S(y)S(x) and ∆(S(x)) = (S ⊗ S)(∆op(x)).4. ε and S are uniquely determined by ∆.5. If A is commutative or cocommutative (i.e., ∆ = ∆op) thenS2 = id (even without the assumption that S is invertible).
45
![Page 46: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/46.jpg)
Examples of Hopf algebras
Example
1 A = O(G ), G is finite. Then A is commutative.
2 A = O(G ) (the algebra of regular functions), G is an affinealgebraic group, A is commutative.
3 A = CG - the group algebra,∆(g) = g ⊗ g , S(g) = g−1, ε(g) = 1, A is cocommutative:∆ = ∆op.
4 g a Lie algebra, A = U(g) (the universal enveloping algebra),∆(x) = x ⊗ 1 + 1⊗ x , S(x) = −x , ε(x) = 0 for x ∈ g, A iscocommutative.
46
![Page 47: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/47.jpg)
Examples of Hopf algebras
Example
1 A = O(G ), G is finite. Then A is commutative.
2 A = O(G ) (the algebra of regular functions), G is an affinealgebraic group, A is commutative.
3 A = CG - the group algebra,∆(g) = g ⊗ g , S(g) = g−1, ε(g) = 1, A is cocommutative:∆ = ∆op.
4 g a Lie algebra, A = U(g) (the universal enveloping algebra),∆(x) = x ⊗ 1 + 1⊗ x , S(x) = −x , ε(x) = 0 for x ∈ g, A iscocommutative.
47
![Page 48: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/48.jpg)
Quantum SL2
Let q ∈ C, q 6= 0,±1. The quantum group Uq(sl2) is generatedby e, f ,K±1 with relations
KeK−1 = q2e, KfK−1 = q−2f , ef − fe =K − K−1
q − q−1.
The coproduct and counit are defined by
∆e = e ⊗ K + 1⊗ e, ∆f = f ⊗ 1 + K−1 ⊗ f , ∆K = K ⊗ K ,
ε(e) = 0, ε(f ) = 0, ε(K ) = 1.
The antipode can then be found from the Hopf algebra axioms:
µ ◦ (S ⊗ 1) ◦∆(e) = ε(e) ⇒ S(e) = −eK−1.Similarly one obtains S(f ) = −Kf , S(K ) = K−1.
This is a deformation of U(sl2) because if one sets K = qh andsends q → 1, one recovers the sl2 relations.
This example shows that S2 6= id in general: we haveS2(x) = KxK−1.
48
![Page 49: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/49.jpg)
Quantum SL2
Let q ∈ C, q 6= 0,±1. The quantum group Uq(sl2) is generatedby e, f ,K±1 with relations
KeK−1 = q2e, KfK−1 = q−2f , ef − fe =K − K−1
q − q−1.
The coproduct and counit are defined by
∆e = e ⊗ K + 1⊗ e, ∆f = f ⊗ 1 + K−1 ⊗ f , ∆K = K ⊗ K ,
ε(e) = 0, ε(f ) = 0, ε(K ) = 1.
The antipode can then be found from the Hopf algebra axioms:
µ ◦ (S ⊗ 1) ◦∆(e) = ε(e) ⇒ S(e) = −eK−1.Similarly one obtains S(f ) = −Kf , S(K ) = K−1.
This is a deformation of U(sl2) because if one sets K = qh andsends q → 1, one recovers the sl2 relations.
This example shows that S2 6= id in general: we haveS2(x) = KxK−1.
49
![Page 50: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/50.jpg)
Quantum SL2
Let q ∈ C, q 6= 0,±1. The quantum group Uq(sl2) is generatedby e, f ,K±1 with relations
KeK−1 = q2e, KfK−1 = q−2f , ef − fe =K − K−1
q − q−1.
The coproduct and counit are defined by
∆e = e ⊗ K + 1⊗ e, ∆f = f ⊗ 1 + K−1 ⊗ f , ∆K = K ⊗ K ,
ε(e) = 0, ε(f ) = 0, ε(K ) = 1.
The antipode can then be found from the Hopf algebra axioms:
µ ◦ (S ⊗ 1) ◦∆(e) = ε(e) ⇒ S(e) = −eK−1.Similarly one obtains S(f ) = −Kf , S(K ) = K−1.
This is a deformation of U(sl2) because if one sets K = qh andsends q → 1, one recovers the sl2 relations.
This example shows that S2 6= id in general: we haveS2(x) = KxK−1.
50
![Page 51: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/51.jpg)
Quantum SL2
Let q ∈ C, q 6= 0,±1. The quantum group Uq(sl2) is generatedby e, f ,K±1 with relations
KeK−1 = q2e, KfK−1 = q−2f , ef − fe =K − K−1
q − q−1.
The coproduct and counit are defined by
∆e = e ⊗ K + 1⊗ e, ∆f = f ⊗ 1 + K−1 ⊗ f , ∆K = K ⊗ K ,
ε(e) = 0, ε(f ) = 0, ε(K ) = 1.
The antipode can then be found from the Hopf algebra axioms:
µ ◦ (S ⊗ 1) ◦∆(e) = ε(e) ⇒ S(e) = −eK−1.
Similarly one obtains S(f ) = −Kf , S(K ) = K−1.This is a deformation of U(sl2) because if one sets K = qh and
sends q → 1, one recovers the sl2 relations.This example shows that S2 6= id in general: we have
S2(x) = KxK−1.
51
![Page 52: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/52.jpg)
Quantum SL2
Let q ∈ C, q 6= 0,±1. The quantum group Uq(sl2) is generatedby e, f ,K±1 with relations
KeK−1 = q2e, KfK−1 = q−2f , ef − fe =K − K−1
q − q−1.
The coproduct and counit are defined by
∆e = e ⊗ K + 1⊗ e, ∆f = f ⊗ 1 + K−1 ⊗ f , ∆K = K ⊗ K ,
ε(e) = 0, ε(f ) = 0, ε(K ) = 1.
The antipode can then be found from the Hopf algebra axioms:
µ ◦ (S ⊗ 1) ◦∆(e) = ε(e) ⇒ S(e) = −eK−1.Similarly one obtains S(f ) = −Kf , S(K ) = K−1.
This is a deformation of U(sl2) because if one sets K = qh andsends q → 1, one recovers the sl2 relations.
This example shows that S2 6= id in general: we haveS2(x) = KxK−1.
52
![Page 53: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/53.jpg)
Quantum SL2
Let q ∈ C, q 6= 0,±1. The quantum group Uq(sl2) is generatedby e, f ,K±1 with relations
KeK−1 = q2e, KfK−1 = q−2f , ef − fe =K − K−1
q − q−1.
The coproduct and counit are defined by
∆e = e ⊗ K + 1⊗ e, ∆f = f ⊗ 1 + K−1 ⊗ f , ∆K = K ⊗ K ,
ε(e) = 0, ε(f ) = 0, ε(K ) = 1.
The antipode can then be found from the Hopf algebra axioms:
µ ◦ (S ⊗ 1) ◦∆(e) = ε(e) ⇒ S(e) = −eK−1.Similarly one obtains S(f ) = −Kf , S(K ) = K−1.
This is a deformation of U(sl2) because if one sets K = qh andsends q → 1, one recovers the sl2 relations.
This example shows that S2 6= id in general: we haveS2(x) = KxK−1.
53
![Page 54: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/54.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity.
Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .We say that V is of type I if the eigenvalues of K on V are integerpowers of q. E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I. However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1, with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n} such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
54
![Page 55: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/55.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity. Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .We say that V is of type I if the eigenvalues of K on V are integerpowers of q. E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I. However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1, with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n} such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
55
![Page 56: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/56.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity. Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .
We say that V is of type I if the eigenvalues of K on V are integerpowers of q. E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I. However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1, with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n} such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
56
![Page 57: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/57.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity. Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .We say that V is of type I if the eigenvalues of K on V are integerpowers of q.
E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I. However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1, with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n} such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
57
![Page 58: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/58.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity. Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .We say that V is of type I if the eigenvalues of K on V are integerpowers of q. E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I.
However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1, with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n} such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
58
![Page 59: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/59.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity. Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .We say that V is of type I if the eigenvalues of K on V are integerpowers of q. E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I. However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.
Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1, with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n} such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
59
![Page 60: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/60.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity. Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .We say that V is of type I if the eigenvalues of K on V are integerpowers of q. E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I. However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1, with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n} such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
60
![Page 61: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/61.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity. Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .We say that V is of type I if the eigenvalues of K on V are integerpowers of q. E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I. However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1,
with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n} such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
61
![Page 62: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/62.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity. Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .We say that V is of type I if the eigenvalues of K on V are integerpowers of q. E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I. However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1, with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n}
such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
62
![Page 63: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/63.jpg)
Representations of Uq(sl2)
Assume that q is not a root of unity. Then the representationtheory of Uq(sl2) is very similar to the representation theory of sl2.
Proposition
Finite dimensional representations of Uq(sl2) are semisimple.
So it remains to classify the irreducible f.d. representations V .We say that V is of type I if the eigenvalues of K on V are integerpowers of q. E.g., the character χ : Uq(sl2)→ C given byχ(e) = χ(f ) = 0, χ(K ) = −1 is not of type I. However, if V is notof type I then it has the form V = V+ ⊗ χ where V+ is of type I.Thus it suffices to classify irreducibles of type I.
Proposition
There is exactly one type I irreducible representation Vn of Uq(sl2)of each positive dimension n + 1, with generator v with ev = 0,Kv = qnv and basis {f jv , 0 ≤ j ≤ n} such that Kf jv = qn−2j f jv ,
ef jv = [j ]q[n − j + 1]qfj−1v , where [k]q := qk−q−k
q−q−1 .
63
![Page 64: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/64.jpg)
Tensor products of representations of Hopf algebras
For a group and a Lie algebra the representation categoriesRepG and Rep g are endowed with tensor products:
πV : G → AutV , πW : G → AutW ⇒
πV⊗W (g) = πV (g)⊗ πW (g) ∀g ∈ G .
πV : g→ AutV , πW : g→ AutW ⇒
πV⊗W (x) = πV (x)⊗ 1 + 1⊗ πW (x) ∀x ∈ g.
The formula for the tensor product of representations of a Hopfalgebra A is a straightforward generalization:
πV⊗W (x) = (πV ⊗ πW )(∆(x)) = πV (x(1))⊗ πW (x(2)) ∀x ∈ A.
So one can regard the category C = RepA of representations of Aas a category equipped with a tensor product bifunctor
⊗ : C × C → C : (X ,Y ) 7→ X ⊗ Y .
64
![Page 65: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/65.jpg)
Tensor products of representations of Hopf algebras
For a group and a Lie algebra the representation categoriesRepG and Rep g are endowed with tensor products:
πV : G → AutV , πW : G → AutW ⇒
πV⊗W (g) = πV (g)⊗ πW (g) ∀g ∈ G .
πV : g→ AutV , πW : g→ AutW ⇒
πV⊗W (x) = πV (x)⊗ 1 + 1⊗ πW (x) ∀x ∈ g.
The formula for the tensor product of representations of a Hopfalgebra A is a straightforward generalization:
πV⊗W (x) = (πV ⊗ πW )(∆(x)) = πV (x(1))⊗ πW (x(2)) ∀x ∈ A.
So one can regard the category C = RepA of representations of Aas a category equipped with a tensor product bifunctor
⊗ : C × C → C : (X ,Y ) 7→ X ⊗ Y .
65
![Page 66: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/66.jpg)
Tensor products of representations of Hopf algebras
For a group and a Lie algebra the representation categoriesRepG and Rep g are endowed with tensor products:
πV : G → AutV , πW : G → AutW ⇒
πV⊗W (g) = πV (g)⊗ πW (g) ∀g ∈ G .
πV : g→ AutV , πW : g→ AutW ⇒
πV⊗W (x) = πV (x)⊗ 1 + 1⊗ πW (x) ∀x ∈ g.
The formula for the tensor product of representations of a Hopfalgebra A is a straightforward generalization:
πV⊗W (x) = (πV ⊗ πW )(∆(x)) = πV (x(1))⊗ πW (x(2)) ∀x ∈ A.
So one can regard the category C = RepA of representations of Aas a category equipped with a tensor product bifunctor
⊗ : C × C → C : (X ,Y ) 7→ X ⊗ Y .
66
![Page 67: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/67.jpg)
Tensor products of representations of Hopf algebras
For a group and a Lie algebra the representation categoriesRepG and Rep g are endowed with tensor products:
πV : G → AutV , πW : G → AutW ⇒
πV⊗W (g) = πV (g)⊗ πW (g) ∀g ∈ G .
πV : g→ AutV , πW : g→ AutW ⇒
πV⊗W (x) = πV (x)⊗ 1 + 1⊗ πW (x) ∀x ∈ g.
The formula for the tensor product of representations of a Hopfalgebra A is a straightforward generalization:
πV⊗W (x) = (πV ⊗ πW )(∆(x)) = πV (x(1))⊗ πW (x(2)) ∀x ∈ A.
So one can regard the category C = RepA of representations of Aas a category equipped with a tensor product bifunctor
⊗ : C × C → C : (X ,Y ) 7→ X ⊗ Y .
67
![Page 68: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/68.jpg)
Tensor products of representations of Hopf algebras
For a group and a Lie algebra the representation categoriesRepG and Rep g are endowed with tensor products:
πV : G → AutV , πW : G → AutW ⇒
πV⊗W (g) = πV (g)⊗ πW (g) ∀g ∈ G .
πV : g→ AutV , πW : g→ AutW ⇒
πV⊗W (x) = πV (x)⊗ 1 + 1⊗ πW (x) ∀x ∈ g.
The formula for the tensor product of representations of a Hopfalgebra A is a straightforward generalization:
πV⊗W (x) = (πV ⊗ πW )(∆(x)) = πV (x(1))⊗ πW (x(2)) ∀x ∈ A.
So one can regard the category C = RepA of representations of Aas a category equipped with a tensor product bifunctor
⊗ : C × C → C : (X ,Y ) 7→ X ⊗ Y .
68
![Page 69: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/69.jpg)
Tensor products of representations of Hopf algebras
For a group and a Lie algebra the representation categoriesRepG and Rep g are endowed with tensor products:
πV : G → AutV , πW : G → AutW ⇒
πV⊗W (g) = πV (g)⊗ πW (g) ∀g ∈ G .
πV : g→ AutV , πW : g→ AutW ⇒
πV⊗W (x) = πV (x)⊗ 1 + 1⊗ πW (x) ∀x ∈ g.
The formula for the tensor product of representations of a Hopfalgebra A is a straightforward generalization:
πV⊗W (x) = (πV ⊗ πW )(∆(x)) = πV (x(1))⊗ πW (x(2)) ∀x ∈ A.
So one can regard the category C = RepA of representations of Aas a category equipped with a tensor product bifunctor
⊗ : C × C → C : (X ,Y ) 7→ X ⊗ Y .
69
![Page 70: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/70.jpg)
Tensor products of representations of Hopf algebras, ctd.
This product also has a unit (the trivial 1-dimensionalrepresentation):
1 = C : π1(a) = ε(a), 1⊗ X ∼= X ⊗ 1 ∼= X ∀X ∈ C.Finally, the tensor product is associative on isomorphism classes:
(X ⊗ Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ).
Thus C is a category with a unital tensor product associative up toan isomorphism.
However, this notion is not very useful; about such categoriesone can say very little, if anything at all. On the other hand, innatural examples a lot more structure is present, which is just alittle bit less obvious.
More precisely, a much better notion is obtained if, according tothe general yoga of category theory, we don’t just say simply that(X ⊗Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ), but make this isomorphism a part ofthe data and impose coherence conditions on this data.This leadsto the notion of a monoidal category.
70
![Page 71: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/71.jpg)
Tensor products of representations of Hopf algebras, ctd.
This product also has a unit (the trivial 1-dimensionalrepresentation):
1 = C : π1(a) = ε(a), 1⊗ X ∼= X ⊗ 1 ∼= X ∀X ∈ C.
Finally, the tensor product is associative on isomorphism classes:
(X ⊗ Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ).
Thus C is a category with a unital tensor product associative up toan isomorphism.
However, this notion is not very useful; about such categoriesone can say very little, if anything at all. On the other hand, innatural examples a lot more structure is present, which is just alittle bit less obvious.
More precisely, a much better notion is obtained if, according tothe general yoga of category theory, we don’t just say simply that(X ⊗Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ), but make this isomorphism a part ofthe data and impose coherence conditions on this data.This leadsto the notion of a monoidal category.
71
![Page 72: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/72.jpg)
Tensor products of representations of Hopf algebras, ctd.
This product also has a unit (the trivial 1-dimensionalrepresentation):
1 = C : π1(a) = ε(a), 1⊗ X ∼= X ⊗ 1 ∼= X ∀X ∈ C.Finally, the tensor product is associative on isomorphism classes:
(X ⊗ Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ).
Thus C is a category with a unital tensor product associative up toan isomorphism.
However, this notion is not very useful; about such categoriesone can say very little, if anything at all. On the other hand, innatural examples a lot more structure is present, which is just alittle bit less obvious.
More precisely, a much better notion is obtained if, according tothe general yoga of category theory, we don’t just say simply that(X ⊗Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ), but make this isomorphism a part ofthe data and impose coherence conditions on this data.This leadsto the notion of a monoidal category.
72
![Page 73: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/73.jpg)
Tensor products of representations of Hopf algebras, ctd.
This product also has a unit (the trivial 1-dimensionalrepresentation):
1 = C : π1(a) = ε(a), 1⊗ X ∼= X ⊗ 1 ∼= X ∀X ∈ C.Finally, the tensor product is associative on isomorphism classes:
(X ⊗ Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ).
Thus C is a category with a unital tensor product associative up toan isomorphism.
However, this notion is not very useful; about such categoriesone can say very little, if anything at all. On the other hand, innatural examples a lot more structure is present, which is just alittle bit less obvious.
More precisely, a much better notion is obtained if, according tothe general yoga of category theory, we don’t just say simply that(X ⊗Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ), but make this isomorphism a part ofthe data and impose coherence conditions on this data.This leadsto the notion of a monoidal category.
73
![Page 74: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/74.jpg)
Tensor products of representations of Hopf algebras, ctd.
This product also has a unit (the trivial 1-dimensionalrepresentation):
1 = C : π1(a) = ε(a), 1⊗ X ∼= X ⊗ 1 ∼= X ∀X ∈ C.Finally, the tensor product is associative on isomorphism classes:
(X ⊗ Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ).
Thus C is a category with a unital tensor product associative up toan isomorphism.
However, this notion is not very useful; about such categoriesone can say very little, if anything at all. On the other hand, innatural examples a lot more structure is present, which is just alittle bit less obvious.
More precisely, a much better notion is obtained if, according tothe general yoga of category theory, we don’t just say simply that(X ⊗Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ), but make this isomorphism a part ofthe data and impose coherence conditions on this data.This leadsto the notion of a monoidal category.
74
![Page 75: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/75.jpg)
Tensor products of representations of Hopf algebras, ctd.
This product also has a unit (the trivial 1-dimensionalrepresentation):
1 = C : π1(a) = ε(a), 1⊗ X ∼= X ⊗ 1 ∼= X ∀X ∈ C.Finally, the tensor product is associative on isomorphism classes:
(X ⊗ Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ).
Thus C is a category with a unital tensor product associative up toan isomorphism.
However, this notion is not very useful; about such categoriesone can say very little, if anything at all.
On the other hand, innatural examples a lot more structure is present, which is just alittle bit less obvious.
More precisely, a much better notion is obtained if, according tothe general yoga of category theory, we don’t just say simply that(X ⊗Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ), but make this isomorphism a part ofthe data and impose coherence conditions on this data.This leadsto the notion of a monoidal category.
75
![Page 76: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/76.jpg)
Tensor products of representations of Hopf algebras, ctd.
This product also has a unit (the trivial 1-dimensionalrepresentation):
1 = C : π1(a) = ε(a), 1⊗ X ∼= X ⊗ 1 ∼= X ∀X ∈ C.Finally, the tensor product is associative on isomorphism classes:
(X ⊗ Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ).
Thus C is a category with a unital tensor product associative up toan isomorphism.
However, this notion is not very useful; about such categoriesone can say very little, if anything at all. On the other hand, innatural examples a lot more structure is present, which is just alittle bit less obvious.
More precisely, a much better notion is obtained if, according tothe general yoga of category theory, we don’t just say simply that(X ⊗Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ), but make this isomorphism a part ofthe data and impose coherence conditions on this data.This leadsto the notion of a monoidal category.
76
![Page 77: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/77.jpg)
Tensor products of representations of Hopf algebras, ctd.
This product also has a unit (the trivial 1-dimensionalrepresentation):
1 = C : π1(a) = ε(a), 1⊗ X ∼= X ⊗ 1 ∼= X ∀X ∈ C.Finally, the tensor product is associative on isomorphism classes:
(X ⊗ Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ).
Thus C is a category with a unital tensor product associative up toan isomorphism.
However, this notion is not very useful; about such categoriesone can say very little, if anything at all. On the other hand, innatural examples a lot more structure is present, which is just alittle bit less obvious.
More precisely, a much better notion is obtained if, according tothe general yoga of category theory, we don’t just say simply that(X ⊗Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ), but make this isomorphism a part ofthe data and impose coherence conditions on this data.
This leadsto the notion of a monoidal category.
77
![Page 78: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/78.jpg)
Tensor products of representations of Hopf algebras, ctd.
This product also has a unit (the trivial 1-dimensionalrepresentation):
1 = C : π1(a) = ε(a), 1⊗ X ∼= X ⊗ 1 ∼= X ∀X ∈ C.Finally, the tensor product is associative on isomorphism classes:
(X ⊗ Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ).
Thus C is a category with a unital tensor product associative up toan isomorphism.
However, this notion is not very useful; about such categoriesone can say very little, if anything at all. On the other hand, innatural examples a lot more structure is present, which is just alittle bit less obvious.
More precisely, a much better notion is obtained if, according tothe general yoga of category theory, we don’t just say simply that(X ⊗Y )⊗ Z ∼= X ⊗ (Y ⊗ Z ), but make this isomorphism a part ofthe data and impose coherence conditions on this data.This leadsto the notion of a monoidal category.
78
![Page 79: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/79.jpg)
Monoidal categories
Namely, we should equip C with an associativity isomorphism
αXYZ : (X ⊗ Y )⊗ Z∼−→ X ⊗ (Y ⊗ Z )
functorial in X ,Y ,Z , which satisfies the pentagon identity
X (Y (ZT ))
(XY )(ZT )
((XY )Z )T (X (YZ ))T
X ((YZ )T )
where the arrows are induced by α and we have omitted the ⊗signs for brevity. The relation is that the diagram commutes.
79
![Page 80: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/80.jpg)
Monoidal categories
Namely, we should equip C with an associativity isomorphism
αXYZ : (X ⊗ Y )⊗ Z∼−→ X ⊗ (Y ⊗ Z )
functorial in X ,Y ,Z , which satisfies the pentagon identity
X (Y (ZT ))
(XY )(ZT )
((XY )Z )T (X (YZ ))T
X ((YZ )T )
where the arrows are induced by α and we have omitted the ⊗signs for brevity. The relation is that the diagram commutes.
80
![Page 81: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/81.jpg)
Monoidal categories
Namely, we should equip C with an associativity isomorphism
αXYZ : (X ⊗ Y )⊗ Z∼−→ X ⊗ (Y ⊗ Z )
functorial in X ,Y ,Z ,
which satisfies the pentagon identity
X (Y (ZT ))
(XY )(ZT )
((XY )Z )T (X (YZ ))T
X ((YZ )T )
where the arrows are induced by α and we have omitted the ⊗signs for brevity. The relation is that the diagram commutes.
81
![Page 82: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/82.jpg)
Monoidal categories
Namely, we should equip C with an associativity isomorphism
αXYZ : (X ⊗ Y )⊗ Z∼−→ X ⊗ (Y ⊗ Z )
functorial in X ,Y ,Z , which satisfies the pentagon identity
X (Y (ZT ))
(XY )(ZT )
((XY )Z )T (X (YZ ))T
X ((YZ )T )
where the arrows are induced by α and we have omitted the ⊗signs for brevity. The relation is that the diagram commutes.
82
![Page 83: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/83.jpg)
Monoidal categories
Namely, we should equip C with an associativity isomorphism
αXYZ : (X ⊗ Y )⊗ Z∼−→ X ⊗ (Y ⊗ Z )
functorial in X ,Y ,Z , which satisfies the pentagon identity
X (Y (ZT ))
(XY )(ZT )
((XY )Z )T (X (YZ ))T
X ((YZ )T )
where the arrows are induced by α and we have omitted the ⊗signs for brevity.
The relation is that the diagram commutes.
83
![Page 84: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/84.jpg)
Monoidal categories
Namely, we should equip C with an associativity isomorphism
αXYZ : (X ⊗ Y )⊗ Z∼−→ X ⊗ (Y ⊗ Z )
functorial in X ,Y ,Z , which satisfies the pentagon identity
X (Y (ZT ))
(XY )(ZT )
((XY )Z )T (X (YZ ))T
X ((YZ )T )
where the arrows are induced by α and we have omitted the ⊗signs for brevity. The relation is that the diagram commutes.
84
![Page 85: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/85.jpg)
Monoidal categories, ctd.
We should also require the existence of a unit object 1
with anisomorphism
ι : 1⊗ 1 ∼= 1
such that the functors 1⊗ and ⊗1 are autoequivalences of C.
Definition
A category C with such structures and properties is called amonoidal category.
We see that for a Hopf algebra A, the category RepA is amonoidal category, with αXYZ being the natural isomorphism(X ⊗ Y )⊗ Z → X ⊗ (Y ⊗ Z ), sending (x ⊗ y)⊗ z to x ⊗ (y ⊗ z).In a similar way, comodules over A (i.e., spaces V with a linearmap ρ : V → A⊗ V defining an action of the algebra A∗ on V )form a monoidal category ComodA. In fact, if dimA <∞ thenComodA = RepA∗. Also, if G is an algebraic group then analgebraic representation of G is the same thing as a finitedimensional O(G )-comodule.
85
![Page 86: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/86.jpg)
Monoidal categories, ctd.
We should also require the existence of a unit object 1 with anisomorphism
ι : 1⊗ 1 ∼= 1
such that the functors 1⊗ and ⊗1 are autoequivalences of C.
Definition
A category C with such structures and properties is called amonoidal category.
We see that for a Hopf algebra A, the category RepA is amonoidal category, with αXYZ being the natural isomorphism(X ⊗ Y )⊗ Z → X ⊗ (Y ⊗ Z ), sending (x ⊗ y)⊗ z to x ⊗ (y ⊗ z).In a similar way, comodules over A (i.e., spaces V with a linearmap ρ : V → A⊗ V defining an action of the algebra A∗ on V )form a monoidal category ComodA. In fact, if dimA <∞ thenComodA = RepA∗. Also, if G is an algebraic group then analgebraic representation of G is the same thing as a finitedimensional O(G )-comodule.
86
![Page 87: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/87.jpg)
Monoidal categories, ctd.
We should also require the existence of a unit object 1 with anisomorphism
ι : 1⊗ 1 ∼= 1
such that the functors 1⊗ and ⊗1 are autoequivalences of C.
Definition
A category C with such structures and properties is called amonoidal category.
We see that for a Hopf algebra A, the category RepA is amonoidal category, with αXYZ being the natural isomorphism(X ⊗ Y )⊗ Z → X ⊗ (Y ⊗ Z ), sending (x ⊗ y)⊗ z to x ⊗ (y ⊗ z).In a similar way, comodules over A (i.e., spaces V with a linearmap ρ : V → A⊗ V defining an action of the algebra A∗ on V )form a monoidal category ComodA. In fact, if dimA <∞ thenComodA = RepA∗. Also, if G is an algebraic group then analgebraic representation of G is the same thing as a finitedimensional O(G )-comodule.
87
![Page 88: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/88.jpg)
Monoidal categories, ctd.
We should also require the existence of a unit object 1 with anisomorphism
ι : 1⊗ 1 ∼= 1
such that the functors 1⊗ and ⊗1 are autoequivalences of C.
Definition
A category C with such structures and properties is called amonoidal category.
We see that for a Hopf algebra A, the category RepA is amonoidal category, with αXYZ being the natural isomorphism(X ⊗ Y )⊗ Z → X ⊗ (Y ⊗ Z ), sending (x ⊗ y)⊗ z to x ⊗ (y ⊗ z).In a similar way, comodules over A (i.e., spaces V with a linearmap ρ : V → A⊗ V defining an action of the algebra A∗ on V )form a monoidal category ComodA. In fact, if dimA <∞ thenComodA = RepA∗. Also, if G is an algebraic group then analgebraic representation of G is the same thing as a finitedimensional O(G )-comodule.
88
![Page 89: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/89.jpg)
Monoidal categories, ctd.
We should also require the existence of a unit object 1 with anisomorphism
ι : 1⊗ 1 ∼= 1
such that the functors 1⊗ and ⊗1 are autoequivalences of C.
Definition
A category C with such structures and properties is called amonoidal category.
We see that for a Hopf algebra A, the category RepA is amonoidal category, with αXYZ being the natural isomorphism(X ⊗ Y )⊗ Z → X ⊗ (Y ⊗ Z ), sending (x ⊗ y)⊗ z to x ⊗ (y ⊗ z).
In a similar way, comodules over A (i.e., spaces V with a linearmap ρ : V → A⊗ V defining an action of the algebra A∗ on V )form a monoidal category ComodA. In fact, if dimA <∞ thenComodA = RepA∗. Also, if G is an algebraic group then analgebraic representation of G is the same thing as a finitedimensional O(G )-comodule.
89
![Page 90: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/90.jpg)
Monoidal categories, ctd.
We should also require the existence of a unit object 1 with anisomorphism
ι : 1⊗ 1 ∼= 1
such that the functors 1⊗ and ⊗1 are autoequivalences of C.
Definition
A category C with such structures and properties is called amonoidal category.
We see that for a Hopf algebra A, the category RepA is amonoidal category, with αXYZ being the natural isomorphism(X ⊗ Y )⊗ Z → X ⊗ (Y ⊗ Z ), sending (x ⊗ y)⊗ z to x ⊗ (y ⊗ z).In a similar way, comodules over A (i.e., spaces V with a linearmap ρ : V → A⊗ V defining an action of the algebra A∗ on V )form a monoidal category ComodA.
In fact, if dimA <∞ thenComodA = RepA∗. Also, if G is an algebraic group then analgebraic representation of G is the same thing as a finitedimensional O(G )-comodule.
90
![Page 91: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/91.jpg)
Monoidal categories, ctd.
We should also require the existence of a unit object 1 with anisomorphism
ι : 1⊗ 1 ∼= 1
such that the functors 1⊗ and ⊗1 are autoequivalences of C.
Definition
A category C with such structures and properties is called amonoidal category.
We see that for a Hopf algebra A, the category RepA is amonoidal category, with αXYZ being the natural isomorphism(X ⊗ Y )⊗ Z → X ⊗ (Y ⊗ Z ), sending (x ⊗ y)⊗ z to x ⊗ (y ⊗ z).In a similar way, comodules over A (i.e., spaces V with a linearmap ρ : V → A⊗ V defining an action of the algebra A∗ on V )form a monoidal category ComodA. In fact, if dimA <∞ thenComodA = RepA∗.
Also, if G is an algebraic group then analgebraic representation of G is the same thing as a finitedimensional O(G )-comodule.
91
![Page 92: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/92.jpg)
Monoidal categories, ctd.
We should also require the existence of a unit object 1 with anisomorphism
ι : 1⊗ 1 ∼= 1
such that the functors 1⊗ and ⊗1 are autoequivalences of C.
Definition
A category C with such structures and properties is called amonoidal category.
We see that for a Hopf algebra A, the category RepA is amonoidal category, with αXYZ being the natural isomorphism(X ⊗ Y )⊗ Z → X ⊗ (Y ⊗ Z ), sending (x ⊗ y)⊗ z to x ⊗ (y ⊗ z).In a similar way, comodules over A (i.e., spaces V with a linearmap ρ : V → A⊗ V defining an action of the algebra A∗ on V )form a monoidal category ComodA. In fact, if dimA <∞ thenComodA = RepA∗. Also, if G is an algebraic group then analgebraic representation of G is the same thing as a finitedimensional O(G )-comodule.
92
![Page 93: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/93.jpg)
Duality in monoidal categories
Let us now discuss duality for representations of Hopf algebras,which generalizes duality for group and Lie algebrarepresentations.
The dual representations X ∗, ∗X ∈ RepA forX ∈ RepA are both the dual vector space to X with the actionsdefined as follows:
πX∗(a) = πX (S(a))∗ - left dual, π∗X (a) = πX (S−1(a))∗ - right dual.
For the pair X ,X ∗ there is the evaluation morphism
X ∗ ⊗ X → 1
(the usual pairing). For finite dimensional representations there isalso the coevaluation morphism
1→ X ⊗ X ∗.
and a pair of functorial isomorphisms
(∗X )∗ = X , ∗(X ∗) = X .
93
![Page 94: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/94.jpg)
Duality in monoidal categories
Let us now discuss duality for representations of Hopf algebras,which generalizes duality for group and Lie algebrarepresentations.The dual representations X ∗, ∗X ∈ RepA forX ∈ RepA are both the dual vector space to X with the actionsdefined as follows:
πX∗(a) = πX (S(a))∗ - left dual, π∗X (a) = πX (S−1(a))∗ - right dual.
For the pair X ,X ∗ there is the evaluation morphism
X ∗ ⊗ X → 1
(the usual pairing). For finite dimensional representations there isalso the coevaluation morphism
1→ X ⊗ X ∗.
and a pair of functorial isomorphisms
(∗X )∗ = X , ∗(X ∗) = X .
94
![Page 95: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/95.jpg)
Duality in monoidal categories
Let us now discuss duality for representations of Hopf algebras,which generalizes duality for group and Lie algebrarepresentations.The dual representations X ∗, ∗X ∈ RepA forX ∈ RepA are both the dual vector space to X with the actionsdefined as follows:
πX∗(a) = πX (S(a))∗ - left dual, π∗X (a) = πX (S−1(a))∗ - right dual.
For the pair X ,X ∗ there is the evaluation morphism
X ∗ ⊗ X → 1
(the usual pairing). For finite dimensional representations there isalso the coevaluation morphism
1→ X ⊗ X ∗.
and a pair of functorial isomorphisms
(∗X )∗ = X , ∗(X ∗) = X .
95
![Page 96: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/96.jpg)
Duality in monoidal categories
Let us now discuss duality for representations of Hopf algebras,which generalizes duality for group and Lie algebrarepresentations.The dual representations X ∗, ∗X ∈ RepA forX ∈ RepA are both the dual vector space to X with the actionsdefined as follows:
πX∗(a) = πX (S(a))∗ - left dual, π∗X (a) = πX (S−1(a))∗ - right dual.
For the pair X ,X ∗ there is the evaluation morphism
X ∗ ⊗ X → 1
(the usual pairing).
For finite dimensional representations there isalso the coevaluation morphism
1→ X ⊗ X ∗.
and a pair of functorial isomorphisms
(∗X )∗ = X , ∗(X ∗) = X .
96
![Page 97: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/97.jpg)
Duality in monoidal categories
Let us now discuss duality for representations of Hopf algebras,which generalizes duality for group and Lie algebrarepresentations.The dual representations X ∗, ∗X ∈ RepA forX ∈ RepA are both the dual vector space to X with the actionsdefined as follows:
πX∗(a) = πX (S(a))∗ - left dual, π∗X (a) = πX (S−1(a))∗ - right dual.
For the pair X ,X ∗ there is the evaluation morphism
X ∗ ⊗ X → 1
(the usual pairing). For finite dimensional representations there isalso the coevaluation morphism
1→ X ⊗ X ∗.
and a pair of functorial isomorphisms
(∗X )∗ = X , ∗(X ∗) = X .
97
![Page 98: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/98.jpg)
Duality in monoidal categories
Let us now discuss duality for representations of Hopf algebras,which generalizes duality for group and Lie algebrarepresentations.The dual representations X ∗, ∗X ∈ RepA forX ∈ RepA are both the dual vector space to X with the actionsdefined as follows:
πX∗(a) = πX (S(a))∗ - left dual, π∗X (a) = πX (S−1(a))∗ - right dual.
For the pair X ,X ∗ there is the evaluation morphism
X ∗ ⊗ X → 1
(the usual pairing). For finite dimensional representations there isalso the coevaluation morphism
1→ X ⊗ X ∗.
and a pair of functorial isomorphisms
(∗X )∗ = X , ∗(X ∗) = X .
98
![Page 99: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/99.jpg)
Duality in monoidal categories
Let us now discuss duality for representations of Hopf algebras,which generalizes duality for group and Lie algebrarepresentations.The dual representations X ∗, ∗X ∈ RepA forX ∈ RepA are both the dual vector space to X with the actionsdefined as follows:
πX∗(a) = πX (S(a))∗ - left dual, π∗X (a) = πX (S−1(a))∗ - right dual.
For the pair X ,X ∗ there is the evaluation morphism
X ∗ ⊗ X → 1
(the usual pairing). For finite dimensional representations there isalso the coevaluation morphism
1→ X ⊗ X ∗.
and a pair of functorial isomorphisms
(∗X )∗ = X , ∗(X ∗) = X .
99
![Page 100: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/100.jpg)
Duality in monoidal categories
Let us now discuss duality for representations of Hopf algebras,which generalizes duality for group and Lie algebrarepresentations.The dual representations X ∗, ∗X ∈ RepA forX ∈ RepA are both the dual vector space to X with the actionsdefined as follows:
πX∗(a) = πX (S(a))∗ - left dual, π∗X (a) = πX (S−1(a))∗ - right dual.
For the pair X ,X ∗ there is the evaluation morphism
X ∗ ⊗ X → 1
(the usual pairing). For finite dimensional representations there isalso the coevaluation morphism
1→ X ⊗ X ∗.
and a pair of functorial isomorphisms
(∗X )∗ = X , ∗(X ∗) = X .
100
![Page 101: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/101.jpg)
Duality in monoidal categories, ctd.
Let’s axiomatize this in the setting of monoidal categories.
Definition
An object Y of a monoidal category C is a left dual to X , denotedY = X ∗, if there exist evaluation and coevaluation morphisms
ev : Y ⊗ X → 1, coev : 1→ X ⊗ Y ,
such that the following morphisms are the identities:
Xcoev⊗1−−−−→ (X ⊗ Y )⊗ X
αXYX−−−−→ X ⊗ (Y ⊗ X )1⊗ev−−−−→ X ,
Y1⊗coev−−−−→ Y ⊗ (X ⊗ Y )
α−1YXY−−−−→ (Y ⊗ X )⊗ Y
ev⊗1−−−−→ Y .
If Y is a left dual to X then we have a functorial isomorphismHom(Z ,Y ) ∼= Hom(Z ⊗ X , 1). By the Yoneda lemma, this impliesthat the left dual, if exists, is unique up to a unique isomorphism.
101
![Page 102: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/102.jpg)
Duality in monoidal categories, ctd.
Let’s axiomatize this in the setting of monoidal categories.
Definition
An object Y of a monoidal category C is a left dual to X , denotedY = X ∗, if there exist evaluation and coevaluation morphisms
ev : Y ⊗ X → 1, coev : 1→ X ⊗ Y ,
such that the following morphisms are the identities:
Xcoev⊗1−−−−→ (X ⊗ Y )⊗ X
αXYX−−−−→ X ⊗ (Y ⊗ X )1⊗ev−−−−→ X ,
Y1⊗coev−−−−→ Y ⊗ (X ⊗ Y )
α−1YXY−−−−→ (Y ⊗ X )⊗ Y
ev⊗1−−−−→ Y .
If Y is a left dual to X then we have a functorial isomorphismHom(Z ,Y ) ∼= Hom(Z ⊗ X , 1). By the Yoneda lemma, this impliesthat the left dual, if exists, is unique up to a unique isomorphism.
102
![Page 103: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/103.jpg)
Duality in monoidal categories, ctd.
Let’s axiomatize this in the setting of monoidal categories.
Definition
An object Y of a monoidal category C is a left dual to X , denotedY = X ∗, if there exist evaluation and coevaluation morphisms
ev : Y ⊗ X → 1, coev : 1→ X ⊗ Y ,
such that the following morphisms are the identities:
Xcoev⊗1−−−−→ (X ⊗ Y )⊗ X
αXYX−−−−→ X ⊗ (Y ⊗ X )1⊗ev−−−−→ X ,
Y1⊗coev−−−−→ Y ⊗ (X ⊗ Y )
α−1YXY−−−−→ (Y ⊗ X )⊗ Y
ev⊗1−−−−→ Y .
If Y is a left dual to X then we have a functorial isomorphismHom(Z ,Y ) ∼= Hom(Z ⊗ X , 1). By the Yoneda lemma, this impliesthat the left dual, if exists, is unique up to a unique isomorphism.
103
![Page 104: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/104.jpg)
Duality in monoidal categories, ctd.
Let’s axiomatize this in the setting of monoidal categories.
Definition
An object Y of a monoidal category C is a left dual to X , denotedY = X ∗, if there exist evaluation and coevaluation morphisms
ev : Y ⊗ X → 1, coev : 1→ X ⊗ Y ,
such that the following morphisms are the identities:
Xcoev⊗1−−−−→ (X ⊗ Y )⊗ X
αXYX−−−−→ X ⊗ (Y ⊗ X )1⊗ev−−−−→ X ,
Y1⊗coev−−−−→ Y ⊗ (X ⊗ Y )
α−1YXY−−−−→ (Y ⊗ X )⊗ Y
ev⊗1−−−−→ Y .
If Y is a left dual to X then we have a functorial isomorphismHom(Z ,Y ) ∼= Hom(Z ⊗ X , 1). By the Yoneda lemma, this impliesthat the left dual, if exists, is unique up to a unique isomorphism.
104
![Page 105: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/105.jpg)
Duality in monoidal categories, ctd.
Let’s axiomatize this in the setting of monoidal categories.
Definition
An object Y of a monoidal category C is a left dual to X , denotedY = X ∗, if there exist evaluation and coevaluation morphisms
ev : Y ⊗ X → 1, coev : 1→ X ⊗ Y ,
such that the following morphisms are the identities:
Xcoev⊗1−−−−→ (X ⊗ Y )⊗ X
αXYX−−−−→ X ⊗ (Y ⊗ X )1⊗ev−−−−→ X ,
Y1⊗coev−−−−→ Y ⊗ (X ⊗ Y )
α−1YXY−−−−→ (Y ⊗ X )⊗ Y
ev⊗1−−−−→ Y .
If Y is a left dual to X then we have a functorial isomorphismHom(Z ,Y ) ∼= Hom(Z ⊗ X , 1). By the Yoneda lemma, this impliesthat the left dual, if exists, is unique up to a unique isomorphism.
105
![Page 106: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/106.jpg)
Duality in monoidal categories, ctd.
Let’s axiomatize this in the setting of monoidal categories.
Definition
An object Y of a monoidal category C is a left dual to X , denotedY = X ∗, if there exist evaluation and coevaluation morphisms
ev : Y ⊗ X → 1, coev : 1→ X ⊗ Y ,
such that the following morphisms are the identities:
Xcoev⊗1−−−−→ (X ⊗ Y )⊗ X
αXYX−−−−→ X ⊗ (Y ⊗ X )1⊗ev−−−−→ X ,
Y1⊗coev−−−−→ Y ⊗ (X ⊗ Y )
α−1YXY−−−−→ (Y ⊗ X )⊗ Y
ev⊗1−−−−→ Y .
If Y is a left dual to X then we have a functorial isomorphismHom(Z ,Y ) ∼= Hom(Z ⊗ X , 1).
By the Yoneda lemma, this impliesthat the left dual, if exists, is unique up to a unique isomorphism.
106
![Page 107: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/107.jpg)
Duality in monoidal categories, ctd.
Let’s axiomatize this in the setting of monoidal categories.
Definition
An object Y of a monoidal category C is a left dual to X , denotedY = X ∗, if there exist evaluation and coevaluation morphisms
ev : Y ⊗ X → 1, coev : 1→ X ⊗ Y ,
such that the following morphisms are the identities:
Xcoev⊗1−−−−→ (X ⊗ Y )⊗ X
αXYX−−−−→ X ⊗ (Y ⊗ X )1⊗ev−−−−→ X ,
Y1⊗coev−−−−→ Y ⊗ (X ⊗ Y )
α−1YXY−−−−→ (Y ⊗ X )⊗ Y
ev⊗1−−−−→ Y .
If Y is a left dual to X then we have a functorial isomorphismHom(Z ,Y ) ∼= Hom(Z ⊗ X , 1). By the Yoneda lemma, this impliesthat the left dual, if exists, is unique up to a unique isomorphism.
107
![Page 108: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/108.jpg)
Duality in monoidal categories, ctd.
Definition
An object Z = ∗X is the right dual to X if X ∼= Z ∗.
As the left dual, the right dual is unique up to a uniqueisomorphism if exists.
Definition
An object X is rigid if it has both the left and the right dual. Acategory C is rigid if all its objects are rigid.
Thus, if A is a Hopf algebra then the category Repf A of finitedimensional representations of A is a rigid monoidal category.
108
![Page 109: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/109.jpg)
Duality in monoidal categories, ctd.
Definition
An object Z = ∗X is the right dual to X if X ∼= Z ∗.
As the left dual, the right dual is unique up to a uniqueisomorphism if exists.
Definition
An object X is rigid if it has both the left and the right dual. Acategory C is rigid if all its objects are rigid.
Thus, if A is a Hopf algebra then the category Repf A of finitedimensional representations of A is a rigid monoidal category.
109
![Page 110: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/110.jpg)
Duality in monoidal categories, ctd.
Definition
An object Z = ∗X is the right dual to X if X ∼= Z ∗.
As the left dual, the right dual is unique up to a uniqueisomorphism if exists.
Definition
An object X is rigid if it has both the left and the right dual.
Acategory C is rigid if all its objects are rigid.
Thus, if A is a Hopf algebra then the category Repf A of finitedimensional representations of A is a rigid monoidal category.
110
![Page 111: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/111.jpg)
Duality in monoidal categories, ctd.
Definition
An object Z = ∗X is the right dual to X if X ∼= Z ∗.
As the left dual, the right dual is unique up to a uniqueisomorphism if exists.
Definition
An object X is rigid if it has both the left and the right dual. Acategory C is rigid if all its objects are rigid.
Thus, if A is a Hopf algebra then the category Repf A of finitedimensional representations of A is a rigid monoidal category.
111
![Page 112: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/112.jpg)
Duality in monoidal categories, ctd.
Definition
An object Z = ∗X is the right dual to X if X ∼= Z ∗.
As the left dual, the right dual is unique up to a uniqueisomorphism if exists.
Definition
An object X is rigid if it has both the left and the right dual. Acategory C is rigid if all its objects are rigid.
Thus, if A is a Hopf algebra then the category Repf A of finitedimensional representations of A is a rigid monoidal category.
112
![Page 113: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/113.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G .
The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1. ThusRepf A is a rigid monoidal category. We denote it by Vec(G )(G -graded vector spaces). This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version. Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G . If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).We will denote thiscategory Vec(G , α).
113
![Page 114: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/114.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G . The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1.
ThusRepf A is a rigid monoidal category. We denote it by Vec(G )(G -graded vector spaces). This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version. Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G . If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).We will denote thiscategory Vec(G , α).
114
![Page 115: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/115.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G . The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1. ThusRepf A is a rigid monoidal category.
We denote it by Vec(G )(G -graded vector spaces). This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version. Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G . If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).We will denote thiscategory Vec(G , α).
115
![Page 116: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/116.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G . The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1. ThusRepf A is a rigid monoidal category. We denote it by Vec(G )(G -graded vector spaces).
This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version. Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G . If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).We will denote thiscategory Vec(G , α).
116
![Page 117: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/117.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G . The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1. ThusRepf A is a rigid monoidal category. We denote it by Vec(G )(G -graded vector spaces). This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version. Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G . If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).We will denote thiscategory Vec(G , α).
117
![Page 118: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/118.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G . The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1. ThusRepf A is a rigid monoidal category. We denote it by Vec(G )(G -graded vector spaces). This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version.
Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G . If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).We will denote thiscategory Vec(G , α).
118
![Page 119: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/119.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G . The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1. ThusRepf A is a rigid monoidal category. We denote it by Vec(G )(G -graded vector spaces). This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version. Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.
Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G . If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).We will denote thiscategory Vec(G , α).
119
![Page 120: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/120.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G . The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1. ThusRepf A is a rigid monoidal category. We denote it by Vec(G )(G -graded vector spaces). This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version. Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G .
If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).We will denote thiscategory Vec(G , α).
120
![Page 121: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/121.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G . The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1. ThusRepf A is a rigid monoidal category. We denote it by Vec(G )(G -graded vector spaces). This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version. Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G . If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).
We will denote thiscategory Vec(G , α).
121
![Page 122: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/122.jpg)
Examples of rigid monoidal categories
Example
Let G be a finite group, A = O(G ), then Repf A is spanned by1-dimensional representations parametrized by g ∈ G . The tensorproduct is defined by g ⊗ h = gh, and g∗ = ∗g = g−1. ThusRepf A is a rigid monoidal category. We denote it by Vec(G )(G -graded vector spaces). This category makes sense for anygroup G (not necessarily finite).
Example
The previous example has the following twisted version. Letαg ,h,k : (g ⊗ h)⊗ k = ghk → g ⊗ (h ⊗ k) = ghk, i.e. αg ,h,k ∈ C∗.Then α satisfies the pentagon identity ⇔ α is a 3-cocycle of thegroup G . If so then this equips C = Vec(G ) with another structureof a rigid monoidal category (with the same tensor product functorbut different associativity isomorphism).We will denote thiscategory Vec(G , α).
122
![Page 123: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/123.jpg)
Monoidal functors
Let C,D be monoidal categories.
Definition
A functor F : C → D is a monoidal functor if F (1C) ∼= 1D and F isequipped with a functorial (in X ,Y ) isomorphismJX ,Y : F (X )⊗ F (Y )
∼−→ F (X ⊗ Y ) which makes the diagram
(F (X )⊗ F (Y ))⊗ F (Z )αD−−−−→ F (X )⊗ (F (Y )⊗ F (Z ))yJX ,Y⊗idZ
yidX⊗JY ,Z
F (X ⊗ Y )⊗ F (Z ) F (X )⊗ F (Y ⊗ Z )yJX⊗Y ,Z
yJX ,Y⊗Z
F ((X ⊗ Y )⊗ Z )F (αC)−−−−→ F (X ⊗ (Y ⊗ Z ))
commutative. A monoidal functor is an equivalence of monoidalcategories if it is an equivalence of categories.
123
![Page 124: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/124.jpg)
Monoidal functors
Let C,D be monoidal categories.
Definition
A functor F : C → D is a monoidal functor if F (1C) ∼= 1D and F isequipped with a functorial (in X ,Y ) isomorphismJX ,Y : F (X )⊗ F (Y )
∼−→ F (X ⊗ Y )
which makes the diagram
(F (X )⊗ F (Y ))⊗ F (Z )αD−−−−→ F (X )⊗ (F (Y )⊗ F (Z ))yJX ,Y⊗idZ
yidX⊗JY ,Z
F (X ⊗ Y )⊗ F (Z ) F (X )⊗ F (Y ⊗ Z )yJX⊗Y ,Z
yJX ,Y⊗Z
F ((X ⊗ Y )⊗ Z )F (αC)−−−−→ F (X ⊗ (Y ⊗ Z ))
commutative. A monoidal functor is an equivalence of monoidalcategories if it is an equivalence of categories.
124
![Page 125: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/125.jpg)
Monoidal functors
Let C,D be monoidal categories.
Definition
A functor F : C → D is a monoidal functor if F (1C) ∼= 1D and F isequipped with a functorial (in X ,Y ) isomorphismJX ,Y : F (X )⊗ F (Y )
∼−→ F (X ⊗ Y ) which makes the diagram
(F (X )⊗ F (Y ))⊗ F (Z )αD−−−−→ F (X )⊗ (F (Y )⊗ F (Z ))yJX ,Y⊗idZ
yidX⊗JY ,Z
F (X ⊗ Y )⊗ F (Z ) F (X )⊗ F (Y ⊗ Z )yJX⊗Y ,Z
yJX ,Y⊗Z
F ((X ⊗ Y )⊗ Z )F (αC)−−−−→ F (X ⊗ (Y ⊗ Z ))
commutative.
A monoidal functor is an equivalence of monoidalcategories if it is an equivalence of categories.
125
![Page 126: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/126.jpg)
Monoidal functors
Let C,D be monoidal categories.
Definition
A functor F : C → D is a monoidal functor if F (1C) ∼= 1D and F isequipped with a functorial (in X ,Y ) isomorphismJX ,Y : F (X )⊗ F (Y )
∼−→ F (X ⊗ Y ) which makes the diagram
(F (X )⊗ F (Y ))⊗ F (Z )αD−−−−→ F (X )⊗ (F (Y )⊗ F (Z ))yJX ,Y⊗idZ
yidX⊗JY ,Z
F (X ⊗ Y )⊗ F (Z ) F (X )⊗ F (Y ⊗ Z )yJX⊗Y ,Z
yJX ,Y⊗Z
F ((X ⊗ Y )⊗ Z )F (αC)−−−−→ F (X ⊗ (Y ⊗ Z ))
commutative. A monoidal functor is an equivalence of monoidalcategories if it is an equivalence of categories.
126
![Page 127: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/127.jpg)
Monoidal functors ctd.
The notion of monoidal equivalence is useful because monoidalcategories that are monoidally equivalent are “the same for allpractical purposes”.
Example
If α, β are two 3-cocycles on G then the identity functor
F = Id : Vec(G , α)→ Vec(G , β), g 7→ g
is monoidal with Jg ,h ∈ C∗ : g ⊗ h→ g ⊗ h iff dJ = α/β, where dis the differential in the standard complex of G with coefficients inC∗. In particular, F admits a monoidal structure if and only if thecohomology classes of α and β are the same.This shows thatVec(G , α) is equivalent to Vec(G ) iff α is trivial in H3(G ,C∗).
127
![Page 128: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/128.jpg)
Monoidal functors ctd.
The notion of monoidal equivalence is useful because monoidalcategories that are monoidally equivalent are “the same for allpractical purposes”.
Example
If α, β are two 3-cocycles on G then the identity functor
F = Id : Vec(G , α)→ Vec(G , β), g 7→ g
is monoidal with Jg ,h ∈ C∗ : g ⊗ h→ g ⊗ h iff dJ = α/β, where dis the differential in the standard complex of G with coefficients inC∗. In particular, F admits a monoidal structure if and only if thecohomology classes of α and β are the same.This shows thatVec(G , α) is equivalent to Vec(G ) iff α is trivial in H3(G ,C∗).
128
![Page 129: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/129.jpg)
Monoidal functors ctd.
The notion of monoidal equivalence is useful because monoidalcategories that are monoidally equivalent are “the same for allpractical purposes”.
Example
If α, β are two 3-cocycles on G then the identity functor
F = Id : Vec(G , α)→ Vec(G , β), g 7→ g
is monoidal with Jg ,h ∈ C∗ : g ⊗ h→ g ⊗ h iff dJ = α/β, where dis the differential in the standard complex of G with coefficients inC∗.
In particular, F admits a monoidal structure if and only if thecohomology classes of α and β are the same.This shows thatVec(G , α) is equivalent to Vec(G ) iff α is trivial in H3(G ,C∗).
129
![Page 130: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/130.jpg)
Monoidal functors ctd.
The notion of monoidal equivalence is useful because monoidalcategories that are monoidally equivalent are “the same for allpractical purposes”.
Example
If α, β are two 3-cocycles on G then the identity functor
F = Id : Vec(G , α)→ Vec(G , β), g 7→ g
is monoidal with Jg ,h ∈ C∗ : g ⊗ h→ g ⊗ h iff dJ = α/β, where dis the differential in the standard complex of G with coefficients inC∗. In particular, F admits a monoidal structure if and only if thecohomology classes of α and β are the same.
This shows thatVec(G , α) is equivalent to Vec(G ) iff α is trivial in H3(G ,C∗).
130
![Page 131: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/131.jpg)
Monoidal functors ctd.
The notion of monoidal equivalence is useful because monoidalcategories that are monoidally equivalent are “the same for allpractical purposes”.
Example
If α, β are two 3-cocycles on G then the identity functor
F = Id : Vec(G , α)→ Vec(G , β), g 7→ g
is monoidal with Jg ,h ∈ C∗ : g ⊗ h→ g ⊗ h iff dJ = α/β, where dis the differential in the standard complex of G with coefficients inC∗. In particular, F admits a monoidal structure if and only if thecohomology classes of α and β are the same.This shows thatVec(G , α) is equivalent to Vec(G ) iff α is trivial in H3(G ,C∗).
131
![Page 132: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/132.jpg)
The universal R-matrix of Uq(sl2)
If A is a Hopf algebra and X ,Y ∈ RepH then X ⊗Y � Y ⊗Xin general, as ∆ 6= ∆op (e.g. g ⊗ h � h ⊗ g for g , h ∈ Vec(G )).
However, sometimes ∆ 6= ∆op but still X ⊗ Y ∼= Y ⊗ X .
Example
For A = Uq(sl2) where qn 6= 1 define the universal R-matrix
R = qh⊗h2
∞∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k , where [k]q! = [1]q...[k]q.
This is an infinite series, but it makes sense as an operator onX ⊗ Y for any finite dimensional type I representations X ,Y ,
because the sum terminates. Here qh⊗h2 (x ⊗ y) = q
λµ2 x ⊗ y if x , y
have weights λ, µ, i.e., Kx = qλx ,Ky = qµy .
Theorem (Drinfeld)
The operator c = P ◦ R defines an isomorphism of representationsc : X ⊗ Y → Y ⊗ X . In other words, we have R∆(a) = ∆op(a)Ron X ⊗ Y for a ∈ Uq(sl2).
132
![Page 133: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/133.jpg)
The universal R-matrix of Uq(sl2)
If A is a Hopf algebra and X ,Y ∈ RepH then X ⊗Y � Y ⊗Xin general, as ∆ 6= ∆op (e.g. g ⊗ h � h ⊗ g for g , h ∈ Vec(G )).However, sometimes ∆ 6= ∆op but still X ⊗ Y ∼= Y ⊗ X .
Example
For A = Uq(sl2) where qn 6= 1 define the universal R-matrix
R = qh⊗h2
∞∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k , where [k]q! = [1]q...[k]q.
This is an infinite series, but it makes sense as an operator onX ⊗ Y for any finite dimensional type I representations X ,Y ,
because the sum terminates. Here qh⊗h2 (x ⊗ y) = q
λµ2 x ⊗ y if x , y
have weights λ, µ, i.e., Kx = qλx ,Ky = qµy .
Theorem (Drinfeld)
The operator c = P ◦ R defines an isomorphism of representationsc : X ⊗ Y → Y ⊗ X . In other words, we have R∆(a) = ∆op(a)Ron X ⊗ Y for a ∈ Uq(sl2).
133
![Page 134: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/134.jpg)
The universal R-matrix of Uq(sl2)
If A is a Hopf algebra and X ,Y ∈ RepH then X ⊗Y � Y ⊗Xin general, as ∆ 6= ∆op (e.g. g ⊗ h � h ⊗ g for g , h ∈ Vec(G )).However, sometimes ∆ 6= ∆op but still X ⊗ Y ∼= Y ⊗ X .
Example
For A = Uq(sl2) where qn 6= 1 define the universal R-matrix
R = qh⊗h2
∞∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k ,
where [k]q! = [1]q...[k]q.
This is an infinite series, but it makes sense as an operator onX ⊗ Y for any finite dimensional type I representations X ,Y ,
because the sum terminates. Here qh⊗h2 (x ⊗ y) = q
λµ2 x ⊗ y if x , y
have weights λ, µ, i.e., Kx = qλx ,Ky = qµy .
Theorem (Drinfeld)
The operator c = P ◦ R defines an isomorphism of representationsc : X ⊗ Y → Y ⊗ X . In other words, we have R∆(a) = ∆op(a)Ron X ⊗ Y for a ∈ Uq(sl2).
134
![Page 135: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/135.jpg)
The universal R-matrix of Uq(sl2)
If A is a Hopf algebra and X ,Y ∈ RepH then X ⊗Y � Y ⊗Xin general, as ∆ 6= ∆op (e.g. g ⊗ h � h ⊗ g for g , h ∈ Vec(G )).However, sometimes ∆ 6= ∆op but still X ⊗ Y ∼= Y ⊗ X .
Example
For A = Uq(sl2) where qn 6= 1 define the universal R-matrix
R = qh⊗h2
∞∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k , where [k]q! = [1]q...[k]q.
This is an infinite series, but it makes sense as an operator onX ⊗ Y for any finite dimensional type I representations X ,Y ,
because the sum terminates. Here qh⊗h2 (x ⊗ y) = q
λµ2 x ⊗ y if x , y
have weights λ, µ, i.e., Kx = qλx ,Ky = qµy .
Theorem (Drinfeld)
The operator c = P ◦ R defines an isomorphism of representationsc : X ⊗ Y → Y ⊗ X . In other words, we have R∆(a) = ∆op(a)Ron X ⊗ Y for a ∈ Uq(sl2).
135
![Page 136: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/136.jpg)
The universal R-matrix of Uq(sl2)
If A is a Hopf algebra and X ,Y ∈ RepH then X ⊗Y � Y ⊗Xin general, as ∆ 6= ∆op (e.g. g ⊗ h � h ⊗ g for g , h ∈ Vec(G )).However, sometimes ∆ 6= ∆op but still X ⊗ Y ∼= Y ⊗ X .
Example
For A = Uq(sl2) where qn 6= 1 define the universal R-matrix
R = qh⊗h2
∞∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k , where [k]q! = [1]q...[k]q.
This is an infinite series, but it makes sense as an operator onX ⊗ Y for any finite dimensional type I representations X ,Y ,
because the sum terminates.
Here qh⊗h2 (x ⊗ y) = q
λµ2 x ⊗ y if x , y
have weights λ, µ, i.e., Kx = qλx ,Ky = qµy .
Theorem (Drinfeld)
The operator c = P ◦ R defines an isomorphism of representationsc : X ⊗ Y → Y ⊗ X . In other words, we have R∆(a) = ∆op(a)Ron X ⊗ Y for a ∈ Uq(sl2).
136
![Page 137: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/137.jpg)
The universal R-matrix of Uq(sl2)
If A is a Hopf algebra and X ,Y ∈ RepH then X ⊗Y � Y ⊗Xin general, as ∆ 6= ∆op (e.g. g ⊗ h � h ⊗ g for g , h ∈ Vec(G )).However, sometimes ∆ 6= ∆op but still X ⊗ Y ∼= Y ⊗ X .
Example
For A = Uq(sl2) where qn 6= 1 define the universal R-matrix
R = qh⊗h2
∞∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k , where [k]q! = [1]q...[k]q.
This is an infinite series, but it makes sense as an operator onX ⊗ Y for any finite dimensional type I representations X ,Y ,
because the sum terminates. Here qh⊗h2 (x ⊗ y) = q
λµ2 x ⊗ y if x , y
have weights λ, µ, i.e., Kx = qλx ,Ky = qµy .
Theorem (Drinfeld)
The operator c = P ◦ R defines an isomorphism of representationsc : X ⊗ Y → Y ⊗ X . In other words, we have R∆(a) = ∆op(a)Ron X ⊗ Y for a ∈ Uq(sl2).
137
![Page 138: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/138.jpg)
The universal R-matrix of Uq(sl2)
If A is a Hopf algebra and X ,Y ∈ RepH then X ⊗Y � Y ⊗Xin general, as ∆ 6= ∆op (e.g. g ⊗ h � h ⊗ g for g , h ∈ Vec(G )).However, sometimes ∆ 6= ∆op but still X ⊗ Y ∼= Y ⊗ X .
Example
For A = Uq(sl2) where qn 6= 1 define the universal R-matrix
R = qh⊗h2
∞∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k , where [k]q! = [1]q...[k]q.
This is an infinite series, but it makes sense as an operator onX ⊗ Y for any finite dimensional type I representations X ,Y ,
because the sum terminates. Here qh⊗h2 (x ⊗ y) = q
λµ2 x ⊗ y if x , y
have weights λ, µ, i.e., Kx = qλx ,Ky = qµy .
Theorem (Drinfeld)
The operator c = P ◦ R defines an isomorphism of representationsc : X ⊗ Y → Y ⊗ X .
In other words, we have R∆(a) = ∆op(a)Ron X ⊗ Y for a ∈ Uq(sl2).
138
![Page 139: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/139.jpg)
The universal R-matrix of Uq(sl2)
If A is a Hopf algebra and X ,Y ∈ RepH then X ⊗Y � Y ⊗Xin general, as ∆ 6= ∆op (e.g. g ⊗ h � h ⊗ g for g , h ∈ Vec(G )).However, sometimes ∆ 6= ∆op but still X ⊗ Y ∼= Y ⊗ X .
Example
For A = Uq(sl2) where qn 6= 1 define the universal R-matrix
R = qh⊗h2
∞∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k , where [k]q! = [1]q...[k]q.
This is an infinite series, but it makes sense as an operator onX ⊗ Y for any finite dimensional type I representations X ,Y ,
because the sum terminates. Here qh⊗h2 (x ⊗ y) = q
λµ2 x ⊗ y if x , y
have weights λ, µ, i.e., Kx = qλx ,Ky = qµy .
Theorem (Drinfeld)
The operator c = P ◦ R defines an isomorphism of representationsc : X ⊗ Y → Y ⊗ X . In other words, we have R∆(a) = ∆op(a)Ron X ⊗ Y for a ∈ Uq(sl2).
139
![Page 140: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/140.jpg)
The universal R-matrix of Uq(sl2)
If A is a Hopf algebra and X ,Y ∈ RepH then X ⊗Y � Y ⊗Xin general, as ∆ 6= ∆op (e.g. g ⊗ h � h ⊗ g for g , h ∈ Vec(G )).However, sometimes ∆ 6= ∆op but still X ⊗ Y ∼= Y ⊗ X .
Example
For A = Uq(sl2) where qn 6= 1 define the universal R-matrix
R = qh⊗h2
∞∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k , where [k]q! = [1]q...[k]q.
This is an infinite series, but it makes sense as an operator onX ⊗ Y for any finite dimensional type I representations X ,Y ,
because the sum terminates. Here qh⊗h2 (x ⊗ y) = q
λµ2 x ⊗ y if x , y
have weights λ, µ, i.e., Kx = qλx ,Ky = qµy .
Theorem (Drinfeld)
The operator c = P ◦ R defines an isomorphism of representationsc : X ⊗ Y → Y ⊗ X . In other words, we have R∆(a) = ∆op(a)Ron X ⊗ Y for a ∈ Uq(sl2).
140
![Page 141: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/141.jpg)
The Drinfeld center
A prototypical example of a monoidal category whereX ⊗ Y ∼= Y ⊗ X is the Drinfeld center of a monoidal category C.
Definition
The Drinfeld center Z(C) of C is the category of pairs (Y , ϕ)where Y ∈ C and ϕ : Y⊗?→?⊗ Y is a functorial isomorphismgiven by ϕX : Y ⊗ X
∼−→ X ⊗ Y ∀X ∈ C, satisfying the followingcommutative diagram:
Y ⊗ (X1 ⊗ X2)ϕX1⊗X2−−−−→ (X1 ⊗ X2)⊗ Yyα−1
YX1X2
xα−1X1X2Y
(Y ⊗ X1)⊗ X2 X1 ⊗ (X2 ⊗ Y )yϕX1⊗id
xid⊗ϕX2
(X1 ⊗ Y )⊗ X2
αX1YX2−−−−→ X1 ⊗ (Y ⊗ X2)
Morphisms of such pairs are morphisms in C which preserve ϕ.
141
![Page 142: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/142.jpg)
The Drinfeld center
A prototypical example of a monoidal category whereX ⊗ Y ∼= Y ⊗ X is the Drinfeld center of a monoidal category C.
Definition
The Drinfeld center Z(C) of C is the category of pairs (Y , ϕ)where Y ∈ C and ϕ : Y⊗?→?⊗ Y is a functorial isomorphismgiven by ϕX : Y ⊗ X
∼−→ X ⊗ Y ∀X ∈ C, satisfying the followingcommutative diagram:
Y ⊗ (X1 ⊗ X2)ϕX1⊗X2−−−−→ (X1 ⊗ X2)⊗ Yyα−1
YX1X2
xα−1X1X2Y
(Y ⊗ X1)⊗ X2 X1 ⊗ (X2 ⊗ Y )yϕX1⊗id
xid⊗ϕX2
(X1 ⊗ Y )⊗ X2
αX1YX2−−−−→ X1 ⊗ (Y ⊗ X2)
Morphisms of such pairs are morphisms in C which preserve ϕ.
142
![Page 143: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/143.jpg)
The Drinfeld center
A prototypical example of a monoidal category whereX ⊗ Y ∼= Y ⊗ X is the Drinfeld center of a monoidal category C.
Definition
The Drinfeld center Z(C) of C is the category of pairs (Y , ϕ)where Y ∈ C and ϕ : Y⊗?→?⊗ Y is a functorial isomorphismgiven by ϕX : Y ⊗ X
∼−→ X ⊗ Y ∀X ∈ C, satisfying the followingcommutative diagram:
Y ⊗ (X1 ⊗ X2)ϕX1⊗X2−−−−→ (X1 ⊗ X2)⊗ Yyα−1
YX1X2
xα−1X1X2Y
(Y ⊗ X1)⊗ X2 X1 ⊗ (X2 ⊗ Y )yϕX1⊗id
xid⊗ϕX2
(X1 ⊗ Y )⊗ X2
αX1YX2−−−−→ X1 ⊗ (Y ⊗ X2)
Morphisms of such pairs are morphisms in C which preserve ϕ.
143
![Page 144: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/144.jpg)
The Drinfeld center
A prototypical example of a monoidal category whereX ⊗ Y ∼= Y ⊗ X is the Drinfeld center of a monoidal category C.
Definition
The Drinfeld center Z(C) of C is the category of pairs (Y , ϕ)where Y ∈ C and ϕ : Y⊗?→?⊗ Y is a functorial isomorphismgiven by ϕX : Y ⊗ X
∼−→ X ⊗ Y ∀X ∈ C, satisfying the followingcommutative diagram:
Y ⊗ (X1 ⊗ X2)ϕX1⊗X2−−−−→ (X1 ⊗ X2)⊗ Yyα−1
YX1X2
xα−1X1X2Y
(Y ⊗ X1)⊗ X2 X1 ⊗ (X2 ⊗ Y )yϕX1⊗id
xid⊗ϕX2
(X1 ⊗ Y )⊗ X2
αX1YX2−−−−→ X1 ⊗ (Y ⊗ X2)
Morphisms of such pairs are morphisms in C which preserve ϕ.144
![Page 145: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/145.jpg)
The Drinfeld center, ctd.
The Drinfeld center Z(C) has a natural monoidal structuredefined by (Y , ϕ)⊗ (Z , ψ) = (Y ⊗ Z , η),
where (suppressing α)
ηX = (φX⊗idZ )◦(idY⊗ψX ) : Y⊗Z⊗X → Y⊗X⊗Z → X⊗Y⊗Z .
Note also that we have a monoidal forgetful functor Z (C)→ C,(Y , ϕ) 7→ Y . Moreover, if Y ,Z ∈ Z(C) then there are two ways
Y ⊗ ZcYZ ,c
−1ZY−−−−−→ Z ⊗ Y to identify Y ⊗ Z and Z ⊗ Y , cYZ = ϕZ ,
cZY = ψY . This gives an action of the braid group Bn on V⊗n forV ∈ Z(C). Recall that Bn = π1(Cn\diagonals/Sn) =
〈s1, ..., sn−1 | si sj = sjsi if |i − j | ≥ 2, si si+1si = si+1si si+1〉
Proposition
There is an action of Bn on V⊗n is defined by
ρ : Bn → Aut(V⊗n), ρ(si ) = ci ,i+1 = (cV ,V )i ,i+1
145
![Page 146: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/146.jpg)
The Drinfeld center, ctd.
The Drinfeld center Z(C) has a natural monoidal structuredefined by (Y , ϕ)⊗ (Z , ψ) = (Y ⊗ Z , η), where (suppressing α)
ηX = (φX⊗idZ )◦(idY⊗ψX ) : Y⊗Z⊗X → Y⊗X⊗Z → X⊗Y⊗Z .
Note also that we have a monoidal forgetful functor Z (C)→ C,(Y , ϕ) 7→ Y . Moreover, if Y ,Z ∈ Z(C) then there are two ways
Y ⊗ ZcYZ ,c
−1ZY−−−−−→ Z ⊗ Y to identify Y ⊗ Z and Z ⊗ Y , cYZ = ϕZ ,
cZY = ψY . This gives an action of the braid group Bn on V⊗n forV ∈ Z(C). Recall that Bn = π1(Cn\diagonals/Sn) =
〈s1, ..., sn−1 | si sj = sjsi if |i − j | ≥ 2, si si+1si = si+1si si+1〉
Proposition
There is an action of Bn on V⊗n is defined by
ρ : Bn → Aut(V⊗n), ρ(si ) = ci ,i+1 = (cV ,V )i ,i+1
146
![Page 147: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/147.jpg)
The Drinfeld center, ctd.
The Drinfeld center Z(C) has a natural monoidal structuredefined by (Y , ϕ)⊗ (Z , ψ) = (Y ⊗ Z , η), where (suppressing α)
ηX = (φX⊗idZ )◦(idY⊗ψX ) : Y⊗Z⊗X → Y⊗X⊗Z → X⊗Y⊗Z .
Note also that we have a monoidal forgetful functor Z (C)→ C,(Y , ϕ) 7→ Y .
Moreover, if Y ,Z ∈ Z(C) then there are two ways
Y ⊗ ZcYZ ,c
−1ZY−−−−−→ Z ⊗ Y to identify Y ⊗ Z and Z ⊗ Y , cYZ = ϕZ ,
cZY = ψY . This gives an action of the braid group Bn on V⊗n forV ∈ Z(C). Recall that Bn = π1(Cn\diagonals/Sn) =
〈s1, ..., sn−1 | si sj = sjsi if |i − j | ≥ 2, si si+1si = si+1si si+1〉
Proposition
There is an action of Bn on V⊗n is defined by
ρ : Bn → Aut(V⊗n), ρ(si ) = ci ,i+1 = (cV ,V )i ,i+1
147
![Page 148: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/148.jpg)
The Drinfeld center, ctd.
The Drinfeld center Z(C) has a natural monoidal structuredefined by (Y , ϕ)⊗ (Z , ψ) = (Y ⊗ Z , η), where (suppressing α)
ηX = (φX⊗idZ )◦(idY⊗ψX ) : Y⊗Z⊗X → Y⊗X⊗Z → X⊗Y⊗Z .
Note also that we have a monoidal forgetful functor Z (C)→ C,(Y , ϕ) 7→ Y . Moreover, if Y ,Z ∈ Z(C) then there are two ways
Y ⊗ ZcYZ ,c
−1ZY−−−−−→ Z ⊗ Y to identify Y ⊗ Z and Z ⊗ Y , cYZ = ϕZ ,
cZY = ψY .
This gives an action of the braid group Bn on V⊗n forV ∈ Z(C). Recall that Bn = π1(Cn\diagonals/Sn) =
〈s1, ..., sn−1 | si sj = sjsi if |i − j | ≥ 2, si si+1si = si+1si si+1〉
Proposition
There is an action of Bn on V⊗n is defined by
ρ : Bn → Aut(V⊗n), ρ(si ) = ci ,i+1 = (cV ,V )i ,i+1
148
![Page 149: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/149.jpg)
The Drinfeld center, ctd.
The Drinfeld center Z(C) has a natural monoidal structuredefined by (Y , ϕ)⊗ (Z , ψ) = (Y ⊗ Z , η), where (suppressing α)
ηX = (φX⊗idZ )◦(idY⊗ψX ) : Y⊗Z⊗X → Y⊗X⊗Z → X⊗Y⊗Z .
Note also that we have a monoidal forgetful functor Z (C)→ C,(Y , ϕ) 7→ Y . Moreover, if Y ,Z ∈ Z(C) then there are two ways
Y ⊗ ZcYZ ,c
−1ZY−−−−−→ Z ⊗ Y to identify Y ⊗ Z and Z ⊗ Y , cYZ = ϕZ ,
cZY = ψY . This gives an action of the braid group Bn on V⊗n forV ∈ Z(C).
Recall that Bn = π1(Cn\diagonals/Sn) =
〈s1, ..., sn−1 | si sj = sjsi if |i − j | ≥ 2, si si+1si = si+1si si+1〉
Proposition
There is an action of Bn on V⊗n is defined by
ρ : Bn → Aut(V⊗n), ρ(si ) = ci ,i+1 = (cV ,V )i ,i+1
149
![Page 150: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/150.jpg)
The Drinfeld center, ctd.
The Drinfeld center Z(C) has a natural monoidal structuredefined by (Y , ϕ)⊗ (Z , ψ) = (Y ⊗ Z , η), where (suppressing α)
ηX = (φX⊗idZ )◦(idY⊗ψX ) : Y⊗Z⊗X → Y⊗X⊗Z → X⊗Y⊗Z .
Note also that we have a monoidal forgetful functor Z (C)→ C,(Y , ϕ) 7→ Y . Moreover, if Y ,Z ∈ Z(C) then there are two ways
Y ⊗ ZcYZ ,c
−1ZY−−−−−→ Z ⊗ Y to identify Y ⊗ Z and Z ⊗ Y , cYZ = ϕZ ,
cZY = ψY . This gives an action of the braid group Bn on V⊗n forV ∈ Z(C). Recall that Bn = π1(Cn\diagonals/Sn) =
〈s1, ..., sn−1 | si sj = sjsi if |i − j | ≥ 2, si si+1si = si+1si si+1〉
Proposition
There is an action of Bn on V⊗n is defined by
ρ : Bn → Aut(V⊗n), ρ(si ) = ci ,i+1 = (cV ,V )i ,i+1
150
![Page 151: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/151.jpg)
The Drinfeld center, ctd.
The Drinfeld center Z(C) has a natural monoidal structuredefined by (Y , ϕ)⊗ (Z , ψ) = (Y ⊗ Z , η), where (suppressing α)
ηX = (φX⊗idZ )◦(idY⊗ψX ) : Y⊗Z⊗X → Y⊗X⊗Z → X⊗Y⊗Z .
Note also that we have a monoidal forgetful functor Z (C)→ C,(Y , ϕ) 7→ Y . Moreover, if Y ,Z ∈ Z(C) then there are two ways
Y ⊗ ZcYZ ,c
−1ZY−−−−−→ Z ⊗ Y to identify Y ⊗ Z and Z ⊗ Y , cYZ = ϕZ ,
cZY = ψY . This gives an action of the braid group Bn on V⊗n forV ∈ Z(C). Recall that Bn = π1(Cn\diagonals/Sn) =
〈s1, ..., sn−1 | si sj = sjsi if |i − j | ≥ 2, si si+1si = si+1si si+1〉
Proposition
There is an action of Bn on V⊗n is defined by
ρ : Bn → Aut(V⊗n), ρ(si ) = ci ,i+1 = (cV ,V )i ,i+1
151
![Page 152: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/152.jpg)
The Drinfeld center, ctd.
The Drinfeld center Z(C) has a natural monoidal structuredefined by (Y , ϕ)⊗ (Z , ψ) = (Y ⊗ Z , η), where (suppressing α)
ηX = (φX⊗idZ )◦(idY⊗ψX ) : Y⊗Z⊗X → Y⊗X⊗Z → X⊗Y⊗Z .
Note also that we have a monoidal forgetful functor Z (C)→ C,(Y , ϕ) 7→ Y . Moreover, if Y ,Z ∈ Z(C) then there are two ways
Y ⊗ ZcYZ ,c
−1ZY−−−−−→ Z ⊗ Y to identify Y ⊗ Z and Z ⊗ Y , cYZ = ϕZ ,
cZY = ψY . This gives an action of the braid group Bn on V⊗n forV ∈ Z(C). Recall that Bn = π1(Cn\diagonals/Sn) =
〈s1, ..., sn−1 | si sj = sjsi if |i − j | ≥ 2, si si+1si = si+1si si+1〉
Proposition
There is an action of Bn on V⊗n is defined by
ρ : Bn → Aut(V⊗n), ρ(si ) = ci ,i+1 = (cV ,V )i ,i+1
152
![Page 153: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/153.jpg)
The Drinfeld center, ctd.
The Drinfeld center Z(C) has a natural monoidal structuredefined by (Y , ϕ)⊗ (Z , ψ) = (Y ⊗ Z , η), where (suppressing α)
ηX = (φX⊗idZ )◦(idY⊗ψX ) : Y⊗Z⊗X → Y⊗X⊗Z → X⊗Y⊗Z .
Note also that we have a monoidal forgetful functor Z (C)→ C,(Y , ϕ) 7→ Y . Moreover, if Y ,Z ∈ Z(C) then there are two ways
Y ⊗ ZcYZ ,c
−1ZY−−−−−→ Z ⊗ Y to identify Y ⊗ Z and Z ⊗ Y , cYZ = ϕZ ,
cZY = ψY . This gives an action of the braid group Bn on V⊗n forV ∈ Z(C). Recall that Bn = π1(Cn\diagonals/Sn) =
〈s1, ..., sn−1 | si sj = sjsi if |i − j | ≥ 2, si si+1si = si+1si si+1〉
Proposition
There is an action of Bn on V⊗n is defined by
ρ : Bn → Aut(V⊗n), ρ(si ) = ci ,i+1 = (cV ,V )i ,i+1
153
![Page 154: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/154.jpg)
The Drinfeld center, ctd.
Proof.
This follows from the hexagon relations for X ,Y ,Z ∈ Z(C):
X ⊗ Y ⊗ Z → Y ⊗ X ⊗ Z↘ ↓
Y ⊗ Z ⊗ X
X ⊗ Y ⊗ Z → X ⊗ Z ⊗ Y↘ ↓
Z ⊗ X ⊗ Y
where we suppress α and the maps are given by c .
They are call “hexagon relations” because they would havebeen hexagons had we not suppressed α.
This motivates the definition of a braided monoidal category.
154
![Page 155: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/155.jpg)
The Drinfeld center, ctd.
Proof.
This follows from the hexagon relations for X ,Y ,Z ∈ Z(C):
X ⊗ Y ⊗ Z → Y ⊗ X ⊗ Z↘ ↓
Y ⊗ Z ⊗ X
X ⊗ Y ⊗ Z → X ⊗ Z ⊗ Y↘ ↓
Z ⊗ X ⊗ Y
where we suppress α and the maps are given by c .
They are call “hexagon relations” because they would havebeen hexagons had we not suppressed α.
This motivates the definition of a braided monoidal category.
155
![Page 156: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/156.jpg)
The Drinfeld center, ctd.
Proof.
This follows from the hexagon relations for X ,Y ,Z ∈ Z(C):
X ⊗ Y ⊗ Z → Y ⊗ X ⊗ Z↘ ↓
Y ⊗ Z ⊗ X
X ⊗ Y ⊗ Z → X ⊗ Z ⊗ Y↘ ↓
Z ⊗ X ⊗ Y
where we suppress α and the maps are given by c .
They are call “hexagon relations” because they would havebeen hexagons had we not suppressed α.
This motivates the definition of a braided monoidal category.
156
![Page 157: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/157.jpg)
The Drinfeld center, ctd.
Proof.
This follows from the hexagon relations for X ,Y ,Z ∈ Z(C):
X ⊗ Y ⊗ Z → Y ⊗ X ⊗ Z↘ ↓
Y ⊗ Z ⊗ X
X ⊗ Y ⊗ Z → X ⊗ Z ⊗ Y↘ ↓
Z ⊗ X ⊗ Y
where we suppress α and the maps are given by c .
They are call “hexagon relations” because they would havebeen hexagons had we not suppressed α.
This motivates the definition of a braided monoidal category.
157
![Page 158: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/158.jpg)
Braided monoidal categories
Definition
A braided monoidal category is a monoidal category endowed witha functorial isomorphism c : ⊗ → ⊗op, cX ,Y : X ⊗ Y → Y ⊗ X
which satisfies the hexagon relations.
Thus we obtain
Theorem
The Drinfeld center Z(C) is a braided monoidal category.
Moreover, every braided monoidal category C is a braidedsubcategory of its Drinfeld center using the inclusion ι : C → Z(C)given by X 7→ (X , cX?). In this sense the Drinfeld center is aprototypical example of a braided category.
Theorem
The category of finite dimensional (type I) representations ofUq(sl2) is a braided monoidal category, with c = P ◦ R.
158
![Page 159: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/159.jpg)
Braided monoidal categories
Definition
A braided monoidal category is a monoidal category endowed witha functorial isomorphism c : ⊗ → ⊗op, cX ,Y : X ⊗ Y → Y ⊗ Xwhich satisfies the hexagon relations.
Thus we obtain
Theorem
The Drinfeld center Z(C) is a braided monoidal category.
Moreover, every braided monoidal category C is a braidedsubcategory of its Drinfeld center using the inclusion ι : C → Z(C)given by X 7→ (X , cX?). In this sense the Drinfeld center is aprototypical example of a braided category.
Theorem
The category of finite dimensional (type I) representations ofUq(sl2) is a braided monoidal category, with c = P ◦ R.
159
![Page 160: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/160.jpg)
Braided monoidal categories
Definition
A braided monoidal category is a monoidal category endowed witha functorial isomorphism c : ⊗ → ⊗op, cX ,Y : X ⊗ Y → Y ⊗ Xwhich satisfies the hexagon relations.
Thus we obtain
Theorem
The Drinfeld center Z(C) is a braided monoidal category.
Moreover, every braided monoidal category C is a braidedsubcategory of its Drinfeld center using the inclusion ι : C → Z(C)given by X 7→ (X , cX?). In this sense the Drinfeld center is aprototypical example of a braided category.
Theorem
The category of finite dimensional (type I) representations ofUq(sl2) is a braided monoidal category, with c = P ◦ R.
160
![Page 161: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/161.jpg)
Braided monoidal categories
Definition
A braided monoidal category is a monoidal category endowed witha functorial isomorphism c : ⊗ → ⊗op, cX ,Y : X ⊗ Y → Y ⊗ Xwhich satisfies the hexagon relations.
Thus we obtain
Theorem
The Drinfeld center Z(C) is a braided monoidal category.
Moreover, every braided monoidal category C is a braidedsubcategory of its Drinfeld center using the inclusion ι : C → Z(C)given by X 7→ (X , cX?). In this sense the Drinfeld center is aprototypical example of a braided category.
Theorem
The category of finite dimensional (type I) representations ofUq(sl2) is a braided monoidal category, with c = P ◦ R.
161
![Page 162: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/162.jpg)
Braided monoidal categories ctd.
Note that as a consequence R satisfies the QuantumYang-Baxter equation
R12R13R23 = R23R13R12
(this follows from the relation s1s2s1 = s2s1s2).
Remark
A braided category is called symmetric if cXY cYX = idX⊗Y for allX ,Y . For example, the categories RepG and Rep g aresymmetric. However, Z(C) is usually not symmetric, andRepf Uq(sl2) isn’t either.
We’ll explain that the theorem on Uq(sl2), and in fact theconstruction of R, are consequences of the theorem about theDrinfeld center. To this end, let us compute the Drinfeld center ofthe category RepA of representations of a Hopf algebra A.
162
![Page 163: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/163.jpg)
Braided monoidal categories ctd.
Note that as a consequence R satisfies the QuantumYang-Baxter equation
R12R13R23 = R23R13R12
(this follows from the relation s1s2s1 = s2s1s2).
Remark
A braided category is called symmetric if cXY cYX = idX⊗Y for allX ,Y .
For example, the categories RepG and Rep g aresymmetric. However, Z(C) is usually not symmetric, andRepf Uq(sl2) isn’t either.
We’ll explain that the theorem on Uq(sl2), and in fact theconstruction of R, are consequences of the theorem about theDrinfeld center. To this end, let us compute the Drinfeld center ofthe category RepA of representations of a Hopf algebra A.
163
![Page 164: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/164.jpg)
Braided monoidal categories ctd.
Note that as a consequence R satisfies the QuantumYang-Baxter equation
R12R13R23 = R23R13R12
(this follows from the relation s1s2s1 = s2s1s2).
Remark
A braided category is called symmetric if cXY cYX = idX⊗Y for allX ,Y . For example, the categories RepG and Rep g aresymmetric.
However, Z(C) is usually not symmetric, andRepf Uq(sl2) isn’t either.
We’ll explain that the theorem on Uq(sl2), and in fact theconstruction of R, are consequences of the theorem about theDrinfeld center. To this end, let us compute the Drinfeld center ofthe category RepA of representations of a Hopf algebra A.
164
![Page 165: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/165.jpg)
Braided monoidal categories ctd.
Note that as a consequence R satisfies the QuantumYang-Baxter equation
R12R13R23 = R23R13R12
(this follows from the relation s1s2s1 = s2s1s2).
Remark
A braided category is called symmetric if cXY cYX = idX⊗Y for allX ,Y . For example, the categories RepG and Rep g aresymmetric. However, Z(C) is usually not symmetric, andRepf Uq(sl2) isn’t either.
We’ll explain that the theorem on Uq(sl2), and in fact theconstruction of R, are consequences of the theorem about theDrinfeld center.
To this end, let us compute the Drinfeld center ofthe category RepA of representations of a Hopf algebra A.
165
![Page 166: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/166.jpg)
Braided monoidal categories ctd.
Note that as a consequence R satisfies the QuantumYang-Baxter equation
R12R13R23 = R23R13R12
(this follows from the relation s1s2s1 = s2s1s2).
Remark
A braided category is called symmetric if cXY cYX = idX⊗Y for allX ,Y . For example, the categories RepG and Rep g aresymmetric. However, Z(C) is usually not symmetric, andRepf Uq(sl2) isn’t either.
We’ll explain that the theorem on Uq(sl2), and in fact theconstruction of R, are consequences of the theorem about theDrinfeld center. To this end, let us compute the Drinfeld center ofthe category RepA of representations of a Hopf algebra A.
166
![Page 167: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/167.jpg)
Yetter-Drinfeld modules
Let Y ∈ Z(RepA).
Then the mapϕA : IndACY = Y ⊗ A→ A⊗ Y defines a comodule structureτ = ϕA|Y : Y → A⊗ Y . The compatibility condition between thiscomodule structure and the A-module structure on Y is
τ(ay) = a(1)y(1)S(a(2))⊗ y(2)a(3).
where y ∈ Y , τ(y) = y(1) ⊗ y(2) and
a ∈ A, (1⊗∆) ◦∆(a) = a(1) ⊗ a(2) ⊗ a(3).
Definition
A Yetter-Drinfeld module over A is an A-module Y which is also anA-comodule with τ : Y → A⊗Y satisfying the above compatibilitycondition. The category of such modules is denoted YD(A).
Proposition
One has Z(RepA) ∼= YD(A).
167
![Page 168: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/168.jpg)
Yetter-Drinfeld modules
Let Y ∈ Z(RepA). Then the mapϕA : IndACY = Y ⊗ A→ A⊗ Y defines a comodule structureτ = ϕA|Y : Y → A⊗ Y .
The compatibility condition between thiscomodule structure and the A-module structure on Y is
τ(ay) = a(1)y(1)S(a(2))⊗ y(2)a(3).
where y ∈ Y , τ(y) = y(1) ⊗ y(2) and
a ∈ A, (1⊗∆) ◦∆(a) = a(1) ⊗ a(2) ⊗ a(3).
Definition
A Yetter-Drinfeld module over A is an A-module Y which is also anA-comodule with τ : Y → A⊗Y satisfying the above compatibilitycondition. The category of such modules is denoted YD(A).
Proposition
One has Z(RepA) ∼= YD(A).
168
![Page 169: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/169.jpg)
Yetter-Drinfeld modules
Let Y ∈ Z(RepA). Then the mapϕA : IndACY = Y ⊗ A→ A⊗ Y defines a comodule structureτ = ϕA|Y : Y → A⊗ Y . The compatibility condition between thiscomodule structure and the A-module structure on Y is
τ(ay) = a(1)y(1)S(a(2))⊗ y(2)a(3).
where y ∈ Y , τ(y) = y(1) ⊗ y(2) and
a ∈ A, (1⊗∆) ◦∆(a) = a(1) ⊗ a(2) ⊗ a(3).
Definition
A Yetter-Drinfeld module over A is an A-module Y which is also anA-comodule with τ : Y → A⊗Y satisfying the above compatibilitycondition. The category of such modules is denoted YD(A).
Proposition
One has Z(RepA) ∼= YD(A).
169
![Page 170: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/170.jpg)
Yetter-Drinfeld modules
Let Y ∈ Z(RepA). Then the mapϕA : IndACY = Y ⊗ A→ A⊗ Y defines a comodule structureτ = ϕA|Y : Y → A⊗ Y . The compatibility condition between thiscomodule structure and the A-module structure on Y is
τ(ay) = a(1)y(1)S(a(2))⊗ y(2)a(3).
where y ∈ Y , τ(y) = y(1) ⊗ y(2)
and
a ∈ A, (1⊗∆) ◦∆(a) = a(1) ⊗ a(2) ⊗ a(3).
Definition
A Yetter-Drinfeld module over A is an A-module Y which is also anA-comodule with τ : Y → A⊗Y satisfying the above compatibilitycondition. The category of such modules is denoted YD(A).
Proposition
One has Z(RepA) ∼= YD(A).
170
![Page 171: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/171.jpg)
Yetter-Drinfeld modules
Let Y ∈ Z(RepA). Then the mapϕA : IndACY = Y ⊗ A→ A⊗ Y defines a comodule structureτ = ϕA|Y : Y → A⊗ Y . The compatibility condition between thiscomodule structure and the A-module structure on Y is
τ(ay) = a(1)y(1)S(a(2))⊗ y(2)a(3).
where y ∈ Y , τ(y) = y(1) ⊗ y(2) and
a ∈ A, (1⊗∆) ◦∆(a) = a(1) ⊗ a(2) ⊗ a(3).
Definition
A Yetter-Drinfeld module over A is an A-module Y which is also anA-comodule with τ : Y → A⊗Y satisfying the above compatibilitycondition. The category of such modules is denoted YD(A).
Proposition
One has Z(RepA) ∼= YD(A).
171
![Page 172: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/172.jpg)
Yetter-Drinfeld modules
Let Y ∈ Z(RepA). Then the mapϕA : IndACY = Y ⊗ A→ A⊗ Y defines a comodule structureτ = ϕA|Y : Y → A⊗ Y . The compatibility condition between thiscomodule structure and the A-module structure on Y is
τ(ay) = a(1)y(1)S(a(2))⊗ y(2)a(3).
where y ∈ Y , τ(y) = y(1) ⊗ y(2) and
a ∈ A, (1⊗∆) ◦∆(a) = a(1) ⊗ a(2) ⊗ a(3).
Definition
A Yetter-Drinfeld module over A is an A-module Y which is also anA-comodule with τ : Y → A⊗Y satisfying the above compatibilitycondition.
The category of such modules is denoted YD(A).
Proposition
One has Z(RepA) ∼= YD(A).
172
![Page 173: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/173.jpg)
Yetter-Drinfeld modules
Let Y ∈ Z(RepA). Then the mapϕA : IndACY = Y ⊗ A→ A⊗ Y defines a comodule structureτ = ϕA|Y : Y → A⊗ Y . The compatibility condition between thiscomodule structure and the A-module structure on Y is
τ(ay) = a(1)y(1)S(a(2))⊗ y(2)a(3).
where y ∈ Y , τ(y) = y(1) ⊗ y(2) and
a ∈ A, (1⊗∆) ◦∆(a) = a(1) ⊗ a(2) ⊗ a(3).
Definition
A Yetter-Drinfeld module over A is an A-module Y which is also anA-comodule with τ : Y → A⊗Y satisfying the above compatibilitycondition. The category of such modules is denoted YD(A).
Proposition
One has Z(RepA) ∼= YD(A).
173
![Page 174: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/174.jpg)
Yetter-Drinfeld modules
Let Y ∈ Z(RepA). Then the mapϕA : IndACY = Y ⊗ A→ A⊗ Y defines a comodule structureτ = ϕA|Y : Y → A⊗ Y . The compatibility condition between thiscomodule structure and the A-module structure on Y is
τ(ay) = a(1)y(1)S(a(2))⊗ y(2)a(3).
where y ∈ Y , τ(y) = y(1) ⊗ y(2) and
a ∈ A, (1⊗∆) ◦∆(a) = a(1) ⊗ a(2) ⊗ a(3).
Definition
A Yetter-Drinfeld module over A is an A-module Y which is also anA-comodule with τ : Y → A⊗Y satisfying the above compatibilitycondition. The category of such modules is denoted YD(A).
Proposition
One has Z(RepA) ∼= YD(A).
174
![Page 175: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/175.jpg)
Yetter-Drinfeld modules
Let Y ∈ Z(RepA). Then the mapϕA : IndACY = Y ⊗ A→ A⊗ Y defines a comodule structureτ = ϕA|Y : Y → A⊗ Y . The compatibility condition between thiscomodule structure and the A-module structure on Y is
τ(ay) = a(1)y(1)S(a(2))⊗ y(2)a(3).
where y ∈ Y , τ(y) = y(1) ⊗ y(2) and
a ∈ A, (1⊗∆) ◦∆(a) = a(1) ⊗ a(2) ⊗ a(3).
Definition
A Yetter-Drinfeld module over A is an A-module Y which is also anA-comodule with τ : Y → A⊗Y satisfying the above compatibilitycondition. The category of such modules is denoted YD(A).
Proposition
One has Z(RepA) ∼= YD(A).
175
![Page 176: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/176.jpg)
Quantum double
If A is finite dimensional, an A-comodule is the same as anA∗-module,
so the category YD(A) can be realized as the categoryof modules over some algebra generated by A and A∗ with somecommutation relation between them. Thus we get
Proposition
For A finite dimensional ∃ a Hopf algebra D(A) isomorphic as avector space to A⊗ A∗ such that there is a monoidal equivalence
YD(A) ∼= RepD(A).
The Hopf algebra D(A) is called the (Drinfeld) quantum doubleof A. The algebras A and A∗op (with opposite coproduct) are Hopfsubalgebras of D(A), and the commutation relations between themhave the form ba = (a(1), b(1))(a(3), b(3))a(2)S
−1(b(2)),a ∈ A, b ∈ A∗.
176
![Page 177: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/177.jpg)
Quantum double
If A is finite dimensional, an A-comodule is the same as anA∗-module, so the category YD(A) can be realized as the categoryof modules over some algebra generated by A and A∗ with somecommutation relation between them.
Thus we get
Proposition
For A finite dimensional ∃ a Hopf algebra D(A) isomorphic as avector space to A⊗ A∗ such that there is a monoidal equivalence
YD(A) ∼= RepD(A).
The Hopf algebra D(A) is called the (Drinfeld) quantum doubleof A. The algebras A and A∗op (with opposite coproduct) are Hopfsubalgebras of D(A), and the commutation relations between themhave the form ba = (a(1), b(1))(a(3), b(3))a(2)S
−1(b(2)),a ∈ A, b ∈ A∗.
177
![Page 178: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/178.jpg)
Quantum double
If A is finite dimensional, an A-comodule is the same as anA∗-module, so the category YD(A) can be realized as the categoryof modules over some algebra generated by A and A∗ with somecommutation relation between them. Thus we get
Proposition
For A finite dimensional ∃ a Hopf algebra D(A) isomorphic as avector space to A⊗ A∗
such that there is a monoidal equivalence
YD(A) ∼= RepD(A).
The Hopf algebra D(A) is called the (Drinfeld) quantum doubleof A. The algebras A and A∗op (with opposite coproduct) are Hopfsubalgebras of D(A), and the commutation relations between themhave the form ba = (a(1), b(1))(a(3), b(3))a(2)S
−1(b(2)),a ∈ A, b ∈ A∗.
178
![Page 179: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/179.jpg)
Quantum double
If A is finite dimensional, an A-comodule is the same as anA∗-module, so the category YD(A) can be realized as the categoryof modules over some algebra generated by A and A∗ with somecommutation relation between them. Thus we get
Proposition
For A finite dimensional ∃ a Hopf algebra D(A) isomorphic as avector space to A⊗ A∗ such that there is a monoidal equivalence
YD(A) ∼= RepD(A).
The Hopf algebra D(A) is called the (Drinfeld) quantum doubleof A. The algebras A and A∗op (with opposite coproduct) are Hopfsubalgebras of D(A), and the commutation relations between themhave the form ba = (a(1), b(1))(a(3), b(3))a(2)S
−1(b(2)),a ∈ A, b ∈ A∗.
179
![Page 180: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/180.jpg)
Quantum double
If A is finite dimensional, an A-comodule is the same as anA∗-module, so the category YD(A) can be realized as the categoryof modules over some algebra generated by A and A∗ with somecommutation relation between them. Thus we get
Proposition
For A finite dimensional ∃ a Hopf algebra D(A) isomorphic as avector space to A⊗ A∗ such that there is a monoidal equivalence
YD(A) ∼= RepD(A).
The Hopf algebra D(A) is called the (Drinfeld) quantum doubleof A.
The algebras A and A∗op (with opposite coproduct) are Hopfsubalgebras of D(A), and the commutation relations between themhave the form ba = (a(1), b(1))(a(3), b(3))a(2)S
−1(b(2)),a ∈ A, b ∈ A∗.
180
![Page 181: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/181.jpg)
Quantum double
If A is finite dimensional, an A-comodule is the same as anA∗-module, so the category YD(A) can be realized as the categoryof modules over some algebra generated by A and A∗ with somecommutation relation between them. Thus we get
Proposition
For A finite dimensional ∃ a Hopf algebra D(A) isomorphic as avector space to A⊗ A∗ such that there is a monoidal equivalence
YD(A) ∼= RepD(A).
The Hopf algebra D(A) is called the (Drinfeld) quantum doubleof A. The algebras A and A∗op (with opposite coproduct) are Hopfsubalgebras of D(A), and the commutation relations between themhave the form ba = (a(1), b(1))(a(3), b(3))a(2)S
−1(b(2)),a ∈ A, b ∈ A∗.
181
![Page 182: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/182.jpg)
Quantum double, ctd.
It is natural to ask how to express the braided structure ofYD(A) in terms of D(A).
This is addressed by the followingtheorem.
Theorem (Drinfeld)
The braiding of RepD(A) = YD(A) is given by the formulac = P ◦ R where R ∈ A⊗ A∗op ⊂ D(A)⊗ D(A) is given by theuniversal R-matrix
R =∑i
ai ⊗ a∗i ,
where ai is basis of A and a∗i the dual basis of A∗. In particular, Rsatisfies the quantum Yang-Baxter equation
R12R13R23 = R23R13R12 ∈ D(A)3.
Moreover, the commutation relation between A and A∗ is uniquelydetermined by this equation.
182
![Page 183: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/183.jpg)
Quantum double, ctd.
It is natural to ask how to express the braided structure ofYD(A) in terms of D(A). This is addressed by the followingtheorem.
Theorem (Drinfeld)
The braiding of RepD(A) = YD(A) is given by the formulac = P ◦ R where R ∈ A⊗ A∗op ⊂ D(A)⊗ D(A) is given by theuniversal R-matrix
R =∑i
ai ⊗ a∗i ,
where ai is basis of A and a∗i the dual basis of A∗. In particular, Rsatisfies the quantum Yang-Baxter equation
R12R13R23 = R23R13R12 ∈ D(A)3.
Moreover, the commutation relation between A and A∗ is uniquelydetermined by this equation.
183
![Page 184: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/184.jpg)
Quantum double, ctd.
It is natural to ask how to express the braided structure ofYD(A) in terms of D(A). This is addressed by the followingtheorem.
Theorem (Drinfeld)
The braiding of RepD(A) = YD(A) is given by the formulac = P ◦ R
where R ∈ A⊗ A∗op ⊂ D(A)⊗ D(A) is given by theuniversal R-matrix
R =∑i
ai ⊗ a∗i ,
where ai is basis of A and a∗i the dual basis of A∗. In particular, Rsatisfies the quantum Yang-Baxter equation
R12R13R23 = R23R13R12 ∈ D(A)3.
Moreover, the commutation relation between A and A∗ is uniquelydetermined by this equation.
184
![Page 185: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/185.jpg)
Quantum double, ctd.
It is natural to ask how to express the braided structure ofYD(A) in terms of D(A). This is addressed by the followingtheorem.
Theorem (Drinfeld)
The braiding of RepD(A) = YD(A) is given by the formulac = P ◦ R where R ∈ A⊗ A∗op ⊂ D(A)⊗ D(A) is given by theuniversal R-matrix
R =∑i
ai ⊗ a∗i ,
where ai is basis of A and a∗i the dual basis of A∗. In particular, Rsatisfies the quantum Yang-Baxter equation
R12R13R23 = R23R13R12 ∈ D(A)3.
Moreover, the commutation relation between A and A∗ is uniquelydetermined by this equation.
185
![Page 186: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/186.jpg)
Quantum double, ctd.
It is natural to ask how to express the braided structure ofYD(A) in terms of D(A). This is addressed by the followingtheorem.
Theorem (Drinfeld)
The braiding of RepD(A) = YD(A) is given by the formulac = P ◦ R where R ∈ A⊗ A∗op ⊂ D(A)⊗ D(A) is given by theuniversal R-matrix
R =∑i
ai ⊗ a∗i ,
where ai is basis of A and a∗i the dual basis of A∗.
In particular, Rsatisfies the quantum Yang-Baxter equation
R12R13R23 = R23R13R12 ∈ D(A)3.
Moreover, the commutation relation between A and A∗ is uniquelydetermined by this equation.
186
![Page 187: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/187.jpg)
Quantum double, ctd.
It is natural to ask how to express the braided structure ofYD(A) in terms of D(A). This is addressed by the followingtheorem.
Theorem (Drinfeld)
The braiding of RepD(A) = YD(A) is given by the formulac = P ◦ R where R ∈ A⊗ A∗op ⊂ D(A)⊗ D(A) is given by theuniversal R-matrix
R =∑i
ai ⊗ a∗i ,
where ai is basis of A and a∗i the dual basis of A∗. In particular, Rsatisfies the quantum Yang-Baxter equation
R12R13R23 = R23R13R12 ∈ D(A)3.
Moreover, the commutation relation between A and A∗ is uniquelydetermined by this equation.
187
![Page 188: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/188.jpg)
Quantum double, ctd.
It is natural to ask how to express the braided structure ofYD(A) in terms of D(A). This is addressed by the followingtheorem.
Theorem (Drinfeld)
The braiding of RepD(A) = YD(A) is given by the formulac = P ◦ R where R ∈ A⊗ A∗op ⊂ D(A)⊗ D(A) is given by theuniversal R-matrix
R =∑i
ai ⊗ a∗i ,
where ai is basis of A and a∗i the dual basis of A∗. In particular, Rsatisfies the quantum Yang-Baxter equation
R12R13R23 = R23R13R12 ∈ D(A)3.
Moreover, the commutation relation between A and A∗ is uniquelydetermined by this equation.
188
![Page 189: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/189.jpg)
Examples
Example
Let A = CG where G is a finite group.
Then D(A) = CG nO(G ),where G acts on itself by conjugation (i.e., the commutationrelation for the double gives the conjugation action). We haveR =
∑g∈G g ⊗ δg , where δg (h) = δgh, g , h ∈ G .
Example
Let ` be an odd positive integer, q a primitive root of unity of order`. Let A be the Taft Hopf algebra (of dimension `2), generated bye,K±1 with the relations Ke = q2eK , e` = 0, K ` = 1, andcoproduct defined by ∆(e) = e ⊗K + 1⊗ e, ∆(K ) = K ⊗K . ThenD(A) is the Hopf algebra of the form D0 ⊗ C[Z/`], where D0 is aHopf algebra of dimension `3 generated by e, f ,K±1 with relationsas above and Kf = q−2fK , ef − fe = K−K−1
q−q−1 and coproduct given
by the above formulas and ∆(f ) = f ⊗ 1 + K−1 ⊗ f .
189
![Page 190: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/190.jpg)
Examples
Example
Let A = CG where G is a finite group. Then D(A) = CG nO(G ),where G acts on itself by conjugation (i.e., the commutationrelation for the double gives the conjugation action).
We haveR =
∑g∈G g ⊗ δg , where δg (h) = δgh, g , h ∈ G .
Example
Let ` be an odd positive integer, q a primitive root of unity of order`. Let A be the Taft Hopf algebra (of dimension `2), generated bye,K±1 with the relations Ke = q2eK , e` = 0, K ` = 1, andcoproduct defined by ∆(e) = e ⊗K + 1⊗ e, ∆(K ) = K ⊗K . ThenD(A) is the Hopf algebra of the form D0 ⊗ C[Z/`], where D0 is aHopf algebra of dimension `3 generated by e, f ,K±1 with relationsas above and Kf = q−2fK , ef − fe = K−K−1
q−q−1 and coproduct given
by the above formulas and ∆(f ) = f ⊗ 1 + K−1 ⊗ f .
190
![Page 191: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/191.jpg)
Examples
Example
Let A = CG where G is a finite group. Then D(A) = CG nO(G ),where G acts on itself by conjugation (i.e., the commutationrelation for the double gives the conjugation action). We haveR =
∑g∈G g ⊗ δg ,
where δg (h) = δgh, g , h ∈ G .
Example
Let ` be an odd positive integer, q a primitive root of unity of order`. Let A be the Taft Hopf algebra (of dimension `2), generated bye,K±1 with the relations Ke = q2eK , e` = 0, K ` = 1, andcoproduct defined by ∆(e) = e ⊗K + 1⊗ e, ∆(K ) = K ⊗K . ThenD(A) is the Hopf algebra of the form D0 ⊗ C[Z/`], where D0 is aHopf algebra of dimension `3 generated by e, f ,K±1 with relationsas above and Kf = q−2fK , ef − fe = K−K−1
q−q−1 and coproduct given
by the above formulas and ∆(f ) = f ⊗ 1 + K−1 ⊗ f .
191
![Page 192: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/192.jpg)
Examples
Example
Let A = CG where G is a finite group. Then D(A) = CG nO(G ),where G acts on itself by conjugation (i.e., the commutationrelation for the double gives the conjugation action). We haveR =
∑g∈G g ⊗ δg , where δg (h) = δgh, g , h ∈ G .
Example
Let ` be an odd positive integer, q a primitive root of unity of order`.
Let A be the Taft Hopf algebra (of dimension `2), generated bye,K±1 with the relations Ke = q2eK , e` = 0, K ` = 1, andcoproduct defined by ∆(e) = e ⊗K + 1⊗ e, ∆(K ) = K ⊗K . ThenD(A) is the Hopf algebra of the form D0 ⊗ C[Z/`], where D0 is aHopf algebra of dimension `3 generated by e, f ,K±1 with relationsas above and Kf = q−2fK , ef − fe = K−K−1
q−q−1 and coproduct given
by the above formulas and ∆(f ) = f ⊗ 1 + K−1 ⊗ f .
192
![Page 193: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/193.jpg)
Examples
Example
Let A = CG where G is a finite group. Then D(A) = CG nO(G ),where G acts on itself by conjugation (i.e., the commutationrelation for the double gives the conjugation action). We haveR =
∑g∈G g ⊗ δg , where δg (h) = δgh, g , h ∈ G .
Example
Let ` be an odd positive integer, q a primitive root of unity of order`. Let A be the Taft Hopf algebra (of dimension `2), generated bye,K±1 with the relations Ke = q2eK , e` = 0, K ` = 1,
andcoproduct defined by ∆(e) = e ⊗K + 1⊗ e, ∆(K ) = K ⊗K . ThenD(A) is the Hopf algebra of the form D0 ⊗ C[Z/`], where D0 is aHopf algebra of dimension `3 generated by e, f ,K±1 with relationsas above and Kf = q−2fK , ef − fe = K−K−1
q−q−1 and coproduct given
by the above formulas and ∆(f ) = f ⊗ 1 + K−1 ⊗ f .
193
![Page 194: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/194.jpg)
Examples
Example
Let A = CG where G is a finite group. Then D(A) = CG nO(G ),where G acts on itself by conjugation (i.e., the commutationrelation for the double gives the conjugation action). We haveR =
∑g∈G g ⊗ δg , where δg (h) = δgh, g , h ∈ G .
Example
Let ` be an odd positive integer, q a primitive root of unity of order`. Let A be the Taft Hopf algebra (of dimension `2), generated bye,K±1 with the relations Ke = q2eK , e` = 0, K ` = 1, andcoproduct defined by ∆(e) = e ⊗K + 1⊗ e, ∆(K ) = K ⊗K .
ThenD(A) is the Hopf algebra of the form D0 ⊗ C[Z/`], where D0 is aHopf algebra of dimension `3 generated by e, f ,K±1 with relationsas above and Kf = q−2fK , ef − fe = K−K−1
q−q−1 and coproduct given
by the above formulas and ∆(f ) = f ⊗ 1 + K−1 ⊗ f .
194
![Page 195: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/195.jpg)
Examples
Example
Let A = CG where G is a finite group. Then D(A) = CG nO(G ),where G acts on itself by conjugation (i.e., the commutationrelation for the double gives the conjugation action). We haveR =
∑g∈G g ⊗ δg , where δg (h) = δgh, g , h ∈ G .
Example
Let ` be an odd positive integer, q a primitive root of unity of order`. Let A be the Taft Hopf algebra (of dimension `2), generated bye,K±1 with the relations Ke = q2eK , e` = 0, K ` = 1, andcoproduct defined by ∆(e) = e ⊗K + 1⊗ e, ∆(K ) = K ⊗K . ThenD(A) is the Hopf algebra of the form D0 ⊗ C[Z/`], where
D0 is aHopf algebra of dimension `3 generated by e, f ,K±1 with relationsas above and Kf = q−2fK , ef − fe = K−K−1
q−q−1 and coproduct given
by the above formulas and ∆(f ) = f ⊗ 1 + K−1 ⊗ f .
195
![Page 196: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/196.jpg)
Examples
Example
Let A = CG where G is a finite group. Then D(A) = CG nO(G ),where G acts on itself by conjugation (i.e., the commutationrelation for the double gives the conjugation action). We haveR =
∑g∈G g ⊗ δg , where δg (h) = δgh, g , h ∈ G .
Example
Let ` be an odd positive integer, q a primitive root of unity of order`. Let A be the Taft Hopf algebra (of dimension `2), generated bye,K±1 with the relations Ke = q2eK , e` = 0, K ` = 1, andcoproduct defined by ∆(e) = e ⊗K + 1⊗ e, ∆(K ) = K ⊗K . ThenD(A) is the Hopf algebra of the form D0 ⊗ C[Z/`], where D0 is aHopf algebra of dimension `3 generated by e, f ,K±1 with relationsas above and Kf = q−2fK , ef − fe = K−K−1
q−q−1
and coproduct given
by the above formulas and ∆(f ) = f ⊗ 1 + K−1 ⊗ f .
196
![Page 197: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/197.jpg)
Examples
Example
Let A = CG where G is a finite group. Then D(A) = CG nO(G ),where G acts on itself by conjugation (i.e., the commutationrelation for the double gives the conjugation action). We haveR =
∑g∈G g ⊗ δg , where δg (h) = δgh, g , h ∈ G .
Example
Let ` be an odd positive integer, q a primitive root of unity of order`. Let A be the Taft Hopf algebra (of dimension `2), generated bye,K±1 with the relations Ke = q2eK , e` = 0, K ` = 1, andcoproduct defined by ∆(e) = e ⊗K + 1⊗ e, ∆(K ) = K ⊗K . ThenD(A) is the Hopf algebra of the form D0 ⊗ C[Z/`], where D0 is aHopf algebra of dimension `3 generated by e, f ,K±1 with relationsas above and Kf = q−2fK , ef − fe = K−K−1
q−q−1 and coproduct given
by the above formulas and ∆(f ) = f ⊗ 1 + K−1 ⊗ f .
197
![Page 198: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/198.jpg)
Small quantum group
Note that D0 is nothing but the quotient of Uq(sl2) by therelations E ` = F ` = K ` − 1 = 0.
It is called the small quantumgroup and was introduced by G. Lusztig (for any simple Liealgebra), and is denoted by uq(sl2). Note that by virtue of theconstruction D0 has a universal R-matrix, which can be computedto be
R = qh⊗h2
`−1∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k ,
i.e., it is just the truncation of the formula for Uq(sl2) for generalq. In fact, the punchline is that Uq(sl2) for general q can also beconstructed by an infinite dimensional version of the quantumdouble construction, which naturally produces both thecommutation relation between e and f and the R-matrix!
198
![Page 199: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/199.jpg)
Small quantum group
Note that D0 is nothing but the quotient of Uq(sl2) by therelations E ` = F ` = K ` − 1 = 0. It is called the small quantumgroup and was introduced by G. Lusztig (for any simple Liealgebra), and is denoted by uq(sl2).
Note that by virtue of theconstruction D0 has a universal R-matrix, which can be computedto be
R = qh⊗h2
`−1∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k ,
i.e., it is just the truncation of the formula for Uq(sl2) for generalq. In fact, the punchline is that Uq(sl2) for general q can also beconstructed by an infinite dimensional version of the quantumdouble construction, which naturally produces both thecommutation relation between e and f and the R-matrix!
199
![Page 200: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/200.jpg)
Small quantum group
Note that D0 is nothing but the quotient of Uq(sl2) by therelations E ` = F ` = K ` − 1 = 0. It is called the small quantumgroup and was introduced by G. Lusztig (for any simple Liealgebra), and is denoted by uq(sl2). Note that by virtue of theconstruction D0 has a universal R-matrix, which can be computedto be
R = qh⊗h2
`−1∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k ,
i.e., it is just the truncation of the formula for Uq(sl2) for generalq. In fact, the punchline is that Uq(sl2) for general q can also beconstructed by an infinite dimensional version of the quantumdouble construction, which naturally produces both thecommutation relation between e and f and the R-matrix!
200
![Page 201: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/201.jpg)
Small quantum group
Note that D0 is nothing but the quotient of Uq(sl2) by therelations E ` = F ` = K ` − 1 = 0. It is called the small quantumgroup and was introduced by G. Lusztig (for any simple Liealgebra), and is denoted by uq(sl2). Note that by virtue of theconstruction D0 has a universal R-matrix, which can be computedto be
R = qh⊗h2
`−1∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k ,
i.e., it is just the truncation of the formula for Uq(sl2) for generalq. In fact, the punchline is that Uq(sl2) for general q can also beconstructed by an infinite dimensional version of the quantumdouble construction, which naturally produces both thecommutation relation between e and f and the R-matrix!
201
![Page 202: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/202.jpg)
Small quantum group
Note that D0 is nothing but the quotient of Uq(sl2) by therelations E ` = F ` = K ` − 1 = 0. It is called the small quantumgroup and was introduced by G. Lusztig (for any simple Liealgebra), and is denoted by uq(sl2). Note that by virtue of theconstruction D0 has a universal R-matrix, which can be computedto be
R = qh⊗h2
`−1∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k ,
i.e., it is just the truncation of the formula for Uq(sl2) for generalq.
In fact, the punchline is that Uq(sl2) for general q can also beconstructed by an infinite dimensional version of the quantumdouble construction, which naturally produces both thecommutation relation between e and f and the R-matrix!
202
![Page 203: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/203.jpg)
Small quantum group
Note that D0 is nothing but the quotient of Uq(sl2) by therelations E ` = F ` = K ` − 1 = 0. It is called the small quantumgroup and was introduced by G. Lusztig (for any simple Liealgebra), and is denoted by uq(sl2). Note that by virtue of theconstruction D0 has a universal R-matrix, which can be computedto be
R = qh⊗h2
`−1∑k=0
qk(k−1)
2(q − q−1)k
[k]q!ek ⊗ f k ,
i.e., it is just the truncation of the formula for Uq(sl2) for generalq. In fact, the punchline is that Uq(sl2) for general q can also beconstructed by an infinite dimensional version of the quantumdouble construction, which naturally produces both thecommutation relation between e and f and the R-matrix!
203
![Page 204: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/204.jpg)
Higher rank quantum groups
Quantum groups attached to any simple Lie algebra can beconstructed similarly.
Given a Cartan matrix (aij) withsymmetrizing numbers di ∈ Z+ (i.e., diaij is symmetric), we startwith the Hopf algebra Uq(b+) (quantum Borel) generated byei ,K
±1i with relations
Kiej = qdiaij ejKi , [Ki ,Kj ] = 0,
with coproduct defined by ∆(Ki ) = Ki ⊗ Ki ,∆(ei ) = ei ⊗ Ki + 1⊗ ei and also quantum Serre relations, whichare the most constraining relations you can impose preserving theHopf algebra structure without killing any of the ei . Then thequantum group Uq(g) is the quantum double of Uq(b+)(understood appropriately) modded out by the “redundant copy ofthe maximal torus” created by the quantum double construction.This algebra has additional generators fi also satisfying quantumSerre relations and ∆(fi ) = fi ⊗ 1 + K−1i ⊗ fi with commutation
relations [ei , fj ] = δijKi−K−1
i
qdi−q−di.
204
![Page 205: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/205.jpg)
Higher rank quantum groups
Quantum groups attached to any simple Lie algebra can beconstructed similarly. Given a Cartan matrix (aij) withsymmetrizing numbers di ∈ Z+ (i.e., diaij is symmetric), we startwith the Hopf algebra Uq(b+) (quantum Borel) generated byei ,K
±1i with relations
Kiej = qdiaij ejKi , [Ki ,Kj ] = 0,
with coproduct defined by ∆(Ki ) = Ki ⊗ Ki ,∆(ei ) = ei ⊗ Ki + 1⊗ ei and also quantum Serre relations, whichare the most constraining relations you can impose preserving theHopf algebra structure without killing any of the ei . Then thequantum group Uq(g) is the quantum double of Uq(b+)(understood appropriately) modded out by the “redundant copy ofthe maximal torus” created by the quantum double construction.This algebra has additional generators fi also satisfying quantumSerre relations and ∆(fi ) = fi ⊗ 1 + K−1i ⊗ fi with commutation
relations [ei , fj ] = δijKi−K−1
i
qdi−q−di.
205
![Page 206: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/206.jpg)
Higher rank quantum groups
Quantum groups attached to any simple Lie algebra can beconstructed similarly. Given a Cartan matrix (aij) withsymmetrizing numbers di ∈ Z+ (i.e., diaij is symmetric), we startwith the Hopf algebra Uq(b+) (quantum Borel) generated byei ,K
±1i with relations
Kiej = qdiaij ejKi , [Ki ,Kj ] = 0,
with coproduct defined by ∆(Ki ) = Ki ⊗ Ki ,∆(ei ) = ei ⊗ Ki + 1⊗ ei and also quantum Serre relations, whichare the most constraining relations you can impose preserving theHopf algebra structure without killing any of the ei . Then thequantum group Uq(g) is the quantum double of Uq(b+)(understood appropriately) modded out by the “redundant copy ofthe maximal torus” created by the quantum double construction.This algebra has additional generators fi also satisfying quantumSerre relations and ∆(fi ) = fi ⊗ 1 + K−1i ⊗ fi with commutation
relations [ei , fj ] = δijKi−K−1
i
qdi−q−di.
206
![Page 207: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/207.jpg)
Higher rank quantum groups
Quantum groups attached to any simple Lie algebra can beconstructed similarly. Given a Cartan matrix (aij) withsymmetrizing numbers di ∈ Z+ (i.e., diaij is symmetric), we startwith the Hopf algebra Uq(b+) (quantum Borel) generated byei ,K
±1i with relations
Kiej = qdiaij ejKi , [Ki ,Kj ] = 0,
with coproduct defined by ∆(Ki ) = Ki ⊗ Ki ,∆(ei ) = ei ⊗ Ki + 1⊗ ei
and also quantum Serre relations, whichare the most constraining relations you can impose preserving theHopf algebra structure without killing any of the ei . Then thequantum group Uq(g) is the quantum double of Uq(b+)(understood appropriately) modded out by the “redundant copy ofthe maximal torus” created by the quantum double construction.This algebra has additional generators fi also satisfying quantumSerre relations and ∆(fi ) = fi ⊗ 1 + K−1i ⊗ fi with commutation
relations [ei , fj ] = δijKi−K−1
i
qdi−q−di.
207
![Page 208: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/208.jpg)
Higher rank quantum groups
Quantum groups attached to any simple Lie algebra can beconstructed similarly. Given a Cartan matrix (aij) withsymmetrizing numbers di ∈ Z+ (i.e., diaij is symmetric), we startwith the Hopf algebra Uq(b+) (quantum Borel) generated byei ,K
±1i with relations
Kiej = qdiaij ejKi , [Ki ,Kj ] = 0,
with coproduct defined by ∆(Ki ) = Ki ⊗ Ki ,∆(ei ) = ei ⊗ Ki + 1⊗ ei and also quantum Serre relations, whichare the most constraining relations you can impose preserving theHopf algebra structure without killing any of the ei .
Then thequantum group Uq(g) is the quantum double of Uq(b+)(understood appropriately) modded out by the “redundant copy ofthe maximal torus” created by the quantum double construction.This algebra has additional generators fi also satisfying quantumSerre relations and ∆(fi ) = fi ⊗ 1 + K−1i ⊗ fi with commutation
relations [ei , fj ] = δijKi−K−1
i
qdi−q−di.
208
![Page 209: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/209.jpg)
Higher rank quantum groups
Quantum groups attached to any simple Lie algebra can beconstructed similarly. Given a Cartan matrix (aij) withsymmetrizing numbers di ∈ Z+ (i.e., diaij is symmetric), we startwith the Hopf algebra Uq(b+) (quantum Borel) generated byei ,K
±1i with relations
Kiej = qdiaij ejKi , [Ki ,Kj ] = 0,
with coproduct defined by ∆(Ki ) = Ki ⊗ Ki ,∆(ei ) = ei ⊗ Ki + 1⊗ ei and also quantum Serre relations, whichare the most constraining relations you can impose preserving theHopf algebra structure without killing any of the ei . Then thequantum group Uq(g) is the quantum double of Uq(b+)(understood appropriately) modded out by the “redundant copy ofthe maximal torus” created by the quantum double construction.
This algebra has additional generators fi also satisfying quantumSerre relations and ∆(fi ) = fi ⊗ 1 + K−1i ⊗ fi with commutation
relations [ei , fj ] = δijKi−K−1
i
qdi−q−di.
209
![Page 210: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/210.jpg)
Higher rank quantum groups
Quantum groups attached to any simple Lie algebra can beconstructed similarly. Given a Cartan matrix (aij) withsymmetrizing numbers di ∈ Z+ (i.e., diaij is symmetric), we startwith the Hopf algebra Uq(b+) (quantum Borel) generated byei ,K
±1i with relations
Kiej = qdiaij ejKi , [Ki ,Kj ] = 0,
with coproduct defined by ∆(Ki ) = Ki ⊗ Ki ,∆(ei ) = ei ⊗ Ki + 1⊗ ei and also quantum Serre relations, whichare the most constraining relations you can impose preserving theHopf algebra structure without killing any of the ei . Then thequantum group Uq(g) is the quantum double of Uq(b+)(understood appropriately) modded out by the “redundant copy ofthe maximal torus” created by the quantum double construction.This algebra has additional generators fi also satisfying quantumSerre relations and ∆(fi ) = fi ⊗ 1 + K−1i ⊗ fi
with commutation
relations [ei , fj ] = δijKi−K−1
i
qdi−q−di.
210
![Page 211: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/211.jpg)
Higher rank quantum groups
Quantum groups attached to any simple Lie algebra can beconstructed similarly. Given a Cartan matrix (aij) withsymmetrizing numbers di ∈ Z+ (i.e., diaij is symmetric), we startwith the Hopf algebra Uq(b+) (quantum Borel) generated byei ,K
±1i with relations
Kiej = qdiaij ejKi , [Ki ,Kj ] = 0,
with coproduct defined by ∆(Ki ) = Ki ⊗ Ki ,∆(ei ) = ei ⊗ Ki + 1⊗ ei and also quantum Serre relations, whichare the most constraining relations you can impose preserving theHopf algebra structure without killing any of the ei . Then thequantum group Uq(g) is the quantum double of Uq(b+)(understood appropriately) modded out by the “redundant copy ofthe maximal torus” created by the quantum double construction.This algebra has additional generators fi also satisfying quantumSerre relations and ∆(fi ) = fi ⊗ 1 + K−1i ⊗ fi with commutation
relations [ei , fj ] = δijKi−K−1
i
qdi−q−di.
211
![Page 212: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/212.jpg)
Jones polynomial
These commutation relations, as well as the R-matrix (which isnow much more complicated) are produced automatically by thedouble construction. In fact, this works more generally, for anysymmetrizable Kac-Moody algebra.
Example
In conclusion let us point out a connection to the Jonespolynomial.
It is well known that any knot K can be obtained byclosing up a braid b. On the other hand, as we have learned, bacts as an operator on the space V⊗n, where V = V1 is the2-dimensional representation of the quantum sl2.
Theorem
The trace of b · K in V⊗n (called the quantum trace of b) is theJones polynomial of K (up to normalization).
For Vi for i > 1 one gets the colored Jones polynomial, and forother Lie algebras – more complex invariants of knots called theReshetikhin-Turaev invariants.
212
![Page 213: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/213.jpg)
Jones polynomial
These commutation relations, as well as the R-matrix (which isnow much more complicated) are produced automatically by thedouble construction. In fact, this works more generally, for anysymmetrizable Kac-Moody algebra.
Example
In conclusion let us point out a connection to the Jonespolynomial. It is well known that any knot K can be obtained byclosing up a braid b.
On the other hand, as we have learned, bacts as an operator on the space V⊗n, where V = V1 is the2-dimensional representation of the quantum sl2.
Theorem
The trace of b · K in V⊗n (called the quantum trace of b) is theJones polynomial of K (up to normalization).
For Vi for i > 1 one gets the colored Jones polynomial, and forother Lie algebras – more complex invariants of knots called theReshetikhin-Turaev invariants.
213
![Page 214: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/214.jpg)
Jones polynomial
These commutation relations, as well as the R-matrix (which isnow much more complicated) are produced automatically by thedouble construction. In fact, this works more generally, for anysymmetrizable Kac-Moody algebra.
Example
In conclusion let us point out a connection to the Jonespolynomial. It is well known that any knot K can be obtained byclosing up a braid b. On the other hand, as we have learned, bacts as an operator on the space V⊗n, where V = V1 is the2-dimensional representation of the quantum sl2.
Theorem
The trace of b · K in V⊗n (called the quantum trace of b) is theJones polynomial of K (up to normalization).
For Vi for i > 1 one gets the colored Jones polynomial, and forother Lie algebras – more complex invariants of knots called theReshetikhin-Turaev invariants.
214
![Page 215: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/215.jpg)
Jones polynomial
These commutation relations, as well as the R-matrix (which isnow much more complicated) are produced automatically by thedouble construction. In fact, this works more generally, for anysymmetrizable Kac-Moody algebra.
Example
In conclusion let us point out a connection to the Jonespolynomial. It is well known that any knot K can be obtained byclosing up a braid b. On the other hand, as we have learned, bacts as an operator on the space V⊗n, where V = V1 is the2-dimensional representation of the quantum sl2.
Theorem
The trace of b · K in V⊗n (called the quantum trace of b) is theJones polynomial of K (up to normalization).
For Vi for i > 1 one gets the colored Jones polynomial, and forother Lie algebras – more complex invariants of knots called theReshetikhin-Turaev invariants.
215
![Page 216: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/216.jpg)
Jones polynomial
These commutation relations, as well as the R-matrix (which isnow much more complicated) are produced automatically by thedouble construction. In fact, this works more generally, for anysymmetrizable Kac-Moody algebra.
Example
In conclusion let us point out a connection to the Jonespolynomial. It is well known that any knot K can be obtained byclosing up a braid b. On the other hand, as we have learned, bacts as an operator on the space V⊗n, where V = V1 is the2-dimensional representation of the quantum sl2.
Theorem
The trace of b · K in V⊗n (called the quantum trace of b) is theJones polynomial of K (up to normalization).
For Vi for i > 1 one gets the colored Jones polynomial, and forother Lie algebras – more complex invariants of knots called theReshetikhin-Turaev invariants. 216
![Page 217: A brief introduction to quantum groups Pavel Etingof MIT · 2020. 5. 6. · A brief introduction to quantum groups Pavel Etingof MIT May 5, 2020 1. Introduction ... school, Drinfeld,](https://reader035.vdocuments.mx/reader035/viewer/2022063018/5fdb2196e7178949c06b13eb/html5/thumbnails/217.jpg)
Thank you!
217