Partially ample subvarieties of projective varieties (Q2181908): Difference between revisions

In the paper under review, the author studies \textit{partially ample subvarieties of projective varieties}. Let \(X\) be a projective scheme defined over an algebraically closed field \(\mathbb{k}\) of characteristic zero. Let \(Y\) be a closed subscheme, and assume that the maximal dimensional components are all at least \(1\) dimensional. Denote by \(\mathcal{I}_{Y}\) the sheaf of ideals defining \(Y\). Furthermore, we denote by \(\tilde{X} :=\mathrm{Bl}_{Y}(X) \xrightarrow{\sigma} X\) the blow-up of \(\mathcal{I}_{Y}\) and by \(E_{Y} \subset \tilde{X}\) the exceptional divisor. Finally, we define \[ \delta :=\mathrm{codim}_{X}(Y) =\min\{\mathrm{codim}_{X}(Y') \, | \, Y' \text{ irreducible component of } Y\}. \] We say that \(Y\) is \(q\)-ample if \(\mathcal{O}_{\tilde{X}}(E_{Y})\) is \((q+\delta-1)\)-ample. That is, for any coherent sheaf \(\tilde{\mathcal{F}}\) on \(\tilde{X}\) one has \[ H^{t}(\tilde{X}, \tilde{\mathcal{F}} \otimes \mathcal{O}_{\tilde{X}}(mE_{Y})) = 0 \, \text{ for all } \, t\geq q+\delta, \,\, m \geq \mathrm{const}(\tilde{\mathcal{F}}). \] We say that \(Y\) is \(p\)-positive if \(H^{t}(X, \mathcal{F} \otimes \mathcal{I}^{m}_{Y}) = 0\) for all \(t \leq p\) and \(m\geq\mathrm{const}(\mathcal{F})\) for all locally free sheaves \(\mathcal{F}\) on \(X\). The first main result of the paper is the following connectedness result inspired by a problem proposed by Fulton and Hansen in the late 1970s. Main Result. Let \(X,V\) be irreducible projective varieties and \(f : V \rightarrow X\) a morphism. Let \(Y\subset X\) be a closed subscheme. i) If \(f\) is surjective and \(\mathrm{codim} \, (X\setminus Y) \leq\dim X - 2\), then \(f^{-1}(Y)\) is connected. ii) Suppose \(Y\) is \((\dim f(V) + \dim(Y) - \dim(X)-1)\)-ample, then \(f^{-1}(Y)\) is connected and \(\pi_{1}^{\mathrm{alg}}(f^{-1}(Y)) \rightarrow \pi_{1}^{\mathrm{alg}}(V)\) is surjective. In the last section of the paper, the author studies partially ample subvarieties in the following situations: i) zero loci of sections in vector bundles, ii) sources of Białynicki-Birula decompositions, iii) subvarieties of rational homogeneous varieties.