The Beilinson-Bernstein localization theorem states roughly that the category of $D$-modules on the flag variety $G/B$ is equivalent to the category of modules over the universal enveloping algebra $U\mathfrak{g}$ with zero Harish-Chandra character. Here $G$ is any semisimple algebraic group over $\mathbb{C}$, $\mathfrak{g}$ its Lie algebra, and $B$ a Borel in $G$. (Really I should probably generalize to twisted $D$-modules and other Harish-Chandra characters here.)

I think it's fair to say that this is one of the most important theorems in geometric representation theory. One sign of this is the huge number of generalizations to different settings (arbitrary Kac-Moody, affine at negative and critical levels, characteristic p, quantum, other symplectic resolutions...), each of which plays an key role in the corresponding representation theory.

A lot of the papers in this area seem to contain phrases like "Here we are generalizing a proof of the original BB theorem", but they seem to be all referring to different proofs. Unfortunately, I only know one proof, more or less the one that appears in the original paper of Beilinson and Bernstein, "Localisation de $\mathfrak{g}$-modules." So my question is

What other approaches are there to proving the localization theorem?

To be a little more precise, let's separate BB localization into three parts:

1. The computation of $R\Gamma(G/B,\mathcal{D})$
2. The exactness of $R\Gamma$ (true for all weights $\lambda$ with $\lambda+\rho$ dominant)
3. The conservativity of $R\Gamma$ (true for $\lambda$ with $\lambda+\rho$ dominant regular).

I'm mainly interested in proofs of parts $2$ and/or $3$ assuming part $1$ (which I know many proofs of.)

Standard disclaimer: I'm not an expert and all of this could be wrong.

The Beilinson-Bernstein localization theorem states roughly that the category of $D$-modules on the flag variety $G/B$ is equivalent to the category of modules over the universal enveloping algebra $U\mathfrak{g}$ with zero Harish-Chandra character. Here $G$ is any semisimple algebraic group over $\mathbb{C}$, $\mathfrak{g}$ its Lie algebra, and $B$ a Borel in $G$. (Really I should probably generalize to modules over a twist $D_\lambda$ of the ring of differential operators and other Harish-Chandra characters here.)

I think it's fair to say that this is one of the most important theorems in geometric representation theory. One sign of this is the huge number of generalizations to different settings (arbitrary Kac-Moody, affine at negative and critical levels, characteristic p, quantum, other symplectic resolutions...), each of which plays an key role in the corresponding representation theory.

A lot of the papers in this area seem to contain phrases like "Here we are generalizing a proof of the original BB theorem", but they seem to be all referring to different proofs. Unfortunately, I only know one proof, more or less the one that appears in the original paper of Beilinson and Bernstein, "Localisation de $\mathfrak{g}$-modules." So my question is

What other approaches are there to proving the localization theorem?

To be a little more precise, let's separate BB localization into three parts:

1. The computation of $R\Gamma(G/B,\mathcal{D}_\lambda)$ (for $\lambda$ with $\lambda+\rho$ dominant)
2. The exactness of $R\Gamma$ (true for all weights $\lambda$ with $\lambda+\rho$ dominant)
3. The conservativity of $R\Gamma$ (true for $\lambda$ with $\lambda+\rho$ dominant regular).

I'm mainly interested in proofs of parts $2$ and/or $3$ assuming part $1$ (which I know many proofs of.)

Standard disclaimer: I'm not an expert and all of this could be wrong.