Related papers: Trimming a Gorenstein ideal
We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein…
In this paper we describe the defining equations of the Rees algebra and the special fiber ring of a truncation I of a complete intersection ideal in a polynomial ring over a field with homogeneous maximal ideal m. To describe explicitly…
The main achievement of this paper is to provide a structure theorem for Artinian, Gorenstein local rings with the property that the square of the maximal ideal is generated by two elements. The moduli problem for this class of local…
We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring--the Gorenstein flat-cotorsion dimension--and prove that it, unlike the Gorenstein flat dimension, behaves as one expects of a homological…
This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3…
We provide a method for computing the global dimension and self-injective dimension of almost gentle algebras,and prove that an almost gentle algebra is Gorenstein if it satisfies the Auslander condition.
Starting with a commutative ring $R$ and an ideal $I$, it is possible to define a family of rings $R(I)_{a,b}$, with $a,b \in R$, as quotients of the Rees algebra $\oplus_{n \geq 0} I^nt^n$; among the rings appearing in this family we find…
Let k be a field and q a non-zero element of k. In Part I, we have exhibited a 6-dimensional k-algebra A = A(q) and we have shown that if q has infinite multiplicative order, then A has a 3-dimensional local module which is…
We motivate and study the reduced Koszul map, relating the invariant bilinear maps on a Lie algebra and the third homology. We show that it is concentrated in degree 0 for any grading in a torsion-free abelian group, and in particular it…
We give a description of the connected graded algebras which are finitely generated and presented of global dimension 2 or 3 and which are Gorenstein. These algebras are constructed from multilinear forms. We generalize the construction by…
A Gotzmann monomial ideal of the polynomial ring is a monomial ideal which is generated in one degree and which satisfies Gotzmann's persistence theorem. A subset $V$ is said to be a Gotzmann subset if the ideal generated by $V$ is a…
Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for…
We study the deformation theory of quotients of polynomial rings by quadratic monomial ideals. More precisely we compute the first cotangent cohomology module of such rings. We also give a criterion for vanishing of second cotangent…
We compute the Hilbert series, and the graded vector space structure, of Ext-algebras of quotients of Koszul algebras with almost linear resolution. The example of the generic determinantal varieties is treated in detail.
Let A be a noetherian local commutative ring and let M be a suitable complex of A-modules. This paper proves that M is a dualizing complex for A if and only if the trivial extension A \ltimes M is a Gorenstein Differential Graded Algebra.…
In the present paper, we investigate a conjecture of J\"urgen Herzog. Let $S$ be a local regular ring with residue field $K$ or a positively graded $K$-algebra, $I\subset S$ be a perfect ideal of grade two, and let $R=S/I$ with canonical…
Let $M_w = (\Pj^1)^n \q \mathrm{SL}_2$ denote the geometric invariant theory quotient of $(\Pj^1)^n$ by the diagonal action of $\mathrm{SL}_2$ using the line bundle $\mathcal{O}(w_1,w_2,...,w_n)$ on $(\Pj^1)^n$. Let $R_w$ be the coordinate…
Let $(R, \mathfrak m)$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ of height $c$ we are interested in the endomorphism ring $B = \Hom_R(H^c_I(R), H^c_I(R)).$ It turns out that $B$ is a commutative ring. In the case…
We study the topological heterotic ring in (0,2) Landau-Ginzburg models without a (2,2) locus. The ring elements correspond to elements of the Koszul cohomology groups associated to a zero-dimensional ideal in a polynomial ring, and the…
Let $(R, \mathfrak{m}) $ be a Gorenstein local ring of dimension $d > 0$ and let $I$ be an ideal of $R$ such that $(0) \ne I \subsetneq R$ and $R/I$ is a Cohen-Macaulay ring of dimension $d$. There is given a complete answer to the question…