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...