Explicit Brauer Induction
Brauer's theorem in representation theory states that every complex representation of a finite group can be expressed as a combination of representations induced from one dimensional representations of subgroups. The algebraic proof is unenlightening, but there are geometric proofs due to Snaith and Symonds that also provide explicit descriptions of how to build the representation. I will describe these proofs, give examples, and relate this to the meromorphic continuation of Artin L-functions.