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
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
foliated surfaces
0 references
canonical models
0 references
boundedness
0 references