We introduce the notion of generalized MR log canonical surfaces and establish the minimal model theory for generalized MR log canonical surfaces in full generality.
Let $Gamma$ be a finite set, and $X i x$ a fixed klt germ. For any lc germ $(X i x,B:=sum_{i} b_iB_i)$ such that $b_iin Gamma$, Nakamuras conjecture, which is equivalent to the ACC conjecture for minimal log discrepancies for fixed germs, predicts th
at there always exists a prime divisor $E$ over $X i x$, such that $a(E,X,B)={rm{mld}}(X i x,B)$, and $a(E,X,0)$ is bounded from above. We extend Nakamuras conjecture to the setting that $X i x$ is not necessarily fixed and $Gamma$ satisfies the DCC, and show it holds for surfaces. We also find some sufficient conditions for the boundedness of $a(E,X,0)$ for any such $E$.
Let (S, BS) be the log-pair associated with a compactification of a given smooth quasi-projective surface V . Under the assumption that the boundary BS is irreducible, we propose an algorithm, in the spirit of the (log) Sarkisov program, to factorize
any automorphism of V into a sequence of elementary links in the framework of the logarithmic Mori theory. The new noteworthy feature of our algorithm is that all the blow-ups and contractions involved in the process occur on the boundary.
In a previous work, we described the Minimal Model Program in the family of $Qbb$-Gorenstein projective horospherical varieties, by studying certain continuous changes of moment polytopes of polarized horospherical varieties. Here, we summarize the r
esults of the previous work and we explain how to generalize them in order to describe the Log Minimal Model Program for pairs $(X,D)$ when $X$ is a projective horospherical variety.
Let $X$ be a smooth projective surface and $Delta$ is a normal crossing curve on $X$ such that $K_X+Delta$ is big. We show that the minimal possible volume of the pair $(X, Delta)$ is $frac{1}{143}$ if its (log) geometric genus is positive. Based on
this, we establish a Noether type inequality for stable log surfaces, be they normal or non-normal. In the other direction, we show that, if the volume of $(X, Delta)$ is less than $frac{1}{143}$ then $X$ must be a rational surface and the connected components of $Delta$ are trees of smooth rational curves.