proving isomorphism
Cech
The 3d GMW theory.
In Kapranov-Kontsevich-Soibelmann paper, 10 years ago, they mentioned that it is possible to consider marked polytope in $\R^3$. There is a $E_3$-algebra controlling the deformation of $E_2$-algebra, and there can be coefficient enhancing all these. I want to understand what precisely is the statement.
I was discussing with Yixuan yesterday. He mentioned a few works by Siu-Cheong Lau are noteworthy.
What is the Crane-Frenkel 4d TQFT? What is the small quantum group? Why we need to be small? Just so the Verma can be defined?
I have been thinking about Liouville sector. The condition on stop is very harsh, in the sense that the Liouville flow need to preserve the boundary. I am not sure if GPS themselves constructed these required structures.