BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Andrew R. Kustin

Andrew R. Kustin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AC

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$?

0 citations0 reviewsNo code linkedOpen access