schur Weyl duality in positive characteristic - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T04:49:31Z http://mathoverflow.net/feeds/question/26857 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/26857/schur-weyl-duality-in-positive-characteristic schur Weyl duality in positive characteristic xiyu 2010-06-02T19:46:44Z 2010-06-02T22:43:54Z <p>Let $S_k$ be the symmetric group. Let $F$ be an algebraically closed field. Let $Rep(S_k)$ be the category of representations of $S_k$ over $F$. Let $Rep(GL_n(F))$ be the category of algebraic representations of $GL_n(F)$. We can construct a functor $SW$ from $Rep(S_k)$ to $Rep(GL_n(F))$, $SW(\sigma)=(\otimes^k F^n\otimes \sigma)^{S_k}$, where $\sigma\in Rep(S_k)$.</p> <p>When $F$ is of characteristic 0, and n>k, it is well-known $SW$ is a fully faithful and exact functor. Usually it is called Schur Weyl duality. My qustion is:</p> <ul> <li>When $F$ is of characteristic $p$, is $SW$ still a fully faithful and exact functor?</li> </ul> <p>When $p>k$, the representation theory of $S_k$ over $F$ behaves exactly the same as characteristic 0 case, but for algebraic representation of $GL_n(F)$, it is totally different from characteristic 0 case.</p> <p>When $p&lt;=k$, representation of $S_k$ is complicated. It is well-known problem, to determine the decomposition number in $Rep(S_k)$.</p> <ul> <li><p>Is it possible to use schur Weyl duality to determine the decomposition number for $S_k$?</p> <p>Since for modular representation theory of reductive group, the similar problem is known or almost known by Kazhdan-Lusztig polynomial.</p></li> </ul> <p>TO sum up, I would like to ask:</p> <ul> <li>For my purpose, what is the correct formulation for schur Weyl duality in positive characteristic?</li> </ul> http://mathoverflow.net/questions/26857/schur-weyl-duality-in-positive-characteristic/26862#26862 Answer by Jim Humphreys for schur Weyl duality in positive characteristic Jim Humphreys 2010-06-02T20:41:34Z 2010-06-02T22:43:54Z <p>The questions here have certainly been explored (though not definitively) in many recent papers or preprints on arXiv. Look for example at the arXiv paper by Stephen Doty <a href="http://front.math.ucdavis.edu/0610.5591" rel="nofollow">http://front.math.ucdavis.edu/0610.5591</a>, as well as many others by Steve and/or his collaborators. Most of the arXiv papers have subject listing RT (some also consider quantum analogues under QA). But some predate arXiv; there has been a lot of study of decomposition numbers of symmetric groups in prime characteristic, for example, using what little is known about modular representations of GL<code>$_n$</code>. Not having gone far with this literature myself, I'd suggest that you start the inquiry with available papers and then maybe raise narrower questions here. </p> <p>My main point at first has been that a lot of literature exists from the past couple of decades, so the questions should focus on what is in that literature (not just Doty's short conference paper I cited). Concerning the status of modular representations for finite groups of Lie type, what's known is not yet good enough to answer most questions about symmetric groups for small primes. While Lusztig's conjectures promise a good conceptual picture for primes at least the Coxeter number of the Weyl group, even that much can be implemented only in recursive style. For small primes little is known, but it would have immediate applications to <code>$S_n$</code>. In classical Schur-Weyl duality the dictionary goes the opposite way.</p>