15
$\begingroup$

Disclaimer: I'm far from an expert on any of the topics of this question. I apologize in advance for any horrible mistakes and/or inaccuracies I have made and I hope that the spirit of the question will still be clear despite them.

The (integral) representation rings of the symmetric groups can be packed together into a hopf algebra $H_1 = \oplus_n Rep(\Sigma_n)$ where the multiplication (resp. comultiplication) comes from induction (resp. restriction) along $\Sigma_n \times \Sigma_k \to \Sigma_{n+k}$. In fact there's a further structure one can put on $H$ corresponding to the inner product of characters and a notion of positivity (all together its sometimes called a "positive self adjoint hopf algebra"), but for simplicity I will disregard this structure in what follows (of course if its not important for the answer that would be great to know).

Its well known that sending the irreducible specht modules to their corresponding schur functions induces an isomorphism of hopf algebras to the (integral) hopf algebra of symmetric functions.

Following the "$\mathbb{F}_1$-philosophy" it is tempting to define a ring of "q-symmetric functions" as the hopf algebra $H_q = \oplus_n Rep(GL_n(\mathbb{F}_q))$ equipped with the same structures as above.

Question 1: Is there a hopf algebra over $\mathbb{Z}[q]$ which specializes at a prime power $q=p^n$ to $H_{p^n}$ and at $q=1$ to $H_1$ the classical ring of symmetric functions?

By schur weyl duality we also know that $H_1 \cong Rep(GL_{\infty}(\mathbb{C})):= colim_n Rep(GL_n(\mathbb{C}))$ (at least as rings). It seems natural to ask if there's any form of schur duality going in the other direction.

Question 2: Is there any kind of relationship between the rings $Rep(\Sigma_{\infty}) := colim_n Rep(\Sigma_n)$ and $\oplus_n Rep(GL_n(\mathbb{C}))$?

Question 3: Is there a $\mathbb{Z}[q]$-algebra which specializes to $Rep(GL_{\infty}(\mathbb{F}_q))$ at a prime power $q = p^n$ and to $Rep(\Sigma_{\infty})$ at $q=1$?

$\endgroup$
  • 1
    $\begingroup$ Ignoring the Hopf algebra aspects of the question, people do study the representation theory of $GL_n(\mathbb{F}_q)$ as a q-analog of the representation theory of $\Sigma_n$. A thing to note immediately is that $GL_n(\mathbb{F}_q)$ has many more irreps that $\Sigma_n$. But $GL_n(\mathbb{F}_q)$ has a particularly nice family of irreps called unipotent representations $U^{\lambda}(q)$, which are indexed by partitions of $n$. And the degree of $U^{\lambda}(q)$ is a polynomial in $q$ (the ``fake degree polynomial'') which at $q=1$ becomes $f^{\lambda}$, the degree of the $\Sigma_n$ irrep. $\endgroup$ – Sam Hopkins Dec 16 '18 at 14:52
  • $\begingroup$ This is probably just showing my ignorance, but please could you explain the colimit you have in mind on the right hand side of $\mathrm{Rep}(\Sigma_\infty) := \mathrm{colim}_n \mathrm{Rep}(\Sigma_n)$? Since $\oplus_n \mathrm{Rep}(\mathrm{GL}_n(\mathbb{C}))$ is isomorphic to the ring of symmetric functions, which is an inverse limit (i.e. a limit, not a colimit), do you expect the required relationship to involve some kind of duality? $\endgroup$ – Mark Wildon Dec 16 '18 at 17:46
  • 2
    $\begingroup$ @MarkWildon I think its more a question of convention than anything else. If I write a sum over all representation ring of symmetric group that means that an element is a finite sum while if I define the ring of symmetriic functions as a limit i get series with an infinite number of terms. There are probably two ways to fix this, one is to take the product in my original definition, the other is taking some kind of colimit in the definition of symmetric functions (as is done in the wikipedia article on symmetric functions). $\endgroup$ – Saal Hardali Dec 16 '18 at 17:53
14
$\begingroup$

As Sam Hopkins says, the category of all representations of $GL_n(\mathbb F_q)$ is too large to give what you want. Instead, let's consider the category of unipotent representations, i.e. those appearing in the irreducible decomposition of $\mathbb Q [GL_n(\mathbb F_q)/B_n(\mathbb F_q)]$.

Unipotent representations are not closed under the naive induction product, but they are closed under parabolic induction $V*W = {\rm Ind}_{P(n,m)}^{GL_{n+m}} V \otimes W$. This gives $\oplus_n {\rm Rep}^{un}(GL_n(\mathbb F_q))$ the structure of a monoidal category. Instead of being symmetric monoidal, it is now braided monoidal! The Grothendieck ring is a $q$ deformation of the ring of symmetric functions.

Finally, by Morita theory, unipotent representations are equivalent to representations of $\mathcal H_n(q) = {\rm End}_{GL_n}(\mathbb Q GL_n/B_n )$, here $\mathcal H_n(q)$ is the Iwahori-Hecke algebra which $q$-deforms the group ring of $S_n$. It is Schur-Weyl dual to representations of the quantum group $U_q(GL_\infty)$.

$\endgroup$
  • $\begingroup$ Does the category being braided monoidal mean that the product "q-commutes"? $\endgroup$ – Sam Hopkins Dec 16 '18 at 16:41
  • $\begingroup$ The product is still commutative, because the braiding still gives an isomorphism between the two products. One difference is that the Grothendieck ring won't naturally be a lambda ring anymore. $\endgroup$ – Phil Tosteson Dec 16 '18 at 16:52
  • $\begingroup$ Could you elaborate please on the last point. What does it mean that they are dual to the representations of the quantum group? What kind of object is it? Is it a hopf algebra over $\mathbb{Z}[q]$ specializing at $q=1$ to the hopf algebra of the general linear group? $\endgroup$ – Saal Hardali Dec 16 '18 at 17:06
  • 1
    $\begingroup$ Yes, there are different versions: the one I'm most familiar with is a $q$ deformation of the universal envoloping algebra as a hopf algebra. There is a standard rep $V$, and endomorphisms of $n$th tensor power of $V$ is the $n$th Hecke algebra-- giving a Morita equivalence like in Schur-Weyl duality. $\endgroup$ – Phil Tosteson Dec 16 '18 at 21:14

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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