A not often-mentioned skill that I have been trying to develop is the evaluation of the “usefulness” of statements. Given my horrible memory and degrading mental RAM, I must prioritize which facts to consciously absorb and which ones to skim, since I’m sure I forget at least one theorem every time I learn a new one. Luckily, books aid to an extent by labelling the important things “Theorems” and “Lemmas,” though sometimes the latter are just as important as (if not much more than) the former, and sometimes even more important items appear in the Exercises section. Something about Exercise 7.70 in Richard Stanley’s Enumerative Combinatorics 2 really struck me as “useful.” The statement is:
where the are sets of variables, the product of the hook-lengths, gives the cycle structure, and are permutations of size .
Two things make the intuition of “useful” more concrete:
One, the statement has a lot of flexibility; By the symmetry of the symmetric group and the fact that cycles are preserved under inverses, you can sum over, say, products of all ordered -tuples of by rewriting the sum on the right as over , for example, or sum over pairs which give the same product, say . Furthermore, having the choice over the variables makes a lot of specialization techniques useful. For example, you can “pick out” cycles by specializing , where is an -th root of unity, because the power sums then give unless .
Two, the statement has a lot of power; the proof of this fact has a “Stanley difficulty” of  (out of 5) means it contains some nontrivial usage of the symmetric function machinery already. Thus, by using it we know we are backed with some complex stuff in the background. Note when , we get the amazing Hook-length formula directly; when , by observing that summing over is really summing over a single (a special case of our discussion above on “flexibility”), we get the familiar “inner product” identity. These are two nontrivial statements without an obvious connection with each other, a pleasant surprise.
This warm “finding a hidden gem” feeling is very nice.
P.S. Well, there is a third (and less glamorous) cue, which is that at least two problems in the problem sets came with the hint: “Look at Exercise 7.70.” The power of hindsight in all its glory, I suppose. However, I liked this statement too much that I needed an excuse to write it down, so shhh.