Related papers: An alternating matrix and a vector, with applicati…
We study Gorenstein ideals of codimension $4$ derived from generic doublings of almost complete intersection perfect ideals of codimension $3$. We also investigate spinor coordinates of such Gorenstein ideals with $8$ and $9$ generators.…
We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be…
The algebra in the title has been introduced by P. Aluffi. Let $J\subset I$ be ideals in the commutative ring $R$. The (embedded) Aluffi algebra of $I$ on $R/J$ is an intermediate graded algebra between the symmetric algebra and Rees…
P. Aluffi introduced in [1] a new graded algebra in order to conveniently express characteristic cycles in the theory of singular varieties. This algebra is attached to a surjective ring homomorphism $A\surjects B$ by taking a suitable…
A pair of ideals $J\subseteq I\subseteq R$ has been called Aluffi torsion-free if the Aluffi algebra of $I/J$ is isomorphic with the corresponding Rees algebra. We give necessary and sufficient conditions for the Aluffi torsion-free…
Given a non-negative integer $n$ and a ring $R$ with identity, we construct an abelian model structure on the category of left $R$-modules where the class of cofibrant objects coincides with $\mathcal{GF}_n(R)$ the class of left $R$-modules…
Let $(R,\mathfrak{m},\Bbbk)$ be a regular local ring of dimension 3. Let $I$ be a Gorenstein ideal of $R$ of grade 3. Buchsbaum and Eisenbud proved that there is a skew-symmetric matrix of odd size such that $I$ is generated by the…
A special class of algebras which are intermediate between the symmetric and the Rees algebras of an ideal was introduced by P. Aluffi in 2004 to define characteristic cycle of a hypersurface parallel to conormal cycle in intersection…
Let $SL_{2}(F_{q})$ be the special linear group over a finite field $F_{q}$, $V$ be the 2-dimensional natural representation of $SL_{2}(F_{q})$ and $V^{\ast}$ be the dual representation. We denote by $F_{q}[V\oplus…
The ring of dual integers is the bounded polynomial ring $\mathbb Z[\epsilon]=\mathbb Z[T]/(T^2)$ with integer coefficients. We describe the (finitely generated) Gorenstein-projective $\mathbb Z[\epsilon]$-modules as the torsionless…
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.…
Let $R = k[w, x_1,..., x_n]/I$ be a graded Gorenstein Artin algebra . Then $I = \ann F$ for some $F$ in the divided power algebra $k_{DP}[W, X_1,..., X_n]$. If $RI_2$ is a height one idealgenerated by $n$ quadrics, then $I_2 \subset (w)$…
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…
For a given monomial ideal $J \subset k[x_1, \ldots, x_n]$ and a given monomial order $\prec$, the moduli functor of all reduced Gr\"obner bases with respect to $\prec$ whose initial ideal is $J$ is determined. In some cases, such a functor…
To every Gorenstein algebra $A$ of finite vector space dimension greater than 1 over a field $\FF$ of characteristic zero, and a linear projection $\pi$ on its maximal ideal ${\mathfrak m}$ with range equal to the annihilator…
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$…
A Gorenstein A-algebra R of codimension 2 is a perfect finite A-algebra such that R=Ext^2(R,A) holds as R-modules, A being a Cohen-Macaulay local ring with dim(A)-dim_A(R)=2. I prove a structure theorem for these algebras improving on an…
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…
In this paper, we consider a monomial ideal J in P := A[x1,...,xn], over a commutative ring A, and we face the problem of the characterization for the family Mf(J) of all homogeneous ideals I in P such that the A-module P/I is free with…
Let $R$ be a commutative ring. A quasi-Gorenstein $R$-module is an $R$-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself.…