Kobayashi hyperbolic imbeddings into toric varieties (Q1945166)

The main purpose in the article under review is to characterize an algebraic divisor on an algebraic torus having complement Kobayashi hyperbolically imbedded in a toric projective variety. \smallskip Before stating the main result we need some necessary definitions and notations. Let \(N = \mathbb{Z}^r\) be a free module of rank \(r\) over \(\mathbb{Z}\), and let \(M=\mathrm{Hom}_\mathbb{Z}(N,\mathbb{Z})\) be the dual \(\mathbb{Z}\)-module of \(N\). Let \(T_N = \mathrm{Hom}_\mathbb{Z}(M,\mathbb{C}^*)\) be the \(r\)-dimensional algebraic torus. Let \(S\) be a finite subset of \(M\) and let \(D\) be a divisor on \(T_N\) defined by a Laurent polynomial \[ \sum_{I=(i_1,\dots, i_r)\in S} a_I z_1^{i_1}\cdots z_r^{i_r}, \quad a_I\in\mathbb{C}^*. \] Define moreover \[ \mathcal{L}_S=\big\{a-b\in M\otimes \mathbb{R}\mid a, b\in S\big\}, \] let \(V_S\) be an \(\mathbb{R}\)-vector subspace of \(M\otimes \mathbb{R}\) generated by all elements in \(\mathcal{L}_S\), and set \[ \mathcal{H}_S = \{H\subset V_S\mid H~\text{hyperplane of}~V_S~\text{generated by elements in}~\mathcal{L}_S\}. \] \smallskip Theorem 1. (main theorem) Let \(P\) be an integral convex polytope in \(M\otimes\mathbb{R}\) of dimension \(r\). Let \(S\) be a finite subset of \(M\) such that \(S\subset P\). Assume that the following conditions hold for all positive dimensional faces \(\tau\) of \(P\): {\parindent=35pt \smallskip\begin{itemize}\item[(i)] \(\tau\cap S\neq \emptyset\), and the dimension of the convex hull of \(\tau\cap S\) is equal to the dimension of \(\tau\); \smallskip\item[(ii)] if \(H\in \mathcal{H}_{\tau\cap S}\), \(\phi_H: V_{\tau\cap S} \to V_{\tau\cap S}/H\) is the canonical morphism, and \(x\in {\tau\cap S}\), then \(\mathrm{Card}\big\{\phi_H(y-x)\in V_{\tau\cap S}/H\;\big|\;y\in \tau\cap S\big\}\geq \dim \tau +1\) for all \(H\in \mathcal{H}_{\tau\cap S}\). \smallskip\end{itemize}} Then \(T_N\setminus \mathrm{supp} D\) is Kobayashi hyperbolically imbedded into the toric projective variety \(X\) associated to \(P\) for a general divisor \(D\) of the linear system \(\big|\{z_1^{i_1}\cdots z_r^{i_r}\}_{(i_1,\dots, i_r)\in S}\big|\) in \(T_N\). \smallskip As a corollary of the main theorem, the author proves in Corollary 1 that the complement of the union of \(n+1\) hyperplanes in \(\mathbb{P}^n(\mathbb{C})\) in general position and a general hypersurface of degree \(d\geq n\) in \(\mathbb{P}^n(\mathbb{C})\) is Kobayashi hyperbolically imbedded in \(\mathbb{P}^n(\mathbb{C})\). The author also constructs examples where the hypotheses of the main result hold. \smallskip Furthermore the author proves, in Theorem 2, that if an algebraic divisor \(D\) on \(T_N\) is the union of translations of subtori in \(T_N\), then there exists a toric projective variety into which \(T_N\setminus \mathrm{ supp} D\) is Kobayashi hyperbolically imbedded. As a corollary of Theorem 2, the author obtains a generalization of the classical big Picard theorem.