Searcharxiv⌕ Search

arXiv subjects

Sean Sather-Wagstaff

Publications and source records attributed to Sean Sather-Wagstaff.

At least 37 records · Page 2Linked to original sources
arXiv2013

Krull dimension of monomial ideals in polynomial rings with real exponents

We develop a new technique for studying monomial ideals in the standard polynomial rings $A[X_1,\ldots,X_d]$ where $A$ is a commutative ring with identity. The main idea is to consider induced ideals in the semigroup ring $R=A[\mathbb{M}^1_{\geq 0}\times\cdots\times\mathbb{M}^d_{\geq 0}]$ where $\mathbb{M}^1,\ldots,\mathbb{M}^d$ are non-zero additive subgroups of $\mathbb{R}$. We prove that the set of non-zero finitely generated monomial ideals in $R$ has the structure of a metric space, and we prove that a version of Krull dimension for this setting is lower semicontinuous with respect to this metric space structure. We also show how to use discrete techniques to study certain monomial ideals in this context.

math.AC↗
arXiv2013

A somewhat gentle introduction to differential graded commutative algebra

Differential graded (DG) commutative algebra provides powerful techniques for proving theorems about modules over commutative rings. These notes are a somewhat colloquial introduction to these techniques. In order to provide some motivation for commutative algebraists who are wondering about the benefits of learning and using these techniques, we present them in the context of a recent result of Nasseh and Sather-Wagstaff. These notes were used for the course "Differential Graded Commutative Algebra" that was part of the Workshop on Connections Between Algebra and Geometry held at the University of Regina, May 29--June 1, 2012.

math.AC↗
arXiv2013

Cohen Factorizations: Weak Functoriality and Applications

We investigate Cohen factorizations of local ring homomorphisms from three perspectives. First, we prove a "weak functoriality" result for Cohen factorizations: certain morphisms of local ring homomorphisms induce morphisms of Cohen factorizations. Second, we use Cohen factorizations to study the properties of local ring homomorphisms (Gorenstein, Cohen-Macaulay, etc.) in certain commutative diagrams. Third, we use Cohen factorizations to investigate the structure of quasi-deformations of local rings, with an eye on the question of the behavior of CI-dimension in short exact sequences.

math.AC↗
arXiv2013

Krull Dimension for Differential Graded Algebras

We introduce a naive notion of a system of parameters for a homologically finite complex over a commutative noetherian local ring, and compare it to the system of parameters defined by Christensen. We show that these notions differ in general, but that they agree when the complex in question is a DG R-algebra. In this case we also show that the Krull dimension defined in terms of the lengths of such systems of parameters agrees with Krull dimensions defined in terms of certain chains of prime ideals.

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

Ascent properties for derived functors

Given a flat local ring homomorphism R\to S, and two finitely generated R-modules M and N, we describe conditions under which the modules Tor^i(M,N) and Ext^i(M,N) have S-module structures that are compatible with their R-module structures.

math.AC↗
arXiv2012

Reflexivity and connectedness

Given a finitely generated module over a commutative noetherian ring that satisfies certain reflexivity conditions, we show how failure of the semidualizing property for the module manifests in a disconnection of the prime spectrum of the ring.

math.AC↗
arXiv2012

Contracting endomorphisms and dualizing complexes

We investigate how one can detect the dualizing property for a chain complex over a commutative local noetherian ring R. Our focus is on homological properties of contracting endomorphisms of R, e.g., the Frobenius endomorphism when R contains a field of positive characteristic.

math.AC↗
arXiv2012

Multiplicities of semidualizing modules

A finitely generated module C over a commutative noetherian ring R is semidualizing if Hom_R(C,C) \cong R and Ext^i_R(C,C) = 0 for all i \geq 1. For certain local Cohen-Macaulay rings (R,m), we verify the equality of Hilbert-Samuel multiplicities e_R(J;C) = e_R(J;R) for all semidualizing R-modules C and all m-primary ideals J. The classes of rings we investigate include those that are determined by ideals defining fat point schemes in projective space or by monomial ideals.

math.AC↗
arXiv2012

Homology of artinian and mini-max modules, II

Let R be a commutative ring, and let L and L' be R-modules. We investigate finiteness conditions (e.g., noetherian, artinian, mini-max, Matlis reflexive) of the modules Ext^i_R(L,L') and Tor_i^R(L,L') when L and L' satisfy combinations of these finiteness conditions. For instance, if R is noetherian, then given R-modules M and M' such that M is Matlis reflexive and M' is mini-max (e.g., noetherian or artinian), we prove that Ext^i_R(M,M'), Ext^i_R(M',M), and Tor_i^R(M,M') are Matlis reflexive over R for all i\geq 0 and that Ext^i_R(M,M')^\vee\cong Tor_i^R(M,M'^\vee) and Ext^i_R(M',M)^\vee\cong Tor_i^R(M',M^\vee).

math.AC↗
arXiv2012

Edge Ideals of Weighted Graphs

We study weighted graphs and their "edge ideals" which are ideals in polynomial rings that are defined in terms of the graphs. We provide combinatorial descriptions of m-irreducible decompositions for the edge ideal of a weighted graph in terms of the combinatorics of "weighted vertex covers". We use these, for instance, to say when these ideals are m-unmixed. We explicitly describe which weighted cycles, suspensions, and trees are unmixed and which ones are Cohen-Macaulay, and we prove that all weighted complete graphs are Cohen-Macaulay.

math.AC↗
arXiv2012

Decompositions of Monomial Ideals in Real Semigroup Rings

Irreducible decompositions of monomial ideals in polynomial rings over a field are well-understood. In this paper, we investigate decompositions in the set of monomial ideals in the semigroup ring A[\mathbb{R}_{\geq 0}^d] where A is an arbitrary commutative ring with identity. We classify the irreducible elements of this set, which we call m-irreducible, and we classify the elements that admit decompositions into finite intersections of m-irreducible ideals.

math.AC↗
arXiv2012

NAK for Ext and Ascent of module structures

We investigate the interplay between properties of Ext modules and ascent of module structures along local ring homomorphisms. Specifically, let f: (R,m,k) -> (S,mS,k) be a flat local ring homomorphism. We show that if M is a finitely generated R-module such that Ext^i(S,M) satisfies NAK (e.g. if Ext^i(S,M) is finitely generated over S) for i=1,...,dim_R(M), then Ext^i(S,M)=0 for all i\neq 0 and M has an S-module structure that is compatible with its R-module structure via f. We provide explicit computations of Ext^1(S,M) to indicate how large it can be when M does not have a compatible S-module structure.

math.AC↗
arXiv2012

Relative Tor functors with respect to a semidualizing module

We consider relative Tor functors built from resolutions described by a semidualizing module C over a commutative noetherian ring R. We show that the bifunctors Tor^{F_CM}_i (-,-) and Tor^{P_CM}_i (-,-), defined using flat-like and projective-like resolutions, are isomorphic. We show how the vanishing of these functors characterizes the finiteness of the homological dimension F_C-pd, and we use this to give a relation between the F_C-pd of a given module and that of a pure submodule. On the other hand, we show that other relations that one may expect to hold similarly, fail in general. In fact, such relations force the semidualizing modules under consideration to be trivial.

math.AC↗
arXiv2012

Embedding modules of finite homological dimension

This paper builds on work of Hochster and Yao that provides nice embeddings for finitely generated modules of finite G-dimension, finite projective dimension, or locally finite injective dimension. We extend these results by providing similar embeddings in the relative setting, that is, for certain modules of finite G_C-dimension, finite P_C-projective dimension, locally finite GI_C-injective dimension, or locally finite I_C-injective dimension where C is a semidualizing module. Along the way, we extend some results for modules of finite homological dimension to modules of locally finite homological dimension in the relative setting.

math.AC↗
arXiv2010

Homology of artinian and Matlis reflexive modules, I

Let R be a commutative local noetherian ring, and let L and L' be R-modules. We investigate the properties of the functors Tor_i^R(L,-) and Ext^i_R(L,-). For instance, we show the following: (a) if L is artinian and L' is noetherian, then Hom_R(L,L') has finite length; (b) if L and L' are artinian, then the tensor product L \otimes_R L' has finite length; (c) if L and L' are artinian, then Tor_i^R(L,L') is artinian, and Ext^i_R(L,L') is noetherian over the completion \hat R; and (d) if L is artinian and L' is Matlis reflexive, then Ext^i_R(L,L'), Ext^i_R(L',L), and Tor_i^R(L,L') are Matlis reflexive. Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.

math.AC↗