Symmetric differential forms on complete intersection varieties and applications

DOI10.1007/S00208-015-1332-7MaRDI QIDQ330854zbMATH OpenOpenAlexFDO

Publication date 26 October 2016

Published in Mathematische Annalen (Search for Journal in Brave)

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

ample cotangent bundle complete intersections symmetric differentials

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Complete intersections (14M10) Transcendental methods of algebraic geometry (complex-analytic aspects) (32J25) Hyperbolic and Kobayashi hyperbolic manifolds (32Q45)

Abstract: In this paper we study the cohomology of tensor products of symmetric powers of the cotangent bundle of complete intersection varieties in projective space. We provide an explicit description of some of those cohomology groups in terms of the equations defining the complete intersection. We give several applications. First we prove a non-vanishing result, then we give a new example illustrating the fact that the dimension of the space of holomorphic symmetric differential forms is not deformation invariant. Our main application is the construction of varieties with ample cotangent bundle, providing new results towards a conjecture of Debarre.

Review text

Let \(X\) be a complex projective manifold that is a general complete intersection in \(\mathbb P^N\). A well-known conjecture by Debarre claims that if \(\dim X \leq \mathrm{codim}_{\mathbb P^N} X\) and \(X\) is cut out by equations of sufficiently high degree, then the cotangent bundle \(\Omega_X\) is ample. In particular for \(m \gg 0\) the symmetric power \(S^m \Omega_X\) should have many global sections. The goal of this paper is to advance towards Debarre's conjecture by giving a description of the cohomology of \(S^l \Omega_X\) as subspaces of the vector spaces \(H^N(\mathbb P^N, S^m \tilde \Omega_{\mathbb P^N}(d))\), the description depending explicitly on the equations defining the submanifold \(X\). As a first consequence of this technical statement the author produces families of projective manifolds \(X_t\) such that for every \(m \geq 2\) the dimension of the space of symmetric differentials \(h^0(X_t, S^m \Omega_{X_t})\) is not constant in the family. This improves an example given by \textit{F. Bogomolov} and \textit{B. De Oliveira} [Geom. Funct. Anal. 18, No. 3, 637--656 (2008; Zbl 1170.14014)]. The main statement of the paper is that Debarre's conjecture holds for general complete intersections \(X \subset \mathbb P^N\) such that \(3 \dim X-2 \leq \mathrm{codim}_{\mathbb P^N} X\) which are cut out by equations of degree at least \(2N+3\). It is hard to overestimate the importance of this paper: developing further the approach of the author and \textit{L. Darondeau} [``Complete intersection varieties with ample cotangent bundles, Preprint, \url{arXiv:1511.04709}] and independently \textit{S.-Y. Xie} [``On the ampleness of the cotangent bundles of complete intersections, Preprint, \url{arXiv:1510.06323}] have recently proven results under the optimal assumption that \(\dim X \leq \mathrm{codim}_{\mathbb P^N} X\).

Recommendations

Cites work

Cited in

(24)

This page was built for publication: Symmetric differential forms on complete intersection varieties and applications

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