On the Hilbert function of Artinian local complete intersections of codimension three

In singularity theory or algebraic geometry, it is natural to investigate possible Hilbert functions for special algebras A such as local complete intersections or more generally Gorenstein algebras. The sequences that occur as the Hilbert functions of standard graded complete intersections are well understood classically thanks to Macaulay and Stanley. Very little is known in the local case except in codimension two. In this paper we characterise the Hilbert functions of quadratic Artinian complete intersections of codimension three. Interestingly we prove that a Hilbert function is admissible for such a Gorenstein ring if and only if is admissible for such a complete intersection. We provide an effective construction of a local complete intersection for a given Hilbert function. We prove that the symmetric decomposition of such a complete intersection ideal is determined by its Hilbert function.     

Graded and Koszul Categories

Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there is always a naturally associated Koszul theory. To obtain this, the notions of Koszul algebras, linear modules and Koszul duality are extended to additive (graded) categories over a field. The main focus of this paper is to provide these generalizations and the necessary preliminaries.     

Koszul duality for stratified algebras I. Balanced quasi-hereditary algebras

We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary algebras admitting linear tilting (co)resolutions of standard and costandard modules. We show that such algebras are Koszul, that the class of these algebras is closed with respect to both dualities and that on this class these two dualities commute. All arguments reduce to short computations in the bounded derived category of graded modules.     

Koszul Algebras and Their Ideals

We study associative graded algebras that have a “complete flag” of cyclic modules with linear free resolutions, i.e., algebras over which there exist cyclic Koszul modules with any possible number of relations (from zero to the number of generators of the algebra). Commutative algebras with this property were studied in several papers by Conca and others. Here we present a noncommutative version of their construction.We introduce and study the notion of Koszul filtration in a noncommutative algebra and examine its connections with Koszul algebras and algebras with quadratic Grobner bases. We consider several examples, including monomial algebras, initially Koszul algebras, generic algebras, and algebras with one quadratic relation. It is shown that every algebra with a Koszul filtration has a rational Hilbert series.__________Translated from Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 39, No. 2, pp. 47–60, 2005Original Russian Text Copyright © by D. I. PiontkovskiiSupported in part by the Russian Foundation for Basis Research under project 02-01-00468.     

On the Weak-Lefschetz property for Artinian Gorenstein algebras

We deal with the weak Lefschetz property (WLP) for Artinian standard graded Gorenstein algebras of codimension 3. We prove that many Gorenstein sequences force the WLP for such algebras. Moreover for every Gorenstein sequence \(H\) of codimension 3 we found several Gorenstein Betti sequences compatible with \(H\) which again force the WLP. Finally we show that for every Gorenstein Betti sequence the general Artinian standard graded Gorenstein algebra with such Betti sequence has the WLP.     

A general resolution for grade four Gorenstein ideals

Gorenstein rings occur in a multitude of different guises: as rings of invariants, as coordinate rings of certain determinantal varieties and symmetric semigroup curves, as representatives of linkage classes, and so on. In an attempt to unify this motley collection of examples (at least for finite projective dimension) one seeks a generic free resolution whose specializations yield all examples of given embedding codimension. The present paper describes a resolution for codimension four, not generic, but general enough to encompass many diverse examples. The structure of this resolution is intimately related to the differential, graded, commutative algebra that it supports, and to the deformation theory of codimension four Gorenstein algebras. These ideas are brought together in the determination of the singular locus of certain codimension four Gorenstein varieties. More generally they suggest a classification of codimension four Gorenstein rings that begins to impose some order on the examples.Research supported in part by University of Kansas General Research Allocation # 3093-XO-0038Research supported in part by a University of Tennessee Summer Faculty Development Grant     

Mixed algebras and quivers related to cell complexes

In this paper we study finite dimensional algebras arising from categories of perverse sheaves on finite regular cell complexes (cellular perverse algebras). We prove that such algebras are quasi-hereditary and have finite global dimension. We discuss some restrictions, under which cellular perverse algebras are Koszul. We also study the relationship between Koszul duality functors in the derived categories of categories of graded and non-graded modules over an algebra and its quadratic dual.     

Koszul duality for extension algebras of standard modules

We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version of) the extension algebra of standard modules. Examples of such algebras include, in particular, the multiplicity free blocks of the BGG category O, and some quasi-hereditary algebras with Cartan decomposition in the sense of König.     

Cohen–Macaulay Isolated Singularities with a Dualizing Module

We generalize results of Foxby concerning a commutative Nötherian ring to a certain noncommutative Nötherian algebra Λ over a commutative Gorenstein complete local ring. We assume that Λ is a Cohen–Macaulay isolated singularity having a dualizing module. Then the same method as in the commutative cases works and we obtain a category equivalence between two subcategories of mod Λ, one of which includes all finitely generated modules of finite Gorenstein dimension. We give examples of such algebras which are not Gorenstien; orders related to almost Bass orders and some k-Gorenstein algebras for an integer k.Presented by I. Reiten ^★The author is supported by Grant-in-Aid for Scientific Researches B(1) No. 14340007 in Japan.     

A Generalization of Auslander's Last Theorem

Before his death, Auslander announced that every finitely generated module over a local Gorenstein ring has a minimal Cohen–Macaulay approximation. Yoshimo extended Auslander's result to local Cohen–Macaulay rings admitting a dualizing module.Over a local Gorenstein ring the finitely generated maximal Cohen–Macaulay modules are the finitely generated Gorenstein projective modules so in fact Auslander's theorem says finitely generated modules over such rings have Gorenstein projective covers. We extend Auslander's theorem by proving that over a local Cohen–Macaulay ring admitting a dualizing module all finitely generated modules of finite G-dimension (in Auslander's sense) have a Gorenstein projective cover. Since all finitely generated modules over a Gorenstein ring have finite G-dimension, we recover Auslander's theorem when R is Gorenstein.     

Gorenstein Modules over Zariski Filtered Rings

Abstract

We study Gorenstein injective and projective modules over Zariski filtered rings and obtain relations between the Gorenstein dimensions on the category of filtered modules from the associated category of graded modules over the associated graded ring.     

Standardly Stratified Extension Algebras

Abstract

The paper generalizes some of our previous results on quasi-hereditary Koszul algebras to graded standardly stratified Koszul algebras. The main result states that the class of standardly stratified algebras for which the left standard modules as well as the right proper standard modules possess a linear projective resolution – the so called linearly stratified algebras – is closed under forming their Yoneda extension algebras. This is proved using the technique of Hilbert and Poincaré series of the corresponding modules.

     

An Improved Multiplicity Conjecture for Codimension 3 Gorenstein Algebras

The Multiplicity Conjecture is a deep problem relating the multiplicity (or degree) of a Cohen–Macaulay standard graded algebra with certain extremal graded Betti numbers in its minimal free resolution. In the case of level algebras of codimension three, Zanello has proposed a stronger conjecture. We prove this conjecture in the Gorenstein case.     

On mixed Hessians and the Lefschetz properties

We introduce a new type of Hessian matrix, that we call Mixed Hessian. The mixed Hessian is used to compute the rank of a multiplication map by a power of a linear form in a standard graded Artinian Gorenstein algebra. In particular we recover the main result of a paper by Maeno and Watanabe for identifying Strong Lefschetz elements, generalizing it also for Weak Lefschetz elements. This criterion is also used to give a new proof that Boolean algebras have the Strong Lefschetz Property. We also construct new examples of Artinian Gorenstein algebras presented by quadrics that does not satisfy the Weak Lefschetz Property; we construct minimal examples of such algebras and we give bounds, depending on the degree, for their existence. Artinian Gorenstein algebras presented by quadrics were conjectured to satisfy WLP in two papers by Migliore and Nagel, and in a previous paper we constructed the first counter-examples.     

Deformations of Koszul Artin–Schelter Gorenstein algebras

We compute the Nakayama automorphism of a Poincaré–Birkhoff–Witt (PBW)-deformation of a Koszul Artin–Schelter (AS) Gorenstein algebra of finite global dimension, and give a criterion for an augmented PBW-deformation of a Koszul Calabi–Yau algebra to be Calabi–Yau. The relations between the Calabi–Yau property of augmented PBW-deformations and that of non-augmented cases are discussed. The Nakayama automorphisms of PBW-deformations of Koszul AS–Gorenstein algebras of global dimensions 2 and 3 are given explicitly. We show that if a PBW-deformation of a graded Calabi–Yau algebra is still Calabi–Yau, then it is defined by a potential under some mild conditions. Some classical results are also recovered. Our main method used in this article is elementary and based on linear algebra. The results obtained in this article will be applied in a subsequent paper (He et al., Skew polynomial algebras with coefficients in AS regular algebras, preprint, 2011).     

Self-tests for freeness over commutative artinian rings

We prove that the Auslander-Reiten conjecture holds for commutative standard graded artinian algebras, in two situations: the first is under the assumption that the modules considered are graded and generated in a single degree. The second is under the assumption that the algebra is generic Gorenstein of socle degree 3.     

Quasi-Hereditary Extension Algebras

The paper is a continuation of the authors' study of quasi-hereditary algebras whose Yoneda extension algebras (homological duals) are quasi-hereditary. The so-called standard Koszul quasi-hereditary algebras, presented in this paper, have the property that their extension algebras are always quasi-hereditary. In the natural setting of graded Koszul algebras, the converse also holds: if the extension algebra of a graded Koszul quasi-hereditary algebra is quasi-hereditary, then the algebra must be standard Koszul. This implies that the class of graded standard Koszul quasi-hereditary algebras is closed with respect to homological duality. Another immediate consequence is the fact that all algebras corresponding to the blocks of the category O are standard Koszul.     

Strongly Gorenstein graded modules

Let R be a graded ring. We define and study strongly Gorenstein gr-projective, gr-injective, and gr-flat modules. Some connections among these modules are discussed. We also explore the relations between the graded and the ungraded strongly Gorenstein modules.