Criteria for complete intersections

We prove that the space of smooth rational curves of degree $e$ in a general complete intersection of multidegree $(d_1, ..., d_m)$ in $\PP^n$ is irreducible of the expected dimension if $\sum_{i=1}^m d_i <\frac{2n}{3}$ and $n$ is large enough. This generalizes the results of Harris, Roth and Starr \cite{hrs}, and is achieved by proving that the space of conics passing through any point of a general complete intersection has constant dimension if $\sum_{i=1}^m d_i$ is small c...

Consider the Fano scheme $F_k(Y)$ parameterizing $k$-dimensional linear subspaces contained in a complete intersection $Y \subset \mathbb{P}^m$ of multi-degree $\underline{d} = (d_1, \ldots, d_s)$. It is known that, if $t := \sum_{i=1}^s \binom{d_i +k}{k}-(k+1) (m-k)\leqslant 0$ and $\Pi_{i=1}^sd_i >2$, for $Y$ a general complete intersection as above, then $F_k(Y)$ has dimension $-t$. In this paper we consider the case $t> 0$. Then the locus $W_{\underline{d},k}$ of all comp...

We prove that any quadratic complete intersection with certain action of the symmetric group has the strong Lefschetz property over a field of characteristic zero. As a consequence of it we construct a new class of homogeneous complete intersections with generators of higher degrees which have the strong Lefschetz property.

We prove a numerical characterization of $\mathbb{P}^n$ for varieties with at worst isolated local complete intersection quotient singularities. In dimension three, we prove such a numerical characterization of $\mathbb{P}^3$ for normal $\mathbb{Q}$-Gorenstein projective varieties.

This paper proves the existence of homeomorphic (diffeomorphic) complex 6-dimensional (7-dim) complete intersections that belong to components of the moduli space of different dimensions. These results are given as a supplement to earlier result on 5-dimensional complete intersections.

For some values of the degrees of the equations, we show, using geometric invariant theory, that the coarse moduli space of smooth complete intersections in P^N is quasi-projective. ----- Pour certaines valeurs des degres des equations, on montre, a l'aide de theorie geometrique des invariants, que l'espace de modules grossier des intersections completes lisses dans P^N est quasi-projectif.

A classical result of Boole shows that, in characteristic 0, the set of singular degree d hypersurfaces in P^N is a divisor of degree (N+1)(d-1)^N in the projective space of all hypersurfaces. We give here analogous formulae for complete intersections in P^N of arbitrary codimension and degrees, in any characteristic. ----- Un resultat classique de Boole montre que, sur un corps de caracteristique 0, l'ensemble des hypersurfaces singulieres de degre d dans P^N est un divi...

We prove in most cases that a general smooth complete intersection in projective space has no non-trivial automorphism.

This paper deals with properties of the algebraic variety defined as the set of zeros of a "typical" sequence of polynomials. We consider various types of "nice" varieties: set-theoretic and ideal-theoretic complete intersections, absolutely irreducible ones, and nonsingular ones. For these types, we present a nonzero "obstruction" polynomial of explicitly bounded degree in the coefficients of the sequence that vanishes if its variety is not of the type. Over finite fields, t...

We study the syzygies of a codimension two ideal I = <f_1,f_2,f_3> in k[x,y,z]. Our main result is that the module of syzygies vanishing (scheme-theoretically) at the zero locus Z = V(I) is generated by the Koszul syzygies iff Z is a local complete intersection. The proof uses a characterization of complete intersections due to Herzog. When I is saturated, we relate our theorem to results of Weyman and of Simis and Vasconcelos. We conclude with an example of how our theorem f...