English

An asymptotic bound for Castelnuovo-Mumford regularity of certain Ext modules over graded complete intersection rings

Commutative Algebra 2019-08-14 v3

Abstract

Set A:=Q/(z) A := Q/({\bf z}) , where Q Q is a polynomial ring over a field, and z=z1,,zc {\bf z} = z_1,\ldots,z_c is a homogeneous Q Q -regular sequence. Let M M and N N be finitely generated graded A A -modules, and I I be a homogeneous ideal of A A . We show that (1) reg(ExtAi(M,InN))ρN(I)nfi2+b\mboxforalli,n0 \mathrm{reg}\left( \mathrm{Ext}_A^{i}(M, I^nN) \right) \le \rho_N(I) \cdot n - f \cdot \left\lfloor \frac{i}{2} \right\rfloor + b \mbox{ for all } i, n \ge 0 , (2) reg(ExtAi(M,N/InN))ρN(I)nfi2+b\mboxforalli,n0 \mathrm{reg}\left( \mathrm{Ext}_A^{i}(M,N/I^nN) \right) \le \rho_N(I) \cdot n - f \cdot \left\lfloor \frac{i}{2} \right\rfloor + b' \mbox{ for all } i, n \ge 0 , where b b and b b' are some constants, f:=min{deg(zj):1jc} f := \mathrm{min}\{ \mathrm{deg}(z_j) : 1 \le j \le c \} , and ρN(I) \rho_N(I) is an invariant defined in terms of reduction ideals of I I with respect to N N . There are explicit examples which show that these inequalities are sharp.

Keywords

Cite

@article{arxiv.1801.01864,
  title  = {An asymptotic bound for Castelnuovo-Mumford regularity of certain Ext modules over graded complete intersection rings},
  author = {Dipankar Ghosh and Tony J. Puthenpurakal},
  journal= {arXiv preprint arXiv:1801.01864},
  year   = {2019}
}

Comments

14 pages, updated version, to appear in Journal of Algebra