Searcharxiv⌕ Search

arXiv subjects

Liana M. Sega

Publications and source records attributed to Liana M. Sega.

12 recordsLinked to original sources
arXiv2026

Cellular resolutions of second powers of square-free monomial ideals with divisibility relations

Using divisibility relations between the generators of a square-free monomial ideal $I$, we describe divisibility relations between the generators of the second power $I^2$. We then employ discrete Morse theory to produce a cellular free resolution of $I^2$ which is minimal for specific ideals that are extremal with respect to a given divisibility relation. In particular, we provide sharp bounds on the projective dimension of $I^2$ when the generators of $I$ satisfy at least one divisibility relation.

math.AC↗
arXiv2024

Relations between Poincaré series for quasi-complete intersection homomorphisms

In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism $φ\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 $φ$ 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 $φ.$

math.AC↗
arXiv2024

Simplicial Resolutions of Powers of Square-free Monomial Ideals

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.

math.AC↗
arXiv2021

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

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.

math.AC↗
arXiv2018

The structure of quasi-complete intersection ideals

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.

math.AC↗
arXiv2017

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

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$.

math.AC↗
arXiv2010

Short Koszul modules

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.

math.AC↗
arXiv2008

Free resolutions over short local rings

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).

math.AC↗
arXiv2005

Asymmetric complete resolutions and vanishing of Ext over Gorenstein rings

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$.

math.AC↗
arXiv2004

Open loci of graded modules

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.

math.AC↗
arXiv2003

Nonvanishing cohomology and classes of Gorenstein rings

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.

math.AC↗