Categorification of quantum groups and quantum knot...
Transcript of Categorification of quantum groups and quantum knot...
![Page 1: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/1.jpg)
Categorification of quantum groupsand quantum knot invariants
Ben Webster
MIT/Oregon
March 17, 2010
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 1 / 29
![Page 2: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/2.jpg)
The big picture
quantum groups Uq(g)
ribbon category of Uq(g)-reps
quantum knot polynomials
Khovanov-Lauda/Rouquier2-categories U
HAVE
quantum knot homologies
WANT
quantum knot homologies
HAVE
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 2 / 29
![Page 3: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/3.jpg)
The big picture
quantum groups Uq(g)
ribbon category of Uq(g)-reps
quantum knot polynomials
Khovanov-Lauda/Rouquier2-categories U
HAVE
quantum knot homologies
WANT
quantum knot homologies
HAVE
???
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 2 / 29
![Page 4: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/4.jpg)
The big picture
quantum groups Uq(g)
ribbon category of Uq(g)-reps
quantum knot polynomials
Khovanov-Lauda/Rouquier2-categories U
HAVE
quantum knot homologies
WANT
quantum knot homologies
HAVE
ribbon 2-category of U-reps?
??
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 2 / 29
![Page 5: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/5.jpg)
The big picture
quantum groups Uq(g)
ribbon category of Uq(g)-reps
quantum knot polynomials
Khovanov-Lauda/Rouquier2-categories U
HAVE
quantum knot homologies
WANT
quantum knot homologies
HAVE
categorifications of tensorproducts of simples
!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 2 / 29
![Page 6: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/6.jpg)
Tensor products
Morally, these knot invariants arise from Chern-Simons theory. They “are”the expectation value of the trace on a chosen representation of the holonomyaround the knot for a certain probability distribution on the space ofg-connections on S3.
But I’d like to have a definition that didn’t require “are” to be in quotes.
What can be done is to make Chern-Simons theory an extended TQFT(attach a category to a 1-manifold, etc.) and see that the lower level iscontrolled by quantum groups.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 3 / 29
![Page 7: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/7.jpg)
Reshetikhin-Turaev invariants
More concretely, Reshetikhin and Turaev gave a mathematical construction ofthese invariants.
They label each component of the knot with a representation, and choose aprojection of the knot. They then use the theory of quantum groups to attachmaps to small diagrams like:
⊗
⊗
⊗
⊗
C[q, q−1]
C[q, q−1]
W
W
V
V V V∗
V V∗
These are called the braiding, the quantum trace and the coevaluation.
Composing these together for a given link results in a scalar: theReshetikhin-Turaev invariant for that labeling.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 4 / 29
![Page 8: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/8.jpg)
Reshetikhin-Turaev invariants
More concretely, Reshetikhin and Turaev gave a mathematical construction ofthese invariants.
They label each component of the knot with a representation, and choose aprojection of the knot. They then use the theory of quantum groups to attachmaps to small diagrams like:
⊗
⊗
⊗
⊗
C[q, q−1]
C[q, q−1]
W
W
V
V V V∗
V V∗
These are called the braiding, the quantum trace and the coevaluation.
Composing these together for a given link results in a scalar: theReshetikhin-Turaev invariant for that labeling.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 4 / 29
![Page 9: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/9.jpg)
Reshetikhin-Turaev invariants
More concretely, Reshetikhin and Turaev gave a mathematical construction ofthese invariants.
They label each component of the knot with a representation, and choose aprojection of the knot. They then use the theory of quantum groups to attachmaps to small diagrams like:
⊗
⊗
⊗
⊗
C[q, q−1]
C[q, q−1]
W
W
V
V V V∗
V V∗
These are called the braiding, the quantum trace and the coevaluation.
Composing these together for a given link results in a scalar: theReshetikhin-Turaev invariant for that labeling.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 4 / 29
![Page 10: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/10.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
Khovanov (’99): Jones polynomial (C2 for sl2).
Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
Khovanov (’03): C3 for sl3.
Khovanov-Rozansky (’04): Cn for sln.
Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
Cautis-Kamnitzer (’06): ∧iCn for sln.
Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these.
p=proven, c=conjectured
.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 11: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/11.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
Khovanov (’99): Jones polynomial (C2 for sl2).
Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
Khovanov (’03): C3 for sl3.
Khovanov-Rozansky (’04): Cn for sln.
Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
Cautis-Kamnitzer (’06): ∧iCn for sln.
Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these.
p=proven, c=conjectured
.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 12: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/12.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
Khovanov (’99): Jones polynomial (C2 for sl2).
Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
Khovanov (’03): C3 for sl3.
Khovanov-Rozansky (’04): Cn for sln.
Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
Cautis-Kamnitzer (’06): ∧iCn for sln.
Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these.
p=proven, c=conjectured
.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 13: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/13.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
Khovanov (’99): Jones polynomial (C2 for sl2).
Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
Khovanov (’03): C3 for sl3.
Khovanov-Rozansky (’04): Cn for sln.
Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
Cautis-Kamnitzer (’06): ∧iCn for sln.
Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these.
p=proven, c=conjectured
.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 14: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/14.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
Khovanov (’99): Jones polynomial (C2 for sl2).
Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
Khovanov (’03): C3 for sl3.
Khovanov-Rozansky (’04): Cn for sln.
Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
Cautis-Kamnitzer (’06): ∧iCn for sln.
Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these.
p=proven, c=conjectured
.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 15: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/15.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
Khovanov (’99): Jones polynomial (C2 for sl2).
Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
Khovanov (’03): C3 for sl3.
Khovanov-Rozansky (’04): Cn for sln.
Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
Cautis-Kamnitzer (’06): ∧iCn for sln.
Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these.
p=proven, c=conjectured
.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 16: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/16.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
Khovanov (’99): Jones polynomial (C2 for sl2).
Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
Khovanov (’03): C3 for sl3.
Khovanov-Rozansky (’04): Cn for sln.
Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
Cautis-Kamnitzer (’06): ∧iCn for sln.
Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these.
p=proven, c=conjectured
.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 17: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/17.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
Khovanov (’99): Jones polynomial (C2 for sl2).
Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
Khovanov (’03): C3 for sl3.
Khovanov-Rozansky (’04): Cn for sln.
Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
Cautis-Kamnitzer (’06): ∧iCn for sln.
Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these.
p=proven, c=conjectured
.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 18: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/18.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
Khovanov (’99): Jones polynomial (C2 for sl2).
Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
Khovanov (’03): C3 for sl3.
Khovanov-Rozansky (’04): Cn for sln.
Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
Cautis-Kamnitzer (’06): ∧iCn for sln.
Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these.
p=proven, c=conjectured
.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 19: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/19.jpg)
A historical interlude
Progress has been made on categorifying these in a piecemeal fashion for awhile
p Khovanov (’99): Jones polynomial (C2 for sl2).
? Oszvath-Szabo, Rasmussen (’02): Alexander polynomial (which isactually a gl(1|1) invariant, and doesn’t fit into our general picture).
p Khovanov (’03): C3 for sl3.
c Khovanov-Rozansky (’04): Cn for sln.
p Stroppel-Mazorchuk, Sussan (’06-’07): ∧iCn for sln.
c Cautis-Kamnitzer (’06): ∧iCn for sln.
c Khovanov-Rozansky(’06): Cn for son.
What I want to show is a unified, pictorial construction that should include allof these. p=proven, c=conjectured.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 5 / 29
![Page 20: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/20.jpg)
Decategorification?
For our purposes, decategorification means sending
a vector space V −→ its dimension dim V .
a graded vector space V −→ its q-dimension dimq V .
an abelian category C −→ its Grothendieck group K0(C)a graded abelian category C −→
its q−Grothendieck group Z[q, q−1]⊗Z K0(C).
An exact functor F : C → C′ −→the induced map [F] : K0(C)→ K0(C′).
So “F : C → C′ categorifies φ : V → V ′” means “there are isomorphismsK0(C) ∼= V and K0(C′) ∼= V ′, such that the map induced by F is φ.”
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 6 / 29
![Page 21: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/21.jpg)
Decategorification?
For our purposes, decategorification means sending
a vector space V −→ its dimension dim V .
a graded vector space V −→ its q-dimension dimq V .
an abelian category C −→ its Grothendieck group K0(C)a graded abelian category C −→
its q−Grothendieck group Z[q, q−1]⊗Z K0(C).
An exact functor F : C → C′ −→the induced map [F] : K0(C)→ K0(C′).
So “F : C → C′ categorifies φ : V → V ′” means “there are isomorphismsK0(C) ∼= V and K0(C′) ∼= V ′, such that the map induced by F is φ.”
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 6 / 29
![Page 22: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/22.jpg)
Reshetikhin-Turaev invariants
The idea now is to categorify everything in sight.
In particular, what we’d like to find is
graded categories Vλ1,··· ,λn such that
K0q(Vλ1,··· ,λn) ∼= Vλ = Vλ1 ⊗ · · · ⊗ Vλn
where Vλi is the representation of Uq(g) of highest weight λ.Graded functors categorifying:
the Chevalley generators Ei,Fi of Uq(g).the braiding maps relating different orderings of the highest weights.the coevalution and quantum trace maps.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 7 / 29
![Page 23: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/23.jpg)
Reshetikhin-Turaev invariants
The idea now is to categorify everything in sight.
In particular, what we’d like to find is
graded categories Vλ1,··· ,λn such that
K0q(Vλ1,··· ,λn) ∼= Vλ = Vλ1 ⊗ · · · ⊗ Vλn
where Vλi is the representation of Uq(g) of highest weight λ.
Graded functors categorifying:
the Chevalley generators Ei,Fi of Uq(g).the braiding maps relating different orderings of the highest weights.the coevalution and quantum trace maps.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 7 / 29
![Page 24: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/24.jpg)
Reshetikhin-Turaev invariants
The idea now is to categorify everything in sight.
In particular, what we’d like to find is
graded categories Vλ1,··· ,λn such that
K0q(Vλ1,··· ,λn) ∼= Vλ = Vλ1 ⊗ · · · ⊗ Vλn
where Vλi is the representation of Uq(g) of highest weight λ.Graded functors categorifying:
the Chevalley generators Ei,Fi of Uq(g).the braiding maps relating different orderings of the highest weights.the coevalution and quantum trace maps.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 7 / 29
![Page 25: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/25.jpg)
Reshetikhin-Turaev invariants
The idea now is to categorify everything in sight.
In particular, what we’d like to find is
graded categories Vλ1,··· ,λn such that
K0q(Vλ1,··· ,λn) ∼= Vλ = Vλ1 ⊗ · · · ⊗ Vλn
where Vλi is the representation of Uq(g) of highest weight λ.Graded functors categorifying:
the Chevalley generators Ei,Fi of Uq(g).
the braiding maps relating different orderings of the highest weights.the coevalution and quantum trace maps.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 7 / 29
![Page 26: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/26.jpg)
Reshetikhin-Turaev invariants
The idea now is to categorify everything in sight.
In particular, what we’d like to find is
graded categories Vλ1,··· ,λn such that
K0q(Vλ1,··· ,λn) ∼= Vλ = Vλ1 ⊗ · · · ⊗ Vλn
where Vλi is the representation of Uq(g) of highest weight λ.Graded functors categorifying:
the Chevalley generators Ei,Fi of Uq(g).the braiding maps relating different orderings of the highest weights.
the coevalution and quantum trace maps.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 7 / 29
![Page 27: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/27.jpg)
Reshetikhin-Turaev invariants
The idea now is to categorify everything in sight.
In particular, what we’d like to find is
graded categories Vλ1,··· ,λn such that
K0q(Vλ1,··· ,λn) ∼= Vλ = Vλ1 ⊗ · · · ⊗ Vλn
where Vλi is the representation of Uq(g) of highest weight λ.Graded functors categorifying:
the Chevalley generators Ei,Fi of Uq(g).the braiding maps relating different orderings of the highest weights.the coevalution and quantum trace maps.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 7 / 29
![Page 28: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/28.jpg)
Pictorial categorification
One of the most successful programs of categorification has been theunderstanding of quantum groups, which goes back to Lusztig. Someremarkable progress on this story was made in the 80’s and 90’s. Usingcategorifications:
Kazhdan and Lusztig defined a basis of the Hecke algebra.
Lusztig defined the canonical basis of Uq(g) and its representations.
but this work at its heart was all geometric; there were a lot of perversesheaves involved.
While geometry has a lot of power, it’s also kinda hard. Luckily, in the pastfew years Rouquier and Khovanov-Lauda were able to redigest this wholestory combinatorially, and so I can tell you an entirely pictorial story (thoughthere’s a still a little geometry tucked away in corners).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 8 / 29
![Page 29: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/29.jpg)
Pictorial categorification
One of the most successful programs of categorification has been theunderstanding of quantum groups, which goes back to Lusztig. Someremarkable progress on this story was made in the 80’s and 90’s. Usingcategorifications:
Kazhdan and Lusztig defined a basis of the Hecke algebra.
Lusztig defined the canonical basis of Uq(g) and its representations.
but this work at its heart was all geometric; there were a lot of perversesheaves involved.
While geometry has a lot of power, it’s also kinda hard. Luckily, in the pastfew years Rouquier and Khovanov-Lauda were able to redigest this wholestory combinatorially, and so I can tell you an entirely pictorial story (thoughthere’s a still a little geometry tucked away in corners).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 8 / 29
![Page 30: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/30.jpg)
Pictorial categorification
Now we define an algebra R(g) generated by pictures consisting of strandseach colored with a simple root, each labeled with any number of dots withthe restrictions that
strands must begin on y = 0, end on y = 1
strands can never be horizontal
Product is given by stacking (and is 0 if ends don’t match).
Let g ∼= sl3 with simple roots α1 = (1,−1, 0) and α2 = (0, 1,−1).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 9 / 29
![Page 31: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/31.jpg)
The Khovanov-Lauda relations
The relations for g ∼= sl3 are given by (keeping in mind there is anautomorphism interchanging blue and green).
== +
= 0 = +
=
=
= +
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 10 / 29
![Page 32: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/32.jpg)
The Khovanov-Lauda relations
The relations for g ∼= sl3 are given by (keeping in mind there is anautomorphism interchanging blue and green).
== +
= 0 = +
=
=
= +
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 10 / 29
![Page 33: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/33.jpg)
The Khovanov-Lauda relations
The relations for g ∼= sl3 are given by (keeping in mind there is anautomorphism interchanging blue and green).
== +
= 0 = +
=
=
= +
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 10 / 29
![Page 34: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/34.jpg)
The Khovanov-Lauda relations
The relations for g ∼= sl3 are given by (keeping in mind there is anautomorphism interchanging blue and green).
== +
= 0 = +
=
=
= +
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 10 / 29
![Page 35: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/35.jpg)
Pictorial categorification
There’s a natural ring map R⊗ R→ R given by “horizontal composition”:placing diagrams side by side. Extension of scalars under this map defines amonoidal structure on the category V∞ of graded R-modules.
Theorem (Khovanov-Lauda)
The category V∞ categorifies U+q (g).
In fact, this is a combinatorial version of Lusztig’s construction:
Theorem (Vasserot-Varagnolo)
For g simply laced, the category of graded modules over R(g) is derivedequivalent to Lusztig’s categorification of U+(g) and the canonical basis iscategorified by the indecomposible projective modules.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 11 / 29
![Page 36: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/36.jpg)
Pictorial categorification
There’s a natural ring map R⊗ R→ R given by “horizontal composition”:placing diagrams side by side. Extension of scalars under this map defines amonoidal structure on the category V∞ of graded R-modules.
Theorem (Khovanov-Lauda)
The category V∞ categorifies U+q (g).
In fact, this is a combinatorial version of Lusztig’s construction:
Theorem (Vasserot-Varagnolo)
For g simply laced, the category of graded modules over R(g) is derivedequivalent to Lusztig’s categorification of U+(g) and the canonical basis iscategorified by the indecomposible projective modules.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 11 / 29
![Page 37: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/37.jpg)
Pictorial categorification
There’s a natural ring map R⊗ R→ R given by “horizontal composition”:placing diagrams side by side. Extension of scalars under this map defines amonoidal structure on the category V∞ of graded R-modules.
Theorem (Khovanov-Lauda)
The category V∞ categorifies U+q (g).
In fact, this is a combinatorial version of Lusztig’s construction:
Theorem (Vasserot-Varagnolo)
For g simply laced, the category of graded modules over R(g) is derivedequivalent to Lusztig’s categorification of U+(g) and the canonical basis iscategorified by the indecomposible projective modules.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 11 / 29
![Page 38: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/38.jpg)
Irreducible representations
Fix a highest weight λ of g. We want a module category over R(g) -modgenerated by a “highest weight object” which I draw as a red line. Thus, if Iact “horizontally” with R(g), I’ll get pictures like
λ
But I need to impose relations to get a finite dimensional Grothendieck group:
λ
=
λ
α∨1 (λ) · · · = 0
λ
=
λ
α∨2 (λ) · · · = 0
Theorem (Lauda-Vazirani)
The category Vλ with its V∞ action categorifies the irreduciblerepresentation Vλ. The canonical basis is categorified by the indecomposibleprojective modules.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 12 / 29
![Page 39: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/39.jpg)
Irreducible representations
Fix a highest weight λ of g. We want a module category over R(g) -modgenerated by a “highest weight object” which I draw as a red line. Thus, if Iact “horizontally” with R(g), I’ll get pictures like
λ
But I need to impose relations to get a finite dimensional Grothendieck group:
λ
=
λ
α∨1 (λ) · · · = 0
λ
=
λ
α∨2 (λ) · · · = 0
Theorem (Lauda-Vazirani)
The category Vλ with its V∞ action categorifies the irreduciblerepresentation Vλ. The canonical basis is categorified by the indecomposibleprojective modules.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 12 / 29
![Page 40: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/40.jpg)
Tensor products
Now, some of you might think: “Wait, why is looking at the category of2-representations hard? Can’t you just take tensor product of the categories?”
There are a host of reasons why this is a bad idea. For one,
the whole point of quantum groups is that they treat the two sides of thetensor product inequitably. We shouldn’t expect a “democratic”
construction, but one slanted toward one tensor factor or another.
Also, the canonical bases give us hints of the structure of the categorificationsof things, and the canonical basis of the tensor product is not the tensorproduct of canonical bases.
In fact, we’ll see that there are objects categorifying the tensor product of thecanonical bases, but they are not projective.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 13 / 29
![Page 41: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/41.jpg)
Tensor products
Now, some of you might think: “Wait, why is looking at the category of2-representations hard? Can’t you just take tensor product of the categories?”
There are a host of reasons why this is a bad idea. For one,
the whole point of quantum groups is that they treat the two sides of thetensor product inequitably. We shouldn’t expect a “democratic”
construction, but one slanted toward one tensor factor or another.
Also, the canonical bases give us hints of the structure of the categorificationsof things, and the canonical basis of the tensor product is not the tensorproduct of canonical bases.
In fact, we’ll see that there are objects categorifying the tensor product of thecanonical bases, but they are not projective.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 13 / 29
![Page 42: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/42.jpg)
Tensor products
Now, some of you might think: “Wait, why is looking at the category of2-representations hard? Can’t you just take tensor product of the categories?”
There are a host of reasons why this is a bad idea. For one,
the whole point of quantum groups is that they treat the two sides of thetensor product inequitably. We shouldn’t expect a “democratic”
construction, but one slanted toward one tensor factor or another.
Also, the canonical bases give us hints of the structure of the categorificationsof things, and the canonical basis of the tensor product is not the tensorproduct of canonical bases.
In fact, we’ll see that there are objects categorifying the tensor product of thecanonical bases, but they are not projective.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 13 / 29
![Page 43: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/43.jpg)
Tensor products
Now, some of you might think: “Wait, why is looking at the category of2-representations hard? Can’t you just take tensor product of the categories?”
There are a host of reasons why this is a bad idea. For one,
the whole point of quantum groups is that they treat the two sides of thetensor product inequitably. We shouldn’t expect a “democratic”
construction, but one slanted toward one tensor factor or another.
Also, the canonical bases give us hints of the structure of the categorificationsof things, and the canonical basis of the tensor product is not the tensorproduct of canonical bases.
In fact, we’ll see that there are objects categorifying the tensor product of thecanonical bases, but they are not projective.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 13 / 29
![Page 44: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/44.jpg)
Tensor product algebras
Now we define an algebra generated by pictures consisting of
red strands, colored with an g-rep
non-red strands, colored with simple roots, each labeled with anynumber of dots
with the restrictions that
strands must begin on y = 0, end on y = 1 and can never be horizontal
red strands can never cross
Product is given by stacking (and is 0 if ends don’t match).
λ1 λ2 λ3
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 14 / 29
![Page 45: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/45.jpg)
Tensor product algebras
Now we define an algebra generated by pictures consisting of
red strands, colored with an g-rep
non-red strands, colored with simple roots, each labeled with anynumber of dots
with the restrictions that
strands must begin on y = 0, end on y = 1 and can never be horizontal
red strands can never cross
Product is given by stacking (and is 0 if ends don’t match).
λ1 λ2 λ3
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 14 / 29
![Page 46: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/46.jpg)
Tensor product algebras
Now we define an algebra generated by pictures consisting of
red strands, colored with an g-rep
non-red strands, colored with simple roots, each labeled with anynumber of dots
with the restrictions that
strands must begin on y = 0, end on y = 1 and can never be horizontal
red strands can never cross
Product is given by stacking (and is 0 if ends don’t match).
λ1 λ2 λ3
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 14 / 29
![Page 47: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/47.jpg)
Tensor product algebras
First, we impose the Khovanov-Lauda relations from before. Also, we alsoneed some relations involving red lines.
= +∑
a+b=α∨1 (λ)−1ba =
= =
λ
=
λ
α∨1 (λ)
λ
=
λ
α∨1 (λ)
λ
=
λ
α∨2 (λ)
λ
=
λ
α∨2 (λ)Any diagram where ablue or green strandis to the left of allred strands is 0.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 15 / 29
![Page 48: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/48.jpg)
Tensor product algebras
First, we impose the Khovanov-Lauda relations from before. Also, we alsoneed some relations involving red lines.
= +∑
a+b=α∨1 (λ)−1ba =
= =
λ
=
λ
α∨1 (λ)
λ
=
λ
α∨1 (λ)
λ
=
λ
α∨2 (λ)
λ
=
λ
α∨2 (λ)Any diagram where ablue or green strandis to the left of allred strands is 0.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 15 / 29
![Page 49: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/49.jpg)
Tensor product algebras
First, we impose the Khovanov-Lauda relations from before. Also, we alsoneed some relations involving red lines.
= +∑
a+b=α∨1 (λ)−1ba =
= =
λ
=
λ
α∨1 (λ)
λ
=
λ
α∨1 (λ)
λ
=
λ
α∨2 (λ)
λ
=
λ
α∨2 (λ)
Any diagram where ablue or green strandis to the left of allred strands is 0.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 15 / 29
![Page 50: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/50.jpg)
Tensor product algebras
First, we impose the Khovanov-Lauda relations from before. Also, we alsoneed some relations involving red lines.
= +∑
a+b=α∨1 (λ)−1ba =
= =
λ
=
λ
α∨1 (λ)
λ
=
λ
α∨1 (λ)
λ
=
λ
α∨2 (λ)
λ
=
λ
α∨2 (λ)Any diagram where ablue or green strandis to the left of allred strands is 0.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 15 / 29
![Page 51: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/51.jpg)
Comparison to Lauda-Vazirani
If there’s only red line, then we only get one new interesting relation:
λ
=
λ
α∨2 (λ) · · · · · · = 0
If there’s only one red line labeled with λ, then we just get back the categoryfor a simple representation.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 16 / 29
![Page 52: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/52.jpg)
Tensor product algebras
For a sequence of representations λ = (λ1, . . . , λ`), let Eλ be the subalgebrawhere the red lines are labeled with λ in order.
TheoremK(Eλ -mod) ∼= Vλ1 ⊗ · · · ⊗ Vλ` = Vλ.
We can also describe the action of U−q (g) on Vλ using this categorification:
TheoremThe “horizontal” action of R(g) -mod induces the usual action of U−q (g) onVλ.
This is the first sanity check: the grading shifts necessary to get to quantumcoproduct are “built in.”
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 17 / 29
![Page 53: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/53.jpg)
Tensor product algebras
For a sequence of representations λ = (λ1, . . . , λ`), let Eλ be the subalgebrawhere the red lines are labeled with λ in order.
TheoremK(Eλ -mod) ∼= Vλ1 ⊗ · · · ⊗ Vλ` = Vλ.
We can also describe the action of U−q (g) on Vλ using this categorification:
TheoremThe “horizontal” action of R(g) -mod induces the usual action of U−q (g) onVλ.
This is the first sanity check: the grading shifts necessary to get to quantumcoproduct are “built in.”
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 17 / 29
![Page 54: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/54.jpg)
Standard modules
The proof is by constructing a set of modules which categorify pure tensors.We call these standard modules. Consider the right ideal generated by allpictures where all red/black crossings are “negative.”
positive crossingnegative crossing
Let Sλ denote the right Eλ-module given by quotient by this ideal.
Proposition
End(Sλ) ∼= Eλ1 ⊗ · · · ⊗ Eλ` .
So, the failure of Sλ to be projective is exactly what encodes the differencebetween our tensor product category, and the naive tensor product.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 18 / 29
![Page 55: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/55.jpg)
Standard modules
The proof is by constructing a set of modules which categorify pure tensors.We call these standard modules. Consider the right ideal generated by allpictures where all red/black crossings are “negative.”
positive crossingnegative crossing
Let Sλ denote the right Eλ-module given by quotient by this ideal.
Proposition
End(Sλ) ∼= Eλ1 ⊗ · · · ⊗ Eλ` .
So, the failure of Sλ to be projective is exactly what encodes the differencebetween our tensor product category, and the naive tensor product.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 18 / 29
![Page 56: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/56.jpg)
Standard modules
We also obtain a functor from the naive product category to our category
given by −L⊗Eλ1⊗···⊗Eλ` Sλ : Vλ1;...;λ` → Vλ.
Proposition
This functor induces Vλ∼= K(Vλ1)⊗ · · · ⊗ K(Vλ`) ∼= K(Vλ).
To see why this is so, consider Fi(Sλ). This has a filtration given by elements
λ1
λ1
· · ·
λm
λm
· · ·
i
i
whose successive quotients match the terms of the coproduct
∆(`)(F) = 1⊗ · · · ⊗ Fi + · · ·+ Fi ⊗ K−1i ⊗ · · · ⊗ K−1
i .
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 19 / 29
![Page 57: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/57.jpg)
Standard modules
We also obtain a functor from the naive product category to our category
given by −L⊗Eλ1⊗···⊗Eλ` Sλ : Vλ1;...;λ` → Vλ.
Proposition
This functor induces Vλ∼= K(Vλ1)⊗ · · · ⊗ K(Vλ`) ∼= K(Vλ).
To see why this is so, consider Fi(Sλ). This has a filtration given by elements
λ1
λ1
· · ·
λm
λm
· · ·
i
i
whose successive quotients match the terms of the coproduct
∆(`)(F) = 1⊗ · · · ⊗ Fi + · · ·+ Fi ⊗ K−1i ⊗ · · · ⊗ K−1
i .
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 19 / 29
![Page 58: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/58.jpg)
Braiding
So, now we need to look for braiding functors.
Consider the bimodule Bi over Eλ and E(i,i+1)·λ given by exactly the samesort of diagrams, but with a single crossing inserted between the ith andi + 1st crossings.
λ1
λ1
λ3
λ3
λ2
λ2
Theorem
The derived tensor product−L⊗Bi : Vλ → V(i,i+1)·λ categorifies the braiding
map Ri : Vλ → V(i,i+1)·λ. The inverse functor is given by RHom(Bi,−).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 20 / 29
![Page 59: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/59.jpg)
Braiding
So, now we need to look for braiding functors.
Consider the bimodule Bi over Eλ and E(i,i+1)·λ given by exactly the samesort of diagrams, but with a single crossing inserted between the ith andi + 1st crossings.
λ1
λ1
λ3
λ3
λ2
λ2
Theorem
The derived tensor product−L⊗Bi : Vλ → V(i,i+1)·λ categorifies the braiding
map Ri : Vλ → V(i,i+1)·λ. The inverse functor is given by RHom(Bi,−).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 20 / 29
![Page 60: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/60.jpg)
Braiding
So, now we need to look for braiding functors.
Consider the bimodule Bi over Eλ and E(i,i+1)·λ given by exactly the samesort of diagrams, but with a single crossing inserted between the ith andi + 1st crossings.
λ1
λ1
λ3
λ3
λ2
λ2
Theorem
The derived tensor product−L⊗Bi : Vλ → V(i,i+1)·λ categorifies the braiding
map Ri : Vλ → V(i,i+1)·λ. The inverse functor is given by RHom(Bi,−).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 20 / 29
![Page 61: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/61.jpg)
Coevalution and quantum trace
We also need functors corresponding to the cups and caps in our theory.First, consider the case where we have two highest weights λ and−w0λ = λ∗. In this case, pick a reduced expression
w0 = s1 · · · sn with corresponding roots α1, · · · , αn.
There’s a unique simple module Lλ not killed by the idempotent for thesequence of weights and roots λ, α(α∨1 (λ))
1 , α(α∨2 (s1λ))2 , . . . , α
(α∨n (sn−1···s1λ))n , λ∗.
The coevaluation functor is categorified by the functorV∅ ∼= Vect→ Vλ,λ∗ sending C→ Lλ.
The quantum trace functor is categorified by
RHom(Lλ,−)[2ρ∨(λ)](2〈λ, ρ〉) : Vλ,λ∗ → V∅ ∼= Dfd(Vect).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 21 / 29
![Page 62: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/62.jpg)
Coevalution and quantum trace
We also need functors corresponding to the cups and caps in our theory.First, consider the case where we have two highest weights λ and−w0λ = λ∗. In this case, pick a reduced expression
w0 = s1 · · · sn with corresponding roots α1, · · · , αn.
There’s a unique simple module Lλ not killed by the idempotent for thesequence of weights and roots λ, α(α∨1 (λ))
1 , α(α∨2 (s1λ))2 , . . . , α
(α∨n (sn−1···s1λ))n , λ∗.
The coevaluation functor is categorified by the functorV∅ ∼= Vect→ Vλ,λ∗ sending C→ Lλ.
The quantum trace functor is categorified by
RHom(Lλ,−)[2ρ∨(λ)](2〈λ, ρ〉) : Vλ,λ∗ → V∅ ∼= Dfd(Vect).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 21 / 29
![Page 63: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/63.jpg)
Coevalution and quantum trace
We also need functors corresponding to the cups and caps in our theory.First, consider the case where we have two highest weights λ and−w0λ = λ∗. In this case, pick a reduced expression
w0 = s1 · · · sn with corresponding roots α1, · · · , αn.
There’s a unique simple module Lλ not killed by the idempotent for thesequence of weights and roots λ, α(α∨1 (λ))
1 , α(α∨2 (s1λ))2 , . . . , α
(α∨n (sn−1···s1λ))n , λ∗.
The coevaluation functor is categorified by the functorV∅ ∼= Vect→ Vλ,λ∗ sending C→ Lλ.
The quantum trace functor is categorified by
RHom(Lλ,−)[2ρ∨(λ)](2〈λ, ρ〉) : Vλ,λ∗ → V∅ ∼= Dfd(Vect).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 21 / 29
![Page 64: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/64.jpg)
Coevalution and quantum trace
In particular, the algebra (which is the invariant of the circle)
Aλ = Ext•(Lλ,Lλ)[2ρ∨(λ)](2〈λ, ρ〉)
has graded dimension given by the quantum dimension of Vλ.
Has anyone seen this algebra before?
One interesting candidate is the algebra structure that Feigin, Frenkel andRybnikov put on Vλ using the “quantum shift of argument algebra” at aprincipal nilpotent.
Another tantalizing possibility is that it is related to the geometry of Grλ.Perhaps a ring structure on intersection cohomology?
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 22 / 29
![Page 65: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/65.jpg)
Coevalution and quantum trace
In particular, the algebra (which is the invariant of the circle)
Aλ = Ext•(Lλ,Lλ)[2ρ∨(λ)](2〈λ, ρ〉)
has graded dimension given by the quantum dimension of Vλ.
Has anyone seen this algebra before?
One interesting candidate is the algebra structure that Feigin, Frenkel andRybnikov put on Vλ using the “quantum shift of argument algebra” at aprincipal nilpotent.
Another tantalizing possibility is that it is related to the geometry of Grλ.Perhaps a ring structure on intersection cohomology?
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 22 / 29
![Page 66: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/66.jpg)
Coevalution and quantum trace
In particular, the algebra (which is the invariant of the circle)
Aλ = Ext•(Lλ,Lλ)[2ρ∨(λ)](2〈λ, ρ〉)
has graded dimension given by the quantum dimension of Vλ.
Has anyone seen this algebra before?
One interesting candidate is the algebra structure that Feigin, Frenkel andRybnikov put on Vλ using the “quantum shift of argument algebra” at aprincipal nilpotent.
Another tantalizing possibility is that it is related to the geometry of Grλ.Perhaps a ring structure on intersection cohomology?
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 22 / 29
![Page 67: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/67.jpg)
Coevalution and quantum trace
To do this in general, you can construct natural bimodules Kλ. Rather thangive a definition, let me just draw the picture.
λ1
λ1
· · ·
µ µ∗
· · ·
λ`
λ`α∨2 (µ) α∨1 (µ)α∨1 + α∨2 (µ)
Lµ
TheoremTensor product with this bimodule categorifies coevaluation, and Hom with itcategorifies quantum trace.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 23 / 29
![Page 68: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/68.jpg)
Coevalution and quantum trace
To do this in general, you can construct natural bimodules Kλ. Rather thangive a definition, let me just draw the picture.
λ1
λ1
· · ·
µ µ∗
· · ·
λ`
λ`α∨2 (µ) α∨1 (µ)α∨1 + α∨2 (µ)
Lµ
TheoremTensor product with this bimodule categorifies coevaluation, and Hom with itcategorifies quantum trace.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 23 / 29
![Page 69: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/69.jpg)
Coevalution and quantum trace
To do this in general, you can construct natural bimodules Kλ. Rather thangive a definition, let me just draw the picture.
λ1
λ1
· · ·
µ µ∗
· · ·
λ`
λ`α∨2 (µ) α∨1 (µ)α∨1 + α∨2 (µ)
Lµ
TheoremTensor product with this bimodule categorifies coevaluation, and Hom with itcategorifies quantum trace.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 23 / 29
![Page 70: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/70.jpg)
Ribbon structure
Now, I should have drawn all these pictures as ribbon knots, since framingmatters in our picture. Moreover, I need to associate an actual functor to theribbon twist.
=
The ribbon functor is just M 7→ M(〈2λ, ρ〉)[2ρ∨(λ)].
Note: this is a strange ribbon element! (It appeared in work of Snyder andTingley on half-twist elements.) But that won’t change things very much.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 24 / 29
![Page 71: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/71.jpg)
Ribbon structure
Now, I should have drawn all these pictures as ribbon knots, since framingmatters in our picture. Moreover, I need to associate an actual functor to theribbon twist.
=
The ribbon functor is just M 7→ M(〈2λ, ρ〉)[2ρ∨(λ)].
Note: this is a strange ribbon element! (It appeared in work of Snyder andTingley on half-twist elements.) But that won’t change things very much.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 24 / 29
![Page 72: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/72.jpg)
Ribbon structure
Now, I should have drawn all these pictures as ribbon knots, since framingmatters in our picture. Moreover, I need to associate an actual functor to theribbon twist.
=
The ribbon functor is just M 7→ M(〈2λ, ρ〉)[2ρ∨(λ)].
Note: this is a strange ribbon element! (It appeared in work of Snyder andTingley on half-twist elements.) But that won’t change things very much.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 24 / 29
![Page 73: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/73.jpg)
Knot invariants
Now, we start with a picture of our knot (in red), cut it up into theseelementary pieces, and compose these functors in the order the elementarypieces fit together.
For a link L, we get a functor FL : V∅ ∼= Dfd(Vect)→ V∅ ∼= Dfd(Vect). SoFL(C) is a complex of vector spaces (actually graded vector spaces).
TheoremThe cohomology of FL(C) is a knot invariant. The graded Euler characteristicof this complex is JV,L(q).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 25 / 29
![Page 74: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/74.jpg)
Knot invariants
Now, we start with a picture of our knot (in red), cut it up into theseelementary pieces, and compose these functors in the order the elementarypieces fit together.
For a link L, we get a functor FL : V∅ ∼= Dfd(Vect)→ V∅ ∼= Dfd(Vect). SoFL(C) is a complex of vector spaces (actually graded vector spaces).
TheoremThe cohomology of FL(C) is a knot invariant. The graded Euler characteristicof this complex is JV,L(q).
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 25 / 29
![Page 75: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/75.jpg)
Knot invariants
V V∗
V V∗ V V∗
V V V∗ V∗
V V V∗ V∗
V V V∗ V∗
V V∗
Start with C.
A1 = C⊗ K1,2V
Replace with projectiveresolution B1
A2 = B1 ⊗ K1,2V
Replace with injectiveresolution B2
A3 = RHom(Bi,B2)Replace with projectiveresolution B3
A4 = B3 ⊗B1Replace with projectiveresolution B4
A5 = B4 ⊗B3Replace with injectiveresolution B5
A6 = RHom(K2,3V ,B5)
Replace with injectiveresolution B6
A7 = RHom(K1,2V ,B6) Knot homology!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 26 / 29
![Page 76: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/76.jpg)
Knot invariants
V V∗
V V∗ V V∗
V V V∗ V∗
V V V∗ V∗
V V V∗ V∗
V V∗
Start with C.
A1 = C⊗ K1,2V
Replace with projectiveresolution B1
A2 = B1 ⊗ K1,2V
Replace with injectiveresolution B2
A3 = RHom(Bi,B2)Replace with projectiveresolution B3
A4 = B3 ⊗B1Replace with projectiveresolution B4
A5 = B4 ⊗B3Replace with injectiveresolution B5
A6 = RHom(K2,3V ,B5)
Replace with injectiveresolution B6
A7 = RHom(K1,2V ,B6) Knot homology!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 26 / 29
![Page 77: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/77.jpg)
Knot invariants
V V∗
V V∗ V V∗
V V V∗ V∗
V V V∗ V∗
V V V∗ V∗
V V∗
Start with C.
A1 = C⊗ K1,2V
Replace with projectiveresolution B1
A2 = B1 ⊗ K1,2V
Replace with injectiveresolution B2
A3 = RHom(Bi,B2)Replace with projectiveresolution B3
A4 = B3 ⊗B1Replace with projectiveresolution B4
A5 = B4 ⊗B3Replace with injectiveresolution B5
A6 = RHom(K2,3V ,B5)
Replace with injectiveresolution B6
A7 = RHom(K1,2V ,B6) Knot homology!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 26 / 29
![Page 78: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/78.jpg)
Knot invariants
V V∗
V V∗ V V∗
V V V∗ V∗
V V V∗ V∗
V V V∗ V∗
V V∗
Start with C.
A1 = C⊗ K1,2V
Replace with projectiveresolution B1
A2 = B1 ⊗ K1,2V
Replace with injectiveresolution B2
A3 = RHom(Bi,B2)Replace with projectiveresolution B3
A4 = B3 ⊗B1Replace with projectiveresolution B4
A5 = B4 ⊗B3Replace with injectiveresolution B5
A6 = RHom(K2,3V ,B5)
Replace with injectiveresolution B6
A7 = RHom(K1,2V ,B6) Knot homology!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 26 / 29
![Page 79: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/79.jpg)
Knot invariants
V V∗
V V∗ V V∗
V V V∗ V∗
V V V∗ V∗
V V V∗ V∗
V V∗
Start with C.
A1 = C⊗ K1,2V
Replace with projectiveresolution B1
A2 = B1 ⊗ K1,2V
Replace with injectiveresolution B2
A3 = RHom(Bi,B2)Replace with projectiveresolution B3
A4 = B3 ⊗B1Replace with projectiveresolution B4
A5 = B4 ⊗B3Replace with injectiveresolution B5
A6 = RHom(K2,3V ,B5)
Replace with injectiveresolution B6
A7 = RHom(K1,2V ,B6) Knot homology!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 26 / 29
![Page 80: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/80.jpg)
Knot invariants
V V∗
V V∗ V V∗
V V V∗ V∗
V V V∗ V∗
V V V∗ V∗
V V∗
Start with C.
A1 = C⊗ K1,2V
Replace with projectiveresolution B1
A2 = B1 ⊗ K1,2V
Replace with injectiveresolution B2
A3 = RHom(Bi,B2)Replace with projectiveresolution B3
A4 = B3 ⊗B1Replace with projectiveresolution B4
A5 = B4 ⊗B3Replace with injectiveresolution B5
A6 = RHom(K2,3V ,B5)
Replace with injectiveresolution B6
A7 = RHom(K1,2V ,B6) Knot homology!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 26 / 29
![Page 81: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/81.jpg)
Knot invariants
V V∗
V V∗ V V∗
V V V∗ V∗
V V V∗ V∗
V V V∗ V∗
V V∗
Start with C.
A1 = C⊗ K1,2V
Replace with projectiveresolution B1
A2 = B1 ⊗ K1,2V
Replace with injectiveresolution B2
A3 = RHom(Bi,B2)Replace with projectiveresolution B3
A4 = B3 ⊗B1Replace with projectiveresolution B4
A5 = B4 ⊗B3Replace with injectiveresolution B5
A6 = RHom(K2,3V ,B5)
Replace with injectiveresolution B6
A7 = RHom(K1,2V ,B6) Knot homology!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 26 / 29
![Page 82: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/82.jpg)
Knot invariants
V V∗
V V∗ V V∗
V V V∗ V∗
V V V∗ V∗
V V V∗ V∗
V V∗
Start with C.
A1 = C⊗ K1,2V
Replace with projectiveresolution B1
A2 = B1 ⊗ K1,2V
Replace with injectiveresolution B2
A3 = RHom(Bi,B2)Replace with projectiveresolution B3
A4 = B3 ⊗B1Replace with projectiveresolution B4
A5 = B4 ⊗B3Replace with injectiveresolution B5
A6 = RHom(K2,3V ,B5)
Replace with injectiveresolution B6
A7 = RHom(K1,2V ,B6) Knot homology!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 26 / 29
![Page 83: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/83.jpg)
Functoriality?
It’s not known at the moment if this is functorial in cobordisms betweenknots. How would one construct a functoriality map?
Cobordisms of knots can be cut (using a Morse function) into the moves of
∅
circle destruction
∅
circle creationsaddle move
Being able to define these maps requires that the cap and cup functors arebiadjoint (they’re clearly adjoint one way).
However, one has to prove that this map does not depend on the handledecomposition. Not easy!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 27 / 29
![Page 84: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/84.jpg)
Functoriality?
It’s not known at the moment if this is functorial in cobordisms betweenknots. How would one construct a functoriality map?
Cobordisms of knots can be cut (using a Morse function) into the moves of
∅
circle destruction
∅
circle creationsaddle move
Being able to define these maps requires that the cap and cup functors arebiadjoint (they’re clearly adjoint one way).
However, one has to prove that this map does not depend on the handledecomposition. Not easy!
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 27 / 29
![Page 85: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/85.jpg)
Open questions
Can it be used practically to distinguish knots?
Is there any way of doing computations efficiently?
What about Alexander polynomial? Could this prescription be modifiedto give Knot Floer homology?
These categories seem to arise from perverse sheaves on/Fukayacategories of quiver varieties. Can the knot homology be described inthat picture?
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 28 / 29
![Page 86: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/86.jpg)
Open questions
Can it be used practically to distinguish knots?
Is there any way of doing computations efficiently?
What about Alexander polynomial? Could this prescription be modifiedto give Knot Floer homology?
These categories seem to arise from perverse sheaves on/Fukayacategories of quiver varieties. Can the knot homology be described inthat picture?
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 28 / 29
![Page 87: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/87.jpg)
Open questions
Can it be used practically to distinguish knots?
Is there any way of doing computations efficiently?
What about Alexander polynomial? Could this prescription be modifiedto give Knot Floer homology?
These categories seem to arise from perverse sheaves on/Fukayacategories of quiver varieties. Can the knot homology be described inthat picture?
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 28 / 29
![Page 88: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/88.jpg)
Open questions
Can it be used practically to distinguish knots?
Is there any way of doing computations efficiently?
What about Alexander polynomial? Could this prescription be modifiedto give Knot Floer homology?
These categories seem to arise from perverse sheaves on/Fukayacategories of quiver varieties. Can the knot homology be described inthat picture?
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 28 / 29
![Page 89: Categorification of quantum groups and quantum knot invariantsmathserver.neu.edu/~bwebster/berkeley-cat.pdf · projection of the knot. They then use the theory of quantum groups to](https://reader034.fdocuments.us/reader034/viewer/2022042405/5f1d549e23b13d66133389cb/html5/thumbnails/89.jpg)
Thanks, y’all.
Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 29 / 29