In this paper we study the isomorphism classes of local, Artinian, Gorenstein k-algebras A whose maximal ideal M satisfies dim_k(M^3/M^4)=1 by means of Macaulay's inverse system generalizing a recent result by J. Elias and M.E. Rossi. Then we use such results in order to complete the description of the singular locus of the Gorenstein locus of the punctual Hilbert scheme of degree 11.
The famous structure theorem of Buchsbaum and Eisenbud gives a complete characterization of Gorenstein ideals of codimension 3 and their minimal free resolutions. We generalize the ideas of Buchsbaum and Eisenbud from Gorenstein ideals to Gorenstein algebras and present a description of Gorenstein algebras of any odd codimension. As an application we study the canonical ring of a numerical Godeaux surface.
Macaulay's Inverse System gives an effective method to construct Artinian Gorenstein k-algebras. To date a general structure for Gorenstein k-algebras of any dimension (and codimension) is not understood. In this paper we extend Macaulay's correspondence characterizing the submodules of the divided power ring in one-to-one correspondence with Gorenstein d-dimensional k-algebras. We discuss effective methods for constructing Gorenstein graded rings. Several examples illustrating our results are given.
We study properties of the resolution of almost Gorenstein artinian algebras $R/I,$ i.e. algebras defined by ideals $I$ such that $I=J+(f),$ with $J$ Gorenstein ideal and $f\in R.$ Such algebras generalize the well known almost complete intersection artinian algebras. Then we give a new explicit description of the resolution and of the graded Betti numbers of almost complete intersection ideals of codimension $3$ and we characterize the ideals whose graded Betti numbers can be achieved using artinian monomial ideals.
We study commutative algebras with Gorenstein duality, i.e. algebras $A$ equipped with a non-degenerate bilinear pairing such that $\langle ac,b\rangle=\langle a,bc\rangle$ for any $a,b,c\in A$. If an algebra $A$ is Artinian, such pairing exists if and only if $A$ is Gorenstein. We give a description of algebras with Gorenstein duality as a quotients of the ring of differential operators by the annihilator of an explicit polynomial (or more generally formal polynomial series). This provides a calculation of Macaulay's inverse systems for (not necessarily Artinian) algebras with Gorenstein dual…
We study the general Jordan type of standard graded Artinian Gorenstein algebras, it is a finer invariant than Weak and Strong Lefschetz properties for those algebras. We prove that their Jordan types are determined by the rank of certain Mixed Hessians. We give a description of the possible Jordan types for algebras of low socle degree and low codimension.
In 2012, Ananthnarayan, Avramov and Moore gave a new construction of Gorenstein rings from two Gorenstein local rings, called their connected sum. In this article, we investigate conditions on the associated graded ring of a Gorenstein Artin local ring Q, which force it to be a connected sum over its residue field. In particular, we recover some results regarding short, and stretched, Gorenstein Artin rings. Finally, using these decompositions, we obtain results about the rationality of the Poincare series of Q.
Let $R$ be the power series ring or the polynomial ring over a field $k$ and let $I $ be an ideal of $R.$ Macaulay proved that the Artinian Gorenstein $k$-algebras $R/I$ are in one-to-one correspondence with the cyclic $R$-submodules of the divided power series ring $Γ. $ The result is effective in the sense that any polynomial of degree $s$ produces an Artinian Gorenstein $k$-algebra of socle degree $s.$ In a recent paper, the authors extended Macaulay's correspondence characterizing the $R$-submodules of $Γ$ in one-to-one correspondence with Gorenstein d-dimensional $k$-algebras. However, th…
We introduce a family of standard bigraded binomial Artinian Gorenstein algebras, whose combinatoric structure characterizes the ones presented by quadrics. These algebras provide, for all socle degree grater than two and in sufficiently large codimension with respect to the socle degree, counter-examples to Migliore-Nagel conjectures, see \cite{MN1} and \cite{MN2}. One of them predicted that Artinian Gorenstein algebras presented by quadratics should satisfy the weak Lefschetz property. We also prove a generalization of a Hessian criterion for the Lefschetz properties given by Watanabe, see \…
The classification of local Artinian Gorenstein algebras is equivalent to the study of orbits of a certain non-reductive group action on a polynomial ring. We give an explicit formula for the orbits and their tangent spaces. We apply our technique to analyse when an algebra is isomorphic to its associated graded algebra. We classify algebras with Hilbert function (1, 3, 3, 3, 1), obtaining finitely many isomorphism types, and those with Hilbert function (1, 2, 2, 2, 1, 1, 1). We consider fields of arbitrary, large enough, characteristic.
The Jordan type of an Artinian algebra is the Jordan block partition associated to multiplication by a generic element of the maximal ideal. We study the Jordan type for Artinian Gorenstein (AG) local algebras A, and the interaction of Jordan type with the symmetric decomposition of the Hilbert function H(A). We give examples of Gorenstein sequences H for which the family Gor(H) of AG algebras having Hilbert function H has several irreducible components, each corresponding to a symmetric decomposition of H. The component structure results from the intersection of two opposing filtrations of th…
Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artinian Gorenstein algebra $A$ having low maximum value of the Hilbert function - at most six - has the strong Lefschetz property, provided that the characteristic is zero. When the characteristic is grea…
We study induced additive actions on projective hypersurfaces, i.e. regular actions of the algebraic group $\mathbb G_a^m$ with an open orbit that can be extended to a regular action on the ambient projective space. We prove that if a projective hypersurface admits an induced additive action, then it is unique if and only if the hypersurface is non-degenerate. We also show that for any $n\geq 2$, there exists a non-degenerate hypersurface in $\mathbb P^n$ of each degree $d$ from $2$ to $n$.
We analyze and present an effective solution to the minimal Gorenstein cover problem: given a local Artin k-algebra $A = k[[x 1 ,. .. x n ]]/I$, compute an Artin Gorenstein $k$-algebra $G = k[[x 1 ,. .. x n ]]/J$ such that $\ell(G)--\ell(A)$ is minimal. We approach the problem by using Macaulay's inverse systems and a modification of the integration method for inverse systems to compute Gorenstein covers. We propose new characterizations of the minimal Gorenstein cover and present a new algorithm for the effective computation of the variety of all minimal Gorenstein covers of A for low Gorenst…
There is given a characterization for the Rees algebras of parameters in a Gorenstein local ring to be almost Gorenstein graded rings. A characterization is also given for the Rees algebras of socle ideals of parameters. The latter one shows almost Gorenstein Rees algebras rather rarely exist for socle ideals, if the dimension of the base local ring is greater than two.
In this paper we study the Weak Lefschetz property of two classes of standard graded Artinian Gorenstein algebras associated in a natural way to the Apéry set of numerical semigroups. To this aim we also prove a general result about the transfer of Weak Lefschetz property from an Artinian Gorenstein algebra to its quotients modulo a colon ideal.
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many Gorenstein Rees algebras over non-Cohen-Macaulay local rings. For example, the Rees algebra $\mathcal{R}(\mathfrak{q}^d)=\oplus_{i\ge 0}\mathfrak{q}^{di}$ is Gorenstein for every parameter ideal $\mathfrak{q}$ that is a reduction of the maximal ideal in a $d$-dimensional Buchsbaum local ring of depth 1 and multiplicity 2.
We prove that a sequence $h$ of non-negative integers is the Hilbert function of some Artinian Gorenstein algebra with the strong Lefschetz property if and only if it is an SI-sequence. This generalizes the result by T. Harima which characterizes the Hilbert functions of Artinian Gorenstein algebras with the weak Lefschetz property. We also provide classes of Artinian Gorenstein algebras obtained from the ideal of points in $\mathbb{P}^n$ such that some of their higher Hessians have non-vanishing determinants. Consequently, we provide families of such algebras satisfying the SLP.
Let $R$ be a Noetherian local ring and $I$ an $R$-ideal. It is well-known that if the associated graded ring $\gr_I(R)$ is Cohen-Macaulay (Gorenstein), then so is $R$, but the converse is not true in general. In this paper we investigate the Cohen-Macaulayness and Gorensteinness of the associated graded ring $\gr_I(R)$ under the hypothesis of the extended Rees algebra $R[It,t^{-1}]$ is quasi-Gorenstein or the associated graded ring $\gr_I(R)$ is a domain.
We give an alternate proof for a theorem of Migliore and Nagel. In particular, we show that if $\mathcal H$ is an SI-sequence, then the collection of Betti diagrams for all Artinian Gorenstein $k$-algebras with the weak Lefschetz property and Hilbert function $\mathcal H$ has a unique largest element.
We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive algorithm. Once the defining equations are known, we explore properties of these Rees algebras such as Cohen-Macaulayness and Castelnuovo-Mumford regularity.
Let $(R,\mathfrak{m})$ be a two-dimensional regular local ring with infinite residue class field. Then the Rees algebra $\mathcal{R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring in the sense of Goto-Takahashi-Taniguchi for every $\mathfrak{m}$-primary integrally closed ideal $I$ in $R$.
We study Jordan types of linear forms for graded Artinian Gorenstein algebras having arbitrary codimension. We introduce rank matrices of linear forms for such algebras that represent the ranks of multiplication maps in various degrees. We show that there is a 1-1 correspondence between rank matrices and Jordan degree types. For Artinian Gorenstein algebras with codimension three we classify all rank matrices that occur for linear forms with vanishing third power. As a consequence, we show for such algebras that the possible Jordan types with parts of length at most four are uniquely determine…
We study the weak Lefschetz property of a class of graded Artinian Gorenstein algebras of codimension three associated in a natural way to the Apéry set of a numerical semigroup generated by four natural numbers. We show that these algebras have the weak Lefschetz property whenever the initial degree of their defining ideal is small.
This paper main goal is to measure the defect of Cohen-Macaulayness, Gorensteiness, complete intersection and regularity for the tensor product of algebras over a ring. For this sake, we determine the homological invariants which are inherent to these notions, such as the Krull dimension, depth, injective dimension, type and embedding dimension of the tensor product constructions in terms of those of their components.
Let $R$ be a polynomial ring over a field and $M= \bigoplus_n M_n$ a finitely generated graded $R$-module, minimally generated by homogeneous elements of degree zero with a graded $R$-minimal free resolution $\mathbf{F}$. A Cohen-Macaulay module $M$ is Gorenstein when the graded resolution is symmetric. We give an upper bound for the first Hilbert coefficient, $e_1$ in terms of the shifts in the graded resolution of $M$. When $M = R/I$, a Gorenstein algebra, this bound agrees with the bound obtained in \cite{ES} in Gorenstein algebras with quasi-pure resolution. We conjecture a similar bound f…
We introduce the cohomological blow up of a graded Artinian Gorenstein (AG) algebra along a surjective map, which we term BUG (Blow Up Gorenstein) for short. This is intended to translate to an algebraic context the cohomology ring of a blow up of a projective manifold along a projective submanifold. We show, among other things, that a BUG is a connected sum, that it is the general fiber in a flat family of algebras, and that it preserves the strong Lefschetz property. We also show that standard graded compressed algebras are rarely BUGs, and we classify those BUGs that are complete intersecti…
Let $k$ be a field of characteristic $0$. Using the method of idealization, we show that there is a non-Koszul, quadratic, Artinian, Gorenstein, standard graded $k$-algebra of regularity $3$ and codimension $8$, answering a question of Mastroeni, Schenck, and Stillman. We also show that this example is minimal in the sense that no other idealization that is non-Koszul, quadratic, Artinian, Gorenstein algebra, with regularity $3$ has smaller codimension. We also construct an infinite family of graded, quadratic, Artinian, Gorenstein algebras $A_m$, indexed by an integer $m \ge 2$, with the foll…
We describe the graded characters and Hilbert functions of certain graded artinian Gorenstein quotients of the polynomial ring which are also representations of the symmetric group. Specifically, we look at those algebras whose socles are trivial representations and whose principal apolar submodules are generated by the sum of the orbit of a power of a linear form.
We introduce Gorenstein silting modules (resp. complexes), and give the relation with the usual silting modules (resp. complexes). We show that Gorenstein silting modules are the module-theoretic counterpart of 2-term Gorenstein silting complexes; and partial Gorenstein silting modules are in bijection with τ_{G}-rigid modules for finite dimensional algebras of finite CM-type. We also give the relation between 2-term Gorenstein silting complexes, t-structures and torsion pair in module categories; and generalise the classical Brenner-Butler theorem to this setting; and characterise the global …
