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