Dominant rational maps in the category of log schemes
Let \(Y\) be a compact complex space of general type and \(X\) a Moishezon space. Then \textit{S. Kobayashi} and \textit{T. Ochiai} [Invent. Math. 31, 7--16 (1975; Zbl 0331.32020)] have shown that the set of dominant meromorphic maps from \(X\) to \(Y\) is finite. This was later generalized by \textit{M. Deschamps} and \textit{R. L. Menegaux} [Bull. Soc. Math. Fr. 106, 279--286 (1978; Zbl 0417.14007)] who showed that if \(X\) and \(Y\) are smooth projective varieties defined over a field \(k\) of any characteristic and \(Y\) is of general type, then the set of separable dominant rational maps from \(X\) to \(Y\) is finite. Furthermore, \textit{R. Tsushima} [Proc. Japan Acad., Ser. A 55, 95--100 (1979; Zbl 0443.14006)] showed finiteness in the case of open varieties. The paper under review generalizes the previous results in the category of log schemes. In particular, the following is shown. Let \(X\) and \(Y\) be proper varieties defined over an algebraically closed field \(k\), with at most normal crossing singularities. Let \(M_X\), \(M_Y\) and \(M_k\) be fine log structures on \(X\), \(Y\) and \(\mathrm{Spec}(k)\), respectively, such that there are log smooth integral maps \((X,M_X) \rightarrow (\mathrm{Spec}(k), M_k)\) and \((Y,M_Y) \rightarrow (\mathrm{Spec}(k), M_k)\). Moreover, assume that \((Y,M_Y)\) is of log general type over \(\mathrm{Spec}(k)\). Then the set of all log rational maps \((\phi, h) \colon (X,M_X) \dasharrow (Y,M_Y)\), over \((\mathrm{Spec}(k),M_k)\), that satisfy the following two properties, is finite: \begin{itemize}\item[1.] \(\phi \colon X \dasharrow Y\) is a rational map defined over a dense open set \(U\) such that \(\mathrm{codim}(X-U,X) \geq 2\); \item[2.] For any irreducible component \(X^{\prime}\) of \(X\), there is an irreducible component \(Y^{\prime}\) of \(Y\) such that \(\phi(X^{\prime}) \subset Y^{\prime}\) and the induced rational map \(\phi^{\prime} \colon X^{\prime} \dasharrow Y^{\prime}\) is dominant and separable. The main advantage of this result compared to the previous ones is that it allows \(X\) and \(Y\) to have normal crossing singularities.\end{itemize}
- scientific article; zbMATH DE number 18788
- scientific article; zbMATH DE number 754976
- Parametrization of rational maps on a variety of general type, and the finiteness theorem
- scientific article; zbMATH DE number 1353465
- Uniqueness of minimal morphisms of logarithmic schemes
- Algebro-geometric version of Nevanlinna’s lemma on logarithmic derivative and applications
- Boundedness of the space of stable logarithmic maps
- Rational curves on quasi-projective surfaces
- Rigid analytic Picard theorems
- Moduli spaces of holomorphic mappings into hyperbolically imbedded complex spaces and hyperbolic fibre spaces
- A generalization of the imbedding problem of an abstract variety in a complete variety
- Applications rationnelles séparables dominantes sur une variété de type général
- scientific article; zbMATH DE number 15725 (Why is no real title available?)
- scientific article; zbMATH DE number 43569 (Why is no real title available?)
- scientific article; zbMATH DE number 3570578 (Why is no real title available?)
- Log smooth deformation and moduli of log smooth curves.
- Logarithmic geometry and algebraic stacks
- Logarithmic structures of Fontaine-Illusie. II
- Meromorphic mappings onto compact complex spaces of general type
- Rational maps to varieties of hyperbolic type
- Resolution of singularities of an algebraic variety over a field of characteristic zero. I
- Smoothness, semi-stability and alterations
- Universal log structures on semi-stable varieties
This page was built for publication: Dominant rational maps in the category of log schemes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2482289)
