Kazhdan-Lusztig Conjecture and Holonomic Systems.
Mikhail Khovanov defined, for a diagram of an oriented classical link, a collection of groups labelled by pairs of integers. These groups were constructed as the homology groups of certain chain complexes. The Euler characteristics of these complexes are the coefficients of the Jones polynomial of the link. The original construction is overloaded with algebraic details. Most of the specialists use adaptations of it stripped off the details. The goal of this paper is to overview these adaptations...