Showing 1–20 of 20 results for author: Veliche, O

A study of a quadratic almost complete intersection ideal and its linked Gorenstein ideal

Authors: Rachel Diethorn, Sema Güntürkün, Alexis Hardesty, Pinar Mete, Liana Şega, Aleksandra Sobieska, Oana Veliche

Abstract: We examine the ideal $I=(x_1^2, \dots, x_n^2, (x_1+\dots+x_n)^2)$ in the polynomial ring $Q=k[x_1, \dots, x_n]$, where $k$ is a field of characteristic zero or greater than $n$. We also study the Gorenstein ideal $G$ linked to $I$ via the complete intersection ideal $(x_1^2, \dots, x_n^2)$. We compute the Betti numbers of $I$ and $G$ over $Q$ when $n$ is odd and extend known computations when $n$… ▽ More We examine the ideal $I=(x_1^2, \dots, x_n^2, (x_1+\dots+x_n)^2)$ in the polynomial ring $Q=k[x_1, \dots, x_n]$, where $k$ is a field of characteristic zero or greater than $n$. We also study the Gorenstein ideal $G$ linked to $I$ via the complete intersection ideal $(x_1^2, \dots, x_n^2)$. We compute the Betti numbers of $I$ and $G$ over $Q$ when $n$ is odd and extend known computations when $n$ is even. A consequence is that the socle of $Q/I$ is generated in a single degree (thus $Q/I$ is level) and its dimension is a Catalan number. We also describe the generators and the initial ideal with respect to reverse lexicographic order for the Gorenstein ideal $G$. △ Less

Submitted 4 April, 2025; originally announced April 2025.

MSC Class: 13D02; 13C13; 13P10

Artinian Gorenstein algebras of embedding dimension four and socle degree three

Authors: Pedro Macias Marques, Oana Veliche, Jerzy Weyman

Abstract: 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 obtained by \emph{doubling} from a grade three perfect ideal $J\subset I$ such that $Q/J$ is a locally Gorenstein ring. Moreover, a graded minimal free resolution o… ▽ More 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 obtained by \emph{doubling} from a grade three perfect ideal $J\subset I$ such that $Q/J$ is a locally Gorenstein ring. Moreover, a graded minimal free resolution of the $Q$-module $Q/I$ can be completely described in terms of a graded minimal free resolution of the $Q$-module $Q/J$ and a homogeneous embedding of a shift of the canonical module $ω_{Q/J}$ into $Q/J$. △ Less

Submitted 11 December, 2022; originally announced December 2022.

Comments: 42 pages

MSC Class: Primary 13C05. Secondary 13H10; 13A02; 13D02; 13D07

Journal ref: Journal of Algebra (2024) Volume 638, 788-839

Iterated Mapping Cones on the Koszul Complex and Their Application to Complete Intersection Rings

Authors: Van C. Nguyen, Oana Veliche

Abstract: Let $(R,\mathfrak m, \mathsf k)$ be a complete intersection local ring, $K$ be the Koszul complex on a minimal set of generators of $\mathfrak m$, and $A=H(K)$ be its homology algebra. We establish exact sequences involving direct sums of the components of $A$ and express the images of the maps of these sequences as homologies of iterated mapping cones built on $K$. As an application of this itera… ▽ More Let $(R,\mathfrak m, \mathsf k)$ be a complete intersection local ring, $K$ be the Koszul complex on a minimal set of generators of $\mathfrak m$, and $A=H(K)$ be its homology algebra. We establish exact sequences involving direct sums of the components of $A$ and express the images of the maps of these sequences as homologies of iterated mapping cones built on $K$. As an application of this iterated mapping cone construction, we recover a minimal free resolution of the residue field $\mathsf k$ over $R$, independent from the well-known resolution constructed by Tate by adjoining variables and killing cycles. Through our construction, the differential maps can be expressed explicitly as blocks of matrices, arranged in some combinatorial patterns. △ Less

Submitted 2 April, 2024; v1 submitted 5 December, 2022; originally announced December 2022.

Comments: To appear in Journal of Algebra and its Applications (19 pages)

MSC Class: 13D02; 13D07; 13H10; 18G10; 18G35

Three takes on almost complete intersection ideals of grade 3

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: We are interested in the structure of almost complete intersection ideals of grade 3. We give three constructions of these ideals and their free resolutions: one from the commutative algebra point of view, an equivariant construction giving a nice canonical form, andfinally an interpretation in terms of open sets in certain Schubert varieties. We are interested in the structure of almost complete intersection ideals of grade 3. We give three constructions of these ideals and their free resolutions: one from the commutative algebra point of view, an equivariant construction giving a nice canonical form, andfinally an interpretation in terms of open sets in certain Schubert varieties. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Comments: 47 pp

MSC Class: 13C05; 13H10

Generic local rings on a spectrum between Golod and Gorenstein

Authors: Lars Winther Christensen, Oana Veliche

Abstract: Artinian quotients R of the local ring Q = k[[x,y,z]] are classified by multiplicative structures on A = Tor_Q^*(R,k); in particular, R is Gorenstein if and only if A is a Poincare duality algebra while R is Golod if and only if all products in A_{>0} are trivial. There is empirical evidence that generic quotient rings with small socle ranks fall on a spectrum between Golod and Gorenstein in a ver… ▽ More Artinian quotients R of the local ring Q = k[[x,y,z]] are classified by multiplicative structures on A = Tor_Q^*(R,k); in particular, R is Gorenstein if and only if A is a Poincare duality algebra while R is Golod if and only if all products in A_{>0} are trivial. There is empirical evidence that generic quotient rings with small socle ranks fall on a spectrum between Golod and Gorenstein in a very precise sense: The algebra A breaks up as a direct sum of a Poincare duality algebra P and a graded vector space V, on which P_{>0} acts trivially. That is, A is a trivial extension, A = P \ltimes V, and the extremes A = (k \oplus Σk) \ltimes V and A = P correspond to R being Golod and Gorenstein, respectively. We prove that this observed behavior is, indeed, the generic behavior for graded quotients R of socle rank 2, and we show that the rank of P is controlled by the difference between the order and the degree of the socle polynomial of R. △ Less

Submitted 2 July, 2023; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: Final version, to appear in Adv. Appl. Math; 45 pp

MSC Class: Primary 13C05. Secondary 13A02; 13D02; 13D07; 13E10; 13P20

A truncated minimal free resolution of the residue field

Authors: Van C. Nguyen, Oana Veliche

Abstract: In a paper in 1962, Golod proved that the Betti sequence of the residue field of a local ring attains an upper bound given by Serre if and only if the homology algebra of the Koszul complex of the ring has trivial multiplications and trivial Massey operations. This is the origin of the notion of Golod ring. Using the Koszul complex components he also constructed a minimal free resolution of the re… ▽ More In a paper in 1962, Golod proved that the Betti sequence of the residue field of a local ring attains an upper bound given by Serre if and only if the homology algebra of the Koszul complex of the ring has trivial multiplications and trivial Massey operations. This is the origin of the notion of Golod ring. Using the Koszul complex components he also constructed a minimal free resolution of the residue field. In this article, we extend this construction up to degree five for any local ring. We describe how the multiplicative structure and the triple Massey products of the homology of the Koszul algebra are involved in this construction. As a consequence, we provide explicit formulas for the first six terms of a sequence that measures how far the ring is from being Golod. △ Less

Submitted 24 March, 2021; v1 submitted 9 December, 2020; originally announced December 2020.

Comments: 24 pages, to appear in Springer volume Women in Commutative Algebra - Proceedings of the 2019 WICA Workshop

MSC Class: 13D02; 13D07; 13H10; 13C05

Minors of a skew symmetric matrix: A combinatorial approach

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: We use Knuth's combinatorial approach to Pfaffians to reprove and clarify a century-old formula, due to Brill. It expresses arbitrary minors of a skew symmetric matrix in terms of Pfaffians. We use Knuth's combinatorial approach to Pfaffians to reprove and clarify a century-old formula, due to Brill. It expresses arbitrary minors of a skew symmetric matrix in terms of Pfaffians. △ Less

Submitted 29 July, 2020; originally announced July 2020.

Comments: Final version, to appear in Electron. J. Linear Algebra; 6 pp

MSC Class: 15A15; 15A24

Linkage classes of grade 3 perfect ideals

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection ideal, it is known not to be the case for ideals of grade 3. We soften the blow by proving that every grade 3 perfect ideal in a regular local ring is linked to a complete intersection or a Golod ideal. Our proof is indebted to a homological classification of Cohen-Macaulay local rings of codimension 3.… ▽ More While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection ideal, it is known not to be the case for ideals of grade 3. We soften the blow by proving that every grade 3 perfect ideal in a regular local ring is linked to a complete intersection or a Golod ideal. Our proof is indebted to a homological classification of Cohen-Macaulay local rings of codimension 3. That debt is swiftly repaid, as we use linkage to reveal some of the finer structures of this classification. △ Less

Submitted 3 June, 2019; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: Added proofs of 4.1 and 4.4; strengthened 5.3. Final version, to appear in J. Pure Appl. Algebra; 29 pp

MSC Class: Primary 13C40. Secondary 13D02; 13H10

Free resolutions of Dynkin format and the licci property of grade 3 perfect ideals

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: Recent work on generic free resolutions of length 3 attaches to every resolution a graph and suggests that resolutions whose associated graph is a Dynkin diagram are distinguished. We conjecture that in a regular local ring, every grade 3 perfect ideal whose minimal free resolution is distinguished in this way is in the linkage class of a complete intersection. Recent work on generic free resolutions of length 3 attaches to every resolution a graph and suggests that resolutions whose associated graph is a Dynkin diagram are distinguished. We conjecture that in a regular local ring, every grade 3 perfect ideal whose minimal free resolution is distinguished in this way is in the linkage class of a complete intersection. △ Less

Submitted 17 January, 2019; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: Minor edits. Final version, to appear in Math. Scand., 13 pp

MSC Class: 13C40; 13D02

The Golod property of powers of the maximal ideal of a local ring

Authors: Lars Winther Christensen, Oana Veliche

Abstract: We identify minimal cases in which a power $m^i\not=0$ of the maximal ideal of a local ring $R$ is not Golod, i.e.\ the quotient ring $R/m^i$ is not Golod. Complementary to a 2014 result by Rossi and Şega, we prove that for a generic artinian Gorenstein local ring with $m^4=0\not= m^3$, the quotient $R/m^3$ is not Golod. This is provided that $m$ is minimally generated by at least $3$ elements. In… ▽ More We identify minimal cases in which a power $m^i\not=0$ of the maximal ideal of a local ring $R$ is not Golod, i.e.\ the quotient ring $R/m^i$ is not Golod. Complementary to a 2014 result by Rossi and Şega, we prove that for a generic artinian Gorenstein local ring with $m^4=0\not= m^3$, the quotient $R/m^3$ is not Golod. This is provided that $m$ is minimally generated by at least $3$ elements. Indeed, we show that if $m$ is $2$-generated, then every power $m^i\not= 0$ is Golod. △ Less

Submitted 9 January, 2018; v1 submitted 9 August, 2017; originally announced August 2017.

Comments: Updated after peer review. Minor edits and new section with remarks on codepth 4 rings. Final version, so appear in Arch. Math. (Basel); 12 pp

MSC Class: 13H10; 13D02

Trimming a Gorenstein ideal

Authors: Lars Winther Christensen, Oana Veliche, Jerzy Weyman

Abstract: Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality algebra P padded with a non-zero graded vector space on which P_{\ge 1} acts trivially. We explicitly construct an infinite family of such rings. Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality algebra P padded with a non-zero graded vector space on which P_{\ge 1} acts trivially. We explicitly construct an infinite family of such rings. △ Less

Submitted 18 January, 2017; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: Corrected statement of Lemma 2.3 and updated proof of Theorem 2.4. Final version, to appear in J. Commut. Algebra; 11 pp

MSC Class: 13C99; 13H10

Local rings of embedding codepth 3: a classification algorithm

Authors: Lars Winther Christensen, Oana Veliche

Abstract: Let I be an ideal of a regular local ring Q with residue field k. The length of the minimal free resolution of R=Q/I is called the codepth of R. If it is at most 3, then the resolution carries a structure of a differential graded algebra, and the induced algebra structure on $Tor_Q(R,k) provides for a classification of such local rings. We describe the Macaulay2 package CodepthThree that impleme… ▽ More Let I be an ideal of a regular local ring Q with residue field k. The length of the minimal free resolution of R=Q/I is called the codepth of R. If it is at most 3, then the resolution carries a structure of a differential graded algebra, and the induced algebra structure on $Tor_Q(R,k) provides for a classification of such local rings. We describe the Macaulay2 package CodepthThree that implements an algorithm for classifying a local ring as above by computation of a few cohomological invariants. △ Less

Submitted 25 September, 2014; v1 submitted 17 February, 2014; originally announced February 2014.

Comments: Minor changes. Final version; to appear in J. Softw. Algebra Geom.; 7 pp. The Macaulay2 package CodepthThree is available from one author's homepage http://www.math.ttu.edu/~lchriste/publications.html

MSC Class: 13P20; 13D02; 13H10

Journal ref: JSAG 6 (2014) 1-8

Local rings of embedding codepth 3. Examples

Authors: Lars Winther Christensen, Oana Veliche

Abstract: A complete local ring of embedding codepth 3 has a minimal free resolution of length 3 over a regular local ring. Such resolutions carry a differential graded algebra structure, based on which one can classify local rings of embedding codepth 3. We give examples of algebra structures that have been conjectured not to occur. A complete local ring of embedding codepth 3 has a minimal free resolution of length 3 over a regular local ring. Such resolutions carry a differential graded algebra structure, based on which one can classify local rings of embedding codepth 3. We give examples of algebra structures that have been conjectured not to occur. △ Less

Submitted 14 November, 2012; v1 submitted 19 September, 2012; originally announced September 2012.

Comments: Updated reference and corrected typos. Final version; to appear in Algebras and Representation Theory; 13 pp

MSC Class: 13D02; 13C99; 13H10

The index of a numerical semigroup ring

Authors: Oana Veliche

Abstract: Let $R=k[|t^a,t^b,t^c|]$ be a complete intersection numerical semigroup ring over an infinite field $k$, where $a,b,c\in\BN$. The generalized Loewy length, which is Auslander's index in this case, is computed in terms of the minimal generators of the semigroup: $a,b$ and $c$. Examples provided show that the left hand side of Ding's inequality $\mult(R)-\inde(R)-\codim(R)+1\geq 0$ can be made arbit… ▽ More Let $R=k[|t^a,t^b,t^c|]$ be a complete intersection numerical semigroup ring over an infinite field $k$, where $a,b,c\in\BN$. The generalized Loewy length, which is Auslander's index in this case, is computed in terms of the minimal generators of the semigroup: $a,b$ and $c$. Examples provided show that the left hand side of Ding's inequality $\mult(R)-\inde(R)-\codim(R)+1\geq 0$ can be made arbitrarily large for rings $R$ with $\edim(R)=3$ . The index of a complete intersection numerical semigroup ring with embedding dimension greater than three is also computed. △ Less

Submitted 21 February, 2013; v1 submitted 28 August, 2012; originally announced August 2012.

Comments: Final version; to appear in Journal of Pure and Applied Algebra; 11pp. Proof removed from the previous version. Other minor corrections

MSC Class: 16E65; 13H10; 13D05; 13P20; 13A30; 18G60; 18G99

Comparing complexities of pairs of modules

Authors: Hailong Dao, Oana Veliche

Abstract: Let $R$ be a local ring and $M,N$ be finitely generated $R$-modules. The complexity of $(M,N)$, denoted by $\cxx RMN$, measures the polynomial growth rate of the number of generators of the modules $\Ext nRMN$. In this paper we study several basic equalities and inequalities involving complexities of different pairs of modules. Let $R$ be a local ring and $M,N$ be finitely generated $R$-modules. The complexity of $(M,N)$, denoted by $\cxx RMN$, measures the polynomial growth rate of the number of generators of the modules $\Ext nRMN$. In this paper we study several basic equalities and inequalities involving complexities of different pairs of modules. △ Less

Submitted 24 November, 2009; originally announced November 2009.

Growth in the minimal injective resolution of a local ring

Authors: Lars Winther Christensen, Janet Striuli, Oana Veliche

Abstract: Let R be a commutative noetherian local ring with residue field k and assume that it is not Gorenstein. In the minimal injective resolution of R, the injective envelope E of the residue field appears as a summand in every degree starting from the depth of R. The number of copies of E in degree i equals the k-vector space dimension of the cohomology module Ext^i(k,R). These dimensions, known as B… ▽ More Let R be a commutative noetherian local ring with residue field k and assume that it is not Gorenstein. In the minimal injective resolution of R, the injective envelope E of the residue field appears as a summand in every degree starting from the depth of R. The number of copies of E in degree i equals the k-vector space dimension of the cohomology module Ext^i(k,R). These dimensions, known as Bass numbers, form an infinite sequence of invariants of R about which little is known. We prove that it is non-decreasing and grows exponentially if R is Golod, a non-trivial fiber product, or Teter, or if it has radical cube zero. △ Less

Submitted 6 July, 2009; v1 submitted 26 December, 2008; originally announced December 2008.

Comments: Final version, to appear in J. London Math. Soc.; 21 pp

MSC Class: 13D02; 13D07; 13H10

A test complex for Gorensteinness

Authors: Lars Winther Christensen, Oana Veliche

Abstract: Let $R$ be a commutative noetherian ring with a dualizing complex. By recent work of Iyengar and Krause, the difference between the category of acyclic complexes and its subcategory of totally acyclic complexes measures how far $R$ is from being Gorenstein. In particular, $R$ is Gorenstein if and only if every acyclic complex is totally acyclic. In this note we exhibit a specific acyclic compl… ▽ More Let $R$ be a commutative noetherian ring with a dualizing complex. By recent work of Iyengar and Krause, the difference between the category of acyclic complexes and its subcategory of totally acyclic complexes measures how far $R$ is from being Gorenstein. In particular, $R$ is Gorenstein if and only if every acyclic complex is totally acyclic. In this note we exhibit a specific acyclic complex with the property that it is totally acyclic if and only if $R$ is Gorenstein. △ Less

Submitted 16 January, 2007; v1 submitted 14 July, 2006; originally announced July 2006.

Comments: Final version, 8 pp. To appear in Proc. Amer. Math. Soc. Also available from the authors' homepages at http://www.math.unl.edu/~lchristensen3/ and at http://www.math.utah.edu/~oveliche/

MSC Class: 13H10; 13D25

Acyclicity over local rings with radical cube zero

Authors: Lars Winther Christensen, Oana Veliche

Abstract: This paper studies infinite acyclic complexes of finitely generated free modules over a commutative noetherian local ring $(R,m)$ with $m^3=0$. Conclusive results are obtained on the growth of the ranks of the modules in acyclic complexes, and new sufficient conditions are given for total acyclicity. Results are also obtained on the structure of rings that admit acyclic complexes; part of this s… ▽ More This paper studies infinite acyclic complexes of finitely generated free modules over a commutative noetherian local ring $(R,m)$ with $m^3=0$. Conclusive results are obtained on the growth of the ranks of the modules in acyclic complexes, and new sufficient conditions are given for total acyclicity. Results are also obtained on the structure of rings that admit acyclic complexes; part of this structure is exhibited by every ring $R$ that admits a non-free finitely generated non-zero module $M$ with $Ext^n(M,R)=0$ for a few $n>0$. △ Less

Submitted 23 November, 2006; v1 submitted 21 May, 2006; originally announced May 2006.

Comments: Final version, to appear in Illinois J. Math., 15 pp

MSC Class: 13D25; 13D02

Stable cohomology over local rings

Authors: Luchezar L. Avramov, Oana Veliche

Abstract: The focus of this paper is on a poorly understood invariant of a commutative noetherian local ring $R$ with residue field $k$: the stable cohomology modules $\hat{Ext}^{n}_R(k,k)$, defined for each $n\in\mathbb{Z}$ by Benson and Carlson, Mislin, and Vogel; it coincides with Tate cohomology when $R$ is Gorenstein. It is proved that important properties of $R$, such as being regular, complete inte… ▽ More The focus of this paper is on a poorly understood invariant of a commutative noetherian local ring $R$ with residue field $k$: the stable cohomology modules $\hat{Ext}^{n}_R(k,k)$, defined for each $n\in\mathbb{Z}$ by Benson and Carlson, Mislin, and Vogel; it coincides with Tate cohomology when $R$ is Gorenstein. It is proved that important properties of $R$, such as being regular, complete intersection, or Gorenstein, are detected by the $k$-rank of $\hat{Ext}^{n}_R(k,k)$ for an arbitrary $n\in\mathbb{Z}$. Such numerical characterizations are made possible by results on the structure of $\mathbb{Z}$-graded $k$-algebra carried by $\hat{Ext}^{n}_R(k,k)$. It is proved that in many cases this algebra is determined by the absolute cohomology algebra through a canonical homomorphism ${Ext}^{n}_R(k,k)\to\hat{Ext}^{n}_R(k,k)$. △ Less

Submitted 10 January, 2007; v1 submitted 31 July, 2005; originally announced August 2005.

Comments: Final version, to appear in Adv. Math. Major reorganization of the presentation. Many minor corrections

MSC Class: 13D07; 13H10; 20J06

Gorenstein projective dimension for complexes

Authors: Oana Veliche

Abstract: We define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology groups have a natural transformation to classical Ext groups. In the case of module arguments, we show that these maps fit into a long exact sequence, where every… ▽ More We define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology groups have a natural transformation to classical Ext groups. In the case of module arguments, we show that these maps fit into a long exact sequence, where every third term is a relative cohomology group defined for left modules of finite Gorenstein projective dimension. △ Less

Submitted 3 June, 2004; originally announced June 2004.

Comments: Accepted for publication in Transactions AMS, submitted October 8, 2003

MSC Class: 18Gxx