Let $(A,\mathfrak{m})$ be a Noetherian local ring of dimension $d$ and let $M$ be a finitely generated $A$-module. Assume $M$ has rank $r>0$. We show that if $M$ is NOT Cohen-Macaulay then $\mu_d(\mathfrak{m}, M)>r$. If further $A$ is unmixed and $\mu_n(\mathfrak{m}, M) \leq 1$ for some $n \geq d$ then we prove $\text{injdim} \ M<\infty$ and $A$ is Cohen-Macaulay.
Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d$ and residue field $k$. Let $M$ be a maximal Cohen-Macaulay $A$-module. Let $e(M)$ be the multiplicity of $M$ and let $\mu(M)$ denote the number of its minimal generators. (1) Assume $A$ is not a complete intersection. If $\text{curv}(M)<\text{curv}(k)$ then we prove that under mild conditions, $e(M) \geq \mu(M)(1 + \text{curv}(k))$. (2) Assume $A$ is a complete intersection. If $\text{cx}(M)<\text{cx}(k)$ then we prove that $e(M) \geq 2\mu(M)$. In both cases we give examples which shows our results are sharp.
Let $(R, \mathfrak m)$ be a Noetherian local ring of dimension $d \geq 1$ with $\mathrm{depth} R \geq d-1,$ and let $I$ be an $\mathfrak m$-primary ideal. In this paper, we study bounds on the second Hilbert coefficient of $I$, denoted by $e_{2}(I)$. Under the assumption that the associated graded ring $G(I)$ has depth at least $d-1,$ we first establish a lower bound for $e_{2}(I).$ We then extend several known results from the Cohen-Macaulay case to this general setting and obtain upper bounds for $e_{2}(I)$ in terms of the sectional genus denoted by $\mathrm{g}_{s}(I)$ and the Hilbert coefficients of $I$ and those of a minimal reduction $Q$ of $I$. We further analyze the extremal case when $e_{2}(I)$ attains this bound and relate it to the depth of $G(I)$. In addition, for Buchsbaum local rings, we establish a sharp upper bound for $e_{2}(\mathfrak m)$ using the technique of $S_{2}$-fication. Finally, in the Cohen-Macaulay case, we give sufficient conditions to ensure good properties on the depth of $G(I)$ and of $G(I^n)$ under the assumption that $e_{2}(I)=0$.
Clare D’Cruz, Mousumi Mandal, S. Priya· 0 citations
Let $f:\mathbb{Z}\to\mathbb{C}$ be a multiplicative function. Assume there exist integers $a>1$ and $d>1$ such that $(a,d)=1$ and let $\mathcal{P}_{a,d}=\{a+kd:k\in\mathbb{Z}\}$. Under mild extra conditions on $d$ and $f(a)$, we prove that $f(n)=n\chi(n)$ for all $n$ outside an explicit exceptional set depending on $d$, and some Dirichlet character $\chi$.
Let $(R,\mathfrak m)$ be an unramified regular local ring of mixed characteristic $(0,p)$ and dimension $d$ and let $I\subseteq R$ be an ideal. We prove that $depth(R/I)\geq 3$ implies $cd(I)\leq d-3$, and if $R$ is essentially of finite type over a DVR, then $depth(R/I)\geq 4$ implies $cd(I)\leq d-4$. More generally, $H_I^j(R)$ is a $\mathbb{Q}$-vector space whenever $j>d-depth(R/I)$, thus vanishing of local cohomology in this range is determined completely by the characteristic zero fiber.
Let $H$ be a numerical monoid, that is, a cofinite submonoid of $\mathbb N$ (the non-negative integers under addition). Denote by $\mathcal P_{\text{fin},0}(H)$ the monoid obtained by endowing the family of all finite subsets of $H$ containing $0$ with the operation of setwise addition induced by $H$ on its power set. Tringali and Yan [JCTA, 2025] have recently established that $\mathcal P_{\text{fin},0}(\mathbb N)$ has a unique non-trivial automorphism, and conjectured that the automorphism group of $\mathcal P_{\text{fin},0}(H)$ is trivial whenever $H \ne \mathbb N$. We prove this conjecture and, as a byproduct, give a new proof of the Tringali--Yan theorem.
Let $R$ be a commutative Noetherian ring, let $\mathbf{x}=x_1,\ldots,x_n$ be an $R$-regular sequence, and let $\mathbf{y}=y_1,\ldots,y_m$ be a sequence of elements of $R$. Put $I=(\mathbf y)$. Let $\mathcal S$ be a Serre subcategory of the category of $R$-modules. We consider the double complex obtained from the Koszul co-complex with respect to $\mathbf x$ and the \v{C}ech complex with respect to $\mathbf y$. Using the two spectral sequences associated with this double complex, we prove that \[ Ext_R^i(R/(\mathbf x),H_I^j(R))\in\mathcal S \quad\text{for all }i,j\in \mathbb N_0 \] implies \[ H_I^j(R/(\mathbf x))\in\mathcal S \quad\text{for all }j\in\mathbb N_0. \]
