What is a map for the representation theory of reductive groups? I have finished learning about linear algebraic groups (minus their representation theory) and the associated algebraic structures (root data, root systems, etc.), and will next attempt to summarize for myself the main components related to their representation theory.
It's quite confusing for the uninitiated!

*

*I want the beginning of the story to be "the easy case", by which I mean the case for which classification of irreducible representations is done via the Theorem of the Heighest Weight. Sources that I've glanced at discuss two types of cases: the semisimple Lie algebra case (which I choose not to care about), and the compact real Lie group case. I somehow care about neither one... I want to discuss (split) reductive groups over a general field. Over the reals, the reductive groups correspond to the real compact Lie groups... Is it correct to say that the Theorem of Heighest Weight applies in general to split reductive groups over a general field? And that this is the "easy case"? Would it apply to reductive or semisimple groups?


*I'm somewhat confused in general about at what point it is necessary to restrict to unitary representations. This is my understanding: for finite groups and for compact groups all group representations can be given an inner product in such a manner as to make them unitary, and this is essentially the proof that the category of representations in these cases are semisimple. So I guess the point is that for general reductive groups, even though their category of representations is semisimple, not all representations can be made unitary... Or am I confused, and somehow being reductive should be seen as a generalization of being compact?


*On the one hand, it appears that the classification of irreducible (unitary?) representations of reductive groups is classified using the Theorem of Highest Weight and is therefore "the easy case". But I guess the point is that once you look at $G(K)$ for some ring $K$ then this stops being the easy case? For example: $K=\mathbb{R}$, or the adeles, or $\mathbb{C}$. So let's start with an easy question: is the representation theory of $G(\mathbb{C})$ the same as the representation theory of $G$?


*Can you put into context for me the following phrases: cuspidal representations - is that a term that only applies to the representation theory of the adelic points of $G$? What about tempered representations? Smooth representations? Admissible representations? Are they only for $G(\mathbb{R})$? Are there several unrelated notions of admissible/smooth representations? I see them arise with very different definitions in different context, and I'm not sure if I need to think of them as specific examples of one phenomenon. What are these good for, and why is it not covered by the Theorem of the Highest Weight? Is it hopeless to classify unitary representations that are not smooth/admissible?


*The Langlands classification "is a description of the irreducible representations of a reductive Lie group G". Why was that not already covered by the Theorem of the Highest Weight? Is that point that here we are dealing with a reductive Lie group as opposed to a reductive linear algebraic group? Or is that point that we're looking at $G(\mathbb{R})$? It's very hard for me to draw the line between what is easy and what is difficult...
 A: Probably someone will step in with a more detailed answer soon... but here are some comments.
I think the line you are looking for between easy and hard could be the following:

*

*The algebraic representations of a split reductive algebraic group $G$, and


*The representations of some associated Lie groups $G(\mathbb R)$ or $G(\mathbb C)$ (or indeed p-adic groups $G(\mathbb Q_p)$, or adelic groups $G(\mathbb A)$, ...).
In case 1), the algebraic representations (of a split reductive algebraic group over a field, say) are determined by highest weight theory. In this case all irreducible representations are finite dimensional. The classification of representations of compact Lie groups is the same (so, for example, the algebraic representations of $SL_2(\mathbb R)$ and $SL_2(\mathbb C)$ are the same as the Lie group representations of $SU(2)$). The book of Fulton and Harris covers this topic in some detail.
In case 2), say $G$ is defined and split over $\mathbb R$, then we have an associated Lie group $G(\mathbb R)$. This is a non-compact Lie group, and it will typically have infinite dimensional irreducible representations. This theory is much more intricate. For example, one must think about what kind of topologies you want to consider on the underlying vector space of the representation.
Amongst such representations, we have the class of admissible representations. A key point about admissible representations is that they they are determined by their Harish-Chandra $(\mathfrak g, K)$-module, which is a purely algebraic gadget. The Langlands classification for real reductive groups is about admissible representations (one version of which reduces the classification to so-called tempered representations).
Amongst admissible representations, unitary representations (those that can be represented by unitary operators on a Hilbert space) are of particular importance and interest. The classification of such is more subtle and less well-understood.
There are a bunch of textbooks and lecture notes (e.g. Knapp, Trapa). One approach is to focus on the case of $SL_2(\mathbb R)$. David Ben-Zvi taught a class in this direction at UT Austin some years ago - you can find notes here: https://web.ma.utexas.edu/users/benzvi/GRASP/lectures/benzvi/mylectures.html
