Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

What are open problems in representation theory?

What are the sources (books/papers/sites) discussing this?

Any kinds of problems/questions are welcome - big/small, vague/concrete. Some estimation of difficulty and importance, as well as, small description, prerequisites and relevant references, ... are welcome.


To the best of my knowledge, there are NO good lists of representation theory problems on the web. E.g. the sites below contain lots of unsolved problem in other areas, but not in representation theory:

http://en.wikipedia.org/wiki/Unsolved_problems_in_mathematics

http://garden.irmacs.sfu.ca/

http://maven.smith.edu/~orourke/TOPP/

MO questions also discuss other fields, but not representation theory:

What are the big problems in probability theory?

What are some open problems in algebraic geometry?

What are some open problems in toric varieties?

More open problems

Open problems with monetary rewards

Open problems in Euclidean geometry?

Open Questions in Riemannian Geometry

What are some of the big open problems in 3-manifold theory?

Open problems in continued fractions theory

share|improve this question
9  
Can you precise what you mean by 'representation theory'? It's a huge, disparate, area of research, and narrowing down a little bit the question would help for better answers. –  Joël May 7 '12 at 13:18
1  
One of them will be "Artin's Holomorphy Conjecture". Here is a report on current progress. math.tifr.res.in/~dprasad/artin.pdf –  i707107 May 15 '12 at 8:16
2  
i707107 Agree. May be you can write it as an answer (hopefully adding some comments). The whole Langlands program is one the main problems in RT. –  Alexander Chervov May 15 '12 at 9:53
1  
arxiv.org/abs/1210.2225 We state Brou´e’s Abelian Defect Group Conjecture[14, Chapter 6.3.3]. Conjecture 1.0.1 (Brou´e). Let G be a finite group and P an abelian p-subgroup. Let b be a block idempotent of OG with defect group P and Brauer correspondent c in NG(P). Then OGb and ONG(P)c are derived equivalent. –  Alexander Chervov Oct 10 '12 at 6:32
1  
If G is solvable, then Gluck's conjecture is that √[G:Fit(G)] ≤ b(G), and this has been verified for solvable G such that G/Φ(G) has an Abelian Sylow 2-subgroup or G such that G″ = 1. (If G is non-abelian simple, then Fit(G)=1, and so the bound cannot hold). mathoverflow.net/questions/21071/… arxiv.org/abs/1009.5434 Gluck’s conjecture has been verified for groups of odd order, solvable groups whose orders are not divisible by 3 (see [15]), and solvable groups with abelian Sylow 2-subgroups –  Alexander Chervov Oct 10 '12 at 10:06

2 Answers 2

These are some big problems I know about:

  • Give a combinatorial description of the Kronecker coefficients.
  • Find a combinatorial interpretation of the Littlewood-Richardson coefficients for the Jack polynomials, $J_{\mu} J_{\nu} = \sum_\lambda c^\lambda_{\mu\nu}(\alpha) J_\lambda$. It is conjectured (but not proved) that $c^\lambda_{\mu\nu}(\alpha)$ is a polynomial in $\alpha$ with non-negative integer coefficients. (Here, one needs to be a bit careful with which normalization one chooses).
  • Find a combinatorial description of the multiplicative structure constants for the Schubert polynomials (analogue of the Littlewood-Richardson coefficients in the Schur polynomial case).

  • The different variants of the shuffle conjecture.

  • Give a combinatorial formula for the non-homogeneous symmetric Jack polynomials (similar to the Knop-Sahi formula for the ordinary Jack polynomials).

  • Give combinatorial descriptions of structure constants that appear in plethystic substitutions, $a^\nu_{\lambda\mu} = \langle s_\lambda[s_\mu], s_\nu \rangle$

  • Find a combinatorial description of the $qt$-Kostka polynomials.

  • Find a combinatorial description of the polynomials $c^\nu_{\lambda\mu}(t)$ in $$s_\lambda(t) \cdot P_\mu(x;t) = \sum_\nu c^\nu_{\lambda\mu}(t) P_\mu(x;t)$$ where $P_\lambda(x;t)$ is the Hall-Littlewood polynomial.

  • Prove (or disprive) that the map $k \mapsto K_{k\lambda,k\mu}$ is a polynomial with non-negative coefficients, where $K_{\lambda\mu}$ is the Kostka coefficient. Or in more general, same question for $k \mapsto c^{k\nu}_{k\lambda,k\mu}$ for the Littlewood-Richardson coefficients. This question goes back to King, Tollu and Toumazet. Note that a proof of the latter would imply the famous saturation conjecture proved by A. Knutson and T. Tao.

Whenever one seeks a combinatorial description, it is understood that the polynomial or number in question is conjectured to be a polynomial with non-negative integer coefficients.

share|improve this answer
1  
The second item is Conjecture 8.3 of www-math.mit.edu/~rstan/pubs/pubfiles/73.pdf. –  Sam Hopkins May 4 at 21:08

There are many open problems on modular representation theory of finite groups. There is a well-known list of problems of R. Brauer which date to around 1960, about ordinary and modular representations of finite groups. There are other major conjectures ( Broue's Abelian defect group conjecture has already been mentioned in comments). There are Alperin's Weight conjecture, Dade's Projective Conjecture, the Isaacs-Navarro conjecture, and several related conjectures. This is only the tip of the iceberg (and only in one corner of representation theory).

share|improve this answer

Your Answer

 
discard

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.