Table of Contents
blog
2024-09-12
reading the classic papers, Khovanov-Lauda, Rouquier, Varagnolo-Vasserot, to dig out how to setup the convolution algebra (in general)
I don't even understand why these things can be realized using Fukaya category and Floer theory, besides 'physics motivation'. What's the math motivation?
Question 1: where does convolution algebra come from? Like Hecke algebra? What is the physical setup? you can say, some correspondence and push-pull.
2024-09-11 quiver hecke algebra
After so many years, let me read up on the 'convolution algebra' presentation for quiver hecke algebra, because after all, hecke algebra originates from convolution on flag variety, and quiver hecke algebra is a generalization.
2024-08-24 B-side for knots
Mina has the whole categorifications on A-side and B-side, whereas Cautis-Kamnitzer also had some earlier B-side construction. I need to understand the relations.
2024-07-23
- Goal: understand Yetter-Drinfeld module, Drinfeld double and then Andy Manion's comment paper
2024-07-21
reading Etingof on quantum group
2024-05-20
What's new?
- What is the central charge formula on the B-side? What's the relationship with stability condition? SOD?
- What's Xin Jin's story? How does the open torus embed?
2024-01-14
a category with a notion of 'equal', or 'isomorphism', or 'quasi-isomorphism'.
- category of set? then isomorphism, bijection
- category of vector space? isomorphism
- of chain complex of abelian groups? Well, quasi-isomorphism may not be.
- the category of dg categories. we really just want to do equivalence of category, not isomorphism of categories. that requires that we have two ways functors.
Let's go simple. Suppose you have a sheaf on $\R$, and you want to test whether it is locally constant, so you do restriction. what's the condition? to test $(x,\xi)$ is not in the SS, it means there is an open set of $U$, such that $F(x-\epsilon, x+\epsilon) \to F(x-\epsilon, x)$ is a nice arrow.
Are we working in the homotopy category of dg categories?
Suppose the category $C$ have the notion of isomorphisms. Like set, or homotopy category of dg categories.
Then, we need to say, what does locally constant mean, indeed restriction to smaller open induces isomorphism in $C$.
Does Ho(dg-cat) admits arbitrary limit and colimit? Should be. The cat dg-cat embed into Ho(dg-cat), since it is a localization.