A note on symbolic and ordinary powers of homogeneous ideals

In this note we are interested in the graded modulesM _k=I^(k)/I^k and , whereI is a saturated ideal in the homogeneous coordinate ringS=K[x₀,…,x_n] of ℙⁿ,I ^(k) is the symbolic power and is the saturation of the ordinary power. Very little is known about these modules, and we provide a bound on their diameters, we compute the Hilbert functions and we study some characteristic submodules in the special case ofn+1 general points in ℙⁿ.

---

Sunto In questa nota siamo interessati ai moduli graduatiM _k=I(k)/I^k e , doveI è un ideale saturato nell'anello delle coordinate omogeneeS:=K[x₀,…,x_n] di ℙⁿ,I ^(k) è la potenza simbolica e è la saturazione della potenza ordinaria. Poco è noto su questi moduli e qui viene fornito un limite superiore ai loro diametri. Ne calcoliamo inoltre le funzioni di Hilbert e studiamo alcuni sottomoduli caratteristici nel caso speciale din+1 punti in posizione generale, in ℙⁿ.

     

On the divisor class group of double solids

For a double solid V→ℙ_3> branched over a surface B⊂ℙ₃(ℂ) with only ordinary nodes as singularities, we give a set of generators of the divisor class group in terms of contact surfaces of B with only superisolated singularities in the nodes of B. As an application we give a condition when H ^* (˜V , ℤ) has no 2-torsion. All possible cases are listed if B is a quartic. Furthermore we give a new lower bound for the dimension of the code of B. Received: 16 November 1998     

On the Lüroth semigroup of curves lying on a smooth quadric

For a smooth irreducible complete algebraic curveC the “gaps” are the integersn such that every linear series of degreen has at least a base point. The Lüroth semigroup S_C of a curveC is the subsemigroup ofN whose elements are not gaps. In this paper we deal with irreducible smooth curves of type (a, b) on a smooth quadricQ. The main result is an algorithm by which we can say if some integer λ∈N is a gap or is in S_C. In the general case there are integers λ which are undecidable. For curves such as complete intersection, arithmetically Cohen-Macaulay or Buchsbaum, we are able to describe explicitly “intervals” of gaps and “intervals” of integers which belong to S_C. For particular cases we can completely determine S_C, by giving just the type of the curve (in particular the degree and the genus). Work done with financial support of M.U.R.S.T. while the authors were members of G.N.S.A.G.A. of C.N.R.     

A linear bound on the Euler number of threefolds of Calabi–Yau and of general type

Let X⊂ℙ ^N be either a threefold of Calabi–Yau or of general type (embedded with r K _X ). In this article we give lower and upper bounds, linear on the degree of X and N, for the Euler number of X. As a corollary we obtain the boundedness of the region described by the Chern ratios of threefolds with ample canonical bundle and a new upper bound for the number of nodes of a complete intersection threefold. Received: 26 April 2000 / Revised version: 20 November 2000     

Higher syzygies of hyperelliptic curves

Let X be a hyperelliptic curve of arithmetic genus g and let f:X→P¹ be the hyperelliptic involution map of X. In this paper we study higher syzygies of linearly normal embeddings of X of degree d≤2g. Note that the minimal free resolution of X of degree ≥2g+1 is already completely known. Let A=f^∗O_P¹(1), and let L be a very ample line bundle on X of degree d≤2g. For , we call the pair (m,d−2m)the factorization type ofL. Our main result is that the Hartshorne-Rao module and the graded Betti numbers of the linearly normal curve embedded by |L| are precisely determined by the factorization type of L.     

Infinitesimal extensions of ℙ1 and their Hilbert schemes

 In order to calculate the multiplicity of an isolated rational curve C on a local complete intersection variety X, i.e. the length of the local ring of the Hilbert Scheme of X at [C], it is important to study infinitesimal neighborhoods of the curve in X. This is equivalent to infinitesimal extensions of ℙ¹ by locally free sheaves. In this paper we study infinitesimal extensions of ℙ¹, determine their structure and obtain upper and lower bounds for the length of the local rings of their Hilbert schemes at [ℙ¹]. Received: 11 June 2001 / Revised version: 28 January 2002     

Parametrization of the orbits of cubic surfaces

The aim of the paper is the study of the orbits of the action of PGL₄ on the space ³ of the cubic surfaces of ³, i.e., the classification of cubic surfaces up to projective motions. A varietyQ¹⁹ is explicitely constructed as the union of 22 disjoint irreducible components which are either points or open subsets of linear spaces. More precisely, each orbit of the above action intersects one componentX ofQ in a finite number of points and the action of PGL₄ restricted on each componentX is equivalent to the action of a finite groupG _X onX which can be explicitely computed. Finally the cubic surfaces of each component ofQ are studied in details by determining their stabilizers, their rational representations and whether they can be expressed as the determinant of a 3×3 matrix of linear forms.The results are obtained with computational techniques and with the aid of some computer algebra systems like CoCoA, Macaulay and Maple.Partially supported by MURSTPartially supported by MURST and CNR     

Symplectic 4-manifolds as branched coverings of ℂℙ2

We show that every compact symplectic 4-manifold X can be topologically realized as a covering of ℂℙ² branched along a smooth symplectic curve in X which projects as an immersed curve with cusps in ℂℙ². Furthermore, the covering map can be chosen to be approximately pseudo-holomorphic with respect to any given almost-complex structure on X. Oblatum 9-III-1999 & 2-IX-1999 / Published online: 29 November 1999     

On the topology induced by the adjoint of a semigroup of operators

The adjoint of aC ₀-semigroup on a Banach spaceX induces a locally convex σ(X,X ^ℴ)-topology inX, which is weaker than the weak topology ofX. In this paper we study the relation between these two topologies. Among other things a class of subsets ofX is given on which they coincide. As an application, an Eberlein-Shmulyan type theorem is proved for the σ(X,X ^ℴ)-topology and it is shown that the uniform limit of σ(X,X ^ℴ)-compact operators is σ(X,X ^ℴ)-compact. Finally our results are applied to the problem when the Favard class of a semigroup equals the domain of the infinitesimal generator.     

Complexity of the decidability of the unquantified set theory with a rank operator

The unquantified set theory MLSR containing the symbols ∪, ∖, ≠, ∈,R (R(x) is interpreted as a rank ofx) is considered. It is proved that there exists an algorithm which for any formulaQ of the MLSR theory decides whetherQ is true or not using the spacec|Q|³ (|Q| is the length ofQ).     

Über Bewertungen,welche unter einer reduktiven Gruppe invariant sind

Summary LetG be a reductive group defined over an algebraically closed fieldk and letX be aG-variety. In this paper we studyG-invariant valuationsv of the fieldK of rational functions onX. These objects are fundamental for the theory of equivariant completions ofX. LetB be a Borel subgroup andU the unipotent radical ofB. It is proved thatv is uniquely determined by its restriction toK ^U . Then we study the set of invariant valuations having some fixed restrictionv ₀, toK ^B . Ifv ₀ is geometric (i.e., induced by a prime divisor) then this set is a polyhedron in some vector space. In characteristic zero we prove that this polyhedron is a simplicial cone and in fact the fundamental domain of finite reflection groupW ^X . Thus, the classification of invariant valuations is almost reduced to the classification of valuations ofK ^B .

Unterstützt durch den Schweizerischen Nationalfonds zur Förderung der wissenschaftlichen Forschung.     

Ruled threefolds homeomorphic to ℙ2 × ℙ1 and their divisors

We study a class of ruled threefolds, namely, manifolds X with a projection p:X→ℙ², such that each fiber is isomorphic to ℙ¹, and which are homeomorphic to ℙ²×ℙ¹; and we characterize ample and very ample line bundles on such threefolds. This paper was written with the financial support of M.P.I. The author is a member of G.N.S.A.G.A. of the C.N.R.     

Versality of linearly normal non-special embeddings

LetX⊂P ⁿ be a smooth non-degenerate non special linearly normal projective curve. Here we classify all such embeddings ofX such that for every hyperplaneM ofP ⁿ the family of all hyperplane sections ofX is a versal deformation of the zerodimensional schemeX∩M.

---

Sunto SiaX una curva liscia e proiettiva. Qui si classificano le immersioni non-speciali linearmente normali diX inP ⁿ tali che per ogni iperpianoM diP ⁿ la famiglia delle sezioni iperpiane diX induce una deformazione versale diX∩M.

     

Threefolds of order one in the six-quadric

Consider the smooth quadric Q ₆ in ℙ⁷. The middle homology group H ₆(Q ₆, ℤ) is isomorphic to ℤ ⊕ ℤ, with a basis given by two classes of linear subspaces. We classify all threefolds of bidegree (1, p) inside Q ₆.     

The picard group of the variety of plane cuspidal cubics of ?3

We give a compactification of the varietyU of non-degenerate plane cuspidal cubics of ℙ³. We construct this compactification by means of the projective bundleX of a suitable vector bundleE. We describe the intersection ring ofX and, as a consequence, we obtain the intersection numbers ofU that satisfy 10 conditions of the following kinds:ρ, that the plane determined by the cuspidal cubic go through a point;c, that the cusp be on a plane;q, that the cuspidal tangent intersect a line;μ, that the cuspidal cubic intersect a line. Moreover, we prove that the Picard group of the varietyU is a product of two infinite cyclic groups generated byρ andc−q.     

Hyperspaces of nowhere topologically complete spaces

It is proved that ifX is a connected locally continuumwise connected coanalytic nowhere topologically complete space, then the hyperspace 2 ^X of all nonempty compact subsets ofX is strongly universal in the class of all coanalytic spaces. Moreover, 2 ^X is homeomorphic to Π₂ ifX is a Baire space, and toQ∖Π₁ ifX contains a dense absoluteG _δ-setG ⊂X such that the intersectionG ∩U is connected for any open connectedU ⊂X. (Here Π₁, Π₁⊂X are the standard subsets of the Hilbert cubeQ absorbing for the classes of analytic and coanalytic spaces, respectively.) Similar results are obtained for higher projective classes. Translated fromMatematicheskie Zametki, Vol. 62, No. 1, pp. 35–51, July, 1997. Translated by O. V. Sipacheva     

Linear series computing the Clifford index of a projective curve

For a (smooth irreducible) curveC of genus g and Clifford indexc>2 with a linear seriesg _d ^r computing c (so ) it is well known thatc + 2 ≤d ≤2 (c + 2), and if then 2c + 1 ≤g ≤ 2c + 4 unlessd = 2c + 4 in which caseg = 2c + 5. Let c ≥ 0 andg be integers. If 2c + 1 ≤g ≤2c + 4 we prove that for any integerd <g such thatd ≡c mod 2 andc + 2 ≤d < 2(c + 2) there exists a curve of genus g and Clifford index c with a g_d ^r computing c. Ford ≥c + 6 (i.e.r ≥ 3) we construct this curve on a surface of degree 2r-2 in ℙ^r, and ford ≥c + 8 (i.e.r ≥ 4) we show that such a curve cannot be found on a surface in ℙ^r of smaller degree. In fact, if g_d ^r computes the Clifford index c of C such thatc + 8 ≤d ≤ 2c + 3 then the birational morphism defined by this series cannot map C onto a (maybe, singular) curve contained in a surface of degree at most 2r-3 in ℙ^r.     

On projectively normal embeddings of generalk-gonal curves

Fix integersg, k andt witht>0,k≥3 andtk<g/2−1. LetX be a generalk-gonal curve of genusg andR∈Pic ^k (X) the uniqueg _k ¹ onX. SetL:=K _X⊗(R ^*)^⊗t.L is very ample. Leth _L:X→P(H ⁰(X, L)^*) be the associated embedding. Here we prove thath _L(X) is projectively normal. Ifk≥4 andtk<g/2−2 the curveh _L(X) is scheme-theoretically cut out by quadrics. The author was partially supported by MURST and GNSAGA of CNR (Italy).     

A note on Property Np

Let M be a very ample line bundle on a smooth complex projective variety Y and let ϕ _M :Y→P(H ⁰(Y, M)^*) be the map associated to M; we are concerned with the problem to see whether the syzygies of ϕ _M (Y) give information on the syzygies of ϕ _M ^s (Y). In particular we prove that if Y is a smooth complex projective variety and M is a line bundle on Y satisfying Property N _p , then M ^s satisfies Property N _p if s≥p. Received: 11 June 1999 / Revised version: 22 November 1999