I am now learning induction problems in representation theory. I know David Vogan's book cohomological induction and unitary representation theory might be good references,but it is too thick.

I wonder whether there is some good and detailed notes on using derived functor to construct irreducible representations. It seems that Zuckermann ever gave a series of talks at Yale to introduce this method, but unfortunately, it was not published.

It seems that this method was motivated by Schmid's phd thesis. But I did not have schmid's phd thesis either.

All the related comments are welcomed