Grothendieck-Lefschetz for ample subvarieties

DOI10.1007/S00209-020-02693-4MaRDI QIDQ2118182zbMATH OpenOpenAlexFDO

Authors Tommaso de Fernex, Chung-Ching Lau

Publication date 22 March 2022

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.10385

zbMATH Keywords

abelian variety ample subvariety Picard group

Mathematics Subject Classification ID

Picard groups (14C22) Vanishing theorems in algebraic geometry (14F17) Subvarieties of abelian varieties (14K12)

Abstract: We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small cohomological dimension. A weaker statement is also proved in a more general context and in all characteristics. Several applications are included.

Review text

In the paper under review, the authors establish a Grothendieck-Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero, and they provide several interesting applications. Definition. Let \(q\) be a non-negative integer. A line bundle \(\mathcal{L}\) on an \(n\)-dimensional projective variety \(X\) over a field \(\Bbbk\) is said to be respectively i) \(q\)-\(T\)-ample if for a given ample line bundle \(\mathcal{O}_{X}(1)\) on \(X\) and for some positive integer \(N\) we have \(H^{i+q}(X, \mathcal{L}^{\otimes N}(-n-i)) = 0\) for \(1 \leq i \leq n-q\); ii) naively \(q\)-ample if for every coherent sheaf \(\mathcal{F}\) on \(X\) we have \(H^{i}(X, \mathcal{F} \otimes \mathcal{L}^{\otimes m})=0\) for all \(i>q\) and all \(m\) sufficiently large depending on \(\mathcal{F}\); iii) uniformly \(q\)-ample if there exists a constant \(\lambda >0\) such that for every coherent sheaf \(\mathcal{F}\) on \(X\) we have \(H^{i}(X, \mathcal{L}^{\otimes m}(-j))=0\) for all \(i>q\), \(j>0\), and \(m\geq \lambda j\). In characteristic zero, we say that \(\mathcal{L}\) is \(q\)-ample if it satisfies any of the above three conditions. Definition. Let \(X\) be a projective variety over a field of characteristic zero. A closed subscheme \(Y \subset X\) of codimension \(r>0\) is said to be ample if the exceptional divisor \(E\) of the blow-up of \(X\) along \(Y\) is \((r-1)\)-ample. The first main result of the paper under review can be formulated as follows. Theorem A. Let \(X\) be a smooth \(n\)-dimensional projective variety defined over an algebraically closed field of characteristic zero, and let \(Y \subset X\) be a smooth subvariety. i) If the cohomological dimension \(\mathrm{cd}(X \setminus Y) \leq n-3\), then the restriction map \(\mathrm{Pic}(X) \rightarrow \mathrm{Pic}(Y)\) is injective and induces an isomorphism \(\mathrm{Pic}^{0}(X) \cong \mathrm{Pic}^{0}(Y)\). ii) If the cohomological dimension \(\mathrm{cd}(X \setminus Y) < n-3\), then the map \(\mathrm{Pic}(X) \rightarrow \mathrm{Pic}(Y)\) has finite cokernel. The main ingredient in the proof of Theorem A is the following torsion-freeness property. Theorem B. Let \(X\) be an \(n\)-dimensional projective variety defined over an algebraically closed field, and let \(Y \subset X\) be a positive-dimensional closed subscheme. Assume that the cohomological dimension \(\mathrm{cd}(X \setminus Y) < n-1\). Then the kernel of the restriction map \(\mathrm{Pic}(X) \rightarrow\mathrm{Pic}(Y)\) is torsion free. As an easy application of Theorem A, the authors provide an easy generalization of a result due to Sommese. Corollary. Abelian varieties of dimension \(\geq 2\) defined over an algebraically closed field of characteristic zero cannot be realized as ample subvarieties of any smooth projective variety. Based on Theorem B, the authors also show the following result. Theorem C. Let \(X\) be an abelian variety defined over an algebraically closed field of characteristic zero and \(Y \subset X\) a smooth subvariety of codimension \(r\) with ample normal bundle. Then any surjective morphism \(\pi : Y \rightarrow Z\) with \(\dim Y -\dim \, Z > r\) extends uniquely to a morphism \(\tilde{\pi}: Y \rightarrow X\) and the Stein factorization of \(\tilde{\pi}\) is, up to translation, a quotient morphism of abelian varieties \(X \rightarrow X / B\) composed with a finite surjective map \(X / B \rightarrow Z\).

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Grothendieck-Lefschetz for ample subvarieties

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