Higher dimensional tautological inequalities and applications

Picard-type theorems and generalizations for several complex variables (32H25) Value distribution theory in higher dimensions (32H30) Singularities of holomorphic vector fields and foliations (32S65)

Abstract: We study the degeneracy of holomorphic mappings tangent to holomorphic foliations on projective manifolds. Using Ahlfors currents in higher dimension, we obtain several strong degeneracy statements.

Review text

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.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Higher dimensional tautological inequalities and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377005)