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})$.
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.
In this paper we study the isomorphism classes of local, Artinian, Gorenstein k-algebras A whose maximal ideal M satisfies dim_k(M^3/M^4)=1 by means of Macaulay's inverse system generalizing a recent result by J. Elias and M.E. Rossi. Then we use such results in order to complete the description of the singular locus of the Gorenstein locus of the punctual Hilbert scheme of degree 11.
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 $…
In this article, we describe explicitely the Gorenstein locus of all minuscule Schubert varieties. This proves a special case of a conjecture of A. Woo and A. Yong (see math.AG/0603273) on the Gorenstein locus of Schubert varieties.
We show that a smooth projective curve of genus $g$ can be reconstructed from its polarized Jacobian $(X, Θ)$ as a certain locus in the Hilbert scheme $\mathrm{Hilb}^d(X)$, for $d=3$ and for $d=g+2$, defined by geometric conditions in terms of the polarization $Θ$. The result is an application of the Gunning--Welters trisecant criterion and the Castelnuovo--Schottky theorem by Pareschi--Popa and Grushevsky, and its scheme theoretic extension by the authors.
Given a commutative noetherian non-positive DG-ring with bounded cohomology which has a dualizing DG-module, we study its regular, Gorenstein and Cohen-Macaulay loci. We give a sufficient condition for the regular locus to be open, and show that the Gorenstein locus is always open. However, both of these loci are often empty: we show that no matter how nice $\mathrm{H}^0(A)$ is, there are examples where the Gorenstein locus of $A$ is empty. We then show that the Cohen-Macaulay locus of a commutative noetherian DG-ring with bounded cohomology which has a dualizing DG-module always contains a de…
Let k be an algebraically closed field of characteristic 0. The question of irreducibility of the punctual Hilbert scheme Hilb_d P^n and its Gorenstein locus for various d was studied in [CEVV8, CN9, CN10, CN11]. In this short paper we prove that the subschemes corresponding to the Gorenstein algebras having Hilbert function (1,5,5,1) are smoothable i.e. lie in the closure of the locus of smooth subschemes. Among the Gorenstein algebras of length 12 the smoothability of algebras having such Hilbert function seems to be the most inapproachable using non-direct tools e.g. structural theorems.
This paper is concerned with the geometry of the Gorenstein locus of the Hilbert scheme of $14$ points on $\mathbb{A}^6$. This scheme has two components: the smoothable one and an exceptional one. We prove that the latter is smooth and identify the intersection of components as a vector bundle over the Iliev-Ranestad divisor in the space of cubic fourfolds. The ninth secant variety of the triple Veronese reembedding lies inside the Iliev-Ranestad divisor. We point out that this secant variety is set-theoretically a codimension two complete intersection and discuss the degrees of its equations.
In this note the geography of minimal surfaces of general type admitting $\mathbb{Z}_2^2$-actions is studied. More precisely, it is shown that Gieseker's moduli space $\mathfrak{M}_{K^2,χ}$ contains surfaces admitting a $\mathbb{Z}_2^2$-action for every admissible pair $(K^2, χ)$ such that $2χ-6\leq K^2\leq 8χ-8$ or $K^2=8χ$. The examples considered allow to prove that the locus of Gorenstein stable surfaces is not closed in the KSBA-compactification $\overline{\mathfrak{M}}_{K^2,χ}$ of Gieseker's moduli space $\mathfrak{M}_{K^2,χ}$ for every admissible pair $(K^2, χ)$ such that $2χ-6\leq K^2\…
In this survey article we want to discuss a way of constructing arithmetically Gorenstein varieties of high codimension. Consider kernel sheaves B_G of general, generically surjective morphisms G between decomposable bundles on P^n. The top-dimensional part of the zero-locus of a regular section of B_G is Gorenstein if B_G has odd rank. We show how to implement the construction method in the computer algebra system Singular and produce some examples of Gorenstein curves and threefolds in P^6. Finally, we investigate a class of sheaves B_G, where the degeneracy locus of G does not have the expe…
Let k be an algebraically closed field and let HaG(d) be the open locus inside H(d) (the Hilbert scheme of 0-dimensional length d subschemes of the projective (d-2)-space over k) corresponding to arithmetically Gorenstein subschemes. We prove the irreducibility and characterize the singularities of HaG(6). In order to achieve these results we also classify all Artinian, Gorenstein, not necessarily graded, k-algebras up to degree 6. Moreover we describe the loci in HaG(6) obtained via some geometric construction. Finally we prove the obstructedness of some families of points in HaG(d) for each …
In this thesis we consider the geometry of the Hilbert scheme of points in P^n, concentrating on the locus of points corresponding to the Gorenstein subschemes of P^n. New results are given, most importantly we provide tools for constructing flat families and analysis of finite Gorenstein algebras and expose their efficiency by proving smoothability of certain families of algebras. Much of the existing theory and folklore is reviewed, providing a micro-encyclopaedic reference.
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（那不勒斯费德里科二世大学数学与应用科学系）
Thom polynomial describes the cohomology class Poincaré dual to the locus of particular singularity of a generic holomorphic map. In this paper we derive a closed formula for the generating function of its coefficients. The method is based on a new construction of the embedding space of punctual Hibert scheme that we call the non-associative Hilbert scheme. The efficiency of the method is demonstrated on explicit computation of a number of Thom polynomials, including those associated with singularities of Thom-Boardman types~$Σ^{i,j}$, $Σ^{2,1,1}$, $Σ^{2,2,1}$, and~$Σ^{2,2,2}$.
Let $\mathfrak a \subset \mathscr O_X$ be a coherent ideal sheaf on a normal complex variety $X$, and let $c \ge 0$ be a real number. De Fernex and Hacon associated a multiplier ideal sheaf to the pair $(X, \mathfrak a^c)$ which coincides with the usual notion whenever the canonical divisor $K_X$ is $\mathbb Q$-Cartier. We investigate the properties of the jumping numbers associated to these multiplier ideals. We show that the set of jumping numbers of a pair is unbounded, countable and satisfies a certain periodicity property. We then prove that the jumping numbers form a discrete set of real…
Let X be a Q-factorial Gorenstein Fano variety. Suppose that the singularities of X are canonical and that the locus where they are non-terminal has dimension zero. Let D be a prime divisor of X. We show that rho_X - rho_D < 9 (where rho is the Picard number). Moreover, if rho_X - rho_D > 3, there exists a finite morphism from X to S x Y, where S is a surface with rho_S at most 9. As an application we prove that, if X has dimension 3, then rho_X is at most 10.
Let Y->P^n be a flat family of integral Gorenstein curves, such that the compactified relative Jacobian X=\bar{J}^d(Y/P^n) is a Lagrangian fibration. We prove that the degree of the discriminant locus Delta in P^n is at least 4n+2, and we prove that X is a Beauville-Mukai integrable system if the degree of Delta is greater than 4n+20.
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 …
