Direct products of Gorenstein flat modules over coherent rings
Abstract
We construct a commutative coherent local algebra of Krull dimension zero and a countably generated projectively coresolved Gorenstein flat module whose countable power has infinite Gorenstein flat dimension. This answers negatively the question of whether Gorenstein flat modules over a right coherent ring are closed under direct products. As a consequence, we obtain a pure-injective Ding injective module whose character module has infinite Gorenstein flat dimension and whose character bidual has infinite Gorenstein injective dimension. We also give equivalent conditions for Gorenstein flat modules over a right coherent ring to be closed under direct products, in terms of relative Mittag--Leffler conditions, stationarity, and Gorenstein flat and injective dimensions of character biduals. For the constructed ring, we exhibit a decreasing countable sequence of strong submodules of a free module whose intersection has infinite Gorenstein flat dimension. Thus the abstract elementary class of Gorenstein flat modules, with the strong submodule relation, has finite character but does not admit intersections.
Related
- On the Stable category of maximal Cohen-Macaulay modules over Gorenstein rings-II
- Almost Gorenstein standard graded rings and their localizations
- A Fitting criterion for quasi-Gorenstein local rings
- Endomorphism algebras of Gorenstein-projective modules over string algebras
- A Gordon--Green-type result for Gorenstein-projective modules
BibTeX
@misc{dai2026direct,
title = {{Direct products of Gorenstein flat modules over coherent rings}},
author = {Guocheng Dai and Jiangsheng Hu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.22078},
eprint = {2610.22078},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.22078},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Direct products of Gorenstein flat modules over coherent rings
AU - Guocheng Dai
AU - Jiangsheng Hu
PY - 2026
DA - 2026/10/15
PB - arXiv
DO - 10.48550/arxiv.2610.22078
UR - https://arxiv.org/abs/2610.22078
AB - We construct a commutative coherent local algebra of Krull dimension zero and a countably generated projectively coresolved Gorenstein flat module whose countable power has infinite Gorenstein flat dimension. This answers negatively the question of whether Gorenstein flat modules over a right coherent ring are closed under direct products. As a consequence, we obtain a pure-injective Ding injective module whose character module has infinite Gorenstein flat dimension and whose character bidual has infinite Gorenstein injective dimension. We also give equivalent conditions for Gorenstein flat modules over a right coherent ring to be closed under direct products, in terms of relative Mittag--Leffler conditions, stationarity, and Gorenstein flat and injective dimensions of character biduals. For the constructed ring, we exhibit a decreasing countable sequence of strong submodules of a free module whose intersection has infinite Gorenstein flat dimension. Thus the abstract elementary class of Gorenstein flat modules, with the strong submodule relation, has finite character but does not admit intersections.
ER -