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 also give a little improvement to some earlier results on the non existence of rank two vector bundles on $\mathbb{P}^4$ with small Chern classes.
In this paper we extend the properties of ordinary points of curves [10] to ordinary closed points of one-dimensional affine reduced schemes and then to ordinary subvarieties of codimension one.
We extend results of our previous papers, on ordinary multiple points of curves, and on the computation of their conductor, to ordinary multiple subvarieties of codimension one.
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 hyperquartic, then X is a complete intersection.
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 subvariety $S\subset\bbP^n$. We also show there exist $Y\subset X$ as above for which the normal bundle sequence for the inclusion $Y\subset X\subset\bbP^n$ does not split.
We prove Bertini type theorems for the inverse image, under a proper morphism, of any Schubert variety in an homogeneous space. Using generalisations of Deligne's trick, we deduce connectedness results for the inverse image of the diagonal in $X^2$ where $X$ is any isotropic grassmannian. We also deduce simple connectedness properties for subvarieties of $X$. Finally we prove transplanting theorems {à} la Barth-Larsen for the Picard group of any isotropic grassmannian of lines and for the Neron-Severi group of some adjoint and coadjoint homogeneous spaces.
We introduce a method to determine if n-dimensional smooth subvarieties of an ambient space of dimension at most 2n − 2 inherit the Picard group from the ambient space (as it happens when the ambient space is a projective space, according to results of Barth and Larsen). As an application, we give an affirmative answer (up to some mild natural numerical conditions) when the ambient space is a Grassmannian of lines (thus improving results of Barth, Van de Ven and Sommese) or a product of two projective spaces of the same dimension.
We investigate a method proposed by E. Arrondo and J. Caravantes to study the Picard group of a smooth low-codimension subvariety X in a variety Y when Y is homogeneous. We prove that this method is strongly related to the signature σ_Y of the Poincare pairing on the middle cohomology of Y. We give under some topological assumptions a bound on the rank of Picard group Pic(X) in terms of σ_Y and remove these assumptions for grassmannians to generalise the main result of E. Arrondo and J. Caravantes.
We make precise the structure of the first two reduction morphisms associated with codimension two nonsingular subvarieties of quadrics $\Q{n}$, $n\geq 5$. We give a coarse classification of the same class of subvarieties when they are assumed to be not of log-general-type. Keywords: Adjunction Theory, classification, codimension two, conic bundles, low codimension, non log-general-type, quadric, reduction, special variety
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 show deg(X)|deg(Y) and codim_{span(Y)}Y\geq codim_{\mathbb{P}^{N}}X, where span(Y) is the linear span of Y. These bounds are sharp. As an application, we classify smooth projective n-dimensional quadratic varieties swept out by m\geq[\frac{n}{2}]+1 dimensional quadrics passing through one point.
Fix integers $a\geq 1$, $b$ and $c$. We prove that for certain projective varieties $V\subset{\bold P}^r$ (e.g. certain possibly singular complete intersections), there are only finitely many components of the Hilbert scheme parametrizing irreducible, smooth, projective, low codimensional subvarieties $X$ of $V$ such that $$ h^0(X,\Cal O_X(aK_X-bH_X)) \leq λd^{ε_1}+c(\sum_{1\leq h < ε_2}p_g(X^{(h)})), $$ where $d$, $K_X$ and $H_X$ denote the degree, the canonical divisor and the general hyperplane section of $X$, $p_g(X^{(h)})$ denotes the geometric genus of the general linear section of $X$ o…
Let $X$ be a codimension two nonsingular subvariety of a nonsingular quadric $\Q{n}$ of dimension $n\geq 5$. We classify such subvarieties when they are scrolls. We also classify them when the degree $d\leq 10$. Both results were known when $n=4$. Keywords: Classification; liaison; low codimension; low degree; quadric; scroll; vector bundle
We prove that there are only finitely many families of codimension two nonsingular subvarieties of quadrics $\Q{n}$ which are not of general type, for $n=5$ and $n\geq 7$. We prove a similar statement also for the case of higher codimension. The case $n=6$ has been recently settled by Fania-Ottaviani. Keywords: Codimension two, Grassmannians, Lifting, Low codimension, Not of General Type, Polynomial Bound, Quadrics
We give examples of infinitely extendable (not as cones) arithmetically Cohen-Macaulay and arithmetically Gorenstein subvarieties of projective spaces and which are not complete intersections. The proof uses the computation of the dimension of the Hilbert scheme of codimension $2$ subschemes of projective spaces due to G. Ellingsrud and of arithmetically Gorenstein codimension $3$ subschemes due to J. O. Kleppe and R.-M. Miró-Roig.
In this paper, we introduce a notion of adjoint ideal sheaves along closed subvarieties of higher codimension and study its local properties using characteristic $p$ methods. When $X$ is a normal Gorenstein closed subvariety of a smooth complex variety $A$, we formulate a restriction property of the adjoint ideal sheaf $\adj_X(A)$ of $A$ along $X$ involving the l.c.i. ideal sheaf $\mathcal{D}_X$ of $X$. The proof relies on a modification of generalized test ideals of Hara and Yoshida.
A general method to express in terms of Gauss sums the number of rational points of subschemes of projective schemes over finite fields is applied to the image of the triple embedding $\mathbb{P}^1\hookrightarrow\mathbb{P}^3$. As a consequence, we obtain a non-trivial description of the value of a Kloosterman-sum-like exponential sum.
We give the first examples of nef line bundles on smooth projective varieties over finite fields which are not semi-ample. More concretely, we find smooth curves on smooth projective surfaces over finite fields such that the normal bundle has degree zero, but no positive multiple of the curve moves in a family of disjoint curves. This answers questions by Keel and Mumford. The proof uses an obstruction theory, in the spirit of homotopy theory, which links the infinitely many obstructions to moving higher and higher multiples of a given codimension-one subvariety. On 3-folds over a finite field…
Let $V$ be a subvariety of codimension $\leq g$ of the moduli space $\cA_g$ of principally polarized abelian varieties of dimension $g$ or of the moduli space $\tM_g$ of curves of compact type of genus $g$. We prove that the set $E_1(V)$ of elements of $V$ which map onto an elliptic curve is analytically dense in $V$. From this we deduce that if $V \subset \cA_g$ is complete, then $V$ has codimension equal to $g$ and the set of elements of $V$ isogenous to a product of $g$ elliptic curves is countable and analytically dense in $V$. We also prove a technical property of the conormal sheaf of $V…
We study subvarieties of a general projective degree $d$ hypersurface $X_d\subset \mathbf P^n$. Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety of a general hypersurface $X_{d}\subset {\mathbf P}^n$, for $n\geq 6$ and $d\geq 2n-2$, is of general type.
We construct a new 20-dimensional family of projective 6-dimensional irreducible holomorphic symplectic manifolds. The elements of this family are deformation equivalent with the Hilbert scheme of three points on a K3 surface and are constructed as natural double covers of special codimension 3 subvarieties of the Grassmanian G(3,6). These codimension 3 subvarieties are defined as Lagrangian degeneracy loci and their construction is parallel to that of EPW sextics, we call them the EPW cubes. As a consequence we prove that the moduli space of polarized IHS sixfolds of K3-type, Beauville-Bogomo…
Arrondo, Sols and De Cataldo proved that there are only finitely many families of codimension two subvarieties not of general type in the smooth quadric of dimension $n+2$ for $n\ge 2 $, $n\neq 4$. In this paper we drop the assumption $n\neq 4$ from the previous result (obviously the assumption $n\ge 2$ cannot be removed).
We consider generic degenerate subvarieties $X_i\subset\mathbb{P}^n$. We determine an integer $N$, depending on the varieties, and for $n\geq N$ we compute dimension and degree formulas for the Hadamard product of the varieties $X_i$. Moreover, if the varieties $X_i$ are smooth, their Hadamard product is smooth too. For $n<N$, if the $X_i$ are generically $d_i$-parameterized, the dimension and degree formulas still hold. However, the Hadamard product can be singular and we give a lower bound for the dimension of the singular locus.
We exhibit infinitely many extremal effective codimension-$k$ cycles in $\overline{\mathcal{M}}_{g,n}$ in the cases $g\geq 3, n\geq g-1$ and $k=2$, $g\geq 2$, $k\leq n-g,g,$ and $g=1$, $k\leq n-2$. Hence in these cases the effective cone is not rational polyhedral.
We prove a conjecture of Gavril Farkas claiming that for all integers r \geq 2 and g \geq \binom{r+2}{2} there exists a component of the locus \mathcal{S}^r_g of spin curves with a theta characteristic L such that h^0(L) \geq r+1 and h^0(L)\equiv r+1 (mod 2) which has codimension \binom{r+1}{2} inside the moduli space \mathcal{S}_g of spin curves of genus g.
We prove that for all integers $r \geq 2$ and $g \geq \lfloor \frac{r^2+10r+1}{4} \rfloor$ there exists a component of the locus $\mathcal{S}^r_g$ of spin curves with a theta characteristic $L$ such that $h^0(L) \geq r+1$ and $h^0(L)\equiv r+1 (\text{mod} 2)$ which has expected codimension $\binom{r+1}{2}$ inside the moduli space $\mathcal{S}_g$ of spin curves of genus $g$.
We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of surfaces of degree d lying on a hypersurface of degree s varies in an interval of length \frac{d(s-1)^2}{2s}. The aim of the present paper is to show that for smooth codimension two subvarieties of P^n, n\geq 5, one can get a similar result with an interval whose length depends only on s. The main point is Lemma 1.1 whose proof is a direct application of the posi…
We study the geometry of $3$-codimensional smooth subvarieties of the complex projective space. In particular, we classify all quasi-Buchsbaum Calabi--Yau threefolds in projective $6$-space. Moreover, we prove that this classification includes all Calabi--Yau threefolds contained in a possibly singular 5-dimensional quadric as well as all Calabi--Yau threefolds of degree at most $14$ in $\mathbb{P}^6$.
We study Shimura subvarieties of $\mathsf{A}_g$ obtained from families of Galois coverings $f: C \rightarrow C'$ where $C'$ is a smooth complex projective curve of genus $g' \geq 1$ and $g= g(C)$. We give the complete list of all such families that satisfy a simple sufficient condition that ensures that the closure of the image of the family via the Torelli map yields a Shimura subvariety of $\mathsf{A}_g$ for $g' =1,2$ and for all $g \geq 2,4$ and for $g' > 2$ and $g \leq 9$. In a previous work of the first and second author together with A. Ghigi [FGP] similar computations were done in the c…
The space of holomorphic foliations of codimension one and degree $d\geq 2$ in $\mathbb{P}^n$ ($n\geq 3$) has an irreducible component whose general element can be written as a pullback $F^*\mathcal{F}$, where $\mathcal{F}$ is a general foliation of degree $d$ in $\mathbb{P}^2$ and $F:\mathbb{P}^n\dashrightarrow \mathbb{P}^2$ is a general rational linear map. We give a polynomial formula for the degrees of such components.
We consider Calabi-Yau $n$-folds $X$ arising from certain hyperplane arrangements. Using Fu-Vial's theory of distinguished cycles for varieties with motive of abelian type, we show that the subring of the Chow ring of $X$ generated by divisors, Chern classes and intersections of subvarieties of positive codimension injects into cohomology. We also prove Voisin's conjecture for $X$, and Voevodsky's smash-nilpotence conjecture for odd-dimensional $X$.
We give examples of subcanonical subvarieties of codimension 3 in projective n-space which are not Pfaffian, i.e. defined by the ideal sheaf of submaximal Pfaffians of an alternating map of vector bundles. This gives a negative answer to a question asked by Okonek. Walter had previously shown that a very large majority of subcanonical subschemes of codimension 3 in P^n are Pfaffian, but he left open the question whether the exceptional non-Pfaffian cases actually occur. We give non-Pfaffian examples of the principal types allowed by his theorem, including (Enriques) surfaces in P^5 in characte…
Two birational subvarieties of P^n are called Cremona equivalent if there is a Cremona modification of P^n mapping one to the other. If the codimension of the varieties is at least 2 then they are always Cremona Equivalent. For divisors the question is much more subtle and a general answer is unknown. In this paper I study the case of rational quartic surfaces and prove that they are all Cremona equivalent to a plane.
Let $X$ be a submanifold of dimension $n$ of the complex projective space $\mathbb P^N$ ($n<N$), and let $E$ be a vector bundle of rank two on $X$ . If $n\geq\frac{N+3}{2}\geq 4$ we prove a geometric criterion for the existence of an extension of $E$ to a vector bundle on the first order infinitesimal neighborhood of $X$ in $\mathbb P^N$ in terms of the splitting of the normal bundle sequence of $Y\subset X\subset\mathbb P^N$, where $Y$ is the zero locus of a general section of a high twist of $E$. In the last section we show that the universal quotient vector bundle on the Grassmann variety $…
Let $X$ be a codimension 1 subvariety of dimension $>1$ of a variety of minimal degree $Y$. If $X$ is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then $X$ is Arithmetically Gorenstein and we characterise such subvarieties $X$ of $Y$ via apolarity as those whose apolar hypersurfaces are Fermat.
We study the lowest dimensional open case of the question whether every arithmetically Cohen--Macaulay subscheme of $\mathbb{P}^N$ is glicci, that is, whether every zero-scheme in $\mathbb{P}^3$ is glicci. We show that a set of $n \geq 56$ points in general position in $\PP^3$ admits no strictly descending Gorenstein liaison or biliaison. In order to prove this theorem, we establish a number of important results about arithmetically Gorenstein zero-schemes in $\mathbb{P}^3$.
In this paper the codimension of the complement to the set of factorial hypersurfaces of degree $d$ in ${\mathbb P}^N$ is estimated for $d\geqslant 4$, $N\geqslant 7$.
The purpose of this paper is to prove the following theorem of uniform Artin-Rees properties: Let $A$ be an excellent (in fact J-2) ring and let $N\subset M$ be two finitely generated $A$-modules such that ${\rm dim}(M/N)\leq 1$. Then there exists an integer $s\geq 1$ such that, for all integers $n\geq s$ and for all ideals $I$ of $A$, $I^{n}M\cap N=I^{n-s}(I^{s}M\cap N)$.
We construct families of non-toric $\mathbb{Q}$-factorial terminal Fano ($\mathbb{Q}$-Fano) threefolds of codimension $\geq 20$ corresponding to 54 mutation classes of rigid maximally mutable Laurent polynomials. From the point of view of mirror symmetry, they are the highest codimension (non-toric) $\mathbb{Q}$-Fano varieties for which we can currently establish the Fano/Landau-Ginzburg correspondence. We construct 46 additional $\mathbb{Q}$-Fano threefolds with codimensions of new examples ranging between 19 and 10. Some of these varieties will be presented as toric complete intersections, a…
Let $\mathcal{F}$ be written as $ f^{*}\mathcal{G}$, where $\mathcal{G}$ is a foliation in $ {\mathbb P^2}$ with three invariant lines in general position, say $(XYZ)=0$, and $f:{\mathbb P^n}--->{\mathbb P^2}$, $f=(F^α_{0}:F^β_{1}:F^γ_{2})$ is a nonlinear rational map. Using local stability results of singular holomorphic foliations, we prove that: if $n\geq 3$, the foliation $\mathcal{F}$ is globally stable under holomorphic deformations. As a consequence we obtain new irreducible componentes for the space of codimension one foliations on $\mathbb P^n$. We present also a result which characte…
We consider holomorphic foliations of dimension $k>1$ and codimension $\geq 1$ in the projective space $\mathbb{P}^n$, with a compact connected component of the Kupka set. We prove that, if the transversal type is linear with positive integers eigenvalues, then the foliation consist on the fibers of a rational fibration. As a corollary, if $\mathcal{F}$ is a foliation such that $dim(\mathcal{F})\geq cod(\mathcal{F})+2$ and has transversal type diagonal with different eigenvalues, then the Kupka component $K$ is a complete intersection and we get the same conclusion. The same conclusion holds i…
We generalise the operations of augmentation and concatenations in order to obtain multigerms of analytic (or smooth) maps $(\mathbb K^n,S)\rightarrow(\mathbb K^p,0)$ with $\mathbb K=\mathbb C$ or $\mathbb R$ from monogerms and some special multigerms. We then prove that any corank 1 codimension 2 multigerm in Mather's nice dimensions $(n,p)$ with $n\geq p-1$ can be constructed using augmentations and these operations.
It has been conjectured that {\it all} graded Artinian Gorenstein algebras of codimension three have the weak Lefschetz property over a field of characteristic zero. In this paper, we study the weak Lefschetz property of associated graded algebras $A$ of the Apéry set of $M$-pure symmetric numerical semigroups generated by four natural numbers. In 2010, Bryant proved that these algebras are graded Artinian Gorenstein algebras of codimension three. In a recent article, Guerrieri showed that if $A$ is not a complete intersection, then $A$ is of form $A=R/I$ with $R=K[x,y,z]$ and \begin{align*} I…
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 existence of $γ(c,d)$ such that the varieties $\mathbb X_{\bar P}$ are smooth outside of codimension $m$, if deg$(P_i)\leq d$ and rank (strength) $r_{nc}(\bar P)\geq γ(d,c) (1+m)^{γ(d,c)}$.
