In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using quasi-isomorphism between path complex and discrete Morse complex, we also prove a general sufficient condition for digraphs that the Morse functions satisfying this necessary and sufficient condition.

We show that Hecke algebra of type B and a coideal subalgebra of the type A quantum group satisfy a double centralizer property, generalizing the Schur-Jimbo duality in type A. The quantum group of type A and its coideal subalgebra form a quantum symmetric pair. A new theory of canonical bases arising from quantum symmetric pairs is initiated. It is then applied to formulate and establish for the first time a Kazhdan-Lusztig theory for the BGG category O of the ortho-symplectic Lie superalgebras $\mathfrak{osp}(2m+1|2n)$. In particular, our approach provides a new formulation of the Kazhdan-Lusztig theory for Lie algebras of type B/C.

No abstract uploaded!

No abstract uploaded!

We study the oriented exchange graph EG(Gamma_N Q) ofreachable hearts in the finite-dimensional derived category D(Gamma_N Q) of the CY-N Ginzburg algebra Gamma_N Q associated to an acyclic quiver Q. We show that any such heart is induced from some heart in the bounded derived category D(Q) via some ‘Lagrangian immersion’ L :D(Q)->D(Gamma_N Q). We build on this to show that the quotient of EG(Gamma_N Q) by the Seidel–Thomas braid group is the exchange graph CEG_N−1(Q)of cluster tilting sets in the (higher) cluster category C_N−1(Q). As an application, we interpret Buan–Thomas’ coloured quiver for a cluster tilting set in terms of the Ext quiver of any corresponding heart in D(Gamma_N Q).