Let $\mathfrak{g}$ be a semi-simple Lie algebra. 


So in characteristic $0$, the Grothendieck group of a block of category $\mathcal{O}$ is given by the classes of the Verma modules. Unlike the simples (or projectives), Verma modules are very easy to understand explicitly, and one can easily perform computations with them (eg. involving translation functors). 


In characteristic $p$, the analogous object is the category of modules with a fixed central character: one must specify both a Harish-Chandra character, and a character of the Frobenius (or p-) center. Now each simple is a quotient of a baby Verma module; **however** the classes of the baby Verma's no longer give a basis in the Grothendieck group -- in fact, they all have the same class! 


I'm looking for a basis for the Grothendieck group of this category, where the corresponding objects are easy to understand (unlike the simples or projectives). In fact, I'd be happy with a collection of objects whose images span the Grothendieck group. I'm most interested in the case where the Frobenius character is 0, but the Harish-Chandra character is singular.


I've heard that the Weyl modules (coming from the char $p$ version of Borel-Weil theory) might be useful here; though I'm not entirely sure if they can be defined in this generality. This link might be relevant: [Weyl modules and reduction modulo $p$.](https://mathoverflow.net/questions/68476/weyl-modules-and-reduction-modulo-p)



Well-understood bases for Grothendieck groups of modular representation categories
I'm not sure what sources you are mainly relying on, but there are several points to be made:


1) When you say the Lie algebra is "semisimple", I suspect you mean (as people sometimes do when using shorthand) the Lie algebra of a semisimple algebraic group. There are lots of other simple Lie algebras (mostly classified for $p>3$ in the work of Premet-Strade and others) which don't come from algebraic groups, and their representations are less well studied. Anyway, it's probably best to limit to *simple* algebraic groups and their Lie algebras, the latter usually but not always being simple. (For example, the special linear Lie algebra of trace zero $n \times n$ matrices over an algebraically closed field of characteristic $p>0$ has a center consisting of scalar matrices when $p|n$.)


2) The algebraic group framework provides some useful tools for studying the Lie algebra representations, as seen in Jantzen's book *Representations of Algebraic Groups*: you can construct "mixed" group schemes, using a torus action to restore some ordering to "highest weights", but at the cost of creating an infinite rank Grothendieck group. Anyway, the simple modules for the Lie algebra always come from simple modules for the group (where the highest weights have to be "restricted"); then Steinberg's tensor product theorem produces all simple modules for the group. 


3) The blocks in these various situations have been worked out by now, but for the Lie algebras alone there seems to be no realistic candidate for an easy basis of the corresponding Grothendieck group. As you say, the (baby) Verma modules for such a block all have the same composition factor multiplicities and define a single element of the Grothendieck group.


4) The Lie algebras here admit infinitely many simple modules, mostly not coming directly from the group and depending on a linear functional $\chi$ in the dual Lie algebra. For a short survey with references (not up-to-date), see my 1998 paper [here](http://www.ams.org/journals/bull/1998-35-02/S0273-0979-98-00749-6/home.html). The conjecture there on blocks of the finite dimensional reduced enveloping algebra for $\chi$ was proved by Brown-Gordon [here](http://www.ams.org/mathscinet-getitem?mr=1872572). 


5) The methods of geometric representation theory have been used by Bezrukavnikov and others to get better information about the Lie algebra representations. But there still seems to be no easy way to approach this in terms of a Grothendieck group basis coming from modules that are easy to construct. The simple modules are mostly still elusive. (But those with singular "highest weights" are usually obtainable using Jantzen's translation functors from those with regular weights.)


