arXiv subjects

Jan O. Kleppe

Publications and source records attributed to Jan O. Kleppe.

At least 19 recordsLinked to original sources

arXiv2025

Schur powers of the cokernel of a graded morphism

Let $φ: F\longrightarrow G$ be a graded morphism between free $R$-modules of rank $t$ and $t+c-1$, respectively, and let $I_j(φ)$ be the ideal generated by the $j \times j$ minors of a matrix representing $φ$. In this short note: (1) We show that the canonical module of $R/I_j(φ)$ is up to twist equal to a suitable Schur power $Σ^I M$ of $M=\coker (φ^*)$; thus equal to $\wedge ^{t+1-j}M$ if $c=2$ in which case we find a minimal free $R$-resolution of $\wedge ^{t+1-j}M$ for any $j$, (2) For $c = 3$, we construct a free $R$-resolution of $\wedge ^2M$ which starts almost minimally (i.e. the first three terms are minimal up to a precise summand), and (3) For $c \ge 4$, we construct under a certain depth condition the first three terms of a free $R$-resolution of $\wedge ^2M$ which are minimal up to a precise summand. As a byproduct we answer the first open case of a question posed by Buchsbaum and Eisenbud.

math.AG↗

arXiv2023

Deformation and Unobstructedness of Determinantal Schemes

Let $Hilb ^{p(t)}(P^n)$ be the Hilbert scheme of closed subschemes of $P^n$ with Hilbert polynomial $p(t) \in Q[t]$, and let $W:= \overline{W(\underline{b};\underline{a};r)}$ be the closure of the locus in $Hilb ^{p(t)}(P^n)$ of determinantal schemes defined by the vanishing of the $(t-r+1)\times (t - r+1)$ minors of some matrix $\mathcal A$ of size $t\times (t+c-1)$ with $ij$-enty a homogeneous form of degree $a_j-b_i$ and with $r$ satisfying $\max\{1,2-c\} \le r < t$. $W$ is an irreducible algebraic set. First of all, we compute an upper $r$-independent bound for the dimension of $W$ in terms of $a_j$ and $b_i$ which is sharp for $r=1$. In the linear case ($a_j = 1, b_i=0$) and cases sufficiently close, we conjecture and to a certain degree prove that this bound is achieved for all $r$. Then, we study to what extent $W$ is a generically smooth component of $Hilb ^{p(t)}(P^n)$. Under some weak numerical assumptions on the integers $a_j$ and $b_i$ (or under some depth conditions) we conjecture and often prove that $W$ is a generically smooth component. Moreover, we also study the depth of the normal module of the homogeneous coordinate ring of $(X)\in W$ and of a closely related module. We conjecture, and in some cases prove, that their codepth is often 1 (resp. $r$). These results extend previous results on standard determinantal schemes to determinantal schemes; i.e. previous results of the authors on $W(\underline{b};\underline{a};1)$ to $W$ with $1\le r < t$ and $c\ge 2-r$. Finally, deformations of exterior powers of the cokernel of the map determined by $\mathcal A$ are studied and proven to be given as deformations of $X \subset P^n$ if $\dim X \ge 3$. The work contains many examples which illustrate the results obtained and a considerable number of open problems; some of them are collected as conjectures in the final section.

math.AG↗

arXiv2023

Macaulay duality and its geometry

Macaulay Duality, between quotients of a polynomial ring over a field, annihilated by powers of the variables, and finitely generated submodules of the ring's graded dual, is generalized over any Noetherian ring, and used to provide isomorphisms between the subschemes of the Hilbert scheme parameterizing various sorts of these quotients, and the corresponding subschemes of the Quot scheme of the dual. Thus notably the locus of recursively compressed algebras of permissible socle type is proved to be covered by open subschemes, each one isomorphic to an open subscheme of a certain affine space. Moreover, the polynomial variables are weighted, the polynomial ring is replaced by a graded module, and attention is paid to induced filtrations and gradings. Furthermore, a similar theory is developed for (relatively) maximal quotients of a graded Gorenstein Artinian algebra.

math.AG↗

arXiv2018

Comparison theorems for deformation functors via invariant theory

We compare deformations of algebras to deformations of schemes in the setting of invariant theory. Our results generalize comparison theorems of Schlessinger and the second author for projective schemes. We consider deformations (abstract and embedded) of a scheme $X$ which is a good quotient of a quasi-affine scheme $X^\prime$ by a linearly reductive group $G$ and compare them to invariant deformations of an affine $G$-scheme containing $X^\prime$ as an open invariant subset. The main theorems give conditions for when the comparison morphisms are smooth or isomorphisms.

math.AG↗

arXiv2018

The representation type of determinantal varieties

This work is entirely devoted to construct huge families of indecomposable arithmetically Cohen-Macaulay (resp. Ulrich) sheaves E of arbitrary high rank on a general standard (resp. linear) determinantal scheme X\subset \PP^n of codimension c \ge 1, n-c \ge 1 and defined by the maximal minors of a t \times (t+c-1) homogeneous matrix A. The sheaves E are constructed as iterated extensions of sheaves of lower rank. As applications: (1) we prove that any general standard determinantal scheme X\subset \PP^n is of wild representation type provided the degrees of the entries of the matrix A satisfy some weak numerical assumptions; and (2) we determine values of t, n and n-c for which a linear standard determinantal scheme X\subset \PP^n is of wild representation type with respect to the much more restrictive category of its indecomposable Ulrich sheaves, i.e. X is of Ulrich wild representation type.

math.AG↗

arXiv2018

The Hilbert scheme of space curves sitting on a smooth surface containing a line

We continue the study of maximal families W of the Hilbert scheme, H(d,g)_{sc}, of smooth connected space curves whose general curve C lies on a smooth degree-s surface S containing a line. For s > 3, we extend the two ranges where W is a unique irreducible (resp. generically smooth) component of H(d,g)_{sc}. In another range, close to the boarder of the nef cone, we describe for s=4 and 5 components W that are non-reduced, leaving open the non-reducedness of only 3 (resp. 2) families for s > 5 (resp. s=5), thus making progress to recent results of Kleppe and Ottem in [28]. For s=3 we slightly extend previous results on a conjecture of non-reduced components, and in addition we show its existence in a subrange of the conjectured range.

math.AG↗

arXiv2017

Families of artinian and low dimensional determinantal rings

Let GradAlg(H) be the scheme parameterizing graded quotients of R=k[x_0,...,x_n] with Hilbert function H (it is a subscheme of the Hilbert scheme of P^n if we restrict to quotients of positive dimension, see definition below). A graded quotient A=R/I of codimension c is called standard determinantal if the ideal I can be generated by the t by t minors of a homogeneous t by (t+c-1) matrix (f_{ij}). Given integers a_0\le a_1\le ...\le a_{t+c-2} and b_1\le ...\le b_t, we denote by W_s(\underline{b};\underline{a}) the stratum of GradAlg(H) of determinantal rings where f_{ij} \in R are homogeneous of degrees a_j-b_i. In this paper we extend previous results on the dimension and codimension of W_s(\underline{b};\underline{a}) in GradAlg(H) to {\it artinian determinantal rings}, and we show that GradAlg(H) is generically smooth along W_s(\underline{b};\underline{a}) under some assumptions. For zero and one dimensional determinantal schemes we generalize earlier results on these questions. As a consequence we get that the general element of a component W of the Hilbert scheme of P^n is glicci provided W contains a standard determinantal scheme satisfying some conditions. We also show how certain ghost terms disappear under deformation while other ghost terms remain and are present in the minimal resolution of a general element of GradAlg(H).

math.AC↗

arXiv2016

On the normal sheaf of determinantal varieties

Let X be a standard determinantal scheme X \subset \PP^n of codimension c, i.e. a scheme defined by the maximal minors of a t \times (t+c-1) homogeneous polynomial matrix A. In this paper, we study the main features of its normal sheaf \shN_X. We prove that under some mild restrictions: (1) there exists a line bundle \shL on X \setminus Sing(X) such that \shN_X \otimes \shL is arithmetically Cohen-Macaulay and, even more, it is Ulrich whenever the entries of A are linear forms, (2) \shN_X is simple (hence, indecomposable) and, finally, (3) \shN_X is μ-(semi)stable provided the entries of A are linear forms.

math.AG↗

arXiv2015

Components of the Hilbert scheme of space curves on low-degree smooth surfaces

We study maximal families W of the Hilbert scheme, H(d,g)_{sc}, of smooth connected space curves whose general curve C lies on a smooth surface S of degree s. We give conditions on C under which W is a generically smooth component of H(d,g)_{sc} and we determine dim W. If s=4 and W is an irreducible component of H(d,g)_{sc}, then the Picard number of S is at most 2 and we explicitly describe, also for s > 4, non-reduced and generically smooth components in the case Pic(S) is generated by the classes of a line and a smooth plane curve of degree s-1. For curves on smooth cubic surfaces the first author finds new classes of non-reduced components of H(d,g)_{sc}, thus making progress in proving a conjecture for such families.

math.AG↗

arXiv2013

The Hilbert Scheme of Buchsbaum space curves

We consider the Hilbert scheme H(d,g) of space curves C with homogeneous ideal I(C):=H_{*}^0(\sI_C) and Rao module M:=H_{*}^1(\sI_C). By taking suitable generizations (deformations to a more general curve) C' of C, we simplify the minimal free resolution of I(C) by e.g. making consecutive free summands (ghost-terms) disappear in a free resolution of I(C'). Using this for Buchsbaum curves of diameter one (M_v \ne 0 for only one v), we establish a one-to-one correspondence between the set \sS of irreducible components of H(d,g) that contain (C) and a set of minimal 5-tuples that specializes in an explicit manner to a 5-tuple of certain graded Betti numbers of C related to ghost-terms. Moreover we almost completely (resp. completely) determine the graded Betti numbers of all generizations of C (resp. all generic curves of \sS), and we give a specific description of the singular locus of the Hilbert scheme of curves of diameter at most one. We also prove some semi-continuity results for the graded Betti numbers of any space curve under some assumptions.

math.AG↗

arXiv2011

Families of determinantal schemes

Given integers a_0 \le a_1 \le ... \le a_{t+c-2} and b_1 \le ... \le b_t, we denote by W(b;a) \subset Hilb^p(\PP^{n}) the locus of good determinantal schemes X \subset \PP^{n} of codimension c defined by the maximal minors of a t x (t+c-1) homogeneous matrix with entries homogeneous polynomials of degree a_j-b_i. The goal of this short note is to extend and complete the results given by the authors in [10] and determine under weakened numerical assumptions the dimension of W(b;a), as well as whether the closure of W(b;a) is a generically smooth irreducible component of the Hilbert scheme Hilb^p(\PP^{n}).

math.AG↗

arXiv2010

Deformations of modules of maximal grade and the Hilbert scheme at determinantal schemes

Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade (which means that the ideal I_t(\cA) generated by the maximal minors of a homogeneous presentation matrix, \cA, of M has maximal codimension in R). Suppose X:=Proj(R/I_t(\cA)) is smooth in a sufficiently large open subset and dim X > 0. Then we prove that the local graded deformation functor of M is isomorphic to the local Hilbert (scheme) functor at X \subset Proj(R) under a week assumption which holds if dim X > 1. Under this assumptions we get that the Hilbert scheme is smooth at (X), and we give an explicit formula for the dimension of its local ring. As a corollary we prove a conjecture of R. M. Miró-Roig and the author that the closure of the locus of standard determinantal schemes with fixed degrees of the entries in a presentation matrix is a generically smooth component V of the Hilbert scheme. Also their conjecture on the dimension of V is proved for dim X > 0. The cohomology H^i_{*}({\cN}_X) of the normal sheaf of X in Proj(R) is shown to vanish for 0 < i < dim X-1. Finally the mentioned results, slightly adapted, remain true replacing R by any Cohen-Macaulay quotient of a polynomial ring.

math.AG↗

arXiv2010

The Hilbert Scheme of Space Curves of Small Diameter

This paper studies space curves C of degree d and arithmetic genus g, with homogeneous ideal I and Rao module M = H_{*}^1(I^~), whose main results deal with curves which satisfy Ext^2(M,M)_0=0 (e.g. of diameter, diam M < 3, which means that M is non-vanishing in at most two consecutive degrees). For such curves C we find necessary and sufficient conditions for unobstructedness, and we compute the dimension of the Hilbert scheme, H(d,g), at (C) under the sufficient conditions. In the diameter one case, the necessary and sufficient conditions coincide, and the unobstructedness of C turns out to be equivalent to the vanishing of certain products of graded Betti numbers of the free graded minimal resolution of I. We give classes of obstructed curves C for which we partially compute the equations of the singularity of H(d,g) at (C). Moreover by taking suitable deformations we show how to kill certain repeated direct free factors ("ghost-terms") in the minimal resolution of the ideal of the general curve. For Buchsbaum curves of diameter at most 2, we simplify in this way the minimal resolution further, allowing us to see when a singular point of H(d,g) sits in the intersection of several, or lies in a unique irreducible component of H(d,g). It follows that the products of the graded Betti numbers mentioned above of a generic curve vanish, and that any irreducible component of H(d,g) is reduced (generically smooth) in the diameter 1 case.

math.AG↗

arXiv2009

Families of low dimensional determinantal schemes

A scheme X \subset \PP^{n} of codimension c is called standard determinantal if its homogeneous saturated ideal can be generated by the t x t minors of a homogeneous t x (t+c-1) matrix (f_{ij}). Given integers a_0 \le a_1 \le ...\le a_{t+c-2} and b_1 \le ...\le b_t, we denote by W_s(b;a) \subset Hilb(\PP^{n}) the stratum of standard determinantal schemes where f_{ij} are homogeneous polynomials of degrees a_j-b_i and Hilb(\PP^{n}) is the Hilbert scheme (if n-c > 0, resp. the postulation Hilbert scheme if n-c = 0). Focusing mainly on zero and one dimensional determinantal schemes we determine the codimension of W_s(b;a) in Hilb(\PP^{n}) and we show that Hilb(\PP^{n}) is generically smooth along W_s(b;a) under certain conditions. For zero dimensional schemes (only) we find a counterexample to the conjectured value of dim W_s(b;a) appearing in [26].

math.AG↗

arXiv2008

Liaison invariants and the Hilbert scheme of codimension 2 subschemes in P^{n+2}

In this paper we study the Hilbert scheme, Hilb(P), of equidimensional locally Cohen-Macaulay codimension 2 subschemes, with a special look to surfaces in P^4 and 3-folds in P^5, and the Hilbert scheme stratification H_{c} of constant cohomology. For every (X) in Hilb(P) we define a number δ_X in terms of the graded Betti numbers of the homogeneous ideal of X and we prove that 1 + δ_X - \dim_{(X)} H_{c} and 1 + δ_X - \dim T_{c} are CI-biliaison invariants where T_{c} is the tangent space of H_{c} at (X). As a corollary we get a formula for the dimension of any generically smooth component of Hilb(P) in terms of δ_X and the CI-biliaison invariant. Both invariants are equal in this case. Recall that, for space curves C, Martin-Deschamps and Perrin have proved the smoothness of the ``morphism'', H_{c} -> E = isomorphism classes of graded artinian modules, given by sending C onto its Rao-module. For surfaces X in P^4 we have two Rao-modules M_i and an induced extension b in Ext^2(M_2,M_1) and a result of Horrocks and Rao saying that a triple D := (M_1,M_2,b) of modules M_i of finite length and an extension b as above determine a surface X up to biliaison. We prove that the corresponding ``morphism'', H_{c} -> V = isomorphism classes of graded artinian modules M_i commuting with b, is smooth, and we get a smoothness criterion for H_{c}. Moreover we get some smoothness results for Hilb(P), valid also for 3-folds, and we give examples of obstructed surfaces and 3-folds. The linkage result we prove in this paper turns out to be useful in determining the structure and dimension of H_{c}, and for proving the main biliaison theorem above.

math.AG↗

arXiv2008

Unobstructedness and dimension of families of Gorenstein algebras

The goal of this paper is to develop tools to study maximal families of Gorenstein quotients A of a polynomial ring R. We prove a very general Theorem on deformations of the homogeneous coordinate ring of a scheme Proj(A) which is defined as the degeneracy locus of a regular section of the dual of some sheaf M^~ of rank r supported on say an arithmetically Cohen-Macaulay subscheme Proj(B) of Proj(R). Under certain conditions (notably; M maximally Cohen-Macaulay and the top exterior power of M^~ a twist of the canonical sheaf), then A is Gorenstein, and under additional assumptions, we show the unobstructedness of A and we give an explicit formula the dimension of any maximal family of Gorenstein quotients of R with fixed Hilbert function obtained by a regular section as above. The theorem also applies to Artinian quotients A. The case where M itself is a twist of the canonical module (r=1) was studied in a previous paper, while this paper concentrates on other low rank cases, notably r=2 and 3. In these cases regular sections of the first Koszul homology module and of normal sheaves to licci schemes (of say codimension 2) lead to Gorenstein quotients (of e.g. codimension 4) whose parameter spaces we examine. Our main applications are for Gorenstein quotients of codimension 4 of R since our assumptions are almost always satisfied in this case. Special attention are paid to arithmetically Gorenstein curves in P^5.

math.AG↗

arXiv2008

Ideals generated by submaximal minors

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 I_Y/I^2_Y(s) where s=deg(det(A)) and Y is a codimension 2, arithmetically Cohen-Macaulay scheme of P^n defined by the maximal minors of the matrix obtained deleting a suitable row of A.

math.AG↗

arXiv2008

Moduli spaces of reflexive sheaves of rank 2

Let \sF be a coherent rank 2 sheaf on a scheme Y \subset \proj{n} of dimension at least two. In this paper we study the relationship between the functor which deforms a pair (\sF,σ), σ\in H^0(\sF), and the functor which deforms the corresponding pair (X,ξ) given as in the Serre correspondence. We prove that the scheme structure of e.g. the moduli scheme M_Y(P) of stable sheaves on a threefold Y at (\sF), and the scheme structure at (X) of the Hilbert scheme of curves on Y are closely related. Using this relationship we get criteria for the dimension and smoothness of M_Y(P) at (\sF), without assuming Ext^2(\sF,\sF) = 0. For reflexive sheaves on Y = \proj{3} whose deficiency module M = H_{*}^1(\sF) satisfies Ext^2(M,M) = 0 in degree zero (e.g. of diameter at most 2), we get necessary and sufficient conditions of unobstructedness which coincide in the diameter one case. The conditions are further equivalent to the vanishing of certain graded Betti numbers of the free graded minimal resolution of H_{*}^0(\sF). It follows that every irreducible component of M_{\proj{3}}(P) containing a reflexive sheaf of diameter one is reduced (generically smooth). We also determine a good lower bound for the dimension of any component of M_{\proj{3}}(P) which contains a reflexive stable sheaf with "small" deficiency module M.

math.AG↗