Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification...
Transcript of Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification...
![Page 1: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/1.jpg)
Knot Categorification
from Geometry,
via String Theory
Mina Aganagic UC Berkeley
Based on joint work (to appear) with Andrei Okounkov
![Page 2: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/2.jpg)
I will describe
two geometric approaches to the
knot categorification problem.
![Page 3: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/3.jpg)
These approaches should be viewed as emerging from string theory.
However, this gives string theory too much credit.
![Page 4: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/4.jpg)
To extract string theory predictions,
and put the pieces together,
required the work of Andrei and his many
collaborators over the years,
Bezrukavnikov, Maulik, Nekrasov, Smirnov…
![Page 5: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/5.jpg)
One of approaches we will derive
turns out to have
the same flavor as that in the work of
Kamnitzer and Cautis.
The other is a relative of the approach of
Seidel and Smith.
![Page 6: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/6.jpg)
The relation between the
two approaches
is a variant of
two dimensional mirror symmetry.
![Page 7: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/7.jpg)
There is a third approach
with the same string theory origin,
due to Witten.
What emerges from string theory
is unified framework
for knot categorification.
![Page 8: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/8.jpg)
To begin with, it is useful to recall
some well known aspects of knot invariants.
![Page 9: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/9.jpg)
To get a quantum invariant of a link K
one starts with a Lie algebra,
and a coloring
of its strands by representations of .
![Page 10: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/10.jpg)
The link invariant,
in addition to the choice of a group
and its representations,
depends on one parameter
![Page 11: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/11.jpg)
Witten showed in his famous ’89 paper,
that the knot invariant
comes from
Chern-Simons theory with gauge group based on the Lie algebra
and (effective) Chern-Simons level
![Page 12: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/12.jpg)
In the same paper, he showed that
underlying Chern-Simons theory is a
two-dimensional conformal field theory
corresponding to
the affine Lie algebra of , at level .
,
![Page 13: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/13.jpg)
x x x
Start with the space conformal blocks of
on a Riemann surface with punctures
![Page 14: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/14.jpg)
To eventually get invariants of knots in or 3,
we want to take
to be a complex plane with punctures,
xxx
or equivalently, a punctured infinite cylinder.
![Page 15: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/15.jpg)
The corresponding conformal blocks
are correlators of chiral vertex operators on
xx
x
![Page 16: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/16.jpg)
Punctures at and ,
are labeled by a pair of highest weight vectors
of Verma module representations of the algebra.
x xx
x
and
![Page 17: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/17.jpg)
x x x x
associated to a finite dimensional representation
A chiral vertex operator
of adds a puncture at a finite point on
![Page 18: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/18.jpg)
It acts as an intertwiner
between a pair of Verma module representations,
x x x x
![Page 19: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/19.jpg)
we get different conformal blocks,
Sewing the chiral vertex operators
x x x
(which the notation hides).
depending on choices of intermediate Verma module representations.
![Page 20: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/20.jpg)
The space conformal blocks of
on the Riemann surface with punctures
is the Hilbert space of Chern-Simons theory on
x x x
where the strands get colored
by representations of the corresponding punctures.
![Page 21: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/21.jpg)
The Chern-Simons path integral on
in the presence of a braid
gives the corresponding
quantum braid invariant.
![Page 22: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/22.jpg)
The braid invariant
is a matrix that transports
the space of conformal blocks,
along the braid .
![Page 23: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/23.jpg)
To describe the transport,
instead of characterizing conformal blocks
in terms of vertex operators and sewing,
it is better to describe them as solutions to a differential equation.
x xx
x
![Page 24: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/24.jpg)
conformal blocks of on
The equation solved by
is the equation discovered by Knizhnik and Zamolodchikov in ’84:
It is regular as long as the punctures are distinct.
x xx
x
![Page 25: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/25.jpg)
The quantum braid invariant
is the monodromy matrix of the Knizhnik-Zamolodchikov equation,
along the path in the parameter space corresponding to
the braid .
![Page 26: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/26.jpg)
The monodromy problem of the Knizhnik-Zamolodchikov equation
They showed that its monodromy matrices are given in terms of the
R-matrices of the quantum group
was solved by Drinfeld and Kohno in ’89.
corresponding to
![Page 27: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/27.jpg)
Action by monodromies
turns the space of conformal blocks into a module for the
quantum group in representation,
The representation is viewed here as a representation of ,
and not of , but we will denote by the same letter.
![Page 28: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/28.jpg)
The monodromy action
is irreducible only in the subspace of
of fixed weight
which in our setting equals to
x xx
x
![Page 29: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/29.jpg)
This perspective leads to
quantum invariants of not only braids
but knots and links as well.
![Page 30: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/30.jpg)
Any link K can be represented as a
a closure of some braid . .
=
![Page 31: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/31.jpg)
The corresponding quantum link invariant is the matrix element
of the braiding matrix,
taken between a pair of conformal blocks
![Page 32: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/32.jpg)
correspond to the top and the bottom of the picture.
The pair of conformal blocks
that pick out the matrix element
![Page 33: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/33.jpg)
The conformal blocks
we need are specific solutions to KZ equations
which describe pairwise fusing vertex operators
into copies of trivial representation.
Necessarily they correspond to subspace of
of weight
![Page 34: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/34.jpg)
To categorify quantum knot invariants,
one would like to associate
to the space conformal blocks one obtains at a fixed time slice
a bi-graded category,
and to each conformal block an object of the category.
x x x
![Page 35: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/35.jpg)
To braids,
one would like to associate
functors between the categories
corresponding to the
top and the bottom.
![Page 36: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/36.jpg)
Moreover,
we would like to do that in the way that
recovers the quantum knot invariants upon
de-categorification.
![Page 37: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/37.jpg)
One typically proceeds by coming up with a category,
and then one has to work to prove
that de-categorification gives
the quantum knot invariants one aimed to categorify.
![Page 38: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/38.jpg)
In the two of the approaches
we are about to describe,
the second step is automatic.
![Page 39: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/39.jpg)
The starting point for us is
a geometric realization of conformal blocks,
coming from supersymmetric quantum field theory
and
string theory.
![Page 40: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/40.jpg)
We will eventually find not
one but two such interpretations.
To explain how they come about,
and to find a relation between them,
it is useful to ask a slightly different question first.
![Page 41: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/41.jpg)
q-conformal blocks of
Namely, we will first ask for a
geometric interpretation of
the quantum affine algebra that is a q-deformation of
the affine Lie algebra.
![Page 42: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/42.jpg)
are q-deformations of conformal blocks of ,
The q-conformal blocks of
which I. Frenkel and Reshetikhin
discovered in the ’80’s.
![Page 43: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/43.jpg)
They are defined as correlation functions
of chiral vertex operators,
like in the conformal case, except all the operators are q-deformed.
x xx
x
![Page 44: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/44.jpg)
Just like conformal blocks of
the q-conformal blocks of
are solutions of the quantum Knizhnik-Zamolodchikov equation.
may be defined as solutions of the Knizhnik-Zamolodchikov equation,
![Page 45: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/45.jpg)
The quantum Knizhnik-Zamolodchikov (qKZ) equation
is a regular difference equation
which reduces to the Knizhnik-Zamolodchikov equation
in the conformal limit.
![Page 46: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/46.jpg)
It turns out that q-conformal blocks of
have a geometric realization,
coming from
supersymmetric gauge theory.
![Page 47: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/47.jpg)
Let be a simply laced Lie algebra so in particular
and of the following types:
![Page 48: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/48.jpg)
three dimensional quiver gauge theory
The gauge theory we need
V1
W1
V2
W2
is a
with quiver
based on the Dynkin diagram of
![Page 49: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/49.jpg)
Wa
Va
The ranks of the vector spaces
are determined by the representation
and the fixed weight in that representation.
![Page 50: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/50.jpg)
The corresponding quiver variety
entered representation theory previously,
in the work of Nakajima,
who showed that
acts on its classical K-theory.
![Page 51: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/51.jpg)
With Davesh Maulik and Andrey Smirnov,
Andrei
developed
quantum K-theory
of
Nakajima quiver varieties such as
![Page 52: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/52.jpg)
They showed that,
quantum K-theory
provides solutions to the
qKZ equation of
of the quiver variety corresponding to
we started with, as its most basic objects.
V1
W1
V2
W2
![Page 53: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/53.jpg)
equivariant, K-theoretic counts
of quasi-maps
One gets solutions of the qKZ equation as
K-theoretic functions.
generating functions of
of all degrees.
These generating functions go under the name
![Page 54: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/54.jpg)
One works equivariantly with respect to:
is the maximal torus of rotations of
that preserve the symplectic form, and scales it,
and with respect to
which rotates the domain curve.
![Page 55: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/55.jpg)
Physically,
are supersymmetric partition functions
of the three dimensional quiver gauge theory
K-theoretic functions.
on V1
W1
V2
W2
with quiver
![Page 56: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/56.jpg)
All the ingredients in the q-conformal block
have a geometric and gauge theory interpretation.
x xx
x
![Page 57: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/57.jpg)
of the qKZ equation is the parameter by which rotates,
The step
as we go around the in
![Page 58: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/58.jpg)
The positions of vertex operators,
V1
W1
V2
W2
are equivariant parameters preserving the holomorphic symplectic form of
while the parameter in
scales it.
![Page 59: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/59.jpg)
is related to the degree counting parameter
The highest weight vector of Verma module in
by
![Page 60: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/60.jpg)
The quantum affine algebra
acts on
through insertions of equivariant K-theory classes,
at the origin:
![Page 61: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/61.jpg)
Which solution of the qKZ equation
computes depends on the choice of data
at infinity of
Physically, this choice means vertex functions should be thought of as valued in
![Page 62: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/62.jpg)
While
solve the quantum Knizhnik-Zamolodchikov equation,
they are not the q-conformal blocks of .
![Page 63: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/63.jpg)
q-conformal blocks are the solutions of the qKZ equation
which are holomorphic in a chamber such as
corresponding to choice of ordering of vertex operators in
x xx
x
This is a choice of equivariant parameters of
![Page 64: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/64.jpg)
Instead,
are holomorphic in a chamber of Kahler moduli of X,
corresponding to the choice of Verma module .
x xx
x
![Page 65: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/65.jpg)
So, this does not give an answer to the
question we are after,
namely to find a geometric interpretation of conformal blocks,
even after q-deformation.
![Page 66: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/66.jpg)
It turns out that
is not the only geometry that underlies solutions to
the qKZ equation corresponding to our problem.
There is a second one,
which turns out to the relevant one.
![Page 67: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/67.jpg)
There are two natural holomorphic symplectic
varieties one can associate to
the 3d quiver gauge theory
with quiver
V1
W1
V2
W2
and N=4 supersymmetry.
![Page 68: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/68.jpg)
One such variety is
the Nakajima quiver variety
.
This is the
Higgs branch of vacua
of the 3d gauge theory.
![Page 69: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/69.jpg)
The other is the Coulomb branch,
which we will denote by
![Page 70: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/70.jpg)
The Coulomb branch
of our gauge theory is a certain intersection of slices
in the (thick) affine Grassmanian of .
Here, G is the adjoint form of a Lie group with Lie algebra g.
Hanany, Witten,….
Braverman, Finkelberg, Nakajima
Bullimore, Dimofte, Gaiotto
![Page 71: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/71.jpg)
Another way to think about
is as the moduli space of
-monopoles,
on
where is the charge of singular monopoles,
and the total monopole charge.
Hanany, Witten
![Page 72: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/72.jpg)
and the Kahler parameters of
The positions of vertex operators on
x xx
x
are equivariant parameters of
![Page 73: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/73.jpg)
We prove that, whenever it is defined,
the K-theoretic vertex function of
solves the same qKZ equation
as
the K-theoretic vertex function of .
![Page 74: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/74.jpg)
This is a consequence or
three dimensional mirror symmetry
which says that,
with suitable identifications of parameters and boundary conditions,
the theories based on
are indistinguishable.
and
![Page 75: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/75.jpg)
From perspective of
the qKZ equation
is the quantum difference equation since the -variables
are the Kahler variables of .
![Page 76: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/76.jpg)
The “quantum difference equation"
is the K-theory analogue of
of the quantum differential equation of Gromov-Witten theory.
Here “quantum” refers to the
quantum cohomology cup product on
used to define it.
![Page 77: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/77.jpg)
While
and
solve the same qKZ equation,
they provide two different basis of its solutions.
![Page 78: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/78.jpg)
While
does the opposite.
leads to solutions of qKZ which are analytic in
-variables, but not in -variables,
Kahler for
and
equivariant for
Kahler for
and
equivariant for
![Page 79: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/79.jpg)
Now we can return to
our main interest,
which is obtaining a geometric realization of
conformal blocks.
![Page 80: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/80.jpg)
The conformal limit is the limit which takes
and the qKZ equation to the corresponding KZ equation.
It is amounts to
This corresponds to keeping the data of the conformal block fixed.
![Page 81: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/81.jpg)
very differently,
since it treats the
Kahler for
Kahler for
differently:
The conformal limit treats
and
- and the -variables,
![Page 82: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/82.jpg)
The conformal limit,
is not a geometric limit from perspective of the Higgs branch
since
The limit results in a badly singular space,
is a limit in its Kahler variables.
![Page 83: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/83.jpg)
By contrast, from perspective of the Coulomb branch,
the limit is perfectly geometric.
Its Kahler variables are the -variables,
x xx
x
the positions of vertex operators,
which are kept fixed.
![Page 84: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/84.jpg)
the conformal limit,
is the cohomological limit
taking:
From perspective of ,
![Page 85: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/85.jpg)
The Knizhnik-Zamolodchikov equation
we get in the conformal limit
becomes the quantum differential equation
of .
![Page 86: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/86.jpg)
It follows that conformal blocks of
have a geometric interpretation as
cohomological vertex functions
computed by equivariant Gromov-Witten theory of
![Page 87: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/87.jpg)
The cohomological vertex function counts holomorphic maps
equivariantly with respect to
where one scales the holomorphic symplectic form of by
choice of Verma module
![Page 88: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/88.jpg)
The domain curve
is an infinite cigar with an boundary at infinity.
The boundary data is a choice of a K-theory class
![Page 89: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/89.jpg)
The geometric interpretation of
conformal blocks of
in terms of
has far more information than the conformal blocks themselves.
![Page 90: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/90.jpg)
Underlying
the Gromov-Witten theory of
,
is a two-dimensional supersymmetric sigma model with
as a target space.
![Page 91: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/91.jpg)
is the partition function of the supersymmetric sigma model
with target
on
The physical meaning of
Gromov-Witten vertex function
![Page 92: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/92.jpg)
one has, in the interior of , an A-type twist
and at infinity, one places a B-type boundary condition.
To get
![Page 93: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/93.jpg)
The B-type boundary condition
of the derived category of -equivariant coherent sheaves on
is an object
![Page 94: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/94.jpg)
conformal block of .
The choice of a B-type brane
at infinity of determines which
computes.
![Page 95: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/95.jpg)
Since the Knizhnik-Zamolodchikov equation,
solved by conformal blocks of
is the quantum differential equation of …
![Page 96: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/96.jpg)
the action of
corresponding to a braid on the space of conformal blocks
is the monodromy of the quantum differential equation of ,
along the path in its Kahler moduli.
![Page 97: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/97.jpg)
Monodromy of the quantum differential equation
acts on
via its action on K-theory classes
inserted at the boundary at infinity of
![Page 98: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/98.jpg)
By cutting and gluing,
it follows……
![Page 99: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/99.jpg)
the matrix element of the monodromy matrix
is the annulus amplitude of the B-twisted sigma model to
with the pair of B-branes at the boundary.
![Page 100: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/100.jpg)
the derived category of -equivariant coherent sheaves on
The B-model annulus amplitude, is essentially per definition,
the supertrace, over the graded Hom space between the branes
computed in
![Page 101: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/101.jpg)
This is the statement of the
theorem of Roman Bezrukavnikov and Andrei which says that,
the action of braiding matrix on
via the monodromy of the quantum differential equation
lifts to
a derived auto-equivalence functor of
for any smooth holomorphic symplectic variety .
![Page 102: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/102.jpg)
This also implies that
categorification of quantum invariants of links
comes from
since they can be expressed as matrix elements of the braiding matrix
between pairs of conformal blocks.
![Page 103: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/103.jpg)
Denote by
the branes that give rise to conformal blocks
the image of under the braiding functor.
and by
![Page 104: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/104.jpg)
The corresponding categorified link invariant
is the graded Hom between the branes
computed in
In addition to the homological grade, there is a second grade,
coming from the -action,
that scales the holomorphic symplectic form on ,
with weight
![Page 105: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/105.jpg)
The three dimensional gauge theory
we started with
in addition, leads to a
second description
of the categorified knot invariants.
V1
W1
V2
W2
![Page 106: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/106.jpg)
It leads to a description in terms of a
two-dimensional equivariant mirror of
The equivariant mirror description of is also
a new result.
![Page 107: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/107.jpg)
The equivariant mirror
is a Landau-Ginzburg theory with target ,
and potential
.
![Page 108: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/108.jpg)
The Landau-Ginzburg potential
and the target
can be derived from the 3d gauge theory.
V1
W1
V2
W2
The potential is a limit of the three dimensional effective
superpotential, given as a sum of contributions
associated to its nodes and its arrows.
![Page 109: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/109.jpg)
Recall that, in the conformal limit,
the K-theoretic vertex function of
has no geometric interpretation in terms of X.
One instructive, if roundabout, way to
discover the mirror description,
is as follows.
![Page 110: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/110.jpg)
While it is not given in terms of ,
the conformal limit of
To find the limit, one uses the integral formulation of
must exist.
discovered jointly with E. Fenkel.
![Page 111: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/111.jpg)
The integrals
come from studying quasi-maps to
in geometric-invariant theory terms.
One views them as maps to the pre-quotient
and, projecting to gauge invariant configurations,
we end up integrating over the maximal torus of
![Page 112: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/112.jpg)
The conformal limit of has the form:
It gives integral solutions to the Knizhnik-Zamolodchikov equation
corresponding to the conformal blocks
of
![Page 113: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/113.jpg)
The function that enters
is the Landau-Ginzburg potential,
and is a top holomorphic form on .
![Page 114: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/114.jpg)
The potential is a sum over three types of terms
V1
W1
V2
W2
one of which comes from the nodes
and two from the arrows.
![Page 115: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/115.jpg)
The integration in
is over a Lagrangian in
the target space of the Landau-Ginzburg model.
![Page 116: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/116.jpg)
the integral representations of conformal blocks of
They are very well known,
and go back to work of Feigin and E.Frenkel in the ’80’s
and Schechtman and Varchenko.
We are re-discovering
from
geometry and supersymmetric gauge theory,
![Page 117: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/117.jpg)
The fact that the Knizhnik-Zamolodchikov equation which
the Landau-Ginzburg integral solves
is also the quantum differential equation of ….
![Page 118: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/118.jpg)
…..gives a Givental type proof of 2d mirror symmetry
at genus zero,
relating
equivariant A-model on ,
to
B-model on with superpotential .
![Page 119: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/119.jpg)
The Landau-Ginzburg origin of
conformal blocks
automatically
leads to categorification of the corresponding
braid and link invariants.
![Page 120: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/120.jpg)
From the Landau-Ginzburg perspective
the conformal block
is the partition function of the B-twisted theory on ,
with A-type boundary condition at infinity, corresponding to the
Lagrangian in .
![Page 121: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/121.jpg)
Thus, corresponding to a solution to the
Knizhnik-Zamolodchikov equation
is an A-brane at the boundary of at infinity,
the Fukaya-Seidel category of A-branes on with potential .
The brane is an object of
![Page 122: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/122.jpg)
The categorified link invariant arizes as the Floer cohomology group
where the second grade is
is the winding number,
associated to the
non-single valued potential.
![Page 123: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/123.jpg)
We get a 2d equivariant mirror description of categorified knot invariants
based on
the Fukaya-Seidel category of A-branes on ,
the target of the Landau-Ginzburg model,
with potential .
![Page 124: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/124.jpg)
It turns out that there is
a third approach to categorification
which is related to the other two,
though less tractable.
![Page 125: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/125.jpg)
It is important to understand the connection,
to get a unified picture of
the knot categorification problem,
and its solutions.
![Page 126: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/126.jpg)
This will also demystify an aspect of the story so far
which seems strange:
What do three dimensional supersymmetric gauge theories
have to do with knot invariants?
![Page 127: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/127.jpg)
The explanation comes from string theory.
![Page 128: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/128.jpg)
More precisely, it comes from the six dimensional
labeled by a simply laced Lie algebra
little string theory
with (2,0) supersymmetry.
![Page 129: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/129.jpg)
The six dimensional string theory is
obtained by taking a limit of IIB string theory on an
In the limit, one keeps only the degrees of freedom
supported at the singularity and decouples the 10d bulk.
ADE surface singularity of type
.
![Page 130: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/130.jpg)
The q-conformal blocks of the
can be understood
as the supersymmetric partition functions of
the -type little string theory,
with D-branes.
![Page 131: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/131.jpg)
One wants to study the six dimensional (2,0) little string theory on
where
x xx
x
is the Riemann surface where the conformal blocks live:
and is the domain curve of the 2d theories we had so far.
![Page 132: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/132.jpg)
The vertex operators on the Riemann surface
x xx
x
come from a collection of defects in the little string theory,
which are inherited from D-branes of the ten dimensional string.
![Page 133: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/133.jpg)
The D-branes needed are
two dimensional defects of the six dimensional theory on
x xx
x
supported on and the origin of
![Page 134: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/134.jpg)
The choice of which conformal
blocks we want to study
translates into choices of D-branes
x xx
x
![Page 135: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/135.jpg)
The theory on the D-branes is the quiver gauge theory
that arose earlier in the talk.
V1
W1
V2
W2
This is a consequence of the familiar description of
D-branes on ADE singularities
due to Douglas and Moore in ’96.
![Page 136: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/136.jpg)
The theory on the D-branes supported on ,
is a three dimensional quiver gauge theory on
rather than a two dimensional theory on ,
due to a stringy effect.
V1
W1
V2
W2
![Page 137: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/137.jpg)
x
These turn the theory on the defects supported on ,
to a three dimensional quiver gauge theory on
where the is the dual of the circle in .
In a string theory,
one has to include the winding modes of strings around C.
xxx
![Page 138: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/138.jpg)
The conformal limit of the algebras
coincides with the conformal, point particle, limit of little string theory
in which it becomes the six dimensional conformal field theory
of type (with (2,0) supersymmetry)
![Page 139: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/139.jpg)
In the point particle limit,
the winding modes that made the theory
on the defects three dimensional, instead of two,
become infinitely heavy.
xxx
![Page 140: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/140.jpg)
As a result, in the conformal limit,
the theory on the defects
becomes a two dimensional theory on
![Page 141: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/141.jpg)
The two dimensional theory on the defects
of the six dimensional (2,0) theory was sought previously.
It is not a gauge theory,
but it has two other descriptions,
I described earlier in the talk.
![Page 142: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/142.jpg)
One description
is based on the supersymmetric sigma model
describing maps
The other is in terms of the mirror
Landau-Ginzburg model on with potential
with equivariant mass deformation.
![Page 143: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/143.jpg)
These approaches to
categorification
started with the theories on the
knots.
![Page 144: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/144.jpg)
There is a third description,
due to Witten.
It is obtained from
the perspective of the 6d theory in the bulk.
![Page 145: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/145.jpg)
Compactified on a very small circle,
the six dimensional -type (2,0) conformal theory
with no classical description,
becomes a -type gauge theory
in one dimension less.
![Page 146: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/146.jpg)
To get a good 5d gauge theory description of the problem,
the circle one shrinks corresponds to in
so from a six dimensional theory on
one gets a five-dimensional gauge theory on a manifold with a boundary
![Page 147: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/147.jpg)
The five dimensional gauge theory is supported on
where
It has gauge group
which is the adjoint form of a Lie group with lie algebra .
![Page 148: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/148.jpg)
The two dimensional defects are monopoles
of the 5d gauge theory on
supported on and at points on,
along its boundary.
,
![Page 149: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/149.jpg)
Witten shows that the five dimensional theory on
can be viewed as a gauged
Landau-Ginzburg model on with potential
on an infinite dimensional target space ,
corresponding to connections on
with suitable boundary conditions (depending on the knots).
![Page 150: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/150.jpg)
To obtain knot homology groups in this approach,
one ends up counting solutions to
certain five dimensional equations.
The equations arise in
constructing the Floer cohomology groups
of the five dimensional Landau-Ginzburg theory.
![Page 151: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/151.jpg)
Thus, we end up with three different approaches
to the knot categorification problem,
all of which have the same
six dimensional origin.
![Page 152: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/152.jpg)
They all describe the same physics
starting in six dimensions.
The two geometric approaches,
describe the physics from perspective of the defects.
The approach based on the 5d gauge theory,
describe it from perspective of the bulk.
![Page 153: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/153.jpg)
In general,
theories on defects
capture only the local physics of the defect.
In this case,
they capture all of the relevant physics,
due to a version of supersymmetric localization:
in the absence of defects,
the bulk theory is trivial.
![Page 154: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/154.jpg)
The approach based on
is equivalent to that
of Kamnitzer and Cautis in type A.
![Page 155: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/155.jpg)
The approach based on
is related to the approach of
Seidel and Smith
for
![Page 156: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/156.jpg)
Seidel and Smith
use Fukaya category of the ordinary mirror of
to construct
“symplectic Khovanov homology.”
![Page 157: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/157.jpg)
The “symplectic Khovanov homology”
is a singly-graded homology theory
which is a specialization of the ordinary Khovanov homology to
![Page 158: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/158.jpg)
The approach based on
includes the grading from the outset,
and works for any
![Page 159: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/159.jpg)
the Landau-Ginsburg model
The equivariant mirror symmetry relating
and
should become a very useful tool
in both geometry and representation theory.
![Page 160: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/160.jpg)
The question which categories
one should study:
and
gets traded for more focused questions like
![Page 161: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/161.jpg)
……understanding the geometry of objects in these categories that
map to themselves under derived functors corresponding to half twists,
up to degree shifts
and whose self-Homs categorify quantum dimensions.
![Page 162: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/162.jpg)
This has an extension to non-simply laced Lie algebras,
for which
which is dictated by string theory.
![Page 163: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/163.jpg)
One uses the fact that the non-simply laced Lie algebra
can be obtained from a simply laced Lie algebra
using an outer automorphism H of its Dynkin diagram
![Page 164: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/164.jpg)
v v
v
v
v
vv
v
vH acts as an involution of the Dynkin diagram of :
![Page 165: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/165.jpg)
To get knot invariants based on the Lie algebra
one studies little string theory of type
with an H-twist
on
![Page 166: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/166.jpg)
The twist
permutes the nodes of the Dynkin diagram of
by a generator of H,
as we go once around the origin of the complex -plane
which supports the defects.
![Page 167: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/167.jpg)
The theory on D-branes is a three dimensional
-type quiver gauge theory
on
with an H- twist around .
![Page 168: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/168.jpg)
of this theory is the moduli space of singular
or, equivalently, intersection of a pair of orbits
in the affine Grassmanian of
-monopoles
The Coulomb branch
![Page 169: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/169.jpg)
This follows since
D-branes which provide the gauge theory
are monopoles in the
-type gauge theory in the bulk
and is their moduli space.
is the Lie group of adjoint form, with Lie algebra .
![Page 170: Knot Categorification from Geometry via String Theory · 2019-08-28 · Knot Categorification from Geometry, via String Theory Mina Aganagic UC Berkeley Based on joint work ...](https://reader034.fdocuments.us/reader034/viewer/2022042217/5ec0651d5af82d746402eeda/html5/thumbnails/170.jpg)
In this case the relevant categories become
and
and categorify conformal blocks of
where is the intersection of sliced in affine Grassmanian of
and their braiding.