Effective generation for foliated surfaces: results and applications (Q2681763): Difference between revisions

Let \(X\) be a smooth projective surface and \(\mathcal{F}\) a rank one foliation with canonical singularities. This paper studies various results for the adjoint divisor \(K_{\mathcal{F}}+\epsilon K_X\) with \(0<\epsilon \ll 1\). The main results are the following: \begin{itemize} \item (MMP) If \(0<\epsilon \leq 1/5\), then there exists a minimal model or a Mori fiber space for \(K_{\mathcal{F}}+\epsilon K_X\); \item (Existence of canonical model) If \(0<\epsilon \leq 1/5\) and \(K_{\mathcal{F}}\) is big, then there exists a canonical model for \(K_{\mathcal{F}}+\epsilon K_X\); \item (Boundedness) There exists a constant \(\tau>0\) such that if \(0<\epsilon <\tau\), then the set of \(\epsilon\)-adjoint canonical model \((X, \mathcal{F})\) with \((K_{\mathcal{F}}+\epsilon K_X)^2\leq C\) form a bounded family for any \(C>0\). \item (Effective birationality) There exists a constant \(\tau>0\) such that if \(0<\epsilon <\tau\), there exists a positive integer \(M=M(\epsilon)\) such that \(|M(K_{\mathcal{F}}+\epsilon K_X)|\) defines a birational map as long as \(K_{\mathcal{F}}\) is big. As corollaries, there is also a uniform positive lower bound for the volume \((K_{\mathcal{F}}+\epsilon K_X)^2\) and an linear upper bound for the birational automorphism group in terms of the volume. \end{itemize}