In this paper we compute the Hilbert functions of irreducible (or smooth) and reduced arithmetically Gorenstein schemes that are twisted anti-canonical divisors on arithmetically Cohen-Macaulay schemes. We also prove some folklore results characterizing the Hilbert functions of irreducible standard determinantal schemes, and we use them to produce a new class of functions that occur as Hilbert functions of irreducible (or smooth) and reduced arithmetically Gorenstein schemes in any codimension.
An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of Artinian Gorenstein algebras with the Weak Lefschetz Property, a property shared by most Artinian Gorenstein algebras. Starting with an arbitrary SI-sequence, we construct a reduced, arithmetically Gorenstein configuration $G$ of linear varieties of arbitrary dimension whose Artinian reduction has the given SI-sequence as Hilbert function and has the Weak Lefschetz Property. Furthermore, we s…
We present a list of arithmetically Gorenstein Calabi-Yau threefolds in $\mathbb{P}^7$ and give evidence that this is a complete list. In particular we construct three new families of arithmetically Gorenstein Calabi-Yau threefolds in $\mathbb{P}^7$ for which no mirror construction is known.
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.
We study Gorenstein liaison of codimension two subschemes of an arithmetically Gorenstein scheme X. Our main result is a criterion for two such subschemes to be in the same Gorenstein liaison class, in terms of the category of ACM sheaves on X. As a consequence we obtain a criterion for X to have the property that every codimension 2 arithmetically Cohen-Macaulay subscheme is in the Gorenstein liaison class of a complete intersection. Using these tools we prove that every arithmetically Gorenstein subscheme of $\mathbb{P}^n$ is in the Gorenstein liaison class of a complete intesection and we a…
We characterize the postulation character of arithmetically Gorenstein curves in ${\mathbb P}^4$. We give conditions under which the curve can be realized in the form $mH-K$ on some ACM surface. Finally, we strengthen a theorem of Watanabe by showing that any general arithmetically Gorenstein curve in ${\mathbb P}^4$ can be obtained from a line by a series of ascending complete-intersection biliaisons.
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$.
A projectively normal Calabi-Yau threefold $X \subseteq \mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete intersection, as well as in the case where $X$ is codimension three. In the latter case, the Buchsbaum-Eisenbud theorem shows that $I_X$ is given by the Pfaffians of a skew-symmetric matrix. A number of recent papers study the situation when $I_X$ has codimension four. We prove there are 16 possible betti tables for an arithmetically Gorenstein ideal $I$ with $\math…
Using the connections among almost complete intersection schemes, arithmetically Gorenstein schemes and schemes that are union of complete intersections we give a structure theorem for arithmetically Cohen-Macaulay union of two complete intersections of codimension $2.$ We apply the results for computing Hilbert functions and graded Betti numbers for such schemes.
In this paper the author provides a generalization of classical linkage, i.e. linkage by a complete intersection of dim. 0 or 1 on arithmetically Cohen-Macaulay schemes of any dimension. Namely she looks at residuals in the scheme theoretic intersection of an aCM scheme of dim. r (resp. r+1) with r hypersurfaces of degree a_1,...,a_r. When the aCM scheme is singular a complete intersection on it may not be Gorenstein, in this case classical linkage, even if suitably generalized, does not apply. The main purpose of this paper is to prove some results related to the invariance of the deficiency …
In this paper, we study arithmetically Cohen--Macaulay (ACM) bundles on homogeneous varieties $G/P$. Indeed we characterize the homogeneous ACM bundles on $G/P$ of Picard rank one in terms of highest weights. This is a generalization of the result on $G/P$ of classical types presented by Costa and Miró-Roig for type $A$, and Du, Fang, and Ren for types $B,C$ and $D$. As a consequence we prove that only finitely many irreducible homogeneous ACM bundles, up to twisting line bundles, exist over all such $G/P$. Moreover, we derive the list of the highest weights of the irreducible homogeneous ACM …
We show that the arithmetically Cohen--Macaulay (ACM) curves of degree 4 and genus 0 in ${\bold P}^4$ form an irreducible subset of the Hilbert scheme. Using this, we show that the singular locus of the corresponding component of the Hilbert scheme has dimension greater than 6. Moreover, we describe the structures of all ACM curves of Hilb$^{4m+1}({\bold P}^4)$.
This note is devoted to the study of the links between the Hilbert function of a subscheme X of the projective space, and its geometric properties. We will assume that X is arithmetically Cohen-Macaulay, which allows us to characterize its Hilbert function by a d integers, where d is the degree of X. We study in this context the geometric description of special linear systems of dimension maximal with respect to their degree on projective Gorenstein curves.
We show that in arithmetically-Gorenstein line arrangements with only planar singularities, each line intersects the same number of other lines. This number has an algebraic interpretation: it is the Castelnuovo-Mumford regularity of the coordinate ring of the arrangement. We also prove that every (d-1)-dimensional simplicial complex whose 0-th and 1-st homologies are trivial is the nerve complex of a suitable d-dimensional standard graded algebra of depth $\ge 3$. This provides the converse of a recent result by Katzman, Lyubeznik and Zhang.
Let $k$ be an algebraically closed field and let $\Hilb_{d}^{G}(\p{N})$ be the open locus of the Hilbert scheme $\Hilb_{d}(\p{N})$ corresponding to Gorenstein subschemes. We prove that $\Hilb_{d}^{G}(\p{N})$ is irreducible for $d\le9$, we characterize geometrically its singularities for $d\le 8$ and we give some results about them when $d=9$ which give some evidence to a conjecture on the nature of the singular points in $\Hilb_{d}^{G}(\p{N})$.
We analyse the Gorenstein locus of the Hilbert scheme of $d$ points on $\mathbb{P}^n$ i.e. the open subscheme parameterising zero-dimensional Gorenstein subschemes of $\mathbb{P}^n$ of degree $d$. We give new sufficient criteria for smoothability and smoothness of points of the Gorenstein locus. In particular we prove that this locus is irreducible when $d\leq 13$ and find its components when $d = 14$. The proof is relatively self-contained and it does not rely on a computer algebra system. As a by--product, we give equations of the fourth secant variety to the $d$-th Veronese reembedding of $…
Let $k$ be an algebraically closed field of characteristic 0 and let $H_G(d,N)$ be the open locus of the Hilbert scheme $H(d,N)$ corresponding to Gorenstein subschemes of degree $d$ in the projective N-space. We proved in a previous paper that $H_G(d,N)$ is irreducible for $d\le9$ and $N\ge1$. In the present paper we prove that also $H_G(10,N)$ is irreducible for each $N\ge1$, giving also a complete description of its singular locus.
We classify simple flops on smooth threefolds, or equivalently, Gorenstein threefold singularities with irreducible small resolution. There are only six families of such singularities, distinguished by Koll{á}r's {\em length} invariant. The method is to apply invariant theory to Pinkham's construction of small resolutions. As a by-product, generators of the ring of invariants are given for the standard action of the Weyl group of each of the irreducible root systems.
The goal of this paper is to study irreducible families W(b;a) of codimension 4, arithmetically Gorenstein schemes X of P^n defined by the submaximal minors of a t x t matrix A with entries homogeneous forms of degree a_j-b_i. Under some numerical assumption on a_j and b_i we prove that the closure of W(b;a) is an irreducible component of Hilb^{p(x)}(P^n), we show that Hilb^{p(x)}(P^n) is generically smooth along W(b;a) and we compute the dimension of W(b;a) in terms of a_j and b_i. To achieve these results we first prove that X is determined by a regular section of the twisted conormal sheaf …
Inspired by ideas from algebraic geometry, Batyrev and the first named author have introduced the stringy E-function of a Gorenstein polytope. We prove that this a priori rational function is actually a polynomial, which is part of a conjecture of Batyrev and the first named author. The proof relies on a comparison result for the lattice point structure of a Gorenstein polytope P, a face F of P and the face of the dual Gorenstein polytope corresponding to F. In addition, we study joins of Gorenstein polytopes and introduce the notion of an irreducible Gorenstein polytope. We show how these con…
We construct from a general del Pezzo surface of degree 1 a Gorenstein stable surfaces $X$ with $K_X^2=1$ and $p_g(X)=q(X)=0$. These surfaces are not smoothable but give an open subset of an irreducible component of the moduli space of stable Godeaux surfaces. In a particular example we also compute the canonical ring explicitly and discuss the behaviour of pluricanonical maps.
Let $X$ be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by $F$ a smooth model of a generic irreducible component in fibers of the canonical map of $X$ and so $F$ is a smooth curve or a smooth surface. The main result of the paper is that there is a computable constant $K$ (independent of $X$) such that $g(F)\leq 647$ or $p_g(F)\leq 38$ whenever $p_g(X)\geq K$. The method heavily relies on both a Noether type of inequality and a Miyaoka-Yau inequality and that is the reason we only treat a Goren…
The authors construct the global Macaulay inverse system for a zero-dimensional subscheme Z of projective n-space P^n, from the local inverse systems of the irreducible components of Z. They show that when Z is locally Gorenstein a generic homogeneous form F of degree d apolar to Z determines Z when d is larger than an invariant b(Z). They also show that a natural upper bound for the Hiilbert function of Gorenstein Artin quotient of the coordinate ring is achieved for large socle degree. They show the uniqueness of generalized additive decompositions of a homogeneous form F into powers of line…
We introduce the notion of stringy E-function for an arbitrary normal irreducible algebraic variety X with at worst log-terminal singularities. We prove some basic properties of stringy E-functions and compute them explicitly for arbitrary Q-Gorenstein toric varieties. Using stringy E-functions, we propose a general method to define stringy Hodge numbers for projective algebraic varieties with at worst Gorenstein canonical singularities. This allows us to formulate the topological mirror duality test for arbitrary Calabi-Yau varieties with canonical singularities. In Appendix we explain non-Ar…
Smoothable Gorenstein points via marked schemes and double-generic initial ideals
Dipartimento di Matematica dell’Università di Torino（都灵大学数学系）；Dipartimento di Matematica e Applicazioni dell’Università di Napoli Federico II（那不勒斯费德里科二世大学数学与应用科学系）
Let X be the germ of a Gorenstein 3-fold singularity and C a smooth curve through it such that the general hyperplane section S of X containing D is DuVal of type E6 or E7. In this paper we obtain criteria for the existence of a terminal divisorial extremal neighborhood f: Y-->X contracting an irreducible divisor E onto C and classify all such neighborhoods.
We consider the affine variety ${\mathcal{Z}_{2,2}^{m,n}}$ (or just "$Y$") of first order jets over ${\mathcal{Z}_{2}^{m,n}}$ (or just "$X$"), where $X$ is the classical determinantal variety given by the vanishing of all $2\times 2$ minors of a generic $m\times n$ matrix. When $2 < m \le n$, this jet scheme $Y$ has two irreducible components: a trivial component, isomorphic to an affine space, and a nontrivial component that is the closure of the jets supported over the smooth locus of $X$. This second component is referred to as the principal component of $Y$; it is, in fact, a cone and can …
A canonically-embedded curve of genus $g$ is a pure 1-dimensional, non-degenerate subscheme $C$ of ${\bf P}^{g-1}$ over an algebraically closed field $k$, for which ${\cal O}_C(1) \cong ω_C$, (the dualizing sheaf)$ and $h^0(C, {\cal O}_C) = 1$, $h^0(C, ω_C) = g$. The singularities of $C$ (if any) are Gorenstein, and $C$ is connected of degree $2g-2$ and arithmetic genus $g$. In a recent paper, Schreyer has proved that Petri's normalization of the homogeneous ideal $I(C)$ of a smooth canonically-embedded curve can be also carried out for singular curves, provided that the curve has a simple $(g…
