Total Rings of Quotients with Arbitrary Weak Global Dimensions
Abstract
For every nonnegative integer n, we construct a commutative total ring of quotients of weak global dimension exactly n. For n≥1 the examples are reduced and non-coherent. The construction applies to any nonzero local ring (A,m): one adjoins countably many residue-field coordinates subject to eventual agreement with the residue of the A-coordinate. The resulting ring T(A) satisfies Q(T(A))=T(A) and wgdT(A)=wgd A. Its prime spectrum, maximal localizations, nilradical, Jacobson radical, and idempotents are described explicitly. For every pair of modules, positive-degree Tor over T(A) is naturally identified with Tor over A after quotienting by a projective ideal generated by orthogonal idempotents. We prove that T(A) is coherent if and only if A is a field. Specializing to regular local polynomial rings yields the prescribed dimensions, with explicit Koszul witnesses for the lower bounds. We also examine the minimal spectrum, the distinction between global and local Prüfer conditions, and a finitely presented cyclic module of flat dimension one and projective dimension two.
Related
- Total rings of quotients of higher dimensional Iwasawa algebras
- Ranks of Verdier quotients of derived categories over local rings
- Von Neumann regular and semisimple rings realized as principal quotients of domains
- On the Krull dimensions of rings of integer-valued polynomials and polynomial rings
- Local-Cohen-Macaulay DG-rings with unequal finitistic projective dimensions
BibTeX
@misc{zhang2026total,
title = {{Total Rings of Quotients with Arbitrary Weak Global Dimensions}},
author = {Xiaolei Zhang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.33604},
eprint = {2609.33604},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.33604},
}
RIS
TY - UNPB
TI - Total Rings of Quotients with Arbitrary Weak Global Dimensions
AU - Xiaolei Zhang
PY - 2026
DA - 2026/09/27
PB - arXiv
DO - 10.48550/arxiv.2609.33604
UR - https://arxiv.org/abs/2609.33604
AB - For every nonnegative integer n, we construct a commutative total ring of quotients of weak global dimension exactly n. For n≥1 the examples are reduced and non-coherent. The construction applies to any nonzero local ring (A,m): one adjoins countably many residue-field coordinates subject to eventual agreement with the residue of the A-coordinate. The resulting ring T(A) satisfies Q(T(A))=T(A) and wgdT(A)=wgd A. Its prime spectrum, maximal localizations, nilradical, Jacobson radical, and idempotents are described explicitly. For every pair of modules, positive-degree Tor over T(A) is naturally identified with Tor over A after quotienting by a projective ideal generated by orthogonal idempotents. We prove that T(A) is coherent if and only if A is a field. Specializing to regular local polynomial rings yields the prescribed dimensions, with explicit Koszul witnesses for the lower bounds. We also examine the minimal spectrum, the distinction between global and local Prüfer conditions, and a finitely presented cyclic module of flat dimension one and projective dimension two.
ER -