Related papers: On codimension-two subcanonical varieties inside $…

We consider smooth codimension two subcanonical subvarieties in $\mathbb{P}^n$ with $n \geq 5$, lying on a hypersurface of degree $s$ having a linear subspace of multiplicity $(s-2)$. We prove that such varieties are complete intersections.…

We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a…

We show that for a smooth hypersurface $X\subset \bbP^n$ of degree at least 2, there exist arithmetically Cohen-Macaulay (ACM) codimension two subvarieties $Y\subset X$ which are not an intersection $X\cap{S}$ for a codimension two…

Developing a previous idea of Faltings, we characterize the complete intersections of codimension 2 in P^n, n>=3, over an algebraically closed field of any characteristic, among l.c.i. X, as those that are subcanonical and…

A projectively normal Calabi-Yau threefold $X \subseteq \mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete…

The purpose of this note is twofold. First, we give a quick proof of Ballico-Chiantini's theorem stating that a Fano or Calabi-Yau variety of dimension at least 4 in codimension two is a complete intersection. Second, we improve Barth-Van…

We study subvarieties of very general complete intersections $X\subset \mathbb{P}^n$ of multidegree $(d_1,\dots,d_c)$, when $d:= d_1+\dots +d_c$ is sufficiently large. In a seminal paper Ein proved that if $d\geq 2n-c-k+2$, any…

Let X\subsetneq\mathbb{P}_{\mathbb{C}}^{N} be an n-dimensional nondegenerate smooth projective variety containing an m-dimensional subvariety Y. Assume that either m>\frac{n}{2} and X is a complete intersection or that m\geq\frac{N}{2}, we…

We study Gorenstein liaison of codimension two subschemes of an arithmetically Gorenstein scheme X. Our main result is a criterion for two such subschemes to be in the same Gorenstein liaison class, in terms of the category of ACM sheaves…

Any smooth projective variety contains many complete intersection subvarieties with ample cotangent bundles, of each dimension up to half its own dimension.

A subscheme $X\subset \Bbb P^{n+3}$ of codimension $3$ is {\em Pfaffian} if it is the degeneracy locus of a skew-symmetric map $f:\cal{E}\spcheck(-t) @>>> \cal{E}$ with $\cal{E}$ a locally free sheaf of odd rank on $\Bbb P^{n+3}$. It is…

Let $X$ be a normal arithmetically Gorenstein scheme in ${\mathbb P}^n$. We give a criterion for all codimension two ACM subschemes of $X$ to be in the same Gorenstein biliaison class on $X$, in terms of the category of ACM sheaves on $X$.…

We present examples which show that in dimension higher than one or codimension higher than two, there exist toric ideals I_A such that no binomial ideal contained in I_A and of the same dimension is a complete intersection. This result has…

We prove that every local complete intersection curve in $Spec(A)$, where $A$ is a commutative Noetherian ring of dimension three, is a set-theoretic complete intersection. An analogous result is established for local complete intersection…

Let $k$ be a field and $V$ an $k$-vector space. For a family $\bar P=\{ P_i\}_{1\leq i\leq c}, $ of polynomials on $V$, we denote by $\mathbb X _{\bar P}\subset V$ the subscheme defined by the ideal generated by $ \bar P$. We show the…

We show that a Gorenstein subcanonical codimension 3 subscheme Z in X = P^N, N > 3, can be realized as the locus along which two Lagrangian subbundles of a twisted orthogonal bundle meet degenerately, and conversely. We extend this result…

It is known that the variety of pairs of n x n commuting upper triangular matrices isn't a complete intersection for infinitely many values of n; we show that there exists m such that this happens if and only if n > m. We also show that m <…

Recently it has been proved that any arithmetically Cohen-Macaulay (ACM) bundle of rank two on a general, smooth hypersurface of degree at least three and dimension at least four is a sum of line bundles. When the dimension of the…

We show that for every smooth generic projective hypersurface $X\subset\mathbb P^{n+1}$, there exists a proper subvariety $Y\subsetneq X$ such that $\operatorname{codim}_X Y\ge 2$ and for every non constant holomorphic entire map…

Let $X \subset \mathbb{P}^{n+c}$ be a nondegenerate smooth projective variety of dimension $n$ defined by quadratic equations. For such varieties, P. Ionescu and F. Russo proved the Hartshorne conjecture on complete intersections, which…