Canonical bases for modules over the ring of symmetric polynomials - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T04:49:38Z http://mathoverflow.net/feeds/question/12425 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/12425/canonical-bases-for-modules-over-the-ring-of-symmetric-polynomials Canonical bases for modules over the ring of symmetric polynomials GS 2010-01-20T16:22:29Z 2010-07-28T10:28:57Z <p>The ring $S=\mathbb{C}[x_1,x_2,\dots,x_n]^{S_n}$ of symmetric polynomials has a number of commonly used bases, but the undisputed world champion of these is the basis consisting of <a href="http://en.wikipedia.org/wiki/Schur_polynomial" rel="nofollow">Schur polynomials</a> $s_\lambda$, where $\lambda$ ranges over non-increasing sequences $\lambda_1 \geq \lambda_2 \geq \cdots \geq \lambda_n \geq 0$ of non-negative integers. For a partition $\mu$ of $n$, let $V_\mu$ be the corresponding irreducible $S_n$-module, and let $M(\mu)=(\mathbb{C}[x_1,x_2,\dots,x_n] \otimes V_\mu)^{S_n}$ be the ($S$-module of) $S_n$-invariant polynomial functions on $\mathbb{C}^n$ with values in $V_\mu$. Is there a $\mathbb{C}$-basis of $M(\mu)$ that deserves top billing?</p> <p>(A bit of background: the dimensions of the homogeneous components of $M(\mu)$ can be computed from the <em>exponents</em> of $V_\mu$, that is, the degrees in which it appears in the coinvariant algebra. There are combinatorial expressions known for these numbers---see e.g. Stembridge's paper "On the eigenvalues of representations of reflection groups and wreath products", Pacific J. Math. 140 (1989), 353--396 and the references therein, but they are not obtained by writing down a particularly nice basis.)</p> http://mathoverflow.net/questions/12425/canonical-bases-for-modules-over-the-ring-of-symmetric-polynomials/12475#12475 Answer by Ben Webster for Canonical bases for modules over the ring of symmetric polynomials Ben Webster 2010-01-21T01:27:37Z 2010-01-21T01:27:37Z <p>One profitable thing to look at might be geometric Satake:</p> <p>Roughly, one can categorify the symmetric polynomials acting on all polynomials as perverse sheaves on $GL(n,\mathbb{C}[[t]])\setminus GL(n,\mathbb{C}((t)))/GL(n,\mathbb{C}[[t]])$ acting on perverse sheaves on $GL(n,\mathbb{C}[[t]])\setminus GL(n,\mathbb{C}((t)))/I$ where $I$ is the Iwahori (matrices in $GL(n,\mathbb{C}[[t]])$ which are upper-triangular mod $t$). </p> <p>The maps to polynomials are take a sheaf and send it to the sum over sequences $\mathbf{a}$ of $n$ integers of the Euler characteristic of its stalk at the diagonal matrix $t^{\mathbf{a}}$ times the monomial $x^{\mathbf{a}}$.</p> <p>One nice thing that happens in this picture is the filtration of polynomials by the invariants of Young subgroups appears as a filtration of categories. Thus, one can take quotient categories and get a nice basis, with lots of good positivity, for the isotypic components.</p> <p>For the multiplicity space, one might be able to do some trick using cells. It's not immediately clear to me how.</p> http://mathoverflow.net/questions/12425/canonical-bases-for-modules-over-the-ring-of-symmetric-polynomials/20111#20111 Answer by Jonah Blasiak for Canonical bases for modules over the ring of symmetric polynomials Jonah Blasiak 2010-04-01T22:06:13Z 2010-04-01T22:06:13Z <p>In my paper Cyclage, catabolism, and the affine Hecke algebra <a href="http://arxiv.org/abs/1001.1569" rel="nofollow">http://arxiv.org/abs/1001.1569</a> I exhibit a canonical basis for $\mathbb{C}[x_1,x_2,\dots,x_n]$ and more generally a canonical basis for $\mathbb{C}[x_1,x_2,\dots,x_n] \otimes V_\mu$ coming from the extended affine Hecke algebra of type A. The subset of this canonical basis corresponding to cells of shape $(n)$ is a basis for the $S_n$-invariants in this module. For the special case $M(n)$, these canonical basis elements do correspond to Schur functions -- they are Schur functions in the Bernstein generators times $e^+$, where $e^+$ spans the trivial representation for the finite Hecke algebra (see Theorem 6.1).</p> <p>I have not thought too much about the combinatorics of the canonical basis for $M(\mu)$, but it may be possible to work this out explicitly, including an explicit description of the $S_n$ invariants (see Example 9.21 for a little bit about this). This paper is long and may take some time to get through. Feel free to contact me at the email address at the very bottom of the paper if you have any questions or want to discuss this in detail.</p>