I’m planning a ten lecture course with the ambitious title `Symmetric functions and symmetric groups’ for next term at RHUL. The audience is likely to be select, but no worse for that. The purpose of this post is to record the proposed syllabus, in particular making sure that my idiosyncratic path is logically sound.
The aim is to emphasise bijective and involutive proofs for symmetric functions, and explicit constructions for the symmetric group. The most obvious omission is the RSK-correspondence. (The various orthogonality relations usually derived from Cauchy’s identity will instead get ad-hoc proofs.)
First lecture: Overview. Frobenius’ characteristic map is an isometric ring isomorphism between the ring of class functions of symmetric groups and the ring of symmetric functions . This isomorphism sends the irreducible character to the Schur function , defined combinatorially by , where the Kostka number is the number of semistandard -tableaux of type . The main aim of the course is to understand this isomorphism. Restricting to variables, there is a further isomorphism sending to the character of . Examples: the product and the plethysm interpreted in each setting.
Part A. Symmetric functions.
- Ring of symmetric functions, monomial, complete, elementary and power-sum symmetric functions. Generating function arguments for Newton type identities. involution defined by . MacMahon Master Theorem with application to Dixon’s Identity.
- Bilaternate definition of Schur function . The abacus and Loehr’s labelled abacus model for alternating functions. Adding and removing hooks on the abacus. Proof of Pieri’s rule. Young’s rule left as exercise. Corollaries: and .
- Proof of Murnaghan–Nakayama rule. Corollary: , where is the sum of the signs of all -ribbon tableaux of shape . Corollary: . Brief mention of -cores and evaluation of where is a partition of with empty -core.
- Lascoux—Schützenberger involution on semistandard tableaux. Corollary: Jacobi–Trudi identity for bialternate Schur functions: . Corollary: Littlewood–Richardson rule. (May well be omitted, but it’s not hard from the LS-involution on multitableaux.)
- Proof of Jacobi—Trudi identity for combinatorial Schur functions using the ant model. Corollary: the two definitions of Schur functions agree.
Part B. Symmetric group.
- Young permutation modules with characters and Specht modules with characters . Two row partitions (make connection with Jacobi—Trudi formula) and basic example of a raising map.
- Young’s rule for the symmetric group, with an unconventional proof. By Frobenius reciprocity, it suffices to show that the submodule of on which acts trivially has a Specht filtration by modules where is obtained by removing boxes from the Young diagram of , no two in the same column. The special case from the elegant and explicitly constructive characteristic-free branching rule proved in Chapter 9 of James’ Springer lecture notes. I will give this proof, and then wave my hands at the generalization, which follows from this paper of James and Peel.
- Definition of the characteristic map: . Definition of inner product on so that the Schur functions are an orthonormal basis. Corollary of Young’s rule: and are dual bases. Proof that and corollary that . Corollary: , where is the indicator function of elements of of cycle type . Corollary: orthogonality of power-sum symmetric functions. Corollary: Murnaghan—Nakayama rule for symmetric group. Corollary: Littlewood—Richardson rule for symmetric group (only if proved earlier for symmetric functions).
This plans for 9 lectures not 10 so there is a tiny bit of slack, which probably will be needed. If not the final lecture could be on plethysms or other approaches to Young’s rule and the Littlewood—Richardson rule.