Higher dimensional tautological inequalities and applications (Q2377005): Difference between revisions

The authors describe several facts concerning the geometry of subvarieties of varieties of general type. They consider holomorphic mappings \(f: \mathbb{C}^p \rightarrow X\) of generic maximal rank into a projective manifold \(X\) of dimension \(n\), \(1 \leq p \leq n-1\), such that the image of \(f\) is tangent to a holomorphic foliation \(\mathcal{F}\) on \(X\). They provide several results of algebraic degeneracy such as a proof of a generalized Green-Griffiths-Lang conjecture for threefolds with holomorphic foliations of codimension one. This conjecture in the general case is stated as Conjecture 1.5 of the paper. The proofs in the paper are supported in several tautological inequalities showed in Section 3, and an important object, corresponding to a big line \(L\) bundle on \(X\), is the so-called non-ample locus \(\text{Namp}\,(L):= \bigcap\, \mathrm{supp} (E)\), where the intersection runs over the decompositions of \(L\) as a sum of an ample and an effective divisor \(E\), up to \(\mathbb{Q}\)-linear equivalence. Next, we write some of the main results in the paper. Let \(\mathcal{F}\) be a smooth foliation of dimension \(p\) on the projective manifold of general type \(X\) with \( p \leq n \). Then, the image of any holomorphic mapping \(f\) of generic maximal rank tangent to \(\mathcal{F}\) is contained in \(\mathrm{Namp}\, (K_X) \subset X\). In addition, if one supposes \(\mathcal{F}\) of codimension one on a projective manifold \(X\), \(\mathrm{sing}\,( \mathcal{F})\) consists only of logarithmic simple singularities and the canonical line bundle \(K_\mathcal{F}\) of the foliation is big, then the above image is contained in \(\mathrm{Namp}\, (K_\mathcal{F}) \subset X\). Furthermore, the authors prove that if \(\mathcal{F}\) is a holomorphic foliation of codimension one on \(X\) of general type and \(\mathrm{sing}( \mathcal{F})\) consists only of canonical singularities with local first integrals, then the mentioned image is also contained \(\mathrm{Namp}\, (K_X) \subset X\). When \(X_d \subseteq \mathbb{P}^{n+1}\) is a smooth hypersurface of degree \(d > n+2\) and when \(\mathcal{F}\) is a holomorphic foliation of codimension one on \(X_d\) and \(\mathrm{sing}\,( \mathcal{F})\) consists only of canonical singularities with local first integrals, then there is no holomorphic mapping \(f: \mathbb{C}^{n-1} \rightarrow X_d\) of generic maximal rank tangent to \(\mathcal{F}\), and the same happens when \(\mathcal{F}_d\) is a holomorphic foliation of codimension one on \(\mathbb{P}^n\) of degree \(d \geq n\) such that \(\mathrm{sing}\,( \mathcal{F}_d)\) consists only of logarithmic simple singularities.