Dominant rational maps in the category of log schemes (Q2482289)

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}