# Algebraic geometry in representation theory?

I heard that today algebraic geometry plays some significant role in representation theory, which is a little surprising because when I learnt representation theory it is basically algebra, topology, differential geometry and a little functional analysis.

I am wondering whether someone can tell me how algebraic geometry enters the picture. I do not know much algebraic geometry so I am just looking for some expository, so maybe we can forget the technicalities for now.

Thanks very much!

-
Representation theory of what? – Berci May 4 '13 at 16:05
@Berci Groups? Algebras? Lie Algebras? I am not sure. – Hui Yu May 4 '13 at 16:17
If you compare representation theory of algebraic groups (= Lie groups as algebraic varieties, possibly over a field of char $p$) to that of Lie groups, then what happens is that algebraic geometry does the job that functional analysis and differential geometry do on the Lie group side. – Jyrki Lahtonen May 4 '13 at 17:37
See, for example, en.wikipedia.org/wiki/Borel%E2%80%93Weil_theorem . – Qiaochu Yuan May 4 '13 at 18:46
I actually would say the known interplay between algebraic geometry and representation theory is much much more than differential geometry and functional analysis. This goes under the name "geometric representation theory", see for example ncatlab.org/nlab/show/geometric+representation+theory – Aaron May 4 '13 at 19:07

Maybe the following might interest you: Let $X$ be a smooth projective curve over $\mathbb{C}$ of genus $\geq 2$. It is a classical theorem by Narasimhan and Seshadri that there is an equivalence of categories between the category of stable vector bundles of degree $0$ on $X$ and the category of irreducible unitary finite dimensional complex representations of $\pi_1(X)$. There are also $p$-adic versions due to C. Deninger and A. Werner. Thus, when studying representations of a profinite group, it might be helpful to realize it as the fundamental group of a curve, use the above theorem and classify representations by geometric means. But I'm not really sure if this has happened so far.