1: \begin{abstract}

2: We show that, on the level of  derived categories,

3: representations of the Lie algebra of a semisimple algebraic group

4: over a field of finite characteristic

5: with a given (generalized) regular central character are the same

6: as coherent sheaves on the formal neighborhood of the

7: corresponding (generalized) Springer fiber.

8: 

9: The first step is to observe that the derived functor of global

10: sections provides an equivalence between the derived category of

11: $\DD$-modules (with no divided powers) on the flag variety and the

12: appropriate derived category of modules over the corresponding Lie

13: algebra. Thus the ``derived'' version of the Beilinson-Bernstein

14: localization Theorem holds

15: in sufficiently large positive

16: characteristic.

17: % ($p>$ the Coxeter number).

18: Next, one finds that for any smooth variety this algebra of

19: %(``crystalline'')

20: differential operators is an Azumaya algebra on

21: the cotangent bundle.

22: In the case of the flag variety it splits on  Springer

23: fibers, and this allows us to pass from $\DD$-modules to coherent

24: sheaves. The argument also generalizes to twisted $\DD$-modules. As

25: an application we prove Lusztig's conjecture on the number of

26: irreducible modules  with a fixed central character. We also give

27: a formula for behavior of  dimension of a module under

28: translation functors and reprove the Kac-Weisfeiler conjecture.

29: 

30: The sequel to this paper \cite{sing} treats singular

31:  infinitesimal characters.

32: \end{abstract}

33: