English
Related papers

Related papers: Grade three perfect ideals and length four self-du…

200 papers

We analyze the structure of spinor coordinates on resolutions of Gorenstein ideals of codimension four. As an application we produce a family of such ideals with seven generators which are not specializations of Kustin-Miller model.

Commutative Algebra · Mathematics 2021-08-10 Ela Celikbas , Jai Laxmi , Jerzy Weyman

Consider a grade 2 perfect ideal $I$ in $R=k[x_1,\cdots,x_d]$ which is generated by forms of the same degree. Assume that the presentation matrix $\varphi$ is almost linear, that is, all but the last column of $\varphi$ consist of entries…

Commutative Algebra · Mathematics 2016-05-06 Jacob A. Boswell , Vivek Mukundan

Given a unital associative ring S and a subring R, we say that S is an ideal (or Dorroh) extension of R if for some ideal I of S, S = R + I, where the sum is direct. In this note we investigate the ideal structure of an arbitrary ideal…

Rings and Algebras · Mathematics 2010-08-12 Zachary Mesyan

Let $J_G$ be the binomial edge ideal of a graph $G$. We characterize all graphs whose binomial edge ideals, as well as their initial ideals, have regularity $3$. Consequently we characterize all graphs $G$ such that $J_G$ is extremal…

Commutative Algebra · Mathematics 2017-06-29 Sara Saeedi Madani , Dariush Kiani

We classify connected graphs $G$ whose binomial edge ideal is Gorenstein. The proof uses methods in prime characteristic.

Commutative Algebra · Mathematics 2021-02-23 René González-Martínez

Let $M$ be a perfect module of projective dimension 3 in a Gorenstein, local or graded ring $R$. We denote by $\FF$ the minimal free resolution of $M$. Using the generic ring associated to the format of $\FF$ we define higher structure…

Commutative Algebra · Mathematics 2024-01-22 Sara Angela Filippini , Lorenzo Guerrieri

Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…

Commutative Algebra · Mathematics 2024-11-25 Paul Balmer , Beren Sanders

A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre…

Representation Theory · Mathematics 2019-05-07 Dave Benson , Srikanth B. Iyengar , Henning Krause , Julia Pevtsova

Let P be a commutative Noetherian ring, K be an ideal of P which is generated by a regular sequence of length four, f be a regular element of P, and Pbar be the hypersurface ring P/(f). Assume that K:f is a grade four Gorenstein ideal of P.…

Commutative Algebra · Mathematics 2019-05-29 Andrew R. Kustin

Inspired by recent work in the theory of central projections onto hypersurfaces, we characterize self-linked perfect ideals of grade 2 as those with a Hilbert--Burch matrix that has a maximal symmetric subblock. We also prove that every…

alg-geom · Mathematics 2008-02-03 Steven Kleiman , Bernd Ulrich

We establish characteristic-free criteria for the componentwise linearity of graded ideals. As applications, we classify the componentwise linear ideals among the Gorenstein ideals, the standard determinantal ideals, and the ideals…

Commutative Algebra · Mathematics 2021-05-18 Uwe Nagel , Tim Roemer

Let $k$ be a field of positive characteristic $p$, $R$ be a Gorenstein graded $k$-algebra, and $S=R/J$ be an artinian quotient of $R$ by a homogeneous ideal. We ask how the socle degrees of $S$ are related to the socle degrees of…

Commutative Algebra · Mathematics 2007-05-23 Andrew R. Kustin , Adela N. Vraciu

This is the second paper in a sequence on Krull dimension for limit groups, answering a question of Z. Sela. In it we develop the notion of a resolution of a sequence of limit groups and show how to derive resolutions of low complexity from…

Group Theory · Mathematics 2014-11-11 Larsen Louder

In this note, we calculate the Koszul homology of the codimension 3 Gorenstein ideals. We find filtrations for the Koszul homology in terms of modules with pure free resolutions and completely describe these resolutions. We also consider…

Commutative Algebra · Mathematics 2013-12-10 Steven V Sam , Jerzy Weyman

We classify all convex polyomino ideals which are linearly related or have a linear resolution. Convex stack polyominoes whose ideals are extremal Gorenstein are also classified. In addition, we characterize, in combinatorial terms, the…

Commutative Algebra · Mathematics 2014-03-19 Viviana Ene , Jürgen Herzog , Takayuki Hibi

The goal of this paper is to study the Rees algebra $\mathfrak{R}(I)$and the special fiber ring $\mathfrak{F}(I)$ for a family of ideals. Let $R=\mathbb{K}[x_1, \ldots, x_d]$ with $d\geq 4$ be a polynomial ring with homogeneous maximal…

Commutative Algebra · Mathematics 2024-08-12 Whitney Liske

Let $R=\oplus_{m\geq 0}R_m$ be a standard graded equidimensional ring over a field $R_0$, and $I\subseteq J$ be two non-nilpotent graded ideals in $R$. Then we give a set of numerical characterizations of the integral dependence of $I$ and…

Commutative Algebra · Mathematics 2025-05-12 Suprajo Das , Sudeshna Roy , Vijaylaxmi Trivedi

In order to study the structure of arbitrary split Leibniz triple systems, we introduce the class of split Leibniz triple systems as the natural extension of the class of split Lie triple systems and split Leibniz algebras. By developing…

Rings and Algebras · Mathematics 2017-07-04 Yan Cao , Laingyun Chen

It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of…

Algebraic Geometry · Mathematics 2009-04-22 D. A. Stepanov

Let $X$ be an $(m\times n)$-matrix of indeterminates, and let $J$ be the ideal generated by a set $\mathcal{S}$ of maximal minors of $X$. We construct the linear strand of the resolution of $J$. This linear strand is determined by the…

Commutative Algebra · Mathematics 2015-09-01 Jürgen Herzog , Dariush Kiani , Sara Saeedi Madani