The Spring semester at ETH is starting next week, and I will be teaching an introductory course on representation theory (for third-year and later students). I am looking forward to it, since this is the first time I teach a class identified as “algebra” (except for linear algebra, of course).
My lecture notes will be available as I prepare them (the first chapter will be ready soon, at least in draft form) and it will be seen that (partly because of my own bias) I think of a representation of a group as a homomorphism , and not as modules over the group algebra. I certainly intend to mention the latter approach at some point (indeed, I have in preparation a long “Variants” chapter, where I mention also, e.g., topological representations, unitary representations, permutation representations, projective representations, Lie algebra representations, etc, with basic examples), but I find it useful to go through the elementary theory of representations completely “by hand”, for a course at this level. In some sense, this is because this is what I can do best, with my own knowledge; but also, going through these basic facts purely with the tools and language of representations-as-homomorphisms does provide excellent opportunities to start seeing various ways of using representation theory (I will for instance prove Burnside’s irreducibility criterion and the linear independence of matrix coefficients using my understanding of Burnside’s original arguments). And I do intend to use this course to introduce some functorial language to the students, and I feel that abstract nonsense will be quite appealing after trying to make sense of the confusion that may arise from proving the transitivity formula for induction strictly using the “subset of functions on the group” model for induced representations…
Here’s a question about the module-over-the-group-algebra approach: what is the first (or simplest, or most fundamental) argument where it is better? The one I can think of for the moment — after going through the first chapter of my notes — is that it seems to give the simplest way to argue that a semisimple representation always contains an irreducible subrepresentation. (And of course this is only relevant for infinite-dimensional representations, since otherwise one can argue using dimension.)
[Update (23.2.2011): the first chapters are now online.]
Here’s an update on the front of exponential sums…
(1) The conference I co-organized at FIM on exponential sums over finite fields
ended about two weeks ago. It was quite nice (at least from my point of view…). As usual here, the excellent organization made it possible to enjoy the mathematics with no extra issues to take care of. Most talks were on blackboard but, with authorization, here are the files for those that were on beamer (I think I may miss one or two, which I will add later):
(2) The second part of my class on exponential sums (cohomological methods) continues. I only barely started the lecture notes I was planning to write, the first few weeks of the semester having been simply too busy. As a result, although they are available and will be updated regularly from now on, they are quite incomplete. Most damagingly, the beginning material (introduction and motivation for going towards describing algebraic exponential sums using traces of Frobenius on suitable “Galois” representations of fundamental groups) is mostly missing for the moment. Still, the end parts of Chapter III are written and the contents, from Chapter IV onwards, will hopefully be kept in sync with the class, and no further gaps will appear. Since Chapter IV will start introducing the Grothendieck-Lefschetz trace formula, the étale cohomology groups, and then go on towards the formalism of weights and Deligne’s general version of the Riemann Hypothesis, this might still be of interest even before I find the time (next semester, probably) for filling up the gaps.
My plan next year, when (and if) this second part is done nicely enough, will be to put it together with the first part of the class (on elementary methods) to produce a proper book on exponential sums over finite fields. I’ll be happy to receive even before any feedback on the way the text shapes up, especially from the point of view of people in analytic number theory or in other fields where exponential sums are applied.
Now seems a good time for the annual update on the postdoctoral positions at the Mathematics Department at ETH. Basic information, and a link to the online application form is here. While there’s not much to add this year to what I wrote two years ago about these positions, I’ll just say that the fairly confusing ticket machines in the tramway stations are being replaced with newer ones which are much more self-explanatory (and take credit cards in addition to cash)… The first deadline for application is November 22.
While I’m at it, here is a link to the lectureship/postdoc positions at the University of Zürich. In particular, one position there is funded by the Swiss National Science Foundation project of Ulrich Derenthal, and is therefore in the direction of arithmetic geometry.
And finally, there are two assistant professor positions (non tenure-track) currently advertised at ETH. One of them is in pure mathematics (deadline December 31), the other in applied mathematics (deadline December 15).