We prove lifting results for DG modules that are akin to Auslander, Ding, and Solberg’s famous lifting results for modules. Introduction Convention. Throughout this paper, let R be a commutative noetherian ring. Hochster famously wrote that “life is really worth living” in a Cohen-Macaulay ring [7]. For instance, if R is Cohen-Macaulay and local with maximal regular sequence t, then R/(t) is ar...

Let A = ⊕ i=0Ai be a graded Artinian K-algebra, where Ac 6= (0) and charK = 0. (The grading may not necessarily be standard.) Then A has the strong Lefschetz property if there exists an element g ∈ A1 such that the multiplication×g c−2i : Ai −→ Ac−i is bijective for every i = 0, 1, . . . , [c/2]. The main results obtained in this paper are as follows: 1. A has the strong Lefschetz property if a...

In a recent paper [17] Miro-Roig, Mezzetti and Ottaviani highlight the link between rational varieties satisfying a Laplace equation and artinian ideals failing the Weak Lefschetz Property. Continuing their work we extend this link to the more general situation of artinian ideals failing the Strong Lefschetz Property. We characterize the failure of the SLP (which includes WLP) by the existence ...

In [17] the authors highlight the link between rational varieties satisfying a Laplace equation and artinian ideals that fail the Weak Lefschetz property. Continuing their work we extend this link to the more general situation of artinian ideals failing the Strong Lefschetz Property. We characterize the failure of SLP (that includes WLP) by the existence of special singular hypersurfaces (cones...

Since the 1970’s, great interest has been taken in the study of pure O-sequences, which, due to Macaulay’s theory of inverse systems, have a bijective correspondence to the Hilbert functions of Artinian level monomial algebras. Much progress has been made in classifying these according to their shape. Macaulay’s theorem immediately gives us that all Artinian algebras in two variables have unimo...

An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of Artinian Gorenstein algebras with the Weak Lefschetz Property, a property shared by most Artinian Gorenstein algebras. Starting with an arbitrary SI-sequence, we construct a reduced, arithmeti...

Finite Frobenius rings have been characterized as precisely those finite rings satisfying the MacWilliams extension property, by work of Wood. In the present note we offer a generalization of this remarkable result to the realm of Artinian rings. Namely, we prove that a left Artinian ring has the left MacWilliams property if and only if it is left pseudo-injective and its finitary left socle em...

Let R = ⊕ n∈N0 Rn be a Noetherian homogeneous ring with local base ring (R0,m0) and irrelevant ideal R+, let M be a finitely generated graded R− module. In this paper we show that if R0 is a local ring of dimension one, then H i R+(H 1 m0R (M)) is Artinian for each i ∈ N0. Let f be the least integer such that H i m0R(M) is not finitely generated graded R−module. In this case, we prove that ΓR+(...

It is unknown if an Artinian level O-sequence of codimension 3 and type r (≥ 2) is unimodal, while it is known that any Gorenstein O-sequence of codimension 3 is unimodal. We show that some Artinian non-unimodal O-sequence of codimension 3 cannot be level. We also find another non-level case: if some Artinian algebra A of codimension 3 has the Hilbert function H : h0 h1 · · · hd−1 hd · · · hd }...