Tensoring with the Frobenius endomorphism
Commutative Algebra
2020-08-11 v1
Abstract
Let be a commutative Noetherian Cohen-Macaulay local ring that has positive dimension and prime characteristic. Li proved that the tensor product of a finitely generated non-free -module with the Frobenius endomorphism is not maximal Cohen-Macaulay provided that has rank and . We replace the rank hypothesis with the weaker assumption that is locally free on the minimal prime ideals of . As a consequence, we obtain, if is a one-dimensional non-regular complete reduced local ring that has a perfect residue field and prime characteristic, then has torsion for all . This property of the Frobenius endomorphism came as a surprise to us since, over such rings , there exist non-free modules such that is torsion-free.
Cite
@article{arxiv.1706.00238,
title = {Tensoring with the Frobenius endomorphism},
author = {Olgur Celikbas and Arash Sadeghi and Yongwei Yao},
journal= {arXiv preprint arXiv:1706.00238},
year = {2020}
}