A variety is called $\mathcal D$- affine if the global section functor induces an equivalence between quasi-coherent $\mathcal D$-modules and modules over $\Gamma(X,\mathcal D)$. It is easy to see that affine varieties are $\cal D$-affine. More surprisingly, by an important theorem of Beilinson-Bernstein, (partial) flag varieties are $\mathcal D$-affine as well!
So my question is, how rare are $\mathcal D$-affine varieties? Are there other natural examples of $\mathcal D$-affine varieties?
As Alexander mentions above, it is a conjecture (and one that has stood for a while) that the OP has given a complete list of D-affine projective varieties.
My perspective on this is that $T^*G/P$ (which differential operators quantize) are just not a good model for other cotangent bundles. For example:
Interestingly, if you look for symplectic varieties with the properties above, then you will find some which think they are the cotangent bundle of something D-affine (i.e. have a deformation quantization with a $\mathbb{C}^*$-action which they are affine with respect to). There's a way of "fixing" the cotangent bundles of toric varieties to get D-affinity back, called hypertoric varieties. The affinity theorem in this case was proved by Bellamy and Kuwabara quite recently. An upcoming paper of myself, Braden, Licata and Proudfoot is going to contain some weak versions of these theorems (basically, the proof that some quantizations are affine, without actually proving that any particular one is) in a much more general situation that includes things like quiver varieties and does a recent paper of McGerty and Nevins.
Basically, you should think of the these theorems as coming from the flat deformation to something affine. by going non-commutative, you take some peek out in the direction of this deformation, and see that there is an affine variety right over there.
On some level, one should think of the question of finding out which quantizations of a symplectic variety are affine; Beilinson and Bernstein solve this very combinatorially for the flag variety (it's when for the indexing weight, no inner product with a coroot is a negative integer) and the hypertoric case as a very concrete answer (it's when certain polytopes contain lattice points, though Bellamy and Kuwabara don't state it quite like this). I'm not sure there are any other examples not closely related to these where we know the precise formulation of the localization theorem.
Warning: the theorem of Beilinson-Bernstein fails to hold in positive characteristic.
Let me elaborate more about $D$-affinity in characteristic $p>0$ (a good reference is the introduction to A. Langer, "$D$-affinity and Frobenius morphism on quadrics"). In general, to prove that a variety is $D$-affine, we have to check two things: (1) that every quasi-coherent (over $\mathcal{O}_X$) $D$-module is globally generated over $D_X$, (2) that $H^i(X, D_X) = 0$ for $i>0$. In the characteristic $p$ case, $D_X$ has the so-called $p$-filtration (found by Haastert) by $\mathrm{End}(F^i_{\star} \mathcal{O}_X)$ by endomorphisms of the Frobenius push-forwards of the structure sheaf. It follows that if $H^i(X, \mathrm{End}(F^i_{\star} \mathcal{O}_X)) = 0$ then (2) holds (and conversely if $X$ is Frobenius split). For example, (2) holds for the projective space, and indeed projective spaces are always $D$-affine. It has been shown by Langer in the aforementioned article that if $n>1$ is odd and $p\geq n$ then the $n$-dimensional smooth quadric is $D$-affine. Since quadrics are Frobenius split, the same calculation of $F^s_\star \mathcal{O}_X$ shows that the even-dimensional quadrics are not $D$-affine in positive characteristic.
A commutative analogue of the conjecture that the only projective D-affine varieties are homogeneous spaces is a generalization of Harthshorne conjecture. The latter (famously proved by Mori) characterizes projective spaces as the only smooth projective varieties with ample tangent bundles. It is expected that the only smooth projective varieties whose tangent bundle is big and nef are homogeneous spaces of reductive groups, this conjecture is apparently due to Demailly and Campana-Peternell.
Toric varieties are $\mathcal D$-affine.
