Search arXiv⌕ Search

arXiv · 2609.33249

Wide subcategories over commutative coherent rings

Abstract

In this paper, we mainly prove Hovey's conjecture: for any commutative coherent ring, there is a lattice isomorphism between the lattice of wide subcategories of the category of finitely presented modules and that of thick subcategories of the perfect derived category. We construct, for every finitely presented module, a bounded finite free complex whose zeroth homology is the given module and whose homology lies in its abelian closure. This realization gives an inverse to Hovey's correspondence without a closure operation. In addition, we study finite extension filtrations, their behavior under change of rings, and the limits of reconstructing wide subcategories of arbitrary modules from finitely presented modules.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tiwei Zhao. 2026-09-27. Wide subcategories over commutative coherent rings. https://arxiv.org/abs/2609.33249

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

$t$-Young complexes and squarefree powers of $t$-path ideals

We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from Young diagrams and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres, and a complete characterization of their vertex-decomposability is provided. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs. For this family, we use generating functions to obtain an explicit formula for homotopy type. As applications, we determine the projective dimension and the Krull dimension of these squarefree powers.

math.AC↗

Stanley-Reisner Theory in Mixed Characteristic

We discuss a class of mixed characteristic rings defined analogously to Stanley-Reisner rings by replacing one variable with a uniformizing parameter for a discrete valuation ring. We adapt Hochster's formula for Tor and Ext modules, Hochster's formula for local cohomology, and Terai's criterion for Serre conditions to this new setting; one of the tools needed is cellular sheaf cohomology, for which we give a brief treatment.

math.AC↗

Hilbert Series and Logarithmic Degrees of $A$-Hypergeometric Series

Fix a generic weight vector and a fake exponent of a homogeneous $A$-hypergeometric system. Using all corresponding standard pairs, including embedded ones, we construct an Artinian quotient of the Stanley--Reisner ring of the link of the negative support. Its Hilbert series gives the graded dimensions of the orthogonal complement of the local fake indicial ideal and, under the Okuyama--Saito Frobenius condition, those of the leading logarithmic coefficient space of actual series solutions. The construction requires no Cohen--Macaulay hypothesis. When a top-dimensional standard pair occurs and the link is Cohen--Macaulay, the Hilbert series specializes to the $h$-polynomial of the link.

math.AC↗