Can we count the number of simple modules for a reduced enveloping algebra?

The answers to your several closely related questions are not yet known, though many parts of the story have emerged. In particular, there is no "formula" for the number of simple $U_\chi(\mathfrak{g})$-modules in a typical (meaning regular) block, and such a formula probably doesn't exist. It's quite difficult in general to compute the total dimension of the cohomology of a Springer fiber (which tends to coincide with the Euler characteristic, due to vanishing of the odd-dimensional cohomology). But as remarked in the question, in the special case when $\chi$ is of standard Levi type, the older work of Friedlander-Parshall does give a straightfroward answer: the quotient of the Weyl group order by the order of a parabolic subgroup.

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.]

This is getting long, but I should mention a couple of imprecisions in the question. In order to identify nilpotent orbits in $\mathfrak{g}$ with those in $\mathfrak{g}^*$, one has to identify these spaces via a suitable nondegenerate form such as the Killing form (when such a form exists). So it's best to focus here on semisimple groups and their Lie algebras, or just on simple algebraic groups. Also, not all blocks of $U_\chi(\mathfrak{g})$ with $\chi$ nilpotent have the same number of simple modules, but the regular ones do, and these predominate as $p$ grows. (A smaller correction is the English spelling of the name Weisfeiler.)

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".


In the case when $\mathfrak{g}$ is a finite-dimensional restricted Lie algebra over an algebraically closed field of characteristic $p>0$, the number of isomorphism classes of simple $U_{\chi}(L)$-module is bounded above by $p^{MT(L)}$, where $MT(L)$ denotes the maximal dimension of a torus in $L$. See Section 3 in the following joint paper with J. Feldvoss and Th. Weigel: http://link.springer.com/article/10.1007%2Fs00031-015-9362-5