Open problems in Birational Geometry, after BCHM Rencently a breakthrough was made in the context of the Minimal Model Program by the work of Birkar-Cascini-Hacon-McKernan. They proved that the canonical ring of a smooth or mildly singular projective algebraic variety is finitely generated.
Since I'm a master student and so I have no a wide view of the subject (I'm not an expert), I would like to know what are the main open problems in this direction (I mean, in the framework of the Mori Program). More generally, right now what are the driving forces, the big open questions in birational geometry?
Feel free to close this question, if too generic for the purposes of the site.
Thanks in advance. 
 A: Let me add my answer.
In characteristic 0.

*

*Abundance conjecture.
This is probably universally accepted as the most important question for the current minimal model program after BHCM's proof of finite generation. I want to remark that n-dimensional log canonical MMP follows from n-dimensional klt MMP and n-1 dimensional log canonical MMP. So there is no new difficulty for log canonical pairs at least for MMP other than abundance for klt.


*General type.
In fact, after BCHM, Koll'ar and many other people's work, I think we have a pretty good understanding of the rough classification of general types, namely, we know they form a moduli space which has a pretty reasonable compactification.


*Fano and singularities.
The boundedness of Fano, namely the BAB-conjecture is one of the most fundamental question about singular Fano. We only know special cases. In philosophy, there is a local-to-global principle, and correspondingly, we should consider certain boundedness of singularities. The famous challenge there is Shokurov's ACC of mld conjecture. Note this should be substantially harder than ACC of log canonical thresholds which now is a theorem. Another one is the semi-continuity of mld conjecture. And Shokurov proved these two conjectures together imply termination of flips.


*Calabi-Yau.
There are two fundamental problems there to me. One is the finiteness of the topological type,
Another one is Kawamata-Morrison Cone conjecture. Each of them is still out of reach even in dimension 3. This is a not a big surprise, since we are still quite lack of understanding of CY in dimension 3. On the other hand, if you apply local-to-global principle here, then we should consider semi-log-canonical CY. And Koll'ar's recent examples point out that the slc picture is even more complicated.
In characteristic p.
In characteristic p, the most important question to me is the resolution of singularity. The next thing is how many results in characteristic 0 MMP still hold in characteristic p.
Without vanishing type theorem, we can still formulate most of those results, but then it really puts a question mark on whether we should still believe them.
My feeling is although there are many substantial work there recently, it's still not clear what the picture should be.
A: *

*The Abundance conjecture.


In its simplest form it says: If $X$ is a minimal variety (that is, the canonical divisor $K_X$ is nef and $X$ has terminal singularities) then some multiple $mK_X$ is base-point free. Thus sections of some power of the canonical bundle give a morphisms to projective space. In this case, it is straightforward to prove that the canonical ring $R(X,K_X)$ is finitely generated. 


*

*Termination of log flips. 


I think both of these conjectures are open in dimension $\ge 4$.
Edit: As Artie points out, existence of flips is known in all dimensions by the work of BCHM. There are also partial results on termination in dimension 4 by, Birkar, Fujino, Alexeev-Hacon-Kawamata,..
A: [Just 'cause Artie asked:] :)
Many parts of the mmp are not know for log canonical pairs. There are many results in that direction, but also many questions are open. In some sense log canonical is a more natural class than klt or even dlt and it is very important from the point of view of applications to moduli theory because semi log canonical (the non-normal version of lc) singularities are closed under stable degeneration while klt singularities are not. A major difficulty stems from the fact that lc singularities are not rational.
A: I'm not an expert, but my understanding is that BCHM assumes characteristic zero. What about positive characteristic?
