Avatars of the ring of symmetric polynomials - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T23:07:02Z http://mathoverflow.net/feeds/question/63434 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/63434/avatars-of-the-ring-of-symmetric-polynomials Avatars of the ring of symmetric polynomials Richard Borcherds 2011-04-29T16:10:59Z 2011-04-30T13:43:12Z <p>I'm collecting different apparently unrelated ways in which the ring (or rather Hopf algebra with $\langle,\rangle$) of symmetric functions $Z[e_1,e_2,\ldots]$ turns up (for a Lie groups course I will be giving next year). So far I have: </p> <p>*The ring of symmetric functions</p> <p>*Irreducible representations of symmetric groups =Schur functions</p> <p>*Irreducible representations of general linear groups = Schur functions</p> <p>*The homology of $BU$, the classifying space of the infinite unitary group. (It also turns up in several other related generalized homology rings of spectra.)</p> <p>*The universal commutative $\lambda$-ring on one generator $e_1$</p> <p>*The coordinate ring of the group scheme of power series $1+e_1x+e_2x^2+\cdots$ under multiplication</p> <p>What other examples have I missed? </p> http://mathoverflow.net/questions/63434/avatars-of-the-ring-of-symmetric-polynomials/63442#63442 Answer by David Speyer for Avatars of the ring of symmetric polynomials David Speyer 2011-04-29T17:05:59Z 2011-04-30T13:43:12Z <p>The Hall algebra of finite abelian $p$-groups, "at $p=1$". Wikipedia explains the basics <a href="http://en.wikipedia.org/wiki/Hall_algebra" rel="nofollow">here</a>, lecture 2 of <a href="http://arxiv.org/abs/math/0611617" rel="nofollow">Schiffmann's lectures</a> on Hall algebras has more. </p> <p>A more high-tech way to thinking of setting $p=1$ is to consider the Hall algebra of nilpotent $\mathbb{C}[t]$ modules (nilpotent meaning that $t$ acts nilpotently), where, instead of counting subgroups, you take the Euler characteristic of the space of subgroups. </p> <p><strong>UPDATE:</strong> I have realized that I don't understand this as well as I thought. I know that the symmetric functions are lurking here, but I don't quite understand how. You are probably better reading Schiffmann than trusting me for details.</p> http://mathoverflow.net/questions/63434/avatars-of-the-ring-of-symmetric-polynomials/63449#63449 Answer by S. Carnahan for Avatars of the ring of symmetric polynomials S. Carnahan 2011-04-29T17:19:43Z 2011-04-29T17:19:43Z <p>You can make a free bosonic <a href="http://en.wikipedia.org/wiki/Vertex_operator_algebra" rel="nofollow">vertex algebra</a> out of this ring. If you base change to the complex numbers, the resulting object should describe some aspect of a closed bosonic string propagating on a real line. If I'm not mistaken, the states are symmetric functions in harmonic oscillator modes.</p> http://mathoverflow.net/questions/63434/avatars-of-the-ring-of-symmetric-polynomials/63452#63452 Answer by Qiaochu Yuan for Avatars of the ring of symmetric polynomials Qiaochu Yuan 2011-04-29T18:09:13Z 2011-04-29T18:09:13Z <p>As the <a href="http://ncatlab.org/nlab/show/symmetric+function" rel="nofollow">nLab</a> says, it's the Grothendieck ring of the category of $k$-linear species (functors $\text{FinSet}_0 \to k\text{-Vect}$) for $k$ a field of characteristic zero. See also <a href="http://ncatlab.org/nlab/show/Schur+functor" rel="nofollow">Schur functor</a>. </p> http://mathoverflow.net/questions/63434/avatars-of-the-ring-of-symmetric-polynomials/63486#63486 Answer by Richard Stanley for Avatars of the ring of symmetric polynomials Richard Stanley 2011-04-30T00:40:12Z 2011-04-30T00:40:12Z <p>The cohomology ring of the Grassmannian, an avatar known to Philip Hall.</p> http://mathoverflow.net/questions/63434/avatars-of-the-ring-of-symmetric-polynomials/63487#63487 Answer by James Borger for Avatars of the ring of symmetric polynomials James Borger 2011-04-30T00:43:19Z 2011-04-30T00:43:19Z <p>Any $\lambda$-ring has a commuting family of Frobenius lifts (the Adams operators) indexed by the primes. Conversely, by Wilkerson's theorem, any torsion-free ring with a commuting family of Frobenius lifts admits a unique $\lambda$-ring structure. So the ring $\Lambda$ of symmetric functions can also be viewed as the free object on one generator in the category of torsion-free rings with commuting Frobenius lifts.</p> <p>Also, $\Lambda$ represents the big Witt vector functor. In other words, it's the coordinate ring of the big Witt ring scheme.</p> <p>This point of view is more arithmetic than the usual approach to symmetric functions, and in my opinion the connection between the two is still a bit mysterious. For instance, the definition of $\lambda$-ring above can obviously be generalized to any global field (and hence so can the big Witt functor) using $p^f$-power Frobenius lifts modulo prime ideals, but I don't know whether reasonable analogues of the elementary symmetric functions exist in these generalizations.</p> http://mathoverflow.net/questions/63434/avatars-of-the-ring-of-symmetric-polynomials/63488#63488 Answer by Maarten Bergvelt for Avatars of the ring of symmetric polynomials Maarten Bergvelt 2011-04-30T01:22:25Z 2011-04-30T01:22:25Z <p>Aguiar and Marajan, in their book <em>Monoidal Functors, Species and Hopf Algebras</em>, obtain the Hopf algebra of symmetric functions (and many other Hopf algebras) by applying a "Fock Functor" to a Hopf monoid in the category of species (functors from finite sets and bijections to vector spaces over a field). This seems different from but related to the construction mentioned by Qiaochu Yuan.</p> http://mathoverflow.net/questions/63434/avatars-of-the-ring-of-symmetric-polynomials/63492#63492 Answer by Allen Knutson for Avatars of the ring of symmetric polynomials Allen Knutson 2011-04-30T02:47:08Z 2011-04-30T02:47:08Z <p>The direct sum over $n$ of the total homology of the Hilbert scheme of $n$ points in the plane. (Reference: Nakajima's book.)</p> <p>The (stably-almost-)complex cobordism ring of a point. I expect that's pretty close to the power series thing you mentioned, via the connection to the universal formal group law. (I wonder if there are nice manifolds corresponding to the Schur functions?)</p> http://mathoverflow.net/questions/63434/avatars-of-the-ring-of-symmetric-polynomials/63498#63498 Answer by Victor Ginzburg for Avatars of the ring of symmetric polynomials Victor Ginzburg 2011-04-30T04:31:30Z 2011-04-30T04:31:30Z <p>Boson-Fermion correspondence in representation theory of Kac-Moody algebras (this is implicit in Richard's comments). Closely related to this: coordinates on the "big cell" in the loop Grassmannian and it's relation to the KP and KdV equations where Schur polynomials appear as $\tau$-functions (see Segal-Wilson old paper in Publ. IHES).</p>