an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
Author
27 papers · 2006–2026
showing 1–25 of 27 RSS
Sandra Spiroff, Cameron Wickham
We study the zero divisor graph determined by equivalence classes of zero divisors of a commutative Noetherian ring R. We demonstrate how to recover information about R from this structure. In particular, we determine how to identify associated primes from the graph.
Jim Coykendall, Sean Sather-Wagstaff, Laura Sheppardson +1 more
We survey the research conducted on zero divisor graphs, with a focus on zero divisor graphs determined by equivalence classes of zero divisors of a commutative ring R. In particular, we consider the problem of classifying star graphs with any finite number of vertices. We study the pathology of a zero divisor graph in terms of cliques, we investigate when the clique and chromatic numbers are equal, and we show that the girth of a Noetherian ring, if finite, is 3. We also introduce a graph for modules that is useful for studying zero divisor graphs of trivial extensions.
Catalin Ciuperca, Florian Enescu, Sandra Spiroff
Let A be a locally analytically unramified local ring and let J_1,...,J_k,I be ideals in A. If C=C(J_1,...,J_k;I) is the cone generated by the (k+1)-tuples (m_1,...,m_k,n) such that J_1^{m_1}...J_k^{m_k} is contained in I^n, we prove that the topological closure of C is a rational polyhedral cone. This generalizes results by Samuel, Nagata and Rees.
Susan M. Cooper, Sabine El Khoury, Sara Faridi +4 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…
Florian Enescu, Sandra Spiroff
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æ. This provides a new class of rings where formulæ for the $F$-signature and Hilbert-Kunz multiplicity, dependent on families of parameters, are provided.
Sean K. Sather-Wagstaff, Tony Se, Sandra Spiroff
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.
We discuss the generalization, in higher dimensions, of the tropical semiring, whose two binary operations on the set of real numbers together with infinity are defined to be the minimum and the sum of a pair, respectively. In particular, our objects are closed convex sets, and for any pair, we take the convex hull of their union and their Minkowski sum, respectively, as the binary operations. We consider the semiring in several different cases, determined by a recession cone.
Sean Sather-Wagstaff, Sandra Spiroff
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 $Γ_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 $Γ_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 $Γ_R$.
W. Frank Moore, Greg Piepmeyer, Sandra Spiroff +1 more
We study H. Dao's invariant $η_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 $η_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.
Susan M. Cooper, Sabine El Khoury, Sara Faridi +4 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.
Luis Núñez-Betancourt, Sandra Spiroff, Emily Witt
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.
Florida Victoria Levidiotis, Sandra Spiroff
We study condensed zero-divisor graphs (those whose vertices are equivalence classes of zero-divisors of a ring [math] ) having exactly five vertices. In particular, we determine which graphs with exactly five vertices can be realized as the condensed zero-divisor graph of a ring. We provide the rings for the graphs which are possible, and prove that the rest of graphs can not be realized via any commutative ring. There are 34 graphs in total which contain exactly five vertices.
W. Frank Moore, Greg Piepmeyer, Sandra Spiroff +1 more
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…
Sean Sather-Wagstaff, Sandra Spiroff
Let f: A\to B be a ring homomorphism between Noetherian normal integral domains. We establish a general criterion for f to induce a homomorphism Cl(f): Cl(A)\to Cl(B) on divisor class groups. For instance, this criterion applies whenever f has finite flat dimension; this special case generalizes the more classical situations where f is flat or is surjective with kernel generated by an A-regular element. We extend some of Spiroff's work on the kernels of induced maps to this more general setting.
Sabine El Khoury, Sara Faridi, Liana Sega +1 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…
Susan M. Cooper, Sabine El Khoury, Sara Faridi +4 more
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.
Sean K. Sather-Wagstaff, Tony Se, Sandra Spiroff
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.
Gabriel Johnson, Sandra Spiroff
The Hilbert–Kunz multiplicity and F -signature are important invariants for researchers in commutative algebra and algebraic geometry. We provide software, and describe the automation, for the calculations of the two invariants in the case of intersection algebras over polynomial rings.
Sean K. Sather-Wagstaff, Tony Se, Sandra Spiroff
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.
Gabriel Johnson, Sandra Spiroff
The Hilbert-Kunz multiplicity and $F$-signature are important invariants for researchers in commutative algebra and algebraic geometry. We provide software, and describe the automation of a calculation, for the two invariants in the case of intersection algebras over polynomial rings.
Sean Sather-Wagstaff, Sandra Spiroff
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.
Anurag K. Singh, Sandra Spiroff
We demonstrate how some classical computations of divisor class groups can be obtained using the theory of rational coefficient Weil divisors and related results of Watanabe.
We present a purely algebraic proof of the commutativity of the operation defined by intersection with divisors on the Chow group of a local Noetherian domain.
Susan M. Cooper, Sabine El Khoury, Sara Faridi +3 more
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.
Susan M. Cooper, Sabine El Khoury, Sara Faridi +3 more
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…