Search

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, and suppose $R$ is Cohen-Macaulay with canonical module $\omega_R$. We develop new tools for analyzing questions involving annihilators of several homologically defined objects. Using these, we study a generalization introduced by Dao-Kobayashi-Takahashi of the famous Tachikawa conjecture, asking in particular whether the vanishing of $\mathfrak{m} \operatorname{Ext}_R^i(\omega_R,R)$ should force the trace ideal of $\omega_R$ to contain $\mathfrak{m}$, i.e., for $R$ to be nearly Gorenstein. We show this question has an affirmative answer for numerical semigroup rings of minimal multiplicity, but that the answer is negative in general. Our proofs involve a technical analysis of homogeneous ideals in a numerical semigroup ring, and exploit the behavior of Ulrich modules in this setting., Comment: 24 Pages

Let $R$ be a commutative Noetherian local ring and $M$ a finitely generated $R$-module. We introduce a general form of the classically studied trace map that unifies several notions from the literature. We develop a theory around these objects and use it to provide a broad extension of a result of Lindo calculating the center of $\operatorname{End}_R(M)$. As a consequence, we show under mild hypotheses that in dimension $1$, the canonical module of $Z(\operatorname{End}_R(M))$ may be calculated as the trace submodule of $M$ with respect to the canonical module of $R$., Comment: 9 pages

This paper provides a method to get a noetherian equicharacteristic local UFD with an isolated singularity from a given noetherian complete equicharacteristic local ring, preserving certain properties. This is applied to invesitgate the (non)vanishing of Ext modules. It is proved that there exist a Gorenstein local UFD $A$ having an isolated singularity such that $\operatorname{Ext}_A^{\gg0}(M,N)=0$ does not imply $\operatorname{Ext}_A^{\gg0}(N,M)=0$, a Gorenstein local UFD $B$ having an isolated singularity such that $\operatorname{Tor}_{>0}^B(M,N)=0$ does not imply $\operatorname{depth}(M\otimes_B N)=\operatorname{depth} M+\operatorname{depth} N-\operatorname{depth} B$, and a Cohen-Macaulay local UFD $C$ having an isolated singularity such that $\operatorname{Ext}_C^{>0}(M,C)=0$ does not imply the total reflexivity of $M$., Comment: v1: 7 pages. v2: 10 pages, results on the depth formula added

Let $R$ be a commutative Noetherian local ring. We study tensor products involving a finitely generated $R$-module $M$ through the natural action of its endomorphism ring. In particular, we study torsion properties of self tensor products in the case where $\operatorname{End}_R(M)$ has an $R^*$-algebra structure, and prove that if $M$ is indecomposable, then $M \otimes_{\operatorname{End}_R(M)} M$ must always have torsion in this case under mild hypotheses., Comment: 8 pages

We study a modified version of the classical Ulrich modules, which we call $c$-Ulrich. Unlike the traditional setting, $c$-Ulrich modules always exist. We prove that these modules retain many of the essential properties and applications observed in the literature. Additionally, we reveal their significance as obstructions to Cohen-Macaulay properties of tensor products. Leveraging this insight, we show the utility of these modules in testing the finiteness of homological dimensions across various scenarios., Comment: 22 pages

A commutative Noetherian ring $R$ is said to be Tor-persistent if, for any finitely generated $R$-module $M$, the vanishing of $\operatorname{Tor}_i^R(M,M)$ for $i\gg 0$ implies $M$ has finite projective dimension. An open question of Avramov, et. al. asks whether any such $R$ is Tor-persistent. In this work, we exploit properties of exterior powers of modules and complexes to provide several partial answers to this question; in particular, we show that every local ring $(R,\mathfrak{m})$ with $\mathfrak{m}^3=0$ is Tor-persistent. As a consequence of our methods, we provide a new proof of the Tachikawa Conjecture for positively graded rings over a field of characteristic different from 2.

We define and study the notion of a minimal Cohen-Macaulay simplicial complex. We prove that any Cohen-Macaulay complex is shelled over a minimal one in our sense, and we give sufficient conditions for a complex to be minimal Cohen-Macaulay. We show that many interesting examples of Cohen-Macaulay complexes in combinatorics are minimal, including Rudin's ball, Ziegler's ball, the dunce hat, and recently discovered non-partitionable Cohen-Macaulay complexes. We further provide various ways to construct such complexes.

A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that $\operatorname{Ext}^i_R(M,N)=0$ for all large $i$ implies $M$ has finite projective dimension or $N$ has finite injective dimension. In this paper, we establish obstructions for the failure of trivial vanishing in terms of the asymptotic growth of the Betti and Bass numbers of the modules involved. These, together with a result of Gasharov and Peeva, provide sufficient conditions for $R$ to satisfy trivial vanishing; we provide sharpened conditions when $R$ is generalized Golod. Our methods allow us to settle the Auslander-Reiten conjecture in several new cases. In the last part of the paper, we provide criteria for the Gorenstein property based on consecutive vanishing of Ext. The latter results improve similar statements due to Ulrich, Hanes-Huneke, and Jorgensen-Leuschke., Comment: to appear in Trans. Amer. Math. Soc

We say that a Cohen-Macaulay local ring has finite $\operatorname{\mathsf{CM}}_+$-representation type if there exist only finitely many isomorphism classes of indecomposable maximal Cohen-Macaulay modules that are not locally free on the punctured spectrum. In this paper, we consider finite $\operatorname{\mathsf{CM}}_+$-representation type from various points of view, relating it with several conjectures on finite/countable Cohen-Macaulay representation type. We prove in dimension one that the Gorenstein local rings of finite $\operatorname{\mathsf{CM}}_+$-representation type are exactly the local hypersurfaces of countable $\mathsf{CM}$-representation type, that is, the hypersurfaces of type $(\mathrm{A}_\infty)$ and $(\mathrm{D}_\infty)$. We also discuss the closedness and dimension of the singular locus of a Cohen-Macaulay local ring of finite $\operatorname{\mathsf{CM}}_+$-representation type., Comment: 24 pages. Minor corrections made throughout

We prove some new rank selection theorems for balanced simplicial complexes. Specifically, we prove that rank selected subcomplexes of balanced simplicial complexes satisfying Serre's condition $(S_{\ell})$ retain $(S_{\ell})$. We also provide a formula for the depth of a balanced simplicial complex in terms of reduced homologies of its rank selected subcomplexes. By passing to a barycentric subdivision, our results give information about Serre's condition and the depth of any simplicial compex. Our results extend rank selection theorems for depth proved by Stanley, Munkres, and Hibi., Comment: We retooled the paper to emphasize our results on balanced simplicial complexes. We also added Section 4 which consists of new results on depth

We investigate generalized notions of the nerve complex for the facets of a simplicial complex. We show that the homologies of these higher nerve complexes determine the depth of the Stanley-Reisner ring $k[\Delta]$ as well as the $f$-vector and $h$-vector of $\Delta$. We present, as an application, a formula for computing regularity of monomial ideals., Comment: We rewrite Section 4 to fix some errors and clarify the proofs

Let $R$ be a commutative Noetherian local ring and $M,N$ be finitely generated $R$-modules. We prove a number of results of the form: if $\mbox{Hom}_R(M,N)$ has some nice properties and $\mbox{Ext}^{1 \leq i \leq n}_R(M,N)=0$ for some $n$, then $M$ (and sometimes $N$) must be be close to free. Our methods are quite elementary, yet they suffice to give a unified treatment, simplify, and sometimes extend a number of results in the literature., Comment: Some typos fixed. Remark 2.1 and Lemma 3.1 were expanded to cover semi-dualizing modules. Remark 3.17 was added