English

On the depth of tensor products over Cohen-Macaulay rings

Commutative Algebra 2025-05-02 v1

Abstract

Inspired by classical work on the depth formula for tensor products of finitely generated RR-modules, we introduce two conditions which we call (ldep)(\mathbf{ldep}) and (rdep)(\mathbf{rdep}) and their derived variations. We show for Cohen-Macaulay local rings that derived (ldep)(\mathbf{ldep}) is equivalent to dim(R)\dim(R) being a uniform Auslander bound for RR, and if dim(R)>0\dim(R)>0 that both are equivalent to (ldep)(\mathbf{ldep}). We introduce an analogous condition we call the \emph{uniform Buchweitz condition} and provide a corresponding theorem for the (rdep)(\mathbf{rdep}) condition. As a consequence of these results, we show (ldep)(\mathbf{ldep}) implies (rdep)(\mathbf{rdep}) when RR is Gorenstein and that the (ldep)(\mathbf{ldep}) and (rdep)(\mathbf{rdep}) conditions behave well under modding out by regular sequences and completion, but we give a concrete example showing they need not localize. Using our methods, we extend work of Jorgensen by calculating the value qR(M,N):=sup{iToriR(M,N)0}q_R(M,N):=\sup\{i \mid \operatorname{Tor}^R_i(M,N) \ne 0\} under certain conditions.

Keywords

Cite

@article{arxiv.2505.00441,
  title  = {On the depth of tensor products over Cohen-Macaulay rings},
  author = {Kaito Kimura and Justin Lyle and Andrew J. Soto-Levins},
  journal= {arXiv preprint arXiv:2505.00441},
  year   = {2025}
}

Comments

28 pages