Kobayashi hyperbolic imbeddings into toric varieties
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.
- scientific article; zbMATH DE number 3925266
- Kobayashi hyperbolicity of the complements of ample divisors in abelian varieties
- Kobayashi hyperbolicity of the complements of general hypersurfaces of high degree
- Curves in quadric and cubic surfaces whose complements are Kobayashi hyperbolically imbedded
- On the logarithmic Kobayashi conjecture
This page was built for publication: Kobayashi hyperbolic imbeddings into toric varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1945166)
