Search

In 1965 Buchberger defined Gr\"obner bases and an algorithm to compute them. Despite a slow start, already in the eighties Gr\"obner bases had become the main device for symbolic computations involving polynomials as well as a theoretical tool for the investigation of ideals and varieties via the so-called Gr\"obner deformation techniques. Rings and algebraic varieties defined by means of determinants are among the most classical objects in commutative algebra, algebraic geometry and invariant theory. By the end of the the eighties the time was ripe for the computation of Gr\"obner bases of determinantal ideals. We will tell the tale of how (universal) Gr\"obner bases of determinantal ideals were identified and the key role played by Bernd Sturmfels and his collaborators in this enterprise., Comment: Written on the occasion of Bernd Sturmfels' sixtieth birthday conference (2022) and dedicated to him

In 2018 Celikbas, Laxmi, Kra\'skiewicz, and Weyman exhibited an interesting family of perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two with trivial multiplication on the Tor algebra. All previously known perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two had been found by Brown in 1987. Brown's ideals all have non-trivial multiplication on the Tor algebra. We prove that all of the ideals of Brown are obtained from the ideals of Celikbas, Laxmi, Kra\'skiewicz, and Weyman by (non-homogeneous) specialization. We also prove that both families of ideals, when built using power series variables over a field, define rigid algebras in the sense of Lichtenbaum and Schlessinger.

We show that the ideal generated by maximal minors (i.e., $(k+1)$-minors) of a $(k+1) \times n$ Vandermonde matrix is radical and Cohen-Macaulay. Note that this ideal is generated by all Specht polynomials with shape $(n-k,1,...,1)$., Comment: 6 pages, simplified the proof of the main result. To appear in Math. Scand

In this paper, we use the tools of Gr\"{o}bner bases and combinatorial secant varieties to study the determinantal ideals $I_t$ of the extended Hankel matrices. Denote by $c$-chain a sequence $a_1,\...,a_k$ with $a_i+c

We propose a definition of when a triangulated category should be considered a complete intersection. We show (using work of Avramov and Gulliksen) that for the derived category of a complete local Noetherian commutative ring R, the condition on the derived category D(R) holds precisely when R is a complete intersection in the classical sense.

Let p be a prime number and G be a finite commutative group such that p^{2} does not divide the order of G. In this note we prove that for every finite module M over the group ring Z_{p}[G], the inequality #M \leq #Z_{p}[G]/Fit_{Z_{p}[G]}(M) holds. Here, Fit_{Z_{p}[G]}(M) is the Z_{p}[G]-Fitting ideal of M., Comment: 9 pages

In this paper, after giving a criterion for a Noetherian local ring to be quasi-Gorenstein, we obtain some sufficient conditions for a quasi- Gorenstein ring to be Gorenstein. In the course, we provide a slight generalization of a theorem of Evans and Griffith., Comment: To appear in Arch. Math

An ideal $I$ of a local Gorenstein ring $(R, \mathfrak m)$ is called cohomologically complete intersection whenever $H^i_I(R) = 0$ for all $i \not= \height I.$ Here $H^i_I(R), i \in \mathbb Z,$ denotes the local cohomology of $R$ with respect to $I.$ For instance, a set-theoretic complete intersection is a cohomologically complete intersection. Here we study cohomologically complete intersections from various homological points of view, in particular in terms of their Bass numbers of $H^c_I(R), c = \height I.$ As a main result it is shown that the vanishing $H^i_I(R) = 0$ for all $i \not= c$ is completely encoded in homological properties of $H^c_I(R),$ in particular in its Bass numbers., Comment: 16 pages

If $V$ is an equidimensional codimension $c$ subscheme of an $n$-dimensional projective space, and $V$ is linked to $V'$ by a complete intersection $X$, then we say that $V$ is {\em minimally linked} to $V'$ if $X$ is a codimension $c$ complete intersection of smallest degree containing $V$. Gaeta showed that if $V$ is any arithmetically Cohen-Macaulay (ACM) subscheme of codimension two then there is a finite sequence of minimal links beginning with $V$ and arriving at a complete intersection. We extend this work in the following ways: 1) In the codimension 2 non-ACM case, we show that for any $n \geq 3$ there are examples of subschemes that are not minimal in their even liaison class, and cannot be minimally linked in any number of steps to a minimal subscheme. 2) Nevertheless, there are examples of non-ACM liaison classes of curves in projective 3-space where all elements are minimally linked in a finite number of steps to a minimal curve. 3) Extending previous work of the authors with Huneke and Ulrich (about the licci case), we show that also in the non-ACM case in any higher codimension there are non-minimal subschemes that are not minimally linked to a minimal subscheme in the even liaison class. 4) J. Watanabe had shown many years ago that codimension 3 graded Gorenstein ideals of any dimension are licci. Here we show that any such ideal is minimally linked in a finite number of steps to a complete intersection, and that it admits a sequence of strictly decreasing CI-biliaisons down to a complete intersection, extending work of Hartshorne, Sabadini and Schlesinger., Comment: 25 pages

We study the linkage classes of homogeneous ideals in polynomial rings. An ideal is said to be homogeneously licci if it can be linked to a complete intersection using only homogeneous regular sequences at each step. We ask a natural question: if $I$ is homogeneously licci, then can it be linked to a complete intersection by linking using regular sequences of forms of smallest possible degree at each step (we call such ideals minimally homogeneously licci)? In this paper we answer this question in the negative. In particular, for every $n\geq 28$ we construct a set of $n$ points in $\mathbb P^3$ which are homogeneously licci, but not minimally homogeneously licci. Moreover, we prove that one cannot distinguish between the classes of homogeneously licci and non-licci ideals based only on their Hilbert functions, nor distinguish between homogeneously licci and minimally homogeneously licci ideals based solely on the graded Betti numbers. Finally, by taking hypersurface sections, we show that the natural question has a negative answer whenever the height of the ideal is at least three., Comment: 11 pages. To appear in the proceedings of the Midwest Algebra, Geometry and their Interactions Conference

We generalize Gaeta's Theorem to the family of determinantal schemes. In other words, we show that the schemes defined by minors of a fixed size of a matrix with polynomial entries belong to the same G-biliaison class of a complete intersection whenever they have maximal possible codimension, given the size of the matrix and of the minors that define them., Comment: 17 pages, submitted

The core of an ideal is the intersection of all its reductions. We describe the core of a zero-dimensional monomial ideal I as the largest monomial ideal contained in a general reduction of I. This provides a new interpretation of the core in the monomial case as well as an efficient algorithm for computing it. We relate the core to adjoints and first coefficient ideals, and in dimension two and three we give explicit formulas., Comment: 22 pages; corrections made in revised file

Let K be an algebraically closed field of characteristic zero and let I=(f_1,...,f_n) be a homogeneous R_+-primary ideal in R:=K[X,Y,Z]. If the corresponding syzygy bundle Syz(f_1,...,f_n) on the projective plane is semistable, we show that the Artinian algebra R/I has the Weak Lefschetz property if and only if the syzygy bundle has a special generic splitting type. As a corollary we get the result of Harima et alt., that every Artinian complete intersection (n=3) has the Weak Lefschetz property. Furthermore, we show that an almost complete intersection (n=4) does not necessarily have the Weak Lefschetz property, answering negatively a question of Migliore and Miro-Roig. We prove that an almost complete intersection has the Weak Lefschetz property if the corresponding syzygy bundle is not semistable., Comment: To appear in Illinois Journal of Mathematics

We show that a rational normal scroll can in general be set-theoretically defined by a proper subset of the 2-minors of the associated two-row matrix. This allows us to find a class of rational normal scrolls that are almost set-theoretic complete intersections.

We describe some recent work concerning Gorenstein liaison of codimension two subschemes of a projective variety. Applications make use of the algebraic theory of maximal Cohen-Macaulay modules, which we review in an Appendix., Comment: 16 pages

We show that the defining ideal of every monomial curve in the affine or projective three-dimensional space can be set-theoretically defined by three binomial equations, two of which set-theoretically define a determinantal ideal generated by the 2-minors of a $2\times 3$ matrix with monomial entries.

This paper has two aims. The first is to study ideals of minors of matrices whose entries are among the variables of a polynomial ring. Specifically, we describe matrices whose ideals of minors of a given size are prime. The main result in the first part of this paper is a theorem which gives sufficient conditions for the ideal of minors of a matrix to be prime. This theorem is general enough to include interesting examples, such as the ideal of maximal minors of catalecticant matrices and their generalisations discussed in the second part of the paper. The second aim of this paper is to settle a specific problem raised by David Eisenbud and Frank-Olaf Schreyer on the primary decomposition of an ideal of maximal minors. We solve this problem by applying the theorem above together with some ad-hoc techniques.

In a recent paper, F. Zanello showed that level Artinian algebras in 3 variables can fail to have the Weak Lefschetz Property (WLP), and can even fail to have unimodal Hilbert function. We show that the same is true for the Artinian reduction of reduced, level sets of points in projective 3-space. Our main goal is to begin an understanding of how the geometry of a set of points can prevent its Artinian reduction from having WLP, which in itself is a very algebraic notion. More precisely, we produce level sets of points whose Artinian reductions have socle types 3 and 4 and arbitrary socle degree $\geq 12$ (in the worst case), but fail to have WLP. We also produce a level set of points whose Artinian reduction fails to have unimodal Hilbert function; our example is based on Zanello's example. Finally, we show that a level set of points can have Artinian reduction that has WLP but fails to have the Strong Lefschetz Property. While our constructions are all based on basic double G-linkage, the implementations use very different methods., Comment: 21 pages

We deduce results on the dimension and connectedness of degeneracy loci of maps of finite modules $f:M\to N$ over a local noetherian ring $(A,{\mathfrak m})$. We show for instance that the expected determinantal bounds on the dimension of the t-$th$ degeneracy locus of $f$ hold if $f\in {\mathfrak m} Hom (M,N)$, and that this degeneracy locus is connected in the expected dimension provided $\hat A$ is a domain., Comment: 17 pages

We consider a family of schemes, that are defined by minors of a homogeneous symmetric matrix with polynomial entries. We assume that they have maximal possible codimension, given the size of the matrix and of the minors that define them. We show that these schemes are G-bilinked to a linear variety of the same dimension. In particular, they can be obtained from a linear variety by a finite sequence of ascending G-biliaisons on some determinantal schemes. In particular, it follows that these schemes are glicci. We describe the biliaisons explicitely in the proof of the main theorem., Comment: 20 pages, reference addeded, a few mistakes fixed, final version to appear on J. Algebra

The Multiplicity conjecture of Herzog, Huneke, and Srinivasan states an upper bound for the multiplicity of any graded $k$-algebra as well as a lower bound for Cohen-Macaulay algebras. In this note we extend this conjecture in several directions. We discuss when these bounds are sharp, find a sharp lower bound in case of not necessarily arithmetically Cohen-Macaulay one-dimensional schemes of 3-space, and we propose an upper bound for finitely generated graded torsion modules. We establish this bound for torsion modules whose codimension is at most two., Comment: 22 pages

We give a bound on the Castelnuovo-Mumford regularity of a homogeneous ideals I, in a polynomial ring A, in terms of number of variables and the degrees of generators, when the dimension of A/I is at most two. This bound improves the one obtained by Caviglia and Sbarra in this case. In the continuation of the examples constructed by Clare D'Cruz and the first author, we use families of monomial curves to construct homogeneous ideals showing that these bounds are quite sharp., Comment: 5 pages

A tetrahedral curve is an unmixed, usually non-reduced, one-dimensional subscheme of projective 3-space whose homogeneous ideal is the intersection of powers of the ideals of the six coordinate lines. The second and third authors have shown that these curves have very nice combinatorial properties, and they have made a careful study of the even liaison classes of these curves. We build on this work by showing that they are "almost always" componentwise linear, i.e. their homogeneous ideals have the property that for any d, the degree d component of the ideal generates a new ideal whose minimal free resolution is linear. The one type of exception is clearly spelled out and studied as well. The main technique is a careful study of the way that basic double linkage behaves on tetrahedral curves, and the connection to the tetrahedral curves that are minimal in their even liaison classes. With this preparation, we also describe the minimal free resolution of a tetrahedral curve, and in particular we show that in any fixed even liaison class there are only finitely many tetrahedral curves with linear resolution. Finally, we begin the study of the generic initial ideal (gin) of a tetrahedral curve. We produce the gin for arithmetically Cohen-Macaulay tetrahedral curves and for minimal arithmetically Buchsbaum tetrahedral curves, and we show how to obtain it for any non-minimal tetrahedral curve in terms of the gin of the minimal curve in that even liaison class., Comment: 31 pages; v2 has very minor changes: fixed typos, added Remark 4.2 and char. zero hypothesis to 5.2, and reworded 5.5. To appear, J. Algebra

Let $M$ be a finitely generated module over a local complete intersection $R$ of characteristic $p>0$. The property that $M$ has finite projective dimension can be characterized by the vanishing of $\ext_R^i({}^{f^n} R,M)$ for some $i>0$ and for some $n>0$., Comment: 5 pages

Let $m$, $n$, $a_1$, ..., $a_r$, $b_1$, ..., $b_r$ be integers with $1\leq a_1<...

Given two equidimensional Cohen-Macaulay local rings of the same dimension, one shows that a simultaneous extension of each of them by a dualizing module of the other is Gorenstein. This generalizes a theorem of Fossum. The geometrical analogue is also considered. The pairs of double lines in the projective space which are algebraically linked are classified.

We compute the arithmetic ranks of the defining ideals of homogeneous coordinate rings of certain Segre products arising from elliptic curves. The cohomological dimension of these ideals varies with the characteristic of the field, though the arithmetic rank does not. We also study the related set-theoretic Cohen-Macaulay property for these ideals.