« Whoops!
Groups vs. abelian groups »

The many faces of Schur functions

November 15, 2009

The last time we talked about symmetric functions, I asked whether the vector space \mathcal{R} could be turned into an algebra, i.e. equipped with a nice product. It turns out that the induced representation allows us to construct such a product as follows:

Given representations \rho_1, \rho_2 of S_n, S_m, their tensor product \rho_1 \otimes \rho_2 is a representation of the direct product S_n \times S_m in a natural way. Now, S_n \times S_m injects naturally into S_{n+m}, which gives a new representation

\rho = \text{Ind}_{S_n \times S_m}^{S_{n+m}} \rho_1 \otimes \rho_2.

The character of this representation is called the induction product \rho_1 * \rho_2 of the characters of \rho_1, \rho_2, and with this product \mathcal{R} becomes a graded commutative algebra. (Commutativity and associativity are fairly straightforward to verify.) It now remains to answer the first question: does there exist an algebra homomorphism \phi : \Lambda \to \mathcal{R}? And can we describe the inner product on \Lambda coming from the inner product on \mathcal{R}?

To answer this question we’ll introduce perhaps the most important class of symmetric functions, the Schur functions s_{\lambda}.

N.B. I’ll be skipping even more proofs than usual today, partly because they require the development of a lot of machinery I haven’t described and partly because I don’t understand them all that well. Again, good references are Sagan or EC2.

Schur-Weyl duality

One way that the Schur functions naturally occur is in the description of Schur-Weyl duality. To the extent that I understand this, it goes as follows. On \underbrace{\mathbb{C}^n \otimes ... \otimes \mathbb{C}^n}_{k \text{ times}} there are two commuting representations: one of GL_n(\mathbb{C}) which acts on all the factors simultaneously and one of S_k which permutes the factors. An important property of these representations is that they are mutual centralizers, i.e. each is the largest group of transformations which commutes with the other. It then turns out that the above representation decomposes as

\displaystyle \bigoplus_{\lambda} \pi^{\lambda} \otimes \rho_n^{\lambda}

where \lambda runs through all partitions with k boxes and at most n rows, \pi^{\lambda} is the irreducible representation of S_k associated to the partition \lambda, and \rho_n^{\lambda} is a corresponding irreducible representation of GL_n(\mathbb{C}).

We already know of two of these representations, the symmetric algebra S^k(\mathbb{C}^n) and the exterior algebra E^k(\mathbb{C}^n). It turns out that the symmetric algebra corresponds to the partition \lambda = (k) (one row) and the exterior algebra corresponds to the partition \lambda = (1^k) (one column), and it’s not hard to see that the former is always there and the latter is only there as long as k \ge n. As we saw previously, the characters of these representations can be described in terms of eigenvalues. This turns out to be true more generally.

Proposition: Suppose \phi is a representation GL_n(\mathbb{C}) \to GL_m(\mathbb{C}) which is homogeneous, i.e. it respects scalar multiplication, and polynomial, i.e. every entry of the output \phi(A) is a polynomial function of the entries of the input A. Then the character of \phi is a symmetric function of the eigenvalues of A.

The restriction to homogeneous polynomial representations is to avoid discontinuity and powers of the representation A \mapsto \det (A). Anyway, the above result is not too hard to see: since the diagonalizable matrices are dense and characters are both continuous and invariant under conjugation, the character must depend only on the multiset of eigenvalues, and since the representation is homogeneous and polynomial, the character must be as well.

I am not familiar with the explicit description of the representations \rho_n^{\lambda}, but the important point is that these representations are well-defined with respect to Schur-Weyl duality.

Definition 1: The Schur polynomial s_{\lambda}(x_1, ... x_n) is the value of the character of \rho_n^{\lambda} evaluated at the diagonal matrix with entries x_1, ... x_n.

For example, s_{(k)}(x_1, ... x_n) = h_k(x_1, ... x_n) (the symmetric algebra) and s_{(1^k)}(x_1, ... x_n) = e_k(x_1, ... x_n) (the exterior algebra). Note that if \lambda has more than n rows then s_{\lambda}(x_1, ... x_n) is not defined.

Of course, since I haven’t told you how to write these functions down, this is a rather unsatisfying definition, but at least it has a concrete tie to an important representation-theoretic concept. Now, it turns out that s_{\lambda}(x_1, ... x_n, 0) = s_{\lambda}(x_1, ... x_n), so the Schur functions s_{\lambda} \in \Lambda are well-defined as symmetric functions.

Schur-Weyl duality turns out to imply a strong relationship between these characters and the characters of the symmetric group which generalizes the relationship the complete homogeneous symmetric functions and elementary symmetric functions have to the trivial and sign representations.

Definition 2: Let \chi^{\lambda}(\pi) denote the character of the representation of S_n corresponding to \lambda evaluated at a permutation \pi. Then

\displaystyle s_{\lambda} = \frac{1}{n!} \sum_{\pi \in S_n} \chi^{\lambda}(\pi) p_{\pi}.

Determinantal formula

The Weyl character formulas imply the following determinantal formula for s_{\lambda}. First, some notation. Define

a_{\lambda}(x_1, ... x_n) = \det \left| \begin{array}{cccc} x_1^{n-1 + \lambda_1} & x_2^{n-1 + \lambda_1} & \hdots & x_n^{n-1 + \lambda_1} \\ x_1^{n-2 + \lambda_2} & x_2^{n-2 + \lambda_2} & \hdots & x_n^{n-2 + \lambda_2} \\ \vdots & \vdots & \ddots & \vdots \\ x_1^{\lambda_n} & x_2^{\lambda_n} & \hdots & x_n^{\lambda_n} \end{array} \right|.

In particular a_{0^n}(x_1, ... x_n) is the Vandermonde determinant \prod_{i < j} (x_i - x_j), and for any other partition \lambda the Vandermonde determinant divides it. (One could imagine these determinants appearing in the discussion of polynomial interpolation when certain coefficients are restricted to be zero, but I have never heard anyone talk about Schur functions this way.)

Definition 3: \displaystyle s_{\lambda}(x_1, ... x_n) = \frac{a_{\lambda}(x_1, ... x_n)}{a_{0^n}(x_1, ... x_n)}.

This definition has the advantage that it does not refer directly to representation theory, and it is also relatively straightforward to do computations with for small cases.

There are two other determinantal formulas for the Schur functions which are useful in studying, for example, the cohomology ring of a Grassmannian, but they can wait.

The characteristic map

We now define the characteristic map \text{ch} : \mathcal{R} \to \Lambda as follows: if f is a class function on S_n, then define

\displaystyle \text{ch } f = \frac{1}{n!} \sum_{\pi \in S_n} f(\pi) p_{\pi}

and extend by linearity. As we saw above, \text{ch } \chi^{\lambda} = s_{\lambda}, so this is a natural definition from that perspective.

Proposition: \text{ch } f * g = (\text{ch } f)(\text{ch } g). In other words, \text{ch} defines a ring homomorphism from \mathcal{R} with the induction product to \Lambda.

The main technical detail of this proof is Frobenius reciprocity, but the point is that we have now found the relationship between \mathcal{R} and \Lambda that we were looking for. With a little more work one can show that \text{ch} is bijective, and it follows that the s_{\lambda} form a basis of the symmetric functions.

The characteristic map takes the usual inner product on \mathcal{R} to the unique inner product on symmetric functions satisfying

\left< s_{\lambda}, s_{\mu} \right> = \delta_{\lambda \mu}.

The study of this inner product was initiated by Philip Hall and clarifies a number of results in symmetric function theory; see EC2, for example. But I haven’t digested this point enough to say anything meaningful.

This entry was posted on November 15, 2009 at 2:06 pm and is filed under algebraic combinatorics, representation theory.

Tags: , , ,

4 Responses to “The many faces of Schur functions”

  1. su Says:

    November 20, 2009 at 12:57 am

    Hey,
    Just love reading through your posts!!
    I’ve got a question to ask:
    What do you think are the definitive texts to read for a budding algebraic combinatorialist :) ?
    I see the combinatorics side of things is Stanley’s epic. What would you suggest for the algebraic side?
    Thanks!

    Reply
  2. su Says:

    November 22, 2009 at 5:39 pm

    Ok great thanks!!

    Reply
  3. Spanferkel Says:

    November 23, 2009 at 5:08 am

    A good book (but not very easy) is also

    Bannai, Eiichi; Ito, Tatsuro: Algebraic combinatorics. I. Association schemes. The Benjamin/Cummings Publishing Co., Inc., Menlo Park, CA, 1984. xxiv+425 pp. ISBN: 0-8053-0490-8

    MR882540 (87m:05001) 05-01
    http://www.ams.org/mathscinet-getitem?mr=882540

    Reply

Leave a Reply