English

Cohomology of finite modules over short Gorenstein rings

Commutative Algebra 2016-01-06 v1

Abstract

Let RR be a Gorenstein local ring with maximal ideal m\mathfrak{m} satisfying m3=0m2\mathfrak{m}^3=0\ne\mathfrak{m}^2. Set k=R/mk=R/\mathfrak{m} and e=rankk(m/m2)e=\text{rank}_{k}(\mathfrak{m}/\mathfrak{m}^2). If e>2e>2 and MM, NN are finitely generated RR-modules, we show that the formal power series i=0rankk(ExtRi(M,N)Rk)ti\sum_{i=0}^\infty\text{rank}_{k}\left(\text{Ext}^i_R(M,N)\otimes_R k \right)t^i and i=0rankk(ToriR(M,N)Rk)ti\sum_{i=0}^\infty\text{rank}_{k}\left(\text{Tor}_i^R(M,N)\otimes_R k \right)t^i are rational, with denominator 1et+t21-et+t^2.

Keywords

Cite

@article{arxiv.1601.00930,
  title  = {Cohomology of finite modules over short Gorenstein rings},
  author = {Melissa Menning and Liana Sega},
  journal= {arXiv preprint arXiv:1601.00930},
  year   = {2016}
}