q-factorial is generating functions of inversions of permutations

Tags: #theorem

Statement

[n]q!=wSnqinv(w)

where [n]q! is the q-factorial, inv is the number of inversion of a permutation.
Note that we may replace inv with any Mahonian statistic.

Proof

Note that we may obtain any permutation, w, on n letters by inserting n into a permutation of length n1, u. Then, the inversions for these two are related with

inv(w)=inv(u)+(nindex(n))

In other words, we gain as many inversions as how far we are from the last spot when we add this n. If we add it at the end, it adds 0 inversions. If we add it at the beginning, then it would be an inversion with everything else, so n1.

Thus we have the relation

wSnqinv(w)=(uSn1qinv(u))(1+q1+q2++qn1)

and we note that the latter term in the product is [n]q. Thus, it satisfies the same relation [n]q!=[n1]q![n]q.