Hey, I made some progress today. About Koszul duality, at least, I have a concrete conjecture. Let's state it as 'The symplectic Koszul duality for category O'. It goes as following: take a 3d N=4 gauge theory, some compact group $G$ acting on some representation $T^*N$. You can form two LG A-models, let's call that $(M_{H, \alpha}, W_{H,\beta})$ and $(M_{C, \beta}, W_{C, \alpha})$, where $\alpha$ and $\beta$ are some parameters. Then you prove that the two wrapped Fukaya categories are equivalent (after passing to $\Z/2$ grading? or invent a mixed version of the Fukaya category, where the hom space has a second grading)

What does mixed mean for toric variety constructible sheaf? This is quite useful, since Fukaya category for $T^*X$, $X$ toric is the same as constructible sheaf on $X$. First of all, we only consider unipotent monodromy, second of all, only an affine toric variety. Unipotent is somehow essential, because it create fiiltration on the nearby cycle. Jordan decomposition. Then, you can do fake Frobenius twist. Somehow, the fake Frob twist can be made isomorphic with the old one. Example, on $\C^2$, with basis $e_1, e_2$, we had unipotent monodromy $e_1 \mapsto e_1, e_2 \mapsto e_2+e_1$.There is nothing holy about $e_2$, if we change it to $e_2 + x e_1$, it still works. The Frob pullback monodromy is like, the old monodromy, but $p$ times. We need to find a matrix $A$, such that $$ A \begin{pmatrix} 1 & 1 \cr 0 & 1 \end{pmatrix}^p A^{-1} = \begin{pmatrix} 1 & 1 \cr 0 & 1 \end{pmatrix} $$ The trouble is that, $A$ is not unique, but