Q:

References for Harish-Chandra pairs and modules, category "O"?

I am looking for references related to the terms "Harish-Chandra pair" and "Harish-Chandra modules", and also to the term "category O".  I know what these are, or I think I do (a Harish-Chandra pair is a pair (Lie algebra; subgroup) with the subgroup acting in the Lie algebra, satisfying some natural conditions).  The question is about any standard or classical sources I could refer to.

What are the standard or classical references for the terms "Harish-Chandra pair" and "Harish-Chandra module"?
The same question for algebraic Harish-Chandra pairs and modules (with an algebraic or proalgebraic subgroup).
One example of a category of Harish-Chandra modules is the category "O" of representations of, e.g., a simple Lie algebra, integrable to the Borel subgroup.  Another version is the category of representations integrable to the maximal unipotent subgroup.  What are the standard or classical references for either or both of the above definitions of the category "O"?
My understanding is that what was called "Harish-Chandra modules" in the classical representation theory was not the above example 3. at all, but rather the modules over a real Lie algebra integrable to the maximal compact subgroup.  What are the standard or classical references for this notion of Harish-Chandra modules?

A:

I'm commenting on part 4) of your question really I think: Harish-Chandra was interested in studying the unitary dual, but in the process realized that the whole unitary structure was rather more than one needed to carry around, and moreover, that it was necessary also to consider representations which were not necessarily unitary, and in this wider context the analytic issues of when to consider two representations "equivalent" intrude more prominently (because, for example, there are lots of different kinds of function spaces on a given G-space). 
The notion of "admissible module" -- a module where each irreducible representation of the maximal compact subgroup occurs with finite multiplicity gave a natural class of representations which includes all unitary representations, and once in this class it is pretty natural to restrict attention to the action to the action of the Lie algebra g, and the maximal compact K (as the Lie algebra acts on K-finite vectors). Thus certainly all the motiviation for the notion of a (g,K)-module must be due to Harish-Chandra, but I'm not sure if he actually abstracts the idea in his papers. 
I can't tell from BGG's original paper if they are thinking of category O in the context of (g,K)-modules: their stated motivation is much more from modular representation theory. One nice reference for the representations of real groups is the book "Representation Theory of Lie groups" from the Park City summer school -- for example there's an article by Knapp and Trapa which discusses the work of Harish-Chandra. 
Also, I'd just like to mention that the idea of considering the pair (g,K) where g is the Lie algebra and K is the maximal compact of a real Lie group G is quite natural if one considers that the g action contains the infinitesimal information while the maximal K is a retract of G, and so one could hope that its action captures enough of the "global" information in the representation. (I think it was Graeme Segal who pointed this out to me -- perhaps an obvious comment for him, but I found it insightful and at least psychologically useful). 

A:

Harish-Chandra pairs and their use in localization is discussed in Beilinson-Bernstein A proof of Jantzen Conjectures, available on Joseph Bernstein's web page.  See in particular sections 1.8 and 3.3.
Other sources:

Beilinson-Drinfeld, Quantization of Hitchin's Integrable System and Hecke Eigensheaves, sections 7.7-7.9.  Available on line.
Beilinson-Feigin-Mazur Notes on Conformal Field Theory (Incomplete).  The discussion is centered around groupoids and the Virasoro algebra.  This is on Barry Mazur's web page (link on the side to "older material").

A:

If you are able to read german then there might be a standard reference to harish chandra modules (the only own I know which is actually more then just the definition stuff from papers): jantzen - Einhüllende Algebren halbeinfacher Lie-Algebren - especially Chapter 6&7.

