arXiv subjects
Publications and source records attributed to Philippe Ellia.
Let C \in P2 be a reduced, singular curve of degree d and equation f = 0. Let Σdenote the jacobian subscheme of C. We have 0 -> E -> 3.O -> I_Σ(d-1) -> 0 (the surjection is given by the partials of f). We study the relationships between the Betti numbers of the module H^0_*(E) and the integers, d; τ, where τ= deg(Σ). We observe that our results apply to any quasi-complete intersection of type (s; s; s).
We show that a normalized rank two vector bundle, E, on P2 splits if and only if h1(E(-1)) = 0. Using this fact we give another proof of a theorem of Chiantini and Valabrega. Finally we describe the normalized bundles with h1(E(-1)) <= 4.
A closed subscheme of codimension two $T \subset P^2$ is a quasi complete intersection (q.c.i.) of type $(a,b,c)$ if there exists a surjective morphism $\mathcal{O} (-a) \oplus \mathcal{O} (-b) \oplus \mathcal{O} (-c) \to \mathcal{I} _T$. We give bounds on deg$(T)$ in function of $a,b,c$ and $r$, the least degree of a syzygy between the three polynomials defining the q.c.i. As a by-product we recover a theorem of du Plessis-Wall on the global Tjurina number of plane curves and some other related results.
Fix positive integers d;m such that $(m^2+4m+6)/6 \leq d < (m^2+4m+6)/3$ (the so-called Range A for space curves). Let G(d;m) be the maximal genus of a smooth and connected curve, of degree d, $C \subset P^3$ such that $h^0(I_C(m-1)) = 0$. Here we prove that $G(d,m) = 1+(m-1)d -\binom{m+2}{3}$ if $m\ge 13.8\cdot 10^5$.
We prove the following statement, which has been conjectured since 1985: There exists a constant $K$ such that for all natural numbers $d,g$ with $g\le Kd^{3/2}$ there exists an irreducible component of the Hilbert scheme of $\mathbb{P}^3$ whose general element is a smooth, connected curve of degree $d$ and genus $g$ of maximal rank.
Let A be a k-vector space of dimension a. A subvector space M of End(A) is said to be of rank r if every non-zero f in M has rank r. The problem considered in this paper is to determine l(r;a) the maximal dimension of a rank r subspace of End(A). Known results are reviewed in the language of vector bundles. Some new results are proved and a conjecture is made.
We classify rank two vector bundles on P3 with Buchsbaum index equal to three and also give some results on the H1-module of "negative instanton"bundles.
Let E be a stable rank two normalized vector bundle on P3. If H is a general plane we show that h^0(E_H(1)) \leq 2+c_1. It follows that h^0(E(1)) \leq 2+c_1.
A multiple (loc. Cohen Macaulay) structure, X, on a space curve C in P3 is said to be primitive if X is locally contained in a smooth surface. We give numerical conditions for C to be a "primitive" set theoretic complete intersection (i.e. to have a primitive multiple structure which is a complete intersection).
We prove some results on the distance between two perfect numbers using Ramanujan-Nagell type equations.
We give necessary conditions on the invariants (d,g) of a smooth, integral curve self-linked by a complete intersection of type (a,b) in projective three space. Similar conditions are given for s.t.c.i. curves with a multiplicity three structure.
We determine the Chern classes of globally generated rank two vector bundles on P^2.
It is shown that there exist infinitely many triangular numbers (congruent to 3 mod 12) which cannot be the distance between two perfect numbers.
We characterize the minimal free resolution of zero-dimensional subschemes in the plane with non connected character. This is then used to slightly generalize a result of Sauer about the smoothability of a.C.M. space curves. Some complements are also given.
We classify rank two globally generated vector bundles on P^n, n > 2, with c_1 \leq 5. The classification is complete but for one case (n = 3, c_1 = 5, c_2 = 12)
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.
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.
It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear system with "simple base points" (see text) has degree at most 12.