pith. sign in

arxiv: 2606.18245 · v1 · pith:CYJ2RMHQnew · submitted 2026-06-16 · 🧮 math.AC

Derived functors and Hilbert polynomials over Gorenstein rings

classification 🧮 math.AC
keywords omegadimensiongorensteinidealmapstomathfrakmaximalmodule
0
0 comments X
read the original abstract

Let $(A,\mathfrak{m},k)$ be a Gorenstein ring of dimension $d\ge 1$, $N$ a perfect module of dimension $t\ge 1$ and $I$ an ideal of definition of $N$. For a non-free maximal Cohen-Macaulay (=MCM) $A$-module $M$ and an integer $i\ge 1$, it is well known that the functions $n \mapsto \ell(Tor_i^A(M,N/I^{n+1}N))$ and $n \mapsto \ell(Ext^i_A(M,N/I^{n+1}N))$ are of polynomial types of degrees $r_i^{I,N}(M)$ and $s_{I,N}^i(M)$, respectively. We prove that $r_i^{I,N}(M)\le t-1$ and $s^i_{I,N}(M)\le t-1$ and when $I$ is the maximal ideal $\mathfrak{m}$, both the inequalities become equalities. We also show that $r_i^{I,N}(M)\le r_1^{I,N}(\Omega^dk)$, $s^i_{I,N}(M)\le s^1_{I,N}(\Omega^dk)$ and $r_i^{I,N}(\Omega^dk)=r_1^{I,N}(\Omega^dk)=s^1_{I,N}(\Omega^dk)=s^i_{I,N}(\Omega^dk)$. \end

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.