arXiv Science⌕ Search

arXiv · 2610.12120

Derived functors and Hilbert polynomials over dominant Cohen-Macaulay rings

Abstract

Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d$, residue field $k$ and let $I$ be an $\mathfrak{m}$-primary ideal. Assume $k$ is infinite. Let $N$ be a perfect $A$-module of dimension $t \geq 1$. Let $M$ be a MCM $A$-module. The function $n \rightarrow \ell(\text{Tor}^A_j(M, N/I^{n+1}N))$ is of polynomial type and let $r_{I, N}^j(M)$ be its degree. In general we have $r_{I, N}^j(M) \leq r_{I,N}^2(\text{Syz}^d_A(k))$ for $j \geq d + 2$. If $A$ is also dominant in the sense of Takahashi and $M$ is non-free then we show $\limsup_{j \rightarrow \infty} r_{I, N}^j(M) = r_{I,N}^2(\text{Syz}^d_A(k))$. We prove an analogous result when $V$ is a Cohen-Macaulay module of finite injective dimension and the polynomial type function $n \rightarrow \ell(\text{Ext}_A^j(M, V/I^{n+1}V))$

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tony J. Puthenpurakal. 2026-10-08. Derived functors and Hilbert polynomials over dominant Cohen-Macaulay rings. https://arxiv.org/abs/2610.12120

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Integral closure of 1-dimensional rings

We study certain properties of modules over 1-dimensional local integral domains. First, we examine the order of the conductor ideal and its expected relationship with multiplicity. Next, we investigate the reflexivity of certain colength-two ideals. Finally, we consider the freeness problem of the absolute integral closure of a DVR, and connect this to the reflexivity problem of $R^{\frac{1}{p^n}}$.

math.AC↗

Perfect closure detects injective dimension

Let $R$ be a complete noetherian local ring of prime characteristic $p$, and let $R^\infty$ denote its perfect closure. We prove that a finitely generated \(R\)-module $N$ has finite injective dimension if and only if $\operatorname{Ext}_R^i(R^\infty, N) = 0$ for all $i > 0$. As a Gorenstein counterpart, we show that finiteness of the Gorenstein injective (or projective) dimension of $R^\infty$ forces $R$ to be Gorenstein, and we relate this to a non noetherian Cohen factorization of $R \to R^\infty$. Applications include preservation of Gorensteinness under weakly etale extensions, structural results on F-coherent and weakly F-nilpotent rings, along with the ascent of Frobenius closure of a parameter ideal to its powers. Assuming $\operatorname{Ext}^{i}_{R}(\frac{R}{\mathfrak m},R^{\infty})=0$ for some $i>\dim(R)$, we show $R$ is regular. This has some applications. We study the rationality problem of Hilbert--Kunz multiplicity by linking it to $R^\infty$. Recall that the global dimension can be viewed as a uniform bound on the injective dimension of modules. Finally, we determine $\operatorname{gldim}(R^\infty)$ by presenting a new bound.

math.AC↗

On the existence of the maximal ideal in the set of associated primes of monomial ideals

In this paper, we investigate the behavior of associated primes of powers of monomial ideals, with particular emphasis on the presence of the maximal ideal and the phenomenon of fluctuation. We establish criteria for determining when the maximal ideal belongs to the set of associated primes of powers of monomial ideals in $K[x,y,z]$, and provide examples illustrating its appearance and disappearance among the associated primes of successive powers. Furthermore, we prove that for every $n\geq 3$, there exist infinitely many monomial ideals in $K[x_1,\ldots,x_n]$ whose powers exhibit fluctuations in their sets of associated primes. Finally, we construct infinitely many examples of nearly normally torsion-free (respectively, co-nearly normally torsion-free) monomial ideals that fail to satisfy the persistence (respectively, copersistence) property.

math.AC↗