Searcharxiv⌕ Search

arXiv subjects

Sandra Spiroff

Publications and source records attributed to Sandra Spiroff.

At least 19 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↗
arXiv2025

Divisibility Relations and $\mathcal{D}$-Extremal ideals

A divisibility relation between the generators of a square-free monomial ideal formally encodes the situation when one generator divides the least common multiple of some other generators. The divisibility relations contribute to the deletion of some parts of the Taylor resolution of the ideal, and therefore lead to finding a resolution closer to the minimal one. Motivated by this observation, for a given set $\mathcal{D}$ of divisibility relations, we study all square-free monomials satisfying the relations in $\mathcal{D}$. We define a class of square-free monomial ideals called $\mathcal{D}$-extremal ideals $\mathcal{E}_\mathcal{D}$ , and show it is optimal in the sense that it is an ideal satisfying exactly those divisibility relations coming from $\mathcal{D}$, and no others. We then show that $\mathcal{E}_\mathcal{D}$ is extremal in the sense that the resolution and betti numbers of the powers of any square-free monomial ideal satisfying the relations in $\mathcal{D}$ are bounded by those of the same powers of $\mathcal{E}_\mathcal{D}$.

math.AC↗
arXiv2023

The Scarf complex and betti numbers of powers of extremal ideals

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

math.AC↗
arXiv2022

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↗
arXiv2020

Ladder determinantal rings over normal domains

We explicitly describe the divisor class groups and semidualizing modules for ladder determinantal rings with coefficients in an arbitrary normal domain for arbitrary ladders, not necessarily connected, and all sizes of minors.

math.AC↗
arXiv2019

Generic Constructions and Semidualizing Modules

We investigate some general machinery for describing semidualizing modules over generic constructions like ladder determinantal rings with coefficients in a normal domain. We also pose and investigate natural localization questions that arise in the process.

math.AC↗
arXiv2018

Semidualizing modules of $2 \times 2$ ladder determinantal rings

We continue our study of ladder determinantal rings over a field $\mathsf k$ from the perspective of semidualizing modules. In particular, given a ladder of variables $Y$, we show that the associated ladder determinantal ring $\mathsf k[Y]/I_2(Y)$ admits exactly $2^n$ non-isomorphic semidualizing modules where $n$ is determined from the combinatorics of the ladder $Y$: the number $n$ is essentially the number of non-Gorenstein factors in a certain decomposition of $Y$. From this, for each $n$, we show explicitly how to find ladders $Y$ such that $\mathsf k[Y]/I_2(Y)$ admits exactly $2^n$ non-isomorphic semidualizing modules. This is in contrast to our previous work, which demonstrates that large classes of ladders have exactly 2 non-isomorphic semidualizing modules.

math.AC↗
arXiv2018

Computing The Invariants of Intersection Algebras of Principal Monomial Ideals

We continue the study of intersection algebras $\mathcal B = \mathcal B_R(I, J)$ of two ideals $I, J$ in a commutative Noetherian ring $R$. In particular, we exploit the semigroup ring and toric structures in order to calculate various invariants of the intersection algebra when $R$ is a polynomial ring over a field and $I,J$ are principal monomial ideals. Specifically, we calculate the $F$-signature, divisor class group, and Hilbert-Samuel and Hilbert-Kunz multiplicities, sometimes restricting to certain cases in order to obtain explicit formul{\ae}. This provides a new class of rings where formul{\ae} for the $F$-signature and Hilbert-Kunz multiplicity, dependent on families of parameters, are provided.

math.AC↗
arXiv2018

On semidualizing modules of ladder determinantal rings

We identify all semidualizing modules over certain classes of ladder determinantal rings over a field ${\mathsf k}$. Specifically, given a ladder of variables $Y$, we show that the ring ${\mathsf k}[Y]/I_t(Y)$ has only trivial semidualizing modules up to isomorphism in the following cases: (1) $Y$ is a one-sided ladder, and (2) $Y$ is a two-sided ladder with $t=2$ and no coincidental inside corners.

math.AC↗
arXiv2017

Connectedness and Lyubeznik numbers

We investigate the relationship between connectedness properties of spectra and the Lyubeznik numbers, numerical invariants defined via local cohomology. We prove that for complete equidimensional local rings, the Lyubeznik numbers characterize when connectedness dimension equals one. More generally, these invariants determine a bound on connectedness dimension. Additionally, our methods imply that the Lyubeznik number with indices (1,2) of the local ring at the vertex of the affine cone over a projective variety is independent of the choice of its embedding into projective space.

math.AC↗
arXiv2014

On the structure of $S_2$-ifications of complete local rings

Motivated by work of Hochster and Huneke, we investigate several constructions related to the $S_2$-ification $T$ of a complete equidimensional local ring $R$: the canonical module, the top local cohomology module, topological spaces of the form $\operatorname{Spec}(R)-V(J)$, and the (finite simple) graph $\Gamma_R$ with vertex set $\operatorname{Min}(R)$ defined by Hochster and Huneke. We generalize one of their results by showing, e.g., that the number of maximal ideals of $T$ is equal to the number of connected components of $\Gamma_R$. We further investigate this graph by exhibiting a technique for showing that a given graph $G$ can be realized as one of the form $\Gamma_R$.

math.AC↗
arXiv2013

Torsion in kernels of induced maps on divisor class groups

We investigate torsion elements in the kernel of the map on divisor class groups of excellent local normal domains A and A/I, for an ideal I of finite projective dimension. The motivation for this work is a result of Griffith-Weston which applies when I is principal.

math.AC↗
arXiv2011

The vanishing of a higher codimension analog of Hochster's theta invariant

We study H. Dao's invariant $\eta_c^R$ of pairs of modules defined over a complete intersection ring $R$ of codimension $c$ having an isolated singularity. Our main result is that $\eta_c^R$ vanishes for all pairs of modules when $R$ is a {\em graded} complete intersection ring of codimension $c > 1$ having an isolated singularity. A consequence of this result is that all pairs of modules over such a ring are $c$-$\Tor$-rigid.

math.AC↗
arXiv2009

Hochster's theta invariant and the Hodge-Riemann bilinear relations

Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., Tor_i^R(M,N) is isomorphic to Tor_{i+2}^R(M,N) for i sufficiently large). Since R has only an isolated singularity, these torsion modules are of finite length for i sufficiently large. The theta invariant of the pair (M,N) is defined by Hochster to be length(Tor_{2i}^R(M,N)) - length(Tor_{2i+1}^R(M,N)) for i sufficiently large. H. Dao has conjectured that the theta invariant is zero for all pairs (M,N) when R has even dimension and contains a field. This paper proves this conjecture under the additional assumption that R is graded with its irrelevant maximal ideal giving the isolated singularity. We also give a careful analysis of the theta pairing when the dimension of R is odd, and relate it to a classical pairing on the smooth variety Proj(R).

math.AC↗