交换代数
Let $(R,\mathfrak{m},\mathbb{k})$ be an equicharacteristic one-dimensional complete local domain over an algebraically closed field $\mathbb{k}$ of characteristic 0. R. Berger conjectured that R is regular if and only if the universally…
We study the upper bound of the colength of trace of the canonical module in one-dimensional Cohen-Macaulay rings. We answer the two questions posed by Herzog-Hibi-Stamate and Kobayashi.
In this paper, we consider the openness of the P-locus of a finitely generated module over a commutative noetherian ring in the case where P is each of the properties FID, Gor, CM, MCM, (S_n), and (T_n). One of the main results asserts that…
Let n be a positive integer, and let A be a strongly commutative differential graded (DG) algebra over a commutative ring R. Assume that (a) B=A[X_1,...,X_n] is a polynomial extension of A, where X_1,...,X_n are variables of positive…
In this paper, we relate combinatorial conditions for polarizations of powers of the graded maximal ideal with rank conditions on submodules generated by collections of Young tableaux. We apply discrete Morse theory to the hypersimplex…
In this paper, we study conditions guaranteeing that a product of ideals defines a Golod ring. We show that for a $3$-dimensional regular local ring (or $3$-variable polynomial ring) $(R , \m)$, the ideal $I \m$ always defines a Golod ring…
In this paper we extend the well-known iterated mapping cone procedure to monomial ideals in strongly Koszul algebras. We study properties of ideals generated by monomials in commutative Koszul algebras and show that the linear strand of…
A determinantal facet ideal (DFI) is an ideal $J_\Delta$ generated by maximal minors of a generic matrix parametrized by an associated simplicial complex $\Delta$. In this paper, we construct an explicit linear strand for the initial ideal…
In this paper, we consider the iterated trimming complex associated to data yielding a complex of length $3$. We compute an explicit algebra structure in this complex in terms of the algebra structures of the associated input data.…
Consider the ideal $(x_1 , \dotsc , x_n)^d \subseteq k[x_1 , \dotsc , x_n]$, where $k$ is any field. This ideal can be resolved by both the $L$-complexes of Buchsbaum and Eisenbud, and the Eliahou-Kervaire resolution. Both of these…
Let $R = k[x_1, \dotsc , x_n]$ denote the standard graded polynomial ring over a field $k$. We study certain classes of equigenerated monomial ideals with the property that the so-called complementary ideal has no linear relations on the…
A determinantal facet ideal (DFI) is generated by a subset of the maximal minors of a generic $n\times m$ matrix where $n\leq m$ indexed by the facets of a simplicial complex $\Delta$. We consider the more general notion of an $r$-DFI,…
The big from small construction was introduced by Kustin and Miller and can be used to construct resolutions of tightly double linked Gorenstein ideals. In this paper, we expand on the DG-algebra techniques introduced Kustin for building…
We consider the following question: if a simplicial complex $\Delta$ has $d$-homology, then does the corresponding $d$-cycle always induce cycles of smaller dimension that are not boundaries in $\Delta$? We provide an answer to this…
Let $H$ be a transfer Krull monoid over a subset $G_0$ of an abelian group $G$ with finite exponent. Then every non-unit $a\in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L(a)$ of all…
Primary and strongly primary monoids and domains play a central role in the ideal and factorization theory of commutative monoids and domains. It is well-known that primary monoids satisfying the ascending chain condition on divisorial…
We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the Canonical Ribbon Conjecture of Bayer and Eisenbud holds over a field of characteristic zero or at least equal to the…
We previously showed that the inverse limit of standard-graded polynomial rings with perfect coefficient field is a polynomial ring, in an uncountable number of variables. In this paper, we show that the same result holds with arbitrary…
If $R$ is a ring with 1, we call a unital left $R$-module $M$ co-Hopfian (Hopfian) in the category of left $R$-modules if any monic (epic) endomorphism of $M$ is an automorphism. For commutative Noetherian $R$ we use results of Matlis to…
In the present paper, we give a complete classification of connected simple graphs whose edge rings have a $q$-linear resolution with $q \geq 2$. In particular, we show that the edge ring of a finite connected simple graph with a $q$-linear…