Source author record

Andrew R. Kustin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.AG

Catalog footprint

Research overview

15works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Quadratically presented Gorenstein ideals

Let $J$ be a quadratically presented grade three Gorenstein ideal in the standard graded polynomial ring $R= k[x,y,z]$ , where $k$ is a field. Assume that $R/J$ satisfies the weak Lefschetz property. We give the presentation matrix for $J$ in terms of the coefficients of a Macaulay inverse system for $J$ . (This presentation matrix is an alternating matrix and $J$ is generated by the maximal order Pfaffians of the presentation matrix.) Our formulas are computer friendly; they involve only matrix multiplication; they do not involve multilinear algebra or complicated summations. As an application, we give the presentation matrix for $J_1=(x^{n+1},y^{n+1},z^{n+1}):(x+y+z)^{n+1}$ , when $n$ is even and the characteristic of $k$ is zero. Generators for $J_1$ had been identified previously; but the presentation matrix for $J_1$ had not previously been known. The first step in our proof is to give improved formulas for the presentation matrix of a linearly presented grade three Gorenstein ideal $I$ in terms of the coefficients of the Macaulay inverse system for $I$ .

preprint2020arXiv

Perfect modules with Betti numbers $(2,6,5,1)$

In 2018 Celikbas, Laxmi, Kraśkiewicz, 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śkiewicz, 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.

preprint2015arXiv

A matrix of linear forms which is annihilated by a vector of indeterminates

Let R be a standard graded polynomial ring in f variables over a field and Psi be an f by g matrix of linear forms from R, where g is positive and less than f. Assume that the row vector of variables annihilates Psi and that the ideal I generated by the g by g minors of Psi has grade exactly one short of the maximum possible grade. We resolve R/I, prove that I has a g-linear resolution, record explicit formulas for the h-vector and multiplicity of R/I, and prove that if f-g is even, then the ideal I is unmixed. Furthermore, if f-g is odd, then we identify an explicit generating set for the unmixed part, I^{unm}, of I, resolve R/I^{unm}, and record explicit formulas for the h-vector of R/I^{unm}. These results have applications to the study of the blow-up algebras associated to linearly presented grade three Gorenstein ideals.

preprint2015arXiv

An alternating matrix and a vector, with application to Aluffi algebras

Let $\mathbf X$ be a generic alternating matrix, $\mathbf t$ be a generic row vector, and $J$ be the ideal $\operatorname{Pf}_4({\mathbf X})+I_1({\mathbf {t X}})$ . We prove that $J$ is a perfect Gorenstein ideal of grade equal to the grade of $\operatorname{Pf}_4({\mathbf X})$ plus two. This result is used by Ramos and Simis in their calculation of the Aluffi algebra of the module of derivations of the homogeneous coordinate ring of a smooth projective hypersurface. We also prove that $J$ defines a domain, or a normal ring, or a unique factorization domain if and only if the base ring has the same property. The main object of study in the present paper is the module $\mathcal N$ which is equal to the column space of $\mathbf X$ , calculated mod $\operatorname{Pf}_4({\mathbf X})$ . The module $\mathcal N$ is a self-dual maximal Cohen-Macaulay module of rank two; furthermore, $J$ is a Bourbaki ideal for $\mathcal N$ . The ideals which define the homogeneous coordinate rings of the Plücker embeddings of the Schubert subvarieties of the Grassmannian of planes are used in the study of the module $\mathcal N$ .

preprint2015arXiv

Blowups and fibers of morphisms

Our object of study is a rational map Psi from projective s-1 space to projective n-1 space defined by homogeneous forms g1,...,gn, of the same degree d, in the homogeneous coordinate ring R=k[x1,...,xs] of projective s-1 space. Our goal is to relate properties of Psi, of the homogeneous coordinate ring A=k[g1,...,gn] of the variety parametrized by Psi, and of the Rees algebra R[It], the bihomogeneous coordinate ring of the graph of Psi. For a regular map Psi, for instance, we prove that R[It] satisfies Serre's condition R_i, for some positive i, if and only if A satisfies R_{i-1} and Psi is birational onto its image. Thus, in particular, Psi is birational onto its image if and only if R[It] satisfies R_1. Either condition has implications for the shape of the core, namely, the core of I is the multiplier ideal of I to the power s and the core of I equals the maximal homogeneous ideal of R to the power sd-s+1. Conversely, for s equal to two, either equality for the core implies birationality. In addition, by means of the generalized rows of the syzygy matrix of g1,...,gn, we give an explicit method to reduce the non-birational case to the birational one when s is equal to 2.

preprint2015arXiv

Canonical complexes associated to a matrix

Let Phi be an f by g matrix with entries from a commutative Noetherian ring R, with g at most f. Recall the family of generalized Eagon-Northcott complexes {C^{i}} associated to Phi. (See, for example, Appendix A2 in "Commutative Algebra with a view toward Algebraic Geometry" by David Eisenbud.) For each integer i, C^i is a complex of free R-modules. For example, C^{0} is the original "Eagon-Northcott" complex with zero-th homology equal to the ring defined by the maximal order minors of Phi; and C^{1} is the "Buchsbaum-Rim" complex with zero-th homology equal to the cokernel of the transpose of Phi. If Phi is sufficiently general, then each C^{i}, with i at least -1, is acyclic; and, if Phi is generic, then these complexes resolve half of the divisor class group of R/I_g(Phi). The family {C^{i}} exhibits duality; and, if -1\le i\le f-g+1, then the complex C^{i} exhibits depth-sensitivity with respect to the ideal I_g(Phi) in the sense that the tail of C^{i} of length equal to grade(I_g(Phi)) is acyclic. The entries in the differentials of C^i are linear in the entries of Phi at every position except at one, where the entries of the differential are g by g minors of Phi. This paper expands the family {C^i} to a family of complexes {C^{i,a}} for integers i and a with 1\le a\le g. The entries in the differentials of C^{i,a} are linear in the entries of Phi at every position except at two consecutive positions. At one of the exceptional positions the entries are a by a minors of Phi, at the other exceptional position the entries are g-a+1 by g-a+1 minors of Phi. The complexes {C^i} are equal to {C^{i,1}} and {C^{i,g}}. The complexes {C^{i,a}} exhibit all of the properties of {C^{i}}. In particular, if -1\le i\le f-g and 1\le a\le g, then C^{i,a} exhibits depth-sensitivity with respect to the ideal I_g(Phi).

preprint2015arXiv

Minimal quasi-complete intersection ideals

A quasi-complete intersection (q.c.i.) ideal of a local ring is an ideal with "free exterior Koszul homology"; the definition can also be understood in terms of vanishing of André-Quillen homology functors. Principal q.c.i. ideals are well understood, but few constructions are known to produce q.c.i. ideals of grade zero that are not principal. This paper examines the structure of q.c.i. ideals. We exhibit conditions on a ring $R$ which guarantee that every q.c.i. ideal of $R$ is principal. On the other hand, we give an example of a minimal q.c.i. deal $I$ which does not contain any principal q.c.i. ideals and is not embedded, in the sense that no faithfully flat extension of $I$ can be written as a quotient of complete intersection ideals. We also describe a generic situation in which the maximal ideal of $R$ is an embedded q.c.i. ideal that does not contain any principal q.c.i. ideals.

preprint2015arXiv

The Hilbert series of the ring associated to an almost alternating matrix

We give an explicit formula for the Hilbert Series of an algebra defined by a linearly presented, standard graded, residual intersection of a grade three Gorenstein ideal.

preprint2014arXiv

The explicit minimal resolution constructed from a Macaulay inverse system

This is the second paper in a series of three papers. In the first paper of the series, "Artinian Gorenstein algebras with linear resolutions", (arXiv:1306.2523, J. of Algebra, to appear) we prove that it is possible to give the minimal resolution of the rings from the title in terms of the coefficients of the corresponding Macaulay inverse system. In this context, the word "give" means, "give in a polynomial manner". The first paper in the series proves, essentially, an existence theorem. The second and third papers in the series construct the explicit formulas for the resolution. The present paper is concerned with Artinian Gorenstein algebras of embedding codimension three. In the third paper, "The structure of Gorenstein-linear resolutions of Artinian algebras", the embedding codimension is arbitrary.

preprint2014arXiv

The structure of Gorenstein-linear resolutions of Artinian algebras

This is the third paper in a series of three papers. The first two papers in the series are called "Artinian Gorenstein algebras with linear resolutions", (arXiv:1306.2523) and "The explicit minimal resolution constructed from a Macaulay inverse system". In the present paper, we give the explicit minimal resolution of an Artinian Gorenstein algebra with a linear resolution. This minimal resolution is given in a polynomial manner in terms of the coefficients of the Macaulay inverse system for the Gorenstein algebra. Let k be a field, A a standard-graded Artinian Gorenstein k-algebra, S the standard-graded polynomial ring Sym(A_1), I the kernel of the natural surjection from S to A, d the vector space dimension of A_1, and n the least index with I_n not equal to 0. Assume that 3<= d and 2<= n. In this paper, we give the structure of the minimal homogeneous resolution B of A by free S-modules, provided B is Gorenstein-linear. Our description of B depends on a fixed decomposition of A_1 of the form k x_1\oplus V_0, for some non-zero element x_1 and some d-1 dimensional subspace V_0 of A_1. Much information about B is already contained in the complex Bbar=B/x_1B, which we call the skeleton of B. One striking feature of B is the fact that the skeleton of B is completely determined by the data (d,n); no other information about A is used in the construction of Bbar. The skeleton Bbar is the mapping cone of zero: K->L, where L is a well known resolution of Buchsbaum and Eisenbud; K is the dual of L; and L and K are comprised of Schur and Weyl modules associated to hooks, respectively. The decomposition of Bbar into Schur and Weyl modules lifts to a decomposition of B; furthermore, B inherits the natural self-duality of Bbar. As an application we observe that every non-zero element of A_1 is a weak Lefschetz element for A.

preprint2013arXiv

Artinian Gorenstein algebras with linear resolutions

Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is generated by homogeneous forms of degree n. If the resolution of P/I by free P-modules is linear, then there exists a ring homomorphism from R to P such that P tensor G is a minimal homogeneous resolution of P/I by free P-modules. Our construction is coordinate free.

preprint2012arXiv

A study of singularities on rational curves via syzygies

Consider a rational projective curve C of degree d over an algebraically closed field k. There are n homogeneous forms g_1,...,g_n of degree d in B=k[x,y] which parameterize C in a birational, base point free, manner. We study the singularities of C by studying a Hilbert-Burch matrix phi for the row vector [g_1,...,g_n]. In the "General Lemma" we use the generalized row ideals of phi to identify the singular points on C, their multiplicities, the number of branches at each singular point, and the multiplicity of each branch. Let p be a singular point on the parameterized planar curve C which corresponds to a generalized zero of phi. In the "Triple Lemma" we give a matrix phi' whose maximal minors parameterize the closure, in projective 2-space, of the blow-up at p of C in a neighborhood of p. We apply the General Lemma to phi' in order to learn about the singularities of C in the first neighborhood of p. If C has even degree d=2c and the multiplicity of C at p is equal to c, then we apply the Triple Lemma again to learn about the singularities of C in the second neighborhood of p. Consider rational plane curves C of even degree d=2c. We classify curves according to the configuration of multiplicity c singularities on or infinitely near C. There are 7 possible configurations of such singularities. We classify the Hilbert-Burch matrix which corresponds to each configuration. The study of multiplicity c singularities on, or infinitely near, a fixed rational plane curve C of degree 2c is equivalent to the study of the scheme of generalized zeros of the fixed balanced Hilbert-Burch matrix phi for a parameterization of C.

preprint2011arXiv

The Weak Lefschetz Property for monomial complete intersections

Let $A=\pmb k[x_1,...,x_n]/{(x_1^d,...,x_n^d)}$ , where $\pmb k$ is an infinite field. If $\pmb k$ has characteristic zero, then Stanley proved that $A$ has the Weak Lefschetz Property (WLP). Henceforth, $\pmb k$ has positive characteristic $p$ . If $n=3$ , then Brenner and Kaid have identified all $d$ , as a function of $p$ , for which $A$ has the WLP. In the present paper, the analogous project is carried out for $4\le n$ . If $4\le n$ and $p=2$ , then $A$ has the WLP if and only if $d=1$ . If $n=4$ and $p$ is odd, then we prove that $A$ has the WLP if and only if $d=kq+r$ for integers $k,q,d$ with $1\le k\le \frac{p-1}2$ , $r\in{\frac{q-1}2,\frac{q+1}2}$ , and $q=p^e$ for some non-negative integer $e$ . If $5\le n$ , then we prove that $A$ has the WLP if and only if $\lfloor\frac{n(d-1)+3}2\rfloor\le p$ . We first interpret the WLP for the ring ${{\pmb k}[x_1, ..., x_{n}]}/{(x_1^d, ..., x_{n}^d)}$ in terms of the degrees of the non-Koszul relations on the elements $x_1^d, ..., x_{n-1}^d, (x_1+ ... +x_{n-1})^d$ in the polynomial ring $\pmb k[x_1, ..., x_{n-1}]$ . We then exhibit a sufficient condition for ${{\pmb k}[x_1, ..., x_{n}]}/{(x_1^d, ..., x_{n}^d)}$ to have the WLP. This condition is expressed in terms of the non-vanishing in $\pmb k$ of determinants of various Toeplitz matrices of binomial coefficients. Frobenius techniques are used to produce relations of low degree on $x_1^d$ , ..., $x_{n-1}^d$ , ${(x_1+ ... +x_{n-1})^d}$ . From this we obtain a necessary condition for $A$ to have the WLP. We prove that the necessary condition is sufficient by showing that the relevant determinants are non-zero in $\pmb k$ .

preprint2010arXiv

The resolution of the bracket powers of the maximal ideal in a diagonal hypersurface ring

Let $k$ be a field. For each pair of positive integers $(n,N)$ , we resolve $Q=R/(x^N,y^N,z^N)$ as a module over the ring $R=k[x,y,z]/(x^n+y^n+z^n)$ . Write $N$ in the form $N=a n+r$ for integers $a$ and $r$ , with $r$ between $0$ and $n-1$ . If $n$ does not divide $N$ and the characteristic of $k$ is fixed, then the value of $a$ determines whether $Q$ has finite or infinite projective dimension. If $Q$ has infinite projective dimension, then value of $r$ , together with the parity of $a$ , determines the periodic part of the infinite resolution. When $Q$ has infinite projective dimension we give an explicit presentation for the module of first syzygies of $Q$ . This presentation is quite complicated. We also give an explicit presentation the module of second syzygies for $Q$ . This presentation is remarkably uncomplicated. We use linkage to find an explicit generating set for the grade three Gorenstein ideal $(x^N,y^N,z^N):(x^n+y^n+z^n)$ in the polynomial ring $k[x,y,z]$ . The question "Does $Q$ have finite projective dimension?" is intimately connected to the question "Does $k[X,Y,Z]/(X^a,Y^a,Z^a)$ have the Weak Lefschetz Property?". The second question is connected to the enumeration of plane partitions. When the field $k$ has positive characteristic, we investigate three questions about the Frobenius powers $F^t(Q)$ of $Q$ . When does there exist a pair $(n,N)$ so that $Q$ has infinite projective dimension and $F(Q)$ has finite projective dimension? Is the tail of the resolution of the Frobenius power $F^t(Q)$ eventually a periodic function of $t$ , (up to shift)? In particular, we exhibit a situation where the tail of the resolution of $F^t(Q)$ , after shifting, is periodic as a function of $t$ , with an arbitrarily large period. Can one use socle degrees to predict that the tail of the resolution of $F^t(Q)$ is a shift of the tail of the resolution of $Q$ ?

preprint2006arXiv

Divisors over determinantal rings defined by two by two minors

Let E and G be free modules of rank e and g, respectively, over a commutative noetherian ring R. The identity map on E^* tensor G induces the Koszul complex ... -> S_mE^* tensor S_nG tensor Wedge^p(E^* tensor G) -> S_{m+1}E^* tensor S_{n+1}G tensor Wedge^{p-1}(E^* tensor G) -> ... and its dual ... -> D_{m+1}E tensor D_{n+1}G^* tensor Wedge^{p-1}(E tensor G^*) -> D_mE tensor D_nG^* tensor Wedge^p(E tensor G^*)-> ... Let H_{m,n,p} be the homology of the top complex at S_m tensor S_n tensor Wedge^p and H^{m,n,p} the homology of the bottom complex at D_m tensor D_n tensor Wedge^p. It is known that H_{m,n,p} is isomorphic to H^{m',n',p'}, provided m+m'=g-1, n+n'=e-1, p+p'=(e-1)(g-1), and m-n is between 1-e and g-1. In this paper we exhibit an explicit quasi-isomorphism M of complexes which gives rise to this isomorphism. The mapping cone of M is a split exact complex. Our complexes may be formed over the ring of integers; they can be passed to an arbitrary ring or field by base change. Knowledge of the homology of the top complex is equivalent to knowledge of the modules in the resolution of the Segre module Segre(e,g,m-n). The Segre modules are a set of representatives of the divisor class group of the determinantal ring defined by the 2 by 2 minors of an e by g matrix of indeterminants. If R is the ring of integers, then the homology H_{m,n,p} is not always a free abelian group. In other words, if R is a field, then the dimension of H_{m,n,p} depends on the characteristic of R. The module H_{m,n,p} is known when R is a field of characteristic zero; however, this module is not yet known over arbitrary fields.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Andrew R. Kustin

Research overview

Is this your work?

15 publications

Quadratically presented Gorenstein ideals

Perfect modules with Betti numbers $(2,6,5,1)$

A matrix of linear forms which is annihilated by a vector of indeterminates

An alternating matrix and a vector, with application to Aluffi algebras

Blowups and fibers of morphisms

Canonical complexes associated to a matrix

Minimal quasi-complete intersection ideals

The Hilbert series of the ring associated to an almost alternating matrix

The explicit minimal resolution constructed from a Macaulay inverse system

The structure of Gorenstein-linear resolutions of Artinian algebras

Artinian Gorenstein algebras with linear resolutions

A study of singularities on rational curves via syzygies

The Weak Lefschetz Property for monomial complete intersections

The resolution of the bracket powers of the maximal ideal in a diagonal hypersurface ring

Divisors over determinantal rings defined by two by two minors

See the researcher in context

Building this map preview

Andrew R. Kustin

Research overview

Is this your work?

15 publications

Quadratically presented Gorenstein ideals

Perfect modules with Betti numbers (2,6,5,1)(2,6,5,1)(2,6,5,1)

A matrix of linear forms which is annihilated by a vector of indeterminates

An alternating matrix and a vector, with application to Aluffi algebras

Blowups and fibers of morphisms

Canonical complexes associated to a matrix

Minimal quasi-complete intersection ideals

The Hilbert series of the ring associated to an almost alternating matrix

The explicit minimal resolution constructed from a Macaulay inverse system

The structure of Gorenstein-linear resolutions of Artinian algebras

Artinian Gorenstein algebras with linear resolutions

A study of singularities on rational curves via syzygies

The Weak Lefschetz Property for monomial complete intersections

The resolution of the bracket powers of the maximal ideal in a diagonal hypersurface ring

Divisors over determinantal rings defined by two by two minors

See the researcher in context

Building this map preview

Perfect modules with Betti numbers $(2,6,5,1)$