MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Schur functors are functors from the category of vector spaces to itself. If we take an operator $M: V->V$ and apply a Schur functor to it and then calculate trace $Tr(M^{\Lambda})$ we will get Schur polynomial in the eigenvalues of $M$.

Question Can one generalize (deform) Schur functors, such that $Tr(M^{\Lambda})$ will give polynomials which generalize (deform) Schur polynomials e.g. Hall-Littlewood polynomial, or Jack polynomial and most generally Macdonald polynomials ?

share|cite|improve this question
Have you seen ? – Gjergji Zaimi Jun 4 '12 at 9:05
@Gjergii Thank you I know, may be I forget something now, but it seems to me it is not the answer. Why do I need intertwiner? is it natural ? It does seems to me so. Morever you will need to take very specific representation to obtain Calogero model (which corresponds to Jack polynoms, respectively in q-case to Macdonalds)... – Alexander Chervov Jun 4 '12 at 14:14
up vote 8 down vote accepted

It seems to me that this is answered, perhaps in a boring way, by Haiman's work on the $n!$-conjecture (now a theorem due to Haiman). For any partition $\lambda$, Haiman constructs a finite dimensional graded module $C_{\lambda}$ for $\mathbb{C}[x,y][S_n]$. (The group elements commute with $x$ and $y$, and $x$ and $y$ commute with each other.) The doubly graded Frobenius character of $C_{\lambda}$ is the $\lambda$-Macdonald polynomial.

Now just use Schur-Weyl duality: Define the functor $F_{\lambda}$ from vector spaces to vector spaces by $$V \mapsto V^{\otimes |\lambda|} \otimes_{\mathbb{C}[S_n]} C_{\lambda}.$$ The result is a doubly graded $\mathbb{C}[x,y]$ module which is the sum of Schur functors corresponding to the Macdonald polynomial.

share|cite|improve this answer
@David thank you very much ! It is unexpected and interesting form me ! (What is "Frobenius character") Actually I hoped something like a deformation e.g. vector spaces will be the same but morphisms somehow deformed. What do you think is it possible have something like this ? Morally this should correspond to quantum groups - take V as basic representation of U_q(gl). Send "V" to irrep of U_q(gl) which corresponds to Young diagram Lambda. But it is not clear for me how to make functor from this... – Alexander Chervov Jun 4 '12 at 14:23
The "Frobenius character" is the standard map which sends an $S_n$-representation to a symmetric polynomial. The funny thing is that it is NOT a character -- in particular, the Frobenius character of a tensor product is not the product of the Frobenius characters. The relationship goes through Schur-Weyl duality: If $M$ is an $S_n$-rep with Frob. character $f$, then $V^{\otimes n} \otimes_{k[S_n]} M$, as a $GL(V)$-rep, has character $f$. – David Speyer Jun 4 '12 at 15:10
@David is it the same thing which is called "characteristic map" ? Characteristic maps for the Brauer algebra A. I. Molev, N. Rozhkovskaya – Alexander Chervov Jun 4 '12 at 16:18

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.