arxiv: 2604.18958 · v1 · submitted 2026-04-21 · 🧮 math.AC · math.RA

Recognition: unknown

Change-of-Rings Theorems for the Small Finitistic Dimension

Hwankoo Kim, Qiang Zhou, Tao Xiong, Younes El Haddaoui

Pith reviewed 2026-05-10 01:58 UTC · model grok-4.3

classification 🧮 math.AC math.RA

keywords small finitistic dimensionFT-flat dimensionchange-of-rings theoremscommutative ringsquotient ringspolynomial extensionslocalizationprojective resolutions

0 comments

The pith

Commutative rings satisfy change-of-rings theorems for the small finitistic dimension through the finitistic flat dimension.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves change-of-rings results for the finitistic flat dimension over commutative rings, covering quotients by ideals, extensions by polynomial rings, and inequalities under localization. These results are applied to obtain characterizations of the small finitistic dimension in terms of finitistic flat dimensions, along with matching theorems for quotients and polynomial extensions and upper bounds from local data. A sympathetic reader cares because the small finitistic dimension tracks the longest possible finite projective resolution length over the ring, so these relations let one transfer questions about that length from a complicated ring to simpler related rings.

Core claim

Using the class FPR(R) of modules admitting finite projective resolutions, the finitistic flat dimension satisfies the expected change-of-rings properties for quotients, polynomial extensions, and localizations. These properties in turn yield characterizations of the small finitistic dimension, quotient and polynomial extension theorems for it, and local upper bounds expressed via the small finitistic dimensions of localizations.

What carries the argument

The finitistic flat (FT-flat) dimension, defined via the class FPR(R) of modules that admit finite projective resolutions.

If this is right

The small finitistic dimension admits a characterization as the supremum of finitistic flat dimensions of modules.
Quotient and polynomial extension theorems hold directly for the small finitistic dimension.
The small finitistic dimension of a ring is bounded above by the supremum of the small finitistic dimensions of its localizations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The localization inequalities suggest a local-global principle for controlling the small finitistic dimension by its values at maximal ideals.
Polynomial extension results allow inductive computations of the dimension when adjoining indeterminates.
The same change-of-rings approach may be tested on other finitistic invariants such as the little finitistic dimension to see whether parallel theorems appear.

Load-bearing premise

The class FPR(R) of modules admitting finite projective resolutions must behave predictably under quotients, polynomial extensions, and localizations in commutative rings.

What would settle it

Take a concrete commutative ring R and ideal I, compute the FT-flat dimensions over R and over R/I, and check whether the inequality or equality predicted by the change-of-rings theorem holds; a mismatch would falsify the claim.

read the original abstract

In this paper, we study the small finitistic dimension of a commutative ring from the viewpoint of finitistic flat homological algebra. Using the class $FPR(R)$ of modules admitting finite projective resolutions, we investigate the finitistic flat ($FT$-flat) dimension and establish several of its basic properties. We prove change-of-rings results for the $FT$-flat dimension, including quotient and polynomial extension results, as well as localization inequalities. As applications, we obtain characterizations of the small finitistic dimension in terms of $FT$-flat dimension, derive quotient and polynomial extension theorems for the small finitistic dimension, and establish local upper bounds in terms of the small finitistic dimensions of localizations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper sets up the finitistic flat dimension via finite projective resolutions and proves change-of-rings results that yield characterizations and bounds for the small finitistic dimension.

read the letter

The main point is that this work defines an FT-flat dimension using the class of modules with finite projective resolutions, then proves change-of-rings theorems for quotients, polynomial extensions, and localizations, and applies them to the small finitistic dimension. The applications include characterizations in terms of the FT-flat version, similar change-of-rings statements for the small finitistic dimension itself, and local upper bounds from the dimensions of localizations. The approach follows the standard pattern of establishing basic properties first and then transferring them across ring operations. This produces concrete, usable statements without new technical machinery. The proofs rest on exact sequences and dimension inequalities that are common in homological algebra, so the derivations look straightforward once the setup is fixed. The commutativity assumption is explicit and necessary for the localization and quotient arguments to hold in this form. A minor soft spot is that the behavior of the FPR class under these operations needs to be checked carefully for rings that are not coherent; if the paper handles the general commutative case without extra hypotheses, that strengthens the results. The overall contribution is incremental rather than foundational, since change-of-rings techniques already exist for related dimensions. This paper is for specialists in commutative homological algebra who work with finitistic invariants. A reader who needs reduction tools for questions about global or finitistic dimensions will find the localization inequalities and characterizations directly applicable. It deserves a serious referee because the claims are specific, the methods are standard, and the area benefits from explicit theorems that can be checked and extended. I recommend sending it for peer review.

Referee Report

0 major / 3 minor

Summary. The paper studies the small finitistic dimension of commutative rings via finitistic flat homological algebra. Using the class FPR(R) of modules admitting finite projective resolutions, it defines the FT-flat dimension, establishes its basic properties, and proves change-of-rings results including quotient theorems, polynomial extension theorems, and localization inequalities. These are applied to characterize the small finitistic dimension in terms of FT-flat dimension, obtain quotient and polynomial extension theorems for the small finitistic dimension itself, and derive local upper bounds from the small finitistic dimensions of localizations.

Significance. If the central results hold, the work supplies a coherent set of change-of-rings tools for the FT-flat dimension and transfers them to the small finitistic dimension, which is a useful addition to the literature on finitistic homological invariants in commutative algebra. The explicit localization inequalities and the characterizations provide concrete ways to bound or compute the small finitistic dimension locally or under standard ring constructions.

minor comments (3)

The introduction would benefit from a brief comparison of the FT-flat dimension with the usual flat dimension and the small finitistic dimension to clarify the novelty of the approach.
Notation for the FT-flat dimension (e.g., FT-fd or similar) should be fixed consistently throughout the text and in all statements of theorems.
A short remark on whether the results require the ring to be Noetherian or hold more generally would help readers assess the scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our paper and the recommendation for minor revision. The report accurately captures the main contributions regarding change-of-rings results for the FT-flat dimension and their applications to the small finitistic dimension of commutative rings. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines the FT-flat dimension via the standard class FPR(R) of modules with finite projective resolutions, then establishes its basic properties and change-of-rings results (quotient, polynomial extension, localization) using conventional homological algebra techniques. These are applied to characterize the small finitistic dimension and derive related theorems. No step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain; all constructions remain independent of the target conclusions and rest on externally verifiable module-theoretic arguments under the stated commutativity hypothesis.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are stated beyond the standard setup of commutative rings and the class FPR(R).

pith-pipeline@v0.9.0 · 5420 in / 1133 out tokens · 38790 ms · 2026-05-10T01:58:25.877468+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 2 canonical work pages

[1]

Bass,Finitistic dimension and a homological generalization of semi-primary rings, Trans

H. Bass,Finitistic dimension and a homological generalization of semi-primary rings, Trans. Amer. Math. Soc.95(1960), 466–488. (cited on pages 1 and 2)

1960
[2]

Glaz,Commutative Coherent Rings, Lecture Notes in Mathematics, Vol

S. Glaz,Commutative Coherent Rings, Lecture Notes in Mathematics, Vol. 1371, Springer- Verlag, Berlin, 1989. (cited on pages 1 and 9)

1989
[3]

J. J. Rotman,An Introduction to Homological Algebra, Academic Press, New York, 1979. (cited on page 10)

1979
[4]

F. G. Wang and H. Kim,Foundations of Commutative Rings and Their Modules, 2nd ed., Algebra and Applications, Vol. 31, Springer, 2024. (cited on pages 9 and 10)

2024
[5]

F. G. Wang, D. C. Zhou, H. Kim, T. Xiong, and X. W. Sun,Every Pr¨ ufer ring does not have small finitistic dimension at most one, Comm. Algebra48(2020), no. 12, 5311–5320. (cited on pages 2, 5, 6, 8, and 10)

2020
[6]

Xiong,Homological change-of-rings characterizations of the finitistic flat dimension, Math

T. Xiong,Homological change-of-rings characterizations of the finitistic flat dimension, Math. J.40(2020), no. 4, 461–472. (cited on page 2)

2020
[7]

Xiong,The finitistic injective dimension of rings, Pure Math

T. Xiong,The finitistic injective dimension of rings, Pure Math. Appl.39(2023), no. 4, 554–568. (cited on page 2)

2023
[8]

Zhang,The small finitistic dimensions of commutative rings, II, arXiv preprint arXiv:2404.13394, 2024.https://arxiv.org/abs/2404.13394(cited on pages 2 and 10)

X. Zhang,The small finitistic dimensions of commutative rings, II, arXiv preprint arXiv:2404.13394, 2024.https://arxiv.org/abs/2404.13394(cited on pages 2 and 10)

work page arXiv 2024
[9]

Preprint, arXiv:2603.04060 [math.AC] (2026) (cited on page 2)

Zhang, X.: The small finitistic dimensions of commutative rings, III. Preprint, arXiv:2603.04060 [math.AC] (2026) (cited on page 2)

work page arXiv 2026
[10]

and Wang, F.: The small finitistic dimensions of commutative rings

Zhang, X. and Wang, F.: The small finitistic dimensions of commutative rings. J. Commut. Algebra15(1), 131–138 (2023) (cited on page 2) (Xiong) Department of Mathematics, Sichuan University of Arts and Science, Dazhou 635000, PR China Email address:Taoxiong2004@163.com (El Haddaoui) Laboratory of Modelling and Mathematical Structures, Department of Mathem...

2023