English

Derived equivalences via Tate resolutions

Commutative Algebra 2026-01-21 v1

Abstract

For any finite sequence of elements s1,,sds_1, \ldots , s_d in a commutative noetherian ring RR, we show that for n0n \gg 0, the natural map from the Koszul complex K(s1n,,sdn)K(s_1^n, \ldots , s_d^n) to the Koszul complex K(s1,,sd)K(s_1, \ldots , s_d) factors through the Tate resolution on s1n,,sdns_1^n, \ldots , s_d^n. Using this, for any resolving subcategory A\mathcal A of mod(RR) and any ideal II such that it has a filtration {In}\{ I_n \} which is equivalent to the II-adic filtration and dimA(R/In)<\textrm{dim}_{\mathcal A}(R/I_n) < \infty, we show a derived equivalence between the bounded derived category of finitely generated modules supported on V(I)V(I) having finite A\mathcal A-dimension and the bounded derived category of A\mathcal A with homologies supported on V(I)V(I). As a special case, when RR is of prime characteristic and II is of finite projective dimension, we obtain a derived equivalence between the bounded derived category of finite projective dimension modules supported on V(I)V(I) and the bounded derived category of projective modules with homologies supported on V(I)V(I).

Keywords

Cite

@article{arxiv.2601.12531,
  title  = {Derived equivalences via Tate resolutions},
  author = {K. Ganapathy and Sarang Sane},
  journal= {arXiv preprint arXiv:2601.12531},
  year   = {2026}
}

Comments

23 pages; appeared in Journal of Algebra

R2 v1 2026-07-01T09:09:41.955Z