PreprintarXiv licencearXiv
Contravariantly finite resolving subcategories over commutative local rings are trivial ones
Abstract
We show that a contravariantly finite resolving subcategory over a henselian local ring must be the subcategory of free modules or the whole module category or the subcategory of maximal Cohen-Macaulay modules. This removes the Gorenstein assumption from a theorem of Takahashi. We also show that a resolving subcategory of finite type other than the subcategory of free modules must be the subcategory of maximal Cohen-Macaulay modules. As a consequence, every Cohen-Macaulay local ring of finite CM type is uniformly dominant, thereby establishing a stronger form of a conjecture of Takahashi.
Related
- Wide subcategories over commutative coherent rings
- Finite Borel asymptotic dimension of bounded-to-one commutative monoid actions
- Finite Non-Commutative Centrally Essential Rings of Minimal Order
- On the order of a finite group with trivial centre and bounded conjugacy classes
- The satisfiability threshold of random linear equations over finite commutative rings
BibTeX
@misc{mifune2026contravariantly,
title = {{Contravariantly finite resolving subcategories over commutative local rings are trivial ones}},
author = {Yuki Mifune and Gen Tanigawa},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2608.25626},
eprint = {2608.25626},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.25626},
}
RIS
TY - UNPB
TI - Contravariantly finite resolving subcategories over commutative local rings are trivial ones
AU - Yuki Mifune
AU - Gen Tanigawa
PY - 2026
DA - 2026/10/10
PB - arXiv
DO - 10.48550/arxiv.2608.25626
UR - https://arxiv.org/abs/2608.25626
AB - We show that a contravariantly finite resolving subcategory over a henselian local ring must be the subcategory of free modules or the whole module category or the subcategory of maximal Cohen-Macaulay modules. This removes the Gorenstein assumption from a theorem of Takahashi. We also show that a resolving subcategory of finite type other than the subcategory of free modules must be the subcategory of maximal Cohen-Macaulay modules. As a consequence, every Cohen-Macaulay local ring of finite CM type is uniformly dominant, thereby establishing a stronger form of a conjecture of Takahashi.
ER -