Return to Answer

The small example of type $G_2$ is instructive: in the paper by Jantzen which you cite, all of his ingenious algebraic methods couldn't quite determine the simple modules here when $\chi$ is "subregular" nilpotent. Uncertainty arose because he could construct two modules along with three others having equal dimension which might or might not be non-isomorphic. But the more geometric approach in the Annals paper by Bezrukavnikov-Mirkovic-Rumynin (where some of Lusztig's conjectures are proved) arrives at the number 5: here the Springer fiber is a Dynkin curve involving three parallel projective lines along with a fourth such line intersecting all three, and its classical or $\ell$-adic cohomology therefore has total dimension 5 = 4+1. (The arXiv version of the 2008 BMR paper is here.)

It's worth adding that a 1983 conjecture by Lusztig still remains open: see 3.6 here. This proposes to count the number of one-sided cells in a given two-sided cell of an affine Weyl group (corresponding to a nilpotent orbit under his subtle bijection), by computing the dimension of the fixed points of a finite component group on the cohomology of a suitable Springer fiber. This in turn is closely related (by BMR) to the number of simple modules in a regular block considered here; in fact it coincides with that number when the nilpotent $\chi$ has a connected centralizer in the algebraic group.

For a survey with many references (as of about 1997), see my 1998 survey in the AMS Bulletin linked on my homepage here. Note that the conjecture in $\S19$ was later proved by Brown-Gordon here. But the more speculative comments in the last paragraph of that section need to be revisited, in view of the results of BMR. It remains tempting to conjecture that the number of non-isomorphic simple modules in any block of a reduced enveloping algebra is bounded above by the order of the Weyl group. But this number certainly isn't always a divisor of that order, as $G_2$ shows.

For summaries of what Jantzen and I later worked out about the Lie algebras of simple algebraic groups of types $C_3$ and $D_4$ see the first two unpublished notes in that same list. Examples like these make it clear that explicit formulas for dimensions of simples, as well as for the total number of them in a regular block, may be out of reach. But the examples also reveal intriguing questions about $p$-divisibility of dimensions, going beyond the basic ideas of Kac-Weisfeiler and Premet.
[Note also the third unpublished note on my list, where I point out how a proof of Lusztig's 1983 conjecture would resolve a newer conjecture by Shi on counting one-sided cells.]

ADDED 2019: It's worth noting that, as a follow-up to work of [BMR], a recent student of Lusztig (now a postdoc at Minnesota) named Dongkwan Kim, has worked out the Euler characteristic (usually the total dimension) of a Springer fiber for each type of root shstem. See for example his paper in various pereprint forms arXiv:1706.09329 and others listed there. But this is an algorithm rather than a "formula".

The small example of type $G_2$ is instructive: in the paper by Jantzen which you cite, all of his ingenious algebraic methods couldn't quite determine the simple modules here when $\chi$ is "subregular" nilpotent. Uncertainty arose because he could construct two modules along with three others having equal dimension which might or might not be non-isomorphic. But the more geometric approach in the Annals paper by Bezrukavnikov–Mirković–Rumynin (where some of Lusztig's conjectures are proved) arrives at the number 5: here the Springer fiber is a Dynkin curve involving three parallel projective lines along with a fourth such line intersecting all three, and its classical or $\ell$-adic cohomology therefore has total dimension $5 = 4+1$. (The arXiv version of the 2008 BMR paper is here.)

It's worth adding that a 1983 conjecture by Lusztig still remains open: see 3.6 of Lusztig - Some examples of square integrable representations of semisimple $p$-adic groups. This proposes to count the number of one-sided cells in a given two-sided cell of an affine Weyl group (corresponding to a nilpotent orbit under his subtle bijection), by computing the dimension of the fixed points of a finite component group on the cohomology of a suitable Springer fiber. This in turn is closely related (by BMR) to the number of simple modules in a regular block considered here; in fact it coincides with that number when the nilpotent $\chi$ has a connected centralizer in the algebraic group.

For a survey with many references (as of about 1997), see my 1998 survey “Modular representations of simple Lie algebras” in the AMS Bulletin linked on my homepage here. Note that the conjecture in $\S19$ was later proved by Brown–Gordon in The ramification of centres: Lie algebras in positive characteristic and quantised enveloping algebras. But the more speculative comments in the last paragraph of that section need to be revisited, in view of the results of BMR. It remains tempting to conjecture that the number of non-isomorphic simple modules in any block of a reduced enveloping algebra is bounded above by the order of the Weyl group. But this number certainly isn't always a divisor of that order, as $G_2$ shows.

For summaries of what Jantzen and I later worked out about the Lie algebras of simple algebraic groups of types $C_3$ and $D_4$ see the first two unpublished notes in that same list. Examples like these make it clear that explicit formulas for dimensions of simples, as well as for the total number of them in a regular block, may be out of reach. But the examples also reveal intriguing questions about $p$-divisibility of dimensions, going beyond the basic ideas of Kac–Weisfeiler and Premet.
[Note also the third unpublished note on my list, where I point out how a proof of Lusztig's 1983 conjecture would resolve a newer conjecture by Shi on counting one-sided cells.]

ADDED 2019: It's worth noting that, as a follow-up to work of [BMR], a recent student of Lusztig (now a postdoc at Minnesota) named Dongkwan Kim, has worked out the Euler characteristic (usually the total dimension) of a Springer fiber for each type of root shstem. See for example his paper in various pereprint forms Kim - On total Springer representations for classical types and others listed there. But this is an algorithm rather than a "formula".

The small example of type $G_2$ is instructive: in the paper by Jantzen which you cite, all of his ingenious algebraic methods couldn't quite determine the simple modules here when $\chi$ is "subregular" nilpotent. Uncertainty arose because he could construct two modules along with three others having equal dimension which might or might not be non-isomorphic. But the more geometric approach in the Annals paper by Bezrukavnikov-Mirkovic-Rumynin (where some of Lusztig's conjectures are proved) arrives at the number 5: here the Springer fiber is a Dynkin curve involving three parallel projective lines along with a fourth such line intersecting all three, and its classical or $\ell$-adic cohomology therefore has total dimension 5 = 4+1. (The arXiv version of the 2008 BMR paper is here.)

It's worth adding that a 1983 conjecture by Lusztig still remains open: see 3.6 here. This proposes to count the number of one-sided cells in a given two-sided cell of an affine Weyl group (corresponding to a nilpotent orbit under his subtle bijection), by computing the dimension of the fixed points of a finite component group on the cohomology of a suitable Springer fiber. This in turn is closely related (by BMR) to the number of simple modules in a regular block considered here; in fact it coincides with that number when the nilpotent $\chi$ has a connected centralizer in the algebraic group.

For a survey with many references (as of about 1997), see my 1998 survey in the AMS Bulletin linked on my homepage here. Note that the conjecture in $\S19$ was later proved by Brown-Gordon here. But the more speculative comments in the last paragraph of that section need to be revisited, in view of the results of BMR. It remains tempting to conjecture that the number of non-isomorphic simple modules in any block of a reduced enveloping algebra is bounded above by the order of the Weyl group. But this number certainly isn't always a divisor of that order, as $G_2$ shows.

ADDED 2019: It's worth noting that, as a follow-up to work of [BMR], a recent student of Lusztig (now a postdoc at Minnesota) named Dongkwan Kim, has worked out the Euler characterisrtic (usually the total dimension) of a Springer fiber for each type of root shstem. See for example his paperin various pereprint forms arXiv:1706.09329 and others listed there. But this is an algorithm rather than a "formula".

The small example of type $G_2$ is instructive: in the paper by Jantzen which you cite, all of his ingenious algebraic methods couldn't quite determine the simple modules here when $\chi$ is "subregular" nilpotent. Uncertainty arose because he could construct two modules along with three others having equal dimension which might or might not be non-isomorphic. But the more geometric approach in the Annals paper by Bezrukavnikov-Mirkovic-Rumynin (where some of Lusztig's conjectures are proved) arrives at the number 5: here the Springer fiber is a Dynkin curve involving three parallel projective lines along with a fourth such line intersecting all three, and its classical or $\ell$-adic cohomology therefore has total dimension 5 = 4+1. (The arXiv version of the 2008 BMR paper is here.)

It's worth adding that a 1983 conjecture by Lusztig still remains open: see 3.6 here. This proposes to count the number of one-sided cells in a given two-sided cell of an affine Weyl group (corresponding to a nilpotent orbit under his subtle bijection), by computing the dimension of the fixed points of a finite component group on the cohomology of a suitable Springer fiber. This in turn is closely related (by BMR) to the number of simple modules in a regular block considered here; in fact it coincides with that number when the nilpotent $\chi$ has a connected centralizer in the algebraic group.

For a survey with many references (as of about 1997), see my 1998 survey in the AMS Bulletin linked on my homepage here. Note that the conjecture in $\S19$ was later proved by Brown-Gordon here. But the more speculative comments in the last paragraph of that section need to be revisited, in view of the results of BMR. It remains tempting to conjecture that the number of non-isomorphic simple modules in any block of a reduced enveloping algebra is bounded above by the order of the Weyl group. But this number certainly isn't always a divisor of that order, as $G_2$ shows.

ADDED 2019: It's worth noting that, as a follow-up to work of [BMR], a recent student of Lusztig (now a postdoc at Minnesota) named Dongkwan Kim, has worked out the Euler characteristic (usually the total dimension) of a Springer fiber for each type of root shstem. See for example his paper in various pereprint forms arXiv:1706.09329 and others listed there. But this is an algorithm rather than a "formula".

ADDED 2019: It's worth noting that, as a follow-up to work of [BMR], a recent student of Lusztig (now a postdoc at Minnesota) named Dongkwan Kim, has worked out the Euler characterisrtic (usually the total dimension) of a Springer fiber for each type of root shstem. See for example his paperin various pereprint forms arXiv:1706.09329 and others listed there. But this is an algorithm rather than a "formula".