English

Ext functors, support varieties and Hilbert polynomials over complete intersection rings

Commutative Algebra 2025-02-25 v1

Abstract

Let (A,m)(A,\mathfrak{m}) be a complete intersection of dimension d1d \geq 1 and codimension c1c \geq 1. Let II be an m\mathfrak{m}-primary ideal and let MM be a finitely generated AA-module. For i1i \geq 1 let ψiI(M)\psi_i^I(M) be the degree of the polynomial type function n(ExtAi(M,A/In))n \rightarrow \ell(Ext^i_A(M, A/I^n)). We show that for j=0,1j = 0, 1 and for all i0i \gg 0 we have ψ2i+jI(M)\psi_{2i +j}^I(M) is a constant and let r0I(M)r_0^I(M) and r1I(M)r_1^I(M) denote these constant values. Set rI(M)=max{r0I(M),r1I(M)}r^I(M) = \max\{ r_0^I(M), r_1^I(M) \}. We show that rI(M)r^I(M) is an invariant of I,AI, A and the support variety of MM. We set the degree of the zero polynomial to be -\infty. If rI(M)0r^I(M) \leq 0 then we show that reg GI(Ωi(M))reg \ G_I(\Omega^i(M)) for i0i \geq 0 is bounded. We give an application of this result to syzgetic Artin-Rees property of MM. We also give several examples which illustrate our results.

Keywords

Cite

@article{arxiv.2502.16494,
  title  = {Ext functors, support varieties and Hilbert polynomials over complete intersection rings},
  author = {Tony J. Puthenpurakal},
  journal= {arXiv preprint arXiv:2502.16494},
  year   = {2025}
}
R2 v1 2026-06-28T21:54:26.470Z