The new exciting thing today is, the raising and lowering operator.

Let $E$ be the functor for adding strands, and $F$ the functor for removing strand, then we should

• define the functor $F$
• check that $F$ and $E$ are adjoint
• test it on T-branes.
• understand Rouquier's condition geometrically.

The setup is the following: $\gdef\lcal{\mathcal L}$

• we have a smooth closed surface $S$ with boundary, and there are some stops on the boundary.
• We can consider $k$ disjoint Lagrangians $L_1, \cdots, L_k$, which defines an object in $Sym^k(S) \RM \Delta$
• We can consider $k$ disjoint Lagrangians $\lcal_1, \cdots, \lcal_k$ in $S \times \C^*$, which defines an object in $Sym^k(S \times \C^*) \RM \Delta$. We assume these $\lcal_i = L_i \times F_i \In S \times \C^*$ are of product type.

consider the simplest matrix factorization example on toric 3-folds. They are both gluing two copies of $\C^3$ together.

The first one is given by the fan with ray generator $(0,0,1), (1,0, 1), (0,1,1), (1,1,1)$. yes, a square in $x,y$ direction on level $z=1$. It is the total space of two line bundles on $\P^1$, but which two? Let's compute the face conormal, we have

• $a=(-1, 0, 0), b=(0, -1, 0) $ and $c=(1,0, -1), d=(0, 1, -1)$.

one can see that $a+c =b+d$. That means the coordinate ring of the affine space is given by $AC = BD$, wher $A,B,C,D\in \C^4$. Now, we can do blow-up, we can introduce the ratios $(u/x), (v/y)$, they multiply