{"id":"arxiv/2608.25626","url":"https://arxiv.org/abs/2608.25626","tags":["math.AC","math.RT"],"score":0,"title":"Contravariantly finite resolving subcategories over commutative local rings are trivial ones","domain":"math.AC","source":"arxiv","authors":["Yuki Mifune","Gen Tanigawa"],"reviews":0,"subject":"math.AC","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-26","reactions":{}}