arXiv subjects

Davide Franco

Publications and source records attributed to Davide Franco.

42 records · Page 3Linked to original sources

arXiv2006

Smooth Divisors of Projective Hypersurfaces

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 positivity of N_X(-1) (where N_X is the normal bundle of X in P^n). We get a series of (n-3) inequalities; the first one of which being in the paper of Ellingsrud-Peskine, the second was obtained in a preliminary version (arXiv:math.AG/0406497) by an essentially equivalent but more geometric argument. Then we first derive two consequences: 1) roughly speaking, (Thm. 2.1, Remark 2.2) the family of "biliaison classes" of smooth subvarieties of P^5 lying on a hypersurface of degree s is limited; 2) the family of smooth codimension two subvarieties of P^6 lying on a hypersurface of degree s is limited (Thm. 1.4). The result quoted in 1) is not effective, but 2) is. In the last section we try to obtain precise inequalities connecting the usual numerical invariants of a smooth subcanonical subvariety X of P^n, n\geq 5 (the degree d, the speciality index e, the least degree, s, of an hypersurface containing X). In particular we prove (Thm. 3.12): s\geq n+1.

math.AG↗

arXiv2006

Factoriality and Neron-Severi groups of a projective codimension two complete intersection with isolated singularities

For a projective variety $Z$ and for any integer $p$, define the $p$-th Néron-Severi group $NS_p(Z)$ of $Z$ as the image of the cycle map $A_{p}(Z)\to H_{2p}(Z; \mathbb{C})$. Now let $X\subset \Ps^{2m+1}$ ($m\geq 1$) be a projective variety of dimension $2m-1$, with isolated singularities, complete intersection of a smooth hypersurface of degree $k$, with a hypersurface of degree $n>max\{k, 2m+1\}$, and let $F$ be a general hypersurface of degree $n$ containing $X$. We prove that the natural map $NS_m(X)\to NS_m(F)$ is surjective, and that if $dim NS_m(F)=1$ then $dim NS_m(X)=1$. In particular $dim NS_m(X)=1$ if and only if $dim NS_m(F)=1$. When $X$ is a threefold (i.e. $m=2$) we deduce a new characterization for the factoriality of $X$, i.e. that $X$ is factorial if and only if $dim NS_2(F)=1$. This allows us to give examples of factorial threefolds, in some case with many singularities. During the proof of the announced results, we show that the quotient of the middle cohomology of $F$ by the cycle classes coming from $X$ is irreducible under the monodromy action induced by the hypersurfaces of degree $n$ containing $X$. As consequences we deduce a Noether-Lefschetz Theorem for a projective complete intersection with isolated singularities, and, also using a recent result on codimension two Hodge conjecture, in the case $X\subset \Ps^{5}$ is a threefold as before, we deduce that the general hypersurface $F$ of degree $n$ containing $X$ verifies Hodge conjecture.

math.AG↗

arXiv2005

A speciality theorem for curves in $\bold P^5$

Let $C\subset \bold P^r$ be an integral projective curve. One defines the speciality index $e(C)$ of $C$ as the maximal integer $t$ such that $h^0(C,ω_C(-t))>0$, where $ω_C$ denotes the dualizing sheaf of $C$. Extending a classical result of Halphen concerning the speciality of a space curve, in the present paper we prove that if $C\subset \bold P^5$ is an integral degree $d$ curve not contained in any surface of degree $< s$, in any threefold of degree $ >s>>t>>u\geq 1$, then $ e(C)\leq {\frac{d}{s}}+{\frac{s}{t}}+{\frac{t}{u}}+u-6. $ Moreover equality holds if and only if $C$ is a complete intersection of hypersurfaces of degrees $u$, ${\frac{t}{u}}$, ${\frac{s}{t}}$ and ${\frac{d}{s}}$. We give also some partial results in the general case $C\subset \bold P^r$, $r\geq 3$.

math.AG↗

arXiv2000

Gherardelli linkage and complete intersections

Our main theorem characterizes the complete intersections of codimension 2 in a projective space of dimension 3 or more over an algebraically closed field of characteristic 0 as the subcanonical and self-linked subschemes. In order to prove this theorem, we'll prove the Gherardelli linkage theorem, which asserts that a partial intersection of two hypersurfaces is subcanonical if and only if its residual intersection is, scheme-theoretically, the intersection of the two hypersurfaces with a third.

math.AG↗

arXiv1999

On codimension two subvarieties of P6

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.

math.AG↗

arXiv1993

\bf A Borel-Weil-Bott approach to representations of $\slq$

We use a quite concrete and simple realization of $\slq$ involving finite difference operators. We interpret them as derivations (in the non-commutative sense) on a suitable graded algebra, which gives rise to the double of the projective line as the non commutative version of the standard homogeneous space.

hep-th↗