Peskine and Szpiro's Dimension inequality holds over local rings of depth at most one
arXiv:2610.03871
Abstract
We prove that the general version---the one that includes the dimension of the tensor product---of Peskine and Szpiro's Dimension Inequality holds over noetherian local rings of depth at most one.
arXiv comment4 pp