Showing 1–33 of 33 results for author: Şega, L

General symmetric ideals

Authors: Alexandra Seceleanu, Liana Şega

Abstract: We investigate the structure and properties of symmetric ideals generated by general forms in the polynomial ring under the natural action of the symmetric group. This work significantly broadens the framework established in our earlier collaboration with Harada on principal symmetric ideals. A novel aspect of our approach is the construction of a bijective parametrization of general symmetric ide… ▽ More We investigate the structure and properties of symmetric ideals generated by general forms in the polynomial ring under the natural action of the symmetric group. This work significantly broadens the framework established in our earlier collaboration with Harada on principal symmetric ideals. A novel aspect of our approach is the construction of a bijective parametrization of general symmetric ideals using Macaulay-Matlis duality, which is asymptotically independent of the number of variables of the ambient ring. We establish that general symmetric ideals exhibit extremal behavior in terms of Hilbert functions and Betti numbers, and satisfy the Weak Lefschetz Property. We also demonstrate explicit asymptotic stability in their algebraic and homological invariants under increasing numbers of variables, showing that such ideals form well-behaved $\mathfrak{S}_\infty$-invariant chains. △ Less

Submitted 18 June, 2025; originally announced June 2025.

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

Realizing resolutions of powers of extremal ideals

Authors: Trung Chau, Art M. Duval, Sara Faridi, Thiago Holleben, Susan Morey, Liana M. Şega

Abstract: Extremal ideals are a class of square-free monomial ideals which dominate and determine many algebraic invariants of powers of all square-free monomial ideals. For example, the $r^{th}$ power ${\mathcal{E}_q}^r$ of the extremal ideal on $q$ generators has the maximum Betti numbers among the $r^{th}$ power of any square-free monomial ideal with $q$ generators. In this paper we study the combinatori… ▽ More Extremal ideals are a class of square-free monomial ideals which dominate and determine many algebraic invariants of powers of all square-free monomial ideals. For example, the $r^{th}$ power ${\mathcal{E}_q}^r$ of the extremal ideal on $q$ generators has the maximum Betti numbers among the $r^{th}$ power of any square-free monomial ideal with $q$ generators. In this paper we study the combinatorial and geometric structure of the (minimal) free resolutions of powers of square-free monomial ideals via the resolutions of powers of extremal ideals. Although the end results are algebraic, this problem has a natural interpretation in terms of polytopes and discrete geometry. Our guiding conjecture is that all powers ${\mathcal{E}_q}^r$ of extremal ideals have resolutions supported on their Scarf simplicial complexes, and thus their resolutions are as small as possible. This conjecture is known to hold for $r \leq 2$ or $q \leq 4$. In this paper we prove the conjecture holds for $r=3$ and any $q\geq 1$ by giving a complete description of the Scarf complex of ${\mathcal{E}_q}^3$. This effectively gives us a sharp bound on the betti numbers and projective dimension of the third power of any square-free momomial ideal. For large $i$ and $q$, our bounds on the $i^{th}$ betti numbers are an exponential improvement over previously known bounds. We also describe a large number of faces of the Scarf complex of ${\mathcal{E}_q}^r$ for any $r,q \geq 1$. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 34 pages, 5 figures. Comments are welcome!

MSC Class: 13D02; 13F55; 05E40; 52B20

Relations between Poincaré series for quasi-complete intersection homomorphisms

Authors: Josh Pollitz, Liana M. Sega

Abstract: In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism $\varphi\colon Q \to R$, where $Q$ is a local ring with maximal ideal $\mathfrak{m}$. In particular, we give a precise relationship between the Poincaré series $\mathrm{P}^Q_M(t)$ of a finitely generated $R$-module $M$ to $\mathrm{P}^R_M(t)$ when the kernel of $\varphi$ is contained in… ▽ More In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism $\varphi\colon Q \to R$, where $Q$ is a local ring with maximal ideal $\mathfrak{m}$. In particular, we give a precise relationship between the Poincaré series $\mathrm{P}^Q_M(t)$ of a finitely generated $R$-module $M$ to $\mathrm{P}^R_M(t)$ when the kernel of $\varphi$ is contained in $\mathfrak{m}\,\mathrm{ann}_Q(M)$. This generalizes a classical result of Shamash for complete intersection homomorphisms. Our proof goes through base change formulas for Poincaré series under the map of dg algebras $Q\to E$, with $E$ the Koszul complex on a minimal set of generators for the kernel of $\varphi.$ △ Less

Submitted 9 September, 2024; v1 submitted 25 March, 2024; originally announced March 2024.

Comments: 14 pages; significant changes to Section 3, minor changes to the rest of the article. To appear in PAMS

MSC Class: Primary: 13D40. Secondary: 13D02; 13D07; 16E45

The mapping cone of an Eisenbud operator and applications to exact zero divisors

Authors: Liana M. Şega, Deepak Sireeshan

Abstract: Let $(Q,\mathfrak{m},{\sf k})$ be a local ring that admits an exact pair of zero divisors $(f,g)$, $M$ a $Q$-module with $fM = 0$ and $U$ a free resolution of $M$ over $Q$. We construct a degree $-2$ chain map, which we call an Einsenbud operator, on the complex $U \otimes_Q Q/(f,g)$ and use the mapping cone of the operator to study two exact sequences that relate homology over $Q$ to homology ove… ▽ More Let $(Q,\mathfrak{m},{\sf k})$ be a local ring that admits an exact pair of zero divisors $(f,g)$, $M$ a $Q$-module with $fM = 0$ and $U$ a free resolution of $M$ over $Q$. We construct a degree $-2$ chain map, which we call an Einsenbud operator, on the complex $U \otimes_Q Q/(f,g)$ and use the mapping cone of the operator to study two exact sequences that relate homology over $Q$ to homology over $Q/(f)$. Several applications are given. △ Less

Submitted 19 March, 2024; originally announced March 2024.

The Scarf complex and betti numbers of powers of extremal ideals

Authors: Sabine El Khoury, Sara Faridi, Liana Sega, Sandra Spiroff

Abstract: This paper is concerned with finding bounds on betti numbers and describing combinatorially and topologically (minimal) free resolutions of powers of ideals generated by a fixed number $q$ of square-free monomials. Among such ideals, we focus on a specific ideal $\mathcal{E}_q$, which we call {\it extremal}, and which has the property that for each $r\ge 1$ the betti numbers of… ▽ More This paper is concerned with finding bounds on betti numbers and describing combinatorially and topologically (minimal) free resolutions of powers of ideals generated by a fixed number $q$ of square-free monomials. Among such ideals, we focus on a specific ideal $\mathcal{E}_q$, which we call {\it extremal}, and which has the property that for each $r\ge 1$ the betti numbers of ${\mathcal{E}_q}^r$ are an upper bound for the betti numbers of $I^r$ for any ideal $I$ generated by $q$ square-free monomials (in any number of variables). We study the Scarf complex of the ideals ${\mathcal{E}_q}^r$ and use this simplicial complex to extract information on minimal free resolutions. In particular, we show that ${\mathcal{E}_q}^r$ has a minimal free resolution supported on its Scarf complex when $q\leq 4$ or when $r\leq 2$, and we describe explicitly this complex. For any $q$ and $r$, we also show that $β_1({\mathcal{E}_q}^r)$ is the smallest possible, or in other words equal to the number of edges in the Scarf complex. These results lead to effective bounds on the betti numbers of $I^r$, with $I$ as above. For example, we obtain that pd$(I^r)\leq 5$ for all ideals $I$ generated by $4$ square-free monomials and any $r\geq 1$. △ Less

Submitted 5 September, 2023; originally announced September 2023.

MSC Class: 13D02; 13F55

The minimal free resolution of a generic symmetric principal ideal

Authors: Megumi Harada, Alexandra Seceleanu, Liana Şega

Abstract: We introduce the class of principal symmetric ideals, which are ideals generated by the orbit of a single polynomial under the action of the symmetric group. Fixing the degree of the generating polynomial, this class of ideals is parametrized by points in a suitable projective space. We show that the minimal free resolution of a principal symmetric ideal is constant on a nonempty Zariski open subs… ▽ More We introduce the class of principal symmetric ideals, which are ideals generated by the orbit of a single polynomial under the action of the symmetric group. Fixing the degree of the generating polynomial, this class of ideals is parametrized by points in a suitable projective space. We show that the minimal free resolution of a principal symmetric ideal is constant on a nonempty Zariski open subset of this projective space and we determine this resolution explicitly. Along the way, we study two classes of graded algebras which we term narrow and extremely narrow; both of which are instances of compressed artinian algebras. △ Less

Submitted 3 September, 2024; v1 submitted 6 August, 2023; originally announced August 2023.

Comments: to appear in Transactions of the AMS

MSC Class: Primary: 13D02 primary. Secondary 13A50; 20C30; 13D07

DG module structures and minimal free resolutions modulo an exact zero-divisor

Authors: Liana M. Şega, Deepak Sireeshan

Abstract: Let $Q$ be a local ring with maximal ideal $\mathfrak{n}$ and let $f,g\in \mathfrak{n}\smallsetminus\mathfrak{n}^2$ with $fg=0$. When $M$ is a finite $Q$-module with $fM=0$, we show that a minimal free resolution of $M$ over $Q$ has a differential graded module structure over the differential graded algebra $Q\langle y,t\mid \partial(y)=f, \partial(t)=gy\rangle$. When $(f,g)$ is a pair of exact ze… ▽ More Let $Q$ be a local ring with maximal ideal $\mathfrak{n}$ and let $f,g\in \mathfrak{n}\smallsetminus\mathfrak{n}^2$ with $fg=0$. When $M$ is a finite $Q$-module with $fM=0$, we show that a minimal free resolution of $M$ over $Q$ has a differential graded module structure over the differential graded algebra $Q\langle y,t\mid \partial(y)=f, \partial(t)=gy\rangle$. When $(f,g)$ is a pair of exact zero divisors, we use this structure to describe a minimal free resolution of $M$ over $Q/(f)$. △ Less

Submitted 14 June, 2023; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: minor revisions

Simplicial Resolutions of Powers of Square-free Monomial Ideals

Authors: Susan M. Cooper, Sabine El Khoury, Sara Faridi, Sarah Mayes-Tang, Susan Morey, Liana M. Sega, Sandra Spiroff

Abstract: The Taylor resolution is almost never minimal for powers of monomial ideals, even in the square-free case. In this paper we introduce a smaller resolution for each power of any square-free monomial ideal, which depends only on the number of generators of the ideal. More precisely, for every pair of fixed integers $r$ and $q$, we construct a simplicial complex that supports a free resolution of the… ▽ More The Taylor resolution is almost never minimal for powers of monomial ideals, even in the square-free case. In this paper we introduce a smaller resolution for each power of any square-free monomial ideal, which depends only on the number of generators of the ideal. More precisely, for every pair of fixed integers $r$ and $q$, we construct a simplicial complex that supports a free resolution of the $r$-th power of any square-free monomial ideal with $q$ generators. The resulting resolution is significantly smaller than the Taylor resolution, and is minimal for special cases. Considering the relations on the generators of a fixed ideal allows us to further shrink these resolutions. We also introduce a class of ideals called "extremal ideals", and show that the Betti numbers of powers of all square-free monomial ideals are bounded by Betti numbers of powers of extremal ideals. Our results lead to upper bounds on Betti numbers of powers of any square-free monomial ideal that greatly improve the binomial bounds offered by the Taylor resolution. △ Less

Submitted 28 February, 2024; v1 submitted 6 April, 2022; originally announced April 2022.

Comments: 32 pages, 3 figures, 1 table

MSC Class: 13D02; 13F55

Journal ref: Algebraic Combinatorics, Volume 7 (2024) no. 1, pp. 77-107

Powers of graphs & applications to resolutions of powers of monomial ideals

Authors: Susan M. Cooper, Sabine El Khoury, Sara Faridi, Sarah Mayes-Tang, Susan Morey, Liana M. Sega, Sandra Spiroff

Abstract: This paper is concerned with the question of whether geometric structures such as cell complexes can be used to simultaneously describe the minimal free resolutions of all powers of a monomial ideal. We provide a full answer in the case of square-free monomial ideals of projective dimension one, by introducing a combinatorial construction of a family of (cubical) cell complexes whose 1-skeletons a… ▽ More This paper is concerned with the question of whether geometric structures such as cell complexes can be used to simultaneously describe the minimal free resolutions of all powers of a monomial ideal. We provide a full answer in the case of square-free monomial ideals of projective dimension one, by introducing a combinatorial construction of a family of (cubical) cell complexes whose 1-skeletons are powers of a graph that supports the resolution of the ideal. △ Less

Submitted 17 August, 2021; originally announced August 2021.

MSC Class: 13A15; 13D02; 05E40

Morse resolutions of powers of square-free monomial ideals of projective dimension one

Authors: Susan Cooper, Sabine El Khoury, Sara Faridi, Sarah Mayes-Tang, Susan Morey, Liana M. Sega, Sandra Spiroff

Abstract: Let $I$ be a square-free monomial ideal $I$ of projective dimension one. Starting with the Taylor complex on the generators of $I^r$, we use Discrete Morse theory to describe a CW complex that supports a minimal free resolution of $I^r$. To do so, we concretely describe the acyclic matching on the faces of the Taylor complex. Let $I$ be a square-free monomial ideal $I$ of projective dimension one. Starting with the Taylor complex on the generators of $I^r$, we use Discrete Morse theory to describe a CW complex that supports a minimal free resolution of $I^r$. To do so, we concretely describe the acyclic matching on the faces of the Taylor complex. △ Less

Submitted 1 November, 2021; v1 submitted 14 March, 2021; originally announced March 2021.

Comments: To appear in Journal of Algebraic Combinatorics

MSC Class: 13A15; 13D02; 05E40 (Primary); 13C15 (Secondary)

Simplicial resolutions for the second power of square-free monomial ideals

Authors: Susan M. Cooper, Sabine El Khoury, Sara Faridi, Sarah Mayes-Tang, Susan Morey, Liana M. Şega, Sandra Spiroff

Abstract: Given a square-free monomial ideal $I$, we define a simplicial complex labeled by the generators of $I^2$ which supports a free resolution of $I^2$. As a consequence, we obtain (sharp) upper bounds on the Betti numbers of the second power of any square-free monomial ideal. Given a square-free monomial ideal $I$, we define a simplicial complex labeled by the generators of $I^2$ which supports a free resolution of $I^2$. As a consequence, we obtain (sharp) upper bounds on the Betti numbers of the second power of any square-free monomial ideal. △ Less

Submitted 11 March, 2021; v1 submitted 6 March, 2021; originally announced March 2021.

MSC Class: 13D02; 13F55

Asymptotic behavior of Ext for pairs of modules of large complexity over graded complete intersections

Authors: David A. Jorgensen, Liana M. Şega, Peder Thompson

Abstract: Let $M$ and $N$ be finitely generated graded modules over a graded complete intersection $R$ such that $\operatorname{Ext}_R^i(M,N)$ has finite length for all $i\gg 0$. We show that the even and odd Hilbert polynomials, which give the lengths of $\operatorname{Ext}^i_R(M,N)$ for all large even $i$ and all large odd $i$, have the same degree and leading coefficient whenever the highest degree of th… ▽ More Let $M$ and $N$ be finitely generated graded modules over a graded complete intersection $R$ such that $\operatorname{Ext}_R^i(M,N)$ has finite length for all $i\gg 0$. We show that the even and odd Hilbert polynomials, which give the lengths of $\operatorname{Ext}^i_R(M,N)$ for all large even $i$ and all large odd $i$, have the same degree and leading coefficient whenever the highest degree of these polynomials is at least the dimension of $M$ or $N$. Refinements of this result are given when $R$ is regular in small codimensions. △ Less

Submitted 12 August, 2022; v1 submitted 19 December, 2020; originally announced December 2020.

Comments: Minor edits. Final version, to appear in Mathematische Zeitschrift; 23 pages

The absolutely Koszul and Backelin-Roos properties for spaces of quadrics of small codimension

Authors: Rasoul Ahangari Maleki, Liana M. Şega

Abstract: Let $\kk$ be a field, $R$ a standard graded quadratic $\kk$-algebra with $\dim_{\kk}R_2\le 3$, and let $\ov\kk$ denote an algebraic closure of $\kk$. We construct a graded surjective Golod homomorphism $\varphi \colon P\to R\otimes_{\kk}\ov{\kk}$ such that $P$ is a complete intersection of codimension at most $3$. Furthermore, we show that $R$ is absolutely Koszul (that is, every finitely generate… ▽ More Let $\kk$ be a field, $R$ a standard graded quadratic $\kk$-algebra with $\dim_{\kk}R_2\le 3$, and let $\ov\kk$ denote an algebraic closure of $\kk$. We construct a graded surjective Golod homomorphism $\varphi \colon P\to R\otimes_{\kk}\ov{\kk}$ such that $P$ is a complete intersection of codimension at most $3$. Furthermore, we show that $R$ is absolutely Koszul (that is, every finitely generated $R$-module has finite linearity defect) if and only if $R$ is Koszul if and only if $R$ is not a trivial fiber extension of a standard graded $\kk$-algebra with Hilbert series $(1+2t-2t^3)(1-t)^{-1}$. In particular, we recover earlier results on the Koszul property of Backelin, Conca and D'Alì. △ Less

Submitted 19 January, 2020; v1 submitted 13 October, 2018; originally announced October 2018.

Comments: 38 pages, revised version, To appear in Journal of Algebra

MSC Class: 13D02

The structure of quasi-complete intersection ideals

Authors: Andrew R. Kustin, Liana M. Sega

Abstract: We prove that every quasi-complete intersection ideal is obtained from a pair of nested complete intersection ideals by way of a flat base change. As a by-product we establish a rigidity statement for the minimal two-step Tate complex associated to an ideal $I$ in a local ring $R$. Furthermore, we define a minimal two-step complete Tate complex $T$ for each ideal $I$ in a local ring $R$; and prove… ▽ More We prove that every quasi-complete intersection ideal is obtained from a pair of nested complete intersection ideals by way of a flat base change. As a by-product we establish a rigidity statement for the minimal two-step Tate complex associated to an ideal $I$ in a local ring $R$. Furthermore, we define a minimal two-step complete Tate complex $T$ for each ideal $I$ in a local ring $R$; and prove a rigidity result for it. The complex $T$ is exact if and only if $I$ is a quasi-complete intersection ideal; and in this case, $T$ is the minimal complete resolution of $R/I$ by free $R$-modules. △ Less

Submitted 28 September, 2018; originally announced September 2018.

MSC Class: 13D02

Detecting Koszulness and related homological properties from the algebra structure of Koszul homology

Authors: Amanda Croll, Roger Dellaca, Anjan Gupta, Justin Hoffmeier, Vivek Mukundan, Denise Rangel Tracy, Liana M. Şega, Gabriel Sosa, Peder Thompson

Abstract: Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show… ▽ More Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show that certain conditions on the multiplicative structure of Koszul homology imply strong homological properties, such as existence of certain Golod homomorphisms, leading to explicit computations of Poincaré series. As an application, we show that the Poincaré series of all finitely generated modules over a stretched Cohen-Macaulay local ring are rational, sharing a common denominator. △ Less

Submitted 18 September, 2017; v1 submitted 12 November, 2016; originally announced November 2016.

Comments: 22 pages; new Section 7 incorporating DGAlgebras Macaulay2 package, updated Theorems 3.1 and 6.1 to improve and clarify generation property, and some more minor adjustments

Poincaré series of compressed local Artinian rings with odd top socle degree

Authors: Andrew R. Kustin, Liana M. Sega, Adela Vraciu

Abstract: We define a notion of compressed local Artinian ring that does not require the ring to contain a field. Let $(R,\mathfrak m)$ be a compressed local Artinian ring with odd top socle degree $s$, at least five, and $\operatorname{socle}(R)\cap \mathfrak m^{s-1}=\mathfrak m^s$. We prove that the Poincaré series of all finitely generated modules over $R$ are rational, sharing a common denominator, and… ▽ More We define a notion of compressed local Artinian ring that does not require the ring to contain a field. Let $(R,\mathfrak m)$ be a compressed local Artinian ring with odd top socle degree $s$, at least five, and $\operatorname{socle}(R)\cap \mathfrak m^{s-1}=\mathfrak m^s$. We prove that the Poincaré series of all finitely generated modules over $R$ are rational, sharing a common denominator, and that there is a Golod homomorphism from a complete intersection onto $R$. △ Less

Submitted 29 June, 2017; v1 submitted 19 July, 2016; originally announced July 2016.

Comments: We have changed the title and we no longer assume that the local Artinian ring is level

MSC Class: 13D02

Cohomology of finite modules over short Gorenstein rings

Authors: Melissa Menning, Liana Sega

Abstract: Let $R$ be a Gorenstein local ring with maximal ideal $\mathfrak{m}$ satisfying $\mathfrak{m}^3=0\ne\mathfrak{m}^2$. Set $k=R/\mathfrak{m}$ and $e=\text{rank}_{k}(\mathfrak{m}/\mathfrak{m}^2)$. If $e>2$ and $M$, $N$ are finitely generated $R$-modules, we show that the formal power series $\sum_{i=0}^\infty\text{rank}_{k}\left(\text{Ext}^i_R(M,N)\otimes_R k \right)t^i$ and… ▽ More Let $R$ be a Gorenstein local ring with maximal ideal $\mathfrak{m}$ satisfying $\mathfrak{m}^3=0\ne\mathfrak{m}^2$. Set $k=R/\mathfrak{m}$ and $e=\text{rank}_{k}(\mathfrak{m}/\mathfrak{m}^2)$. If $e>2$ and $M$, $N$ are finitely generated $R$-modules, we show that the formal power series $\sum_{i=0}^\infty\text{rank}_{k}\left(\text{Ext}^i_R(M,N)\otimes_R k \right)t^i$ and $\sum_{i=0}^\infty\text{rank}_{k}\left(\text{Tor}_i^R(M,N)\otimes_R k \right)t^i$ are rational, with denominator $1-et+t^2$. △ Less

Submitted 5 January, 2016; originally announced January 2016.

MSC Class: 13D07; 13D02; 13H10

Vanishing of Ext and Tor over Cohen-Macaulay local rings

Authors: Craig Huneke, Liana Sega, Adela Vraciu

Abstract: We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero. We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero. △ Less

Submitted 3 September, 2014; originally announced September 2014.

Comments: This paper appeared in 2004

MSC Class: 13

Journal ref: Illinois J. Math. vol 48 (2004), 295-317

Conditions for the Yoneda algebra of a local ring to be generated in low degrees

Authors: Justin Hoffmeier, Liana M. Şega

Abstract: The powers ${\mathfrak m}^n$ of the maximal ideal $\mathfrak m$ of a local Noetherian ring $R$ are known to satisfy certain homological properties for large values of $n$. For example, the homomorphism $R\to R/{\mathfrak m}^n$ is Golod for $n\gg 0$. We study when such properties hold for small values of $n$, and we make connections with the structure of the Yoneda Ext algebra, and more precisely w… ▽ More The powers ${\mathfrak m}^n$ of the maximal ideal $\mathfrak m$ of a local Noetherian ring $R$ are known to satisfy certain homological properties for large values of $n$. For example, the homomorphism $R\to R/{\mathfrak m}^n$ is Golod for $n\gg 0$. We study when such properties hold for small values of $n$, and we make connections with the structure of the Yoneda Ext algebra, and more precisely with the property that the Yoneda algebra of $R$ is generated in degrees $1$ and $2$. A complete treatment of these properties is pursued in the case of compressed Gorenstein local rings. △ Less

Submitted 6 June, 2016; v1 submitted 27 March, 2014; originally announced March 2014.

Comments: Revised version, multiple changes throughout

Minimal quasi-complete intersection ideals

Authors: Andrew R. Kustin, Liana M. Şega, Adela Vraciu

Abstract: A quasi-complete intersection (q.c.i.) ideal of a local ring is an ideal with "free exterior Koszul homology"; the definition can also be understood in terms of vanishing of André-Quillen homology functors. Principal q.c.i. ideals are well understood, but few constructions are known to produce q.c.i. ideals of grade zero that are not principal. This paper examines the structure of q.c.i. ideals. W… ▽ More A quasi-complete intersection (q.c.i.) ideal of a local ring is an ideal with "free exterior Koszul homology"; the definition can also be understood in terms of vanishing of André-Quillen homology functors. Principal q.c.i. ideals are well understood, but few constructions are known to produce q.c.i. ideals of grade zero that are not principal. This paper examines the structure of q.c.i. ideals. We exhibit conditions on a ring $R$ which guarantee that every q.c.i. ideal of $R$ is principal. On the other hand, we give an example of a minimal q.c.i. deal $I$ which does not contain any principal q.c.i. ideals and is not embedded, in the sense that no faithfully flat extension of $I$ can be written as a quotient of complete intersection ideals. We also describe a generic situation in which the maximal ideal of $R$ is an embedded q.c.i. ideal that does not contain any principal q.c.i. ideals. △ Less

Submitted 6 January, 2015; v1 submitted 4 September, 2013; originally announced September 2013.

Comments: This version contains an appendix, which describes the Macaulay2 commands that can be used to verify the proof of Lemma 4.2

MSC Class: 13D02; 13A02; 13D07

On the linearity defect of the residue field

Authors: Liana Şega

Abstract: Given a commutative Noetherian local ring $R$, the linearity defect of a finitely generated $R$-module $M$, denoted $\ld_R(M)$, is an invariant that measures how far $M$ and its syzygies are from having a linear resolution. Motivated by a positive known answer in the graded case, we study the question of whether $\ld_R(k)<\infty$ implies $\ld_R(k)=0$. We give answers in special cases, and we discu… ▽ More Given a commutative Noetherian local ring $R$, the linearity defect of a finitely generated $R$-module $M$, denoted $\ld_R(M)$, is an invariant that measures how far $M$ and its syzygies are from having a linear resolution. Motivated by a positive known answer in the graded case, we study the question of whether $\ld_R(k)<\infty$ implies $\ld_R(k)=0$. We give answers in special cases, and we discuss several interpretations and refinements of the question. △ Less

Submitted 19 March, 2013; originally announced March 2013.

Poincaré series of modules over compressed Gorenstein local rings

Authors: Maria Evelina Rossi, Liana M Şega

Abstract: Given positive integers e and s we consider Gorenstein Artinian local rings R of embedding dimension e whose maximal ideal $\mathfrak{m}$ satisfies $\mathfrak{m}^s\ne 0=\mathfrak{m}^{s+1}$. We say that R is a compressed Gorenstein local ring when it has maximal length among such rings. It is known that generic Gorenstein Artinian algebras are compressed. If $s\ne 3$, we prove that the Poincare ser… ▽ More Given positive integers e and s we consider Gorenstein Artinian local rings R of embedding dimension e whose maximal ideal $\mathfrak{m}$ satisfies $\mathfrak{m}^s\ne 0=\mathfrak{m}^{s+1}$. We say that R is a compressed Gorenstein local ring when it has maximal length among such rings. It is known that generic Gorenstein Artinian algebras are compressed. If $s\ne 3$, we prove that the Poincare series of all finitely generated modules over a compressed Gorenstein local ring are rational, sharing a common denominator. A formula for the denominator is given. When s is even this formula depends only on the integers e and s. Note that for $s=3$ examples of compressed Gorenstein local rings with transcendental Poincare series exist, due to Bøgvad. △ Less

Submitted 25 March, 2014; v1 submitted 27 November, 2012; originally announced November 2012.

Comments: revised version, to appear in Adv. Math

MSC Class: 13D02

Quasi-complete intersection homomorphisms

Authors: Luchezar L. Avramov, Inês B. Henriques, Liana M. Şega

Abstract: Extending a notion defined for surjective maps by Blanco, Majadas, and Rodicio, we introduce and study a class of homomorphisms of commutative noetherian rings, which strictly contains the class of locally complete intersection homomorphisms, while sharing many of its remarkable properties. Extending a notion defined for surjective maps by Blanco, Majadas, and Rodicio, we introduce and study a class of homomorphisms of commutative noetherian rings, which strictly contains the class of locally complete intersection homomorphisms, while sharing many of its remarkable properties. △ Less

Submitted 4 November, 2013; v1 submitted 11 October, 2010; originally announced October 2010.

Comments: Final version, to appear in the special issue of Pure and Applied Mathematics Quarterly dedicated to Andrey Todorov. The material in the first four sections has been reorganized and slightly expanded

Short Koszul modules

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Liana M. Sega

Abstract: This article is concerned with graded modules M with linear resolutions over a standard graded algebra R. It is proved that if such an M has Hilbert series $H_M(s)$ of the form $ps^d+qs^{d+1}$, then the algebra R is Koszul; if, in addition, M has constant Betti numbers, then $H_R(s)=1+es+(e-1)s^{2}$. When $H_R(s)=1+es+rs^{2}$ with $r\leq e-1$, and R is Gorenstein or $e=r+1\le 3$, it is proved that… ▽ More This article is concerned with graded modules M with linear resolutions over a standard graded algebra R. It is proved that if such an M has Hilbert series $H_M(s)$ of the form $ps^d+qs^{d+1}$, then the algebra R is Koszul; if, in addition, M has constant Betti numbers, then $H_R(s)=1+es+(e-1)s^{2}$. When $H_R(s)=1+es+rs^{2}$ with $r\leq e-1$, and R is Gorenstein or $e=r+1\le 3$, it is proved that generic R-modules with $q\leq(e-1)p$ are linear. △ Less

Submitted 3 May, 2010; originally announced May 2010.

Comments: To appear in the special issue of the Journal of Commutative Algebra, dedicated to Ralf Froeberg's 65th birthday.

Free resolutions over short Gorenstein local rings

Authors: Inês B. Henriques, Liana M. Şega

Abstract: Let R be a local ring with maximal ideal m admitting a non-zero element a\in\fm for which the ideal (0:a) is isomorphic to R/aR. We study minimal free resolutions of finitely generated R-modules M, with particular attention to the case when m^4=0. Let e denote the minimal number of generators of m. If R is Gorenstein with m^4=0 and e\ge 3, we show that \Poi MRt is rational with denominator \HH… ▽ More Let R be a local ring with maximal ideal m admitting a non-zero element a\in\fm for which the ideal (0:a) is isomorphic to R/aR. We study minimal free resolutions of finitely generated R-modules M, with particular attention to the case when m^4=0. Let e denote the minimal number of generators of m. If R is Gorenstein with m^4=0 and e\ge 3, we show that \Poi MRt is rational with denominator \HH R{-t} =1-et+et^2-t^3, for each finitely generated R-module M. In particular, this conclusion applies to generic Gorenstein algebras of socle degree 3. △ Less

Submitted 20 October, 2009; v1 submitted 22 April, 2009; originally announced April 2009.

Comments: 19 pages; new title, minor changes and extended bibliography

MSC Class: 13D02; 13D07; 13D40; 16S37

Free resolutions over short local rings

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Liana M. Sega

Abstract: The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families of Koszul modules are identified. When R is Gorenstein the non-Koszul modules are classified. Structure theorems are established for the graded k-algebra Ext_… ▽ More The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families of Koszul modules are identified. When R is Gorenstein the non-Koszul modules are classified. Structure theorems are established for the graded k-algebra Ext_R(k,k) and its graded module Ext_R(M,k). △ Less

Submitted 9 April, 2008; v1 submitted 30 July, 2007; originally announced July 2007.

Comments: 17 pages; number of minor changes. This article will appear in the Journal of the London Math. Soc

MSC Class: 13D02 (Primary); 13D07 (Secondary)

Asymmetric complete resolutions and vanishing of Ext over Gorenstein rings

Authors: David A. Jorgensen, Liana M. Sega

Abstract: We construct a class of Gorenstein local rings $R$ which admit minimal complete $R$-free resolutions $\bd C$ such that the sequence $\{\rank_R C_i\}$ is constant for $i< 0$, and grows exponentially for all $i>0$. Over these rings we show that there exist finitely generated $R$-modules $M$ and $N$ such that $\Ext^i_R(M,N)=0$ for all $i> 0$, but $\Ext^i_R(N,M)\ne 0$ for all $i>0$. We construct a class of Gorenstein local rings $R$ which admit minimal complete $R$-free resolutions $\bd C$ such that the sequence $\{\rank_R C_i\}$ is constant for $i< 0$, and grows exponentially for all $i>0$. Over these rings we show that there exist finitely generated $R$-modules $M$ and $N$ such that $\Ext^i_R(M,N)=0$ for all $i> 0$, but $\Ext^i_R(N,M)\ne 0$ for all $i>0$. △ Less

Submitted 28 October, 2005; originally announced October 2005.

Comments: 14 pages, to appear in Internat. Math. Res. Notices

Independence of the total reflexivity conditions for modules

Authors: David Jorgensen, Liana Sega

Abstract: We show that the conditions defining total reflexivity for modules are independent. In particular, we construct a commutative Noetherian local ring $R$ and a reflexive $R$-module $M$ such that $\Ext^i_R(M,R)=0$ for all $i>0$, but $\Ext^i_R(M^*,R)\ne 0$ for all $i>0$. We show that the conditions defining total reflexivity for modules are independent. In particular, we construct a commutative Noetherian local ring $R$ and a reflexive $R$-module $M$ such that $\Ext^i_R(M,R)=0$ for all $i>0$, but $\Ext^i_R(M^*,R)\ne 0$ for all $i>0$. △ Less

Submitted 20 October, 2004; v1 submitted 10 October, 2004; originally announced October 2004.

Comments: In the previous version, Proposition 2.1 is incorrect, as stated. We added the assumption "Artinian" in the statement

MSC Class: 13D07;13D02;13D25

Open loci of graded modules

Authors: Christel Rotthaus, Liana M. Sega

Abstract: Let $A=\oplus_{i\in \nn}A_i$ be an excellent homogeneous Noetherian graded ring and let $M=\oplus_{n\in \zz}M_n$ be a finitely generated graded $A$-module. We consider $M$ as a module over $A_0$ and show that the $(S_k)$-loci of $M$ are open in $\Spec(A_0)$. In particular, the Cohen-Macaulay locus $U^0_{CM}=\{\p\in \Spec(A_0) \mid M_\p {is Cohen-Macaulay}\}$ is an open subset of $\Spec(A_0)$. We… ▽ More Let $A=\oplus_{i\in \nn}A_i$ be an excellent homogeneous Noetherian graded ring and let $M=\oplus_{n\in \zz}M_n$ be a finitely generated graded $A$-module. We consider $M$ as a module over $A_0$ and show that the $(S_k)$-loci of $M$ are open in $\Spec(A_0)$. In particular, the Cohen-Macaulay locus $U^0_{CM}=\{\p\in \Spec(A_0) \mid M_\p {is Cohen-Macaulay}\}$ is an open subset of $\Spec(A_0)$. We also show that the $(S_k)$-loci on the homogeneous parts $M_n$ of $M$ are eventually stable. As an application we obtain that for a finitely generated Cohen-Macaulay module $M$ over an excellent ring $A$ and for an ideal $I\subseteq A$ which is not contained in any minimal prime of $M$ the $(S_k)$-loci for the modules $M/I^nM$ are eventually stable. △ Less

Submitted 23 March, 2004; originally announced March 2004.

Comments: 22 pages

MSC Class: 13A02; 13H10

Nonvanishing cohomology and classes of Gorenstein rings

Authors: David A. Jorgensen, Liana M. Sega

Abstract: We give counterexamples to the following conjecture of Auslander: given a finitely generated module $M$ over an Artin algebra $Λ$, there exists a positive integer $n_M$ such that for all finitely generated $Λ$-modules $N$, if $\Ext_Λ^i(M,N)=0$ for all $i\gg 0$, then $\Ext_Λ^i(M,N)=0$ for all $i\geq n_M$. Some of our examples moreover yield homologically defined classes of commutative local rings… ▽ More We give counterexamples to the following conjecture of Auslander: given a finitely generated module $M$ over an Artin algebra $Λ$, there exists a positive integer $n_M$ such that for all finitely generated $Λ$-modules $N$, if $\Ext_Λ^i(M,N)=0$ for all $i\gg 0$, then $\Ext_Λ^i(M,N)=0$ for all $i\geq n_M$. Some of our examples moreover yield homologically defined classes of commutative local rings strictly between the class of local complete intersections and the class of local Gorenstein rings. △ Less

Submitted 2 June, 2003; v1 submitted 30 May, 2003; originally announced June 2003.

Comments: 16 pages

MSC Class: 13D03

Vanishing of cohomology over Gorenstein rings of small codimension

Authors: Liana M Sega

Abstract: We prove that if M, N are finite modules over a Gorenstein local ring R of codimension at most 4, then the vanishing of Ext^n_R(M,N) for n\gg 0 is equivalent to the vanishing of Ext^n_R(N,M) for n\gg 0. Furthermore, if the completion of $R$ has no embedded deformation, then such vanishing occurs if and only if M or N has finite projective dimension. We prove that if M, N are finite modules over a Gorenstein local ring R of codimension at most 4, then the vanishing of Ext^n_R(M,N) for n\gg 0 is equivalent to the vanishing of Ext^n_R(N,M) for n\gg 0. Furthermore, if the completion of $R$ has no embedded deformation, then such vanishing occurs if and only if M or N has finite projective dimension. △ Less

Submitted 27 September, 2002; originally announced September 2002.

Comments: 11 pages, to appear in Proceedings of the AMS

MSC Class: 13D07;13H10;13D40

Extensions of a Dualizing Complex by its Ring: Commutative Versions of a Conjecture of Tachikawa

Authors: L. L. Avramov, R. -O. Buchweitz, L. M. Sega

Abstract: Let $(R,\fm,k)$ be a commutative noetherian local ring with dualizing complex $\dua R$, normalized by $\Ext^{\depth(R)}_R(k,\dua R)\cong k$. Partly motivated by a long standing conjecture of Tachikawa on (not necessarily commutative) $k$-algebras of finite rank, we conjecture that if $\Ext^n_R(\dua R,R)=0$ for all $n>0$, then $R$ is Gorenstein, and prove this in several significant cases. Let $(R,\fm,k)$ be a commutative noetherian local ring with dualizing complex $\dua R$, normalized by $\Ext^{\depth(R)}_R(k,\dua R)\cong k$. Partly motivated by a long standing conjecture of Tachikawa on (not necessarily commutative) $k$-algebras of finite rank, we conjecture that if $\Ext^n_R(\dua R,R)=0$ for all $n>0$, then $R$ is Gorenstein, and prove this in several significant cases. △ Less

Submitted 15 March, 2003; v1 submitted 22 August, 2002; originally announced August 2002.

Comments: 18 pages, to appear in Journal of Pure and Appl. Algebra. Following the comments of the referee, we removed the old section 6 and added a new section 1

Report number: formerly math.RA/0208172 MSC Class: 13D07;13D25;13H10