Let $\mathfrak{g}$ be a complex finite dimensional semisimple Lie algbera, $W$ be the Weyl group, $\rho$ be the half sum of positive roots, $M(\eta)$ be the Verma module of weight $\eta$ and $L(\eta)$ its unique simple quotient. Then it is well-known that $[M(w\cdot(-2\rho)):L(x\cdot(-2\rho))]=P\_{w\_0w,w\_0x}(1)$, where $P\_{u,v}$ is the Kazhdan Lusztig polynomial of $W$ and $w\_0$ is the longest element in $W$. The above is an example that illustrating the fact that one can study Verma modules in terms of Kazhdan Lusztig Theory. 


For more evidences, we also have Kazhdan-Lusztig Conjectures for affine Lie algebra (See **[Masaki Kashiwara and Toshiyuki Tanisaki --- Characters of irreducible modules with
non-critical highest weights over affine Lie algebras](https://arxiv.org/pdf/math/9903123.pdf)**) and the paper: **[RONALD S. IRVING--- The socle filtration of a Verma module](http://www.numdam.org/article/ASENS_1988_4_21_1_47_0.pdf)**. 



> 
> I would like to have the brief/full history of the **study of Verma modules in terms of Kazhdan Lusztig Theory**. If possible, please provides reference(s) for each aspect of the study of Verma modules. It would be great to have history about Verma modules over different types of Lie algberas (semisimple, affine or even Kac Moody Lie algebra).
> 
> 
> 



History of the study of Verma modules in terms of Kazhdan Lusztig Theory
It's probably too soon to expect a good historical overview, but for example Steve Kleiman has already written a scholarly article ([The development of intersection homology theory](http://arxiv.org/abs/math/0701462)) emphasizing the original KL (Kazhdan-Lusztig) conjecture. This is available in arXiv versions or in the published version cited there.


One contributor easily overlooked is Vinay Deodhar, who probed further in what he called "KL theory". See for example his influential joint paper [Deodhar–Gabber–Kac - Structure of some categories of representations of infinite-dimensional Lie algebras](https://www.sciencedirect.com/science/article/pii/S0001870882800145) ([MSN](https://mathscinet.ams.org/mathscinet-getitem?mr=663417)), or the 1991 survey [Deodhar - A brief survey of Kazhdan-Lusztig theory and related topics](http://www.ams.org/books/pspum/056.1) ([MSN](https://mathscinet.ams.org/mathscinet-getitem?mr=1278702)). He soon dropped out of the research world because of illness in his immediate family, but was starting to get involved again when he himself developed serious health problems and later died. But in the late 1970s, when I met him at IAS Princeton where Jantzen was then visiting, both he and Jantzen were getting close to the Kazhdan-Lusztig viewpoint.


There is also a characteristically readable textbook by Roger Carter, [Lie algebras of finite and affine type](https://mathscinet.ams.org/mathscinet-getitem?mr=2188930). See especially Chapters 19-20. This is only the first step toward Verma modules and simple modules for general Kac-Moody algebras, but it conveys much of the flavor of the subject.


In the direction of quantum enveloping algebras, there are of course many papers and books (including the one by Lusztig, [Introduction to quantum groups](https://link.springer.com/book/10.1007%2F978-0-8176-4717-9) ([MSN](https://mathscinet.ams.org/mathscinet-getitem?mr=2759715))) which suggest the open-ended nature of the representation theory there. But in this and other directions, there is apparently no comprehensive history yet available. Probably it's too soon for that.


