Complete intersection varieties with ample cotangent bundles (Q1645328): Difference between revisions

The main result of this paper is that in every smooth projective variety \(M\), for each \(n \leq \frac{1}{2} \dim(M)\) there exist smooth subvarieties of dimension \(n\) with ample cotangent bundle. To put it in perspective, it deserves to note that this fact is trivially true (with no conditions on \(n\)) if \(M\) itself has ample cotangent bundle, moreover it is true and sharp for \(M=\mathbb P^N\), due to a result of \textit{M. Schneider} [J. Algebr. Geom. 1, No. 2, 175--181, addendum 181 (1992; Zbl 0790.14009)], as well as if \(M\) is an abelian variety, due to a result of \textit{O. Debarre} [Compos. Math. 141, No. 6, 1445--1459 (2005; Zbl 1086.14038)]. A natural way to construct subvarieties with ample cotangent bundles of \(M\), suggested by adjunction formula, is to consider complete intersections of very ample divisors. For \(M=\mathbb P^N\) (whose cotangent bundle is anti-ample), arguing inductively on the number of hypersurfaces, the question is at which point the cotangent bundle may become ample. Debarre conjectured that the cotangent bundle of the intersection in \(\mathbb P^N\) of at least \(\frac{1}{2}N\) general hypersurfaces of sufficiently high degrees is ample. In the spirit of this conjecture, the authors prove the following more general theorem, which implies their main result. On a \(N\)-dimensional smooth projective variety \(M\), equipped with a very ample line bundle \(\mathcal O_M(1)\), if \(\frac{1}{2}N \leq c \leq N\), for each \(\delta:= (\delta_1, \dots, \delta_c) \in (\mathbb Z_{>0})^c\), there exists a rational number \(\nu(\delta)\) such that for all multidegrees \((d_1, \dots, d_c) = \nu \cdot (\delta_1, \dots, \delta_c)\) with \(\nu \in \mathbb Q\) and \(\nu \geq \nu(\delta)\), the complete intersection of general hypersurfaces \(H_i \in |\mathcal O_M(d_i)|\) (\(i=1, \dots , c\)) has ample cotangent bundle. As the authors point out, a similar result for \(M=\mathbb P^N\) has been recently proved, independently, by \textit{S.-Y. Xie} [``On the ampleness of the cotangent bundles of complete intersections'', Preprint, \url{arXiv:1510.06323}], who also provides a uniform lower bound on the \(d_i\)'s. The result obtained by the authors is in the vein of several previous ones in the literature, in the direction of the conjecture of Debarre, some of which are due to the first author.