On birational boundedness of foliated surfaces (Q827424)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On birational boundedness of foliated surfaces
scientific article

    Statements

    On birational boundedness of foliated surfaces (English)
    0 references
    0 references
    8 January 2021
    0 references
    The authors work on the problem of boundedness of foliated surfaces of general type. More precisely, they prove the following: Theorem 1. For any integer-valued function \(P\colon \mathbb{Z}_{\geq 0} \rightarrow \mathbb{Z}\), there exists an integer \(m_P\) such that if \((X,\mathcal{F})\) is a canonical or weak nef model of a complete foliated surface with \(kod(K_\mathcal{F}) = 2\) and \(\chi(X,\mathcal{O}_X(m K_\mathcal{F})) = P(m)\) for all \(m \geq 0\), then for all \(m \geq m_P\), \(|mK_\mathcal{F}|\) defines a birational map. Here a surface is a complex \(2\)-dimensional algebraic space. For the concepts of canonical and weak nef models of foliated surfaces, the authors follow [\textit{M. McQuillan}, Pure Appl. Math. Q. 4, No. 3, 877--1012 (2008; Zbl 1166.14010)]. For the proof, they use the classification of canonical models in [\textit{M. McQuillan}, Pure Appl. Math. Q. 4, No. 3, 877--1012 (2008; Zbl 1166.14010)], and in particular an explicit description of the singularities of a foliated surface with canonical singularities. Finally, using tools developed to prove this boundedness result, they prove Grauert-Riemenschneider-type vanishing theorem for foliated surfaces with canonical singularities. Theorem 2. Let \(f\colon (X,\mathcal{F}) \rightarrow (Y,\mathcal{G})\) be a proper birational morphism of foliated surfaces with canonical singularities. Then (1) \(f_*\mathcal{O}_X(mK_\mathcal{F}) = \mathcal{O}_Y(mK_\mathcal{G})\), for all \(m\geq 0\); (2) \(R^1 f_*\mathcal{O}_X(K_\mathcal{F}) = 0\), and (3) if \(K_\mathcal{F} = f^*K_\mathcal{G}\), then \(R^1 f_*\mathcal{O}_X(mK_\mathcal{F}) = 0\), for all \(m \neq 0\). As a corollary, two birationally equivalent complete foliated surfaces \((X,\mathcal{F})\) and \((Y,\mathcal{G})\) with canonical singularities will have \(h^0(X,mK_\mathcal{F}) = h^0(Y,mK_\mathcal{G})\), for all \(m \geq 0\).
    0 references
    0 references
    0 references
    0 references
    0 references
    foliated surfaces
    0 references
    canonical models
    0 references
    boundedness
    0 references
    0 references
    0 references