Twisted symmetric differentials and the quadric algebra of subvarieties of \(\mathbb{P}^N\) of low codimension
type: Item
instance of: scholarly article
title: Twisted symmetric differentials and the quadric algebra of subvarieties of \(\mathbb{P}^N\) of low codimension
zbMATH Open document ID: 1423.14269
author: Bruno De Oliveira
author: Christopher Langdon
published in: European Journal of Mathematics
publication date: 2019-06-26T00:00:00Z
review text: Let \(X \subset {\mathbb P}^N\) be a smooth complex non-denenerate projective variety and \(\Omega_X^1\) its cotangent bundle. The algebra \(Q(X,1)\) of twisted symmetric differentials is defined as \(\bigoplus_{m \in {\mathbb Z}}H^0(X, S^m[\Omega^1(1)])\), where \(S^m\) is standing for the \(m\)-symmetric power. In the paper under review it is shown (see Theorem 3.1) that if \(X \subset {\mathbb P}^N\) is a complete intersection and \(\dim X>\max\{1,2(N-1)/3\}\) then there exists a graded isomorphim between \(Q(X,1)\) and the so called quadric algebra \(QA(X)\), which is the algebra generated by quadratic polynomials vanishing at \(X\), i.e., \(QA(X)=\mathrm{Sym}(H^0({\mathbb P}^N, {\mathcal I}_X(2)))\). In view of Hartshorne's conjecture on complete intersection one can conjecture (see Conjecture 1.1) that the hypothesis of \(X \subset {\mathbb P}^N\) being a complete intersection can be dropped out. The authors prove this conjecture for codimension 2 and \(\dim X\geq 3\). The algebra \(Q(X,1)\) encodes (first order infinitesimal) information about the embedding \(X \subset {\mathbb P}^N\); in Theorem 2.12 it is shown that in the same range of dimensions \(n >\max\{1,2(N-1)/3\) the algebra \(Q(X,1)\) is in fact graded isomorphic to the subalgebra of \({\mathbb C}[X_0, \dots, X_N]\) generated by polynomials that are tangentially homogeneous relative to \(X\), which means that for all \(x \in X\) the polynomial is vanishing on a cone on the embedded tangent space to \(X\) at \(x\).
Mathematics Subject Classification ID: 14M07
Mathematics Subject Classification ID: 14N99
Mathematics Subject Classification ID: 14M10
zbMATH DE Number: 7073692
zbMATH Keywords: symmetric differentials
zbMATH Keywords: quadrics
zbMATH Keywords: trisecant variety
zbMATH Keywords: low codimension
reviewed by: Roberto Muñoz
describes a project that uses: Book3264Examples
MaRDI profile type: Publication
full work available at URL: s40879-018-0265-6
OpenAlex ID: W2886509806
cites work: Hyperbolicity of nodal hypersurfaces
cites work: Symmetric tensors and geometry of \({\mathbb{P}}^N\) subvarieties
cites work: Symmetric differential forms on complete intersection varieties and applications
cites work: Symmetric differentials and the fundamental group
cites work: Varieties with ample cotangent bundle
cites work: 3264 and all that. A second course in algebraic geometry
cites work: Ruled varieties. An introduction to algebraic differential geometry
cites work: Algebraic geometry and local differential geometry
cites work: Q3997201
cites work: Varieties of small codimension in projective space
cites work: Manifolds covered by lines and the Hartshorne Conjecture for quadratic manifolds
cites work: Smooth threefolds in \(\mathbb{P}^5\) without apparent triple or quadruple points and a quadruple-point formula
cites work: On degenerate secant and tangential varieties and local differential geometry
cites work: On projective varieties of codimension 2
cites work: On the geometry of some special projective varieties
cites work: Q5287194
cites work: Q3140224
DOI: 10.1007/S40879-018-0265-6
description: scientific article; zbMATH DE number 7073692