---
title: Restricted Flat Dimension
url: https://www.emergentmind.com/topics/restricted-flat-dimension
type: topic
---

# Restricted Flat Dimension

Searching arXiv for recent papers on restricted flat dimension and related usages.
Restricted flat dimension is a homological invariant for modules over commutative noetherian rings that measures vanishing of $\operatorname{Tor}$ only against modules of finite flat dimension, rather than against all modules. In the commutative-algebra literature, the term appears in two closely related forms: a depth/grade-theoretic formulation for finitely generated modules, including a large invariant $\operatorname{Rfd}$ and a small invariant $\operatorname{rfd}$, and a $\operatorname{Tor}$-theoretic formulation that tests against the class $F_{<\infty}=\{F\in \operatorname{Mod}R\mid \operatorname{fd}_R F<\infty\}$ [2109.10531], [2508.20281]. The invariant is closely tied to local cohomology, annihilator theorems, Cohen–Macaulay and Gorenstein homological dimensions, and approximation properties such as the Govorov–Lazard property. The same phrase is also used in several unrelated areas, including differential-flatness theory, extremal combinatorics over $F_2^r$, and quasi-isometry invariants of right-angled Artin groups; these usages are terminologically analogous but mathematically distinct [1702.00264], [1304.3233], [1410.8195].

## 1. Algebraic definitions and basic formulations

For a commutative Noetherian ring $R$ and a finitely generated $R$-module $M$, the large restricted flat dimension is defined by
\[
\operatorname{Rfd}_R M
=\sup_{\mathfrak p\in \operatorname{Spec}R}
\bigl\{\operatorname{depth}R_{\mathfrak p}-\operatorname{depth}_{R_{\mathfrak p}}M_{\mathfrak p}\bigr\},
\]
and equivalently by
\[
\operatorname{Rfd}_R M
=
\sup_{\mathfrak p\in\operatorname{Spec}R}
\bigl\{\operatorname{depth}R_{\mathfrak p}-\operatorname{depth}_{R_{\mathfrak p}}M_{\mathfrak p}\bigr\}
=
\sup_{\mathfrak q\subseteq\mathfrak p}
\{\operatorname{depth}R_{\mathfrak q}-\operatorname{depth}_{R_{\mathfrak q}}M_{\mathfrak q}\}.
\]
The small restricted flat dimension is
\[
\operatorname{rfd}_R M
=\sup_{\mathfrak p\in\operatorname{Spec}R}
\bigl\{\operatorname{grade}(\mathfrak p,R)-\operatorname{grade}(\mathfrak p,M)\bigr\},
\]
and satisfies
\[
\operatorname{rfd}_R M
=
\sup\bigl\{\operatorname{grade}(I,R)-\operatorname{grade}(I,M)\mid I\subset R \text{ a proper ideal}\bigr\}.
\]
One always has
\[
\operatorname{Rfd}_R M\ge \operatorname{rfd}_R M,\qquad
\operatorname{Rfd}_R M,\operatorname{rfd}_R M\ge -\infty,
\]
and $\operatorname{Rfd}_R M=-\infty$ if and only if $\operatorname{rfd}_R M=-\infty$, equivalently $M=0$ [2109.10531].

A second formulation, emphasized in later work, is available for arbitrary $R$-modules over a commutative noetherian ring:
\[
Rfd_R(M)
=
\sup\{\,n\ge 0\mid \operatorname{Tor}_n^R(M,F)\neq 0
\text{ for some }F\in F_{<\infty}\,\},
\]
where
\[
F_{<\infty}=\{F\in \operatorname{Mod}R\mid \operatorname{fd}_R F<\infty\}.
\]
This is contrasted with the classical flat dimension
\[
\operatorname{fd}_R(M)
=
\min\{\,n\ge 0\mid \operatorname{Tor}_i^R(M,N)=0\ \forall i>n,\ \forall N\in\operatorname{Mod}R\},
\]
so the restricted invariant differs by testing $\operatorname{Tor}$ only against modules of finite flat dimension [2508.20281].

This restricted-testing perspective is the core conceptual distinction. A plausible implication is that restricted flat dimension interpolates between ordinary flat dimension and more specialized relative homological dimensions, especially in settings where finite-flat-dimension modules form a robust test class.

## 2. Large versus small restricted flat dimension

The distinction between $\operatorname{Rfd}$ and $\operatorname{rfd}$ is structural rather than cosmetic. The large invariant is expressed through local depth defects, while the small invariant is expressed through grade defects. Their comparison is immediate from the definitions, but equality requires additional hypotheses [2109.10531].

The depth/grade formalism leads to a local viewpoint. For a fixed prime $\mathfrak p$, one studies the localized conditions
\[
(\mathrm L)\quad \operatorname{Rfd}_{R_{\mathfrak p}}M_{\mathfrak p}\le 0,
\qquad
(\mathrm S)\quad \operatorname{rfd}_{R_{\mathfrak p}}M_{\mathfrak p}\le 0.
\]
These conditions are not automatically equivalent. However, if $\operatorname{CMdim}_{R_{\mathfrak p}}M_{\mathfrak p}<\infty$, then $(\mathrm L)\iff(\mathrm S)$, and if $\operatorname{cmd}(R)\le 1$, then again $(\mathrm L)\iff(\mathrm S)\iff(\mathrm Y)$, where $(\mathrm Y)$ is the annihilator condition described below [2109.10531].

The later Govorov–Lazard work adopts the notation
\[
\mathcal R\mathcal F_n(R)=\{\,M\in \operatorname{Mod}R\mid Rfd_R(M)\le n\},
\]
and treats bounded restricted flat dimension as a hierarchy of module classes. Under Cohen–Macaulay hypotheses with a pointwise dualizing module, these classes coincide with bounded Cohen–Macaulay flat dimension:
\[
\mathcal C\mathcal M\mathcal F_n
=
\{\,M\in\operatorname{Mod}R\mid CMfd_R(M)\le n\}
=
\{\,M\in\operatorname{Mod}R\mid Rfd_R(M)\le n\}.
\]
This identifies restricted flat dimension with a recognized relative dimension theory in a substantial class of rings [2508.20281].

## 3. Local cohomology characterization

A central result connects restricted flat dimension to vanishing patterns of local cohomology. For an ideal $I\subset R$, the standard criterion states
\[
H_I^i(N)=0
\quad\Longleftrightarrow\quad
i<\operatorname{grade}(I,\operatorname{Ann}_R N)
\quad\Longleftrightarrow\quad
i<\operatorname{grade}(I,R)\text{ and }I\text{-torsion in }N\text{ vanishes.}
\]
Using this, one obtains the equivalence
\[
\operatorname{rfd}_R M\le 0
\quad\Longleftrightarrow\quad
H_I^i(M)=0\quad \forall\, i<\operatorname{grade}(I,R),\ \forall\, I\subset R.
\]
Equivalently,
\[
\operatorname{rfd}_R M\le 0
\quad\Longleftrightarrow\quad
\{\,i\mid H_I^i(M)\neq 0\,\}\subseteq \{\,i\ge \operatorname{grade}(I,R)\,\}.
\]
This is one of the key operational characterizations of the small restricted flat dimension [2109.10531].

The significance of this equivalence is that a grade-theoretic inequality becomes a uniform family of local-cohomological vanishing conditions. This suggests that restricted flat dimension is naturally positioned between homological dimension theory and the annihilator/vanishing theory of local cohomology.

A further refinement gives a quantitative annihilator statement. If $\mathfrak p\subset R$ is prime and
\[
r=\operatorname{Rfd}_{R_{\mathfrak p}}M_{\mathfrak p},
\]
then there exists $s\in R\setminus\mathfrak p$ such that
\[
s\,H_I^i(M)=0
\qquad
\forall\, I\subset R,\ \forall\, i<\bigl(\operatorname{grade}(I,R)-r\bigr).
\]
In particular, if $r<\operatorname{grade}(I,R)$, then one gets honest vanishing of $H_I^i(M)$ in those low degrees. The proof proceeds by induction on $r$, using the syzygy sequence $0\to \Omega M\to P\to M\to 0$ and the fact that $\operatorname{Rfd}(\Omega M)=r-1$ [2109.10531].

## 4. Annihilators, resolving subcategories, and dominance

For a prime $\mathfrak p\in\operatorname{Spec}R$, one considers the subcategory
\[
\mathcal R(\mathfrak p)=
\Bigl\{\,M\in \operatorname{mod}R\ \Bigm|\ \exists\, s\in R\setminus \mathfrak p
\text{ such that } s\,H_I^i(M)=0\ \forall I,\ \forall i<\operatorname{grade}(I,R)\Bigr\}.
\]
Corollary 3.3 of Ando’s paper asserts that $\mathcal R(\mathfrak p)$ is a dominant resolving subcategory of $\operatorname{mod}R$ [2109.10531]. Here “dominant” means that for each $\mathfrak q\in\operatorname{Spec}R$, some syzygy of the residue field $\kappa(\mathfrak q)$ lies in $\mathcal R(\mathfrak p)$.

The same work organizes the local theory into the implications
\[
(\mathrm L)\Longrightarrow (\mathrm S)\Longrightarrow (\mathrm Y),
\]
where $(\mathrm Y)$ denotes the membership condition $M\in \mathcal R(\mathfrak p)$. Under the extra hypotheses already noted—finite $\operatorname{CMdim}$ at $\mathfrak p$, Cohen–Macaulay defect at most $1$, or equality of grade and depth on generalizations—these conditions become equivalent [2109.10531].

These results place restricted flat dimension inside the broader framework of resolving subcategories and approximation theory. The dominant character of $\mathcal R(\mathfrak p)$ shows that the local-cohomological consequences of small restricted flat dimension are stable enough to control syzygies of residue fields, which is a strong structural property.

## 5. Govorov–Lazard property and approximation theory

Recent work strengthens the structural theory of bounded restricted flat dimension. Let
\[
\mathcal R\mathcal F_n=\{\,M\in \operatorname{Mod}R\mid Rfd_R(M)\le n\}.
\]
Over a Cohen–Macaulay commutative noetherian ring admitting a pointwise dualizing module $\Omega$, for each integer $n\ge 0$ the class
\[
\mathcal C\mathcal M\mathcal F_n
=
\{\,M\in \operatorname{Mod}R\mid CMfd_R(M)\le n\}
=
\{\,M\in \operatorname{Mod}R\mid Rfd_R(M)\le n\}
\]
satisfies the Govorov–Lazard property: every module in the class is a direct limit of finitely generated modules in the same class [2508.20281].

The proof factors through the trivial extension ring $R\ltimes \Omega$. Under the stated hypotheses,
\[
Rfd_R(M)=CMfd_R(M)=Gfd_{R\ltimes \Omega}(M),
\]
and $R\ltimes \Omega$ is Gorenstein. The Govorov–Lazard property is then deduced from the bounded Gorenstein flat theory over the trivial extension and descended back to $R$ [2508.20281].

The zero-dimensional case is especially explicit. If $R$ is a commutative noetherian ring of finite Krull dimension, then
\[
\mathcal R\mathcal F_0
=
\{\,M\in \operatorname{Mod}R\mid Rfd_R(M)=0\}
\]
satisfies the Govorov–Lazard property: every module in $\mathcal R\mathcal F_0$ is a direct limit of finitely generated modules in $\mathcal R\mathcal F_0$ [2508.20281]. In this case $Rfd_R(M)=0$ means precisely that
\[
\operatorname{Tor}_i^R(M,F)=0
\quad\forall\, i>0,\ \forall\, F \text{ of finite flat dimension}.
\]

Approximation-theoretic consequences also follow. If $R$ is Cohen–Macaulay with a pointwise dualizing module, then
\[
\mathcal R\mathcal F_0\cap R\text{-}\operatorname{mod}
\]
is preenveloping in the category of finitely generated $R$-modules; equivalently, every finitely generated module admits a morphism into a restricted flat module that is universal for maps into restricted flat modules. An analogous result holds in the finite-Krull-dimension “almost Cohen–Macaulay” case [2508.20281].

At the level of torsion theories, there is a hereditary Tor-pair
\[
\bigl(\mathcal R\mathcal F_0,\ \mathcal L\mathcal F_{<\infty}\bigr)^\top,
\]
where
\[
\mathcal L\mathcal F_{<\infty}=\{M\mid M_{\mathfrak p}\in F_{<\infty}(R_{\mathfrak p})\ \forall\, \mathfrak p\in\operatorname{Spec}R\}.
\]
In finite dimension, Baer-criterion arguments identify
\[
\mathcal L\mathcal F_{<\infty}=(\mathcal R\mathcal P_0^{<\omega})^\top,
\]
forcing $\mathcal R\mathcal F_0$ to be generated by its finitely generated objects under direct limits [2508.20281].

## 6. Examples, special cases, and relations to other dimensions

Several explicit computations anchor the theory. If $M=R$, then
\[
\operatorname{rfd}_R R=0,\qquad \operatorname{Rfd}_R R=0.
\]
If $(R,\mathfrak m)$ is local and $x\in R$ is a nonzerodivisor, then for $M=R/(x)$ one has
\[
\operatorname{rfd}_R(R/(x))=1,\qquad \operatorname{Rfd}_R(R/(x))=1.
\]
More generally, if $I=(x_1,\dots,x_n)$ is generated by an $R$-regular sequence of length $n$, then
\[
\operatorname{rfd}_R(R/I)=n,\qquad \operatorname{Rfd}_R(R/I)=n
\]
[2109.10531].

The later structural theory places these examples into a broader network of relative dimensions. If $R$ is Gorenstein, then restricted flat dimension coincides with Gorenstein flat dimension, and the direct-limit theorem recovers the classical result that every Gorenstein flat module is a direct limit of finitely generated Gorenstein projectives [2508.20281]. Over Cohen–Macaulay rings with a dualizing module, restricted flat dimension coincides with Cohen–Macaulay flat dimension [2508.20281].

The following table summarizes the main algebraic formulations appearing in the cited literature.

| Invariant | Formula | Context |
|---|---|---|
| $\operatorname{Rfd}_R M$ | $\sup_{\mathfrak p}\{\operatorname{depth}R_{\mathfrak p}-\operatorname{depth}_{R_{\mathfrak p}}M_{\mathfrak p}\}$ | finitely generated modules [2109.10531] |
| $\operatorname{rfd}_R M$ | $\sup_{\mathfrak p}\{\operatorname{grade}(\mathfrak p,R)-\operatorname{grade}(\mathfrak p,M)\}$ | finitely generated modules [2109.10531] |
| $Rfd_R(M)$ | $\sup\{n\ge 0\mid \operatorname{Tor}_n^R(M,F)\neq 0 \text{ for some }F\in F_{<\infty}\}$ | arbitrary modules [2508.20281] |

This suggests that “restricted flat dimension” is best understood not as a single formula but as a relative homological paradigm: a dimension theory obtained by restricting the test class used to detect flatness defects.

## 7. Other uses of the term and terminological caution

The phrase “restricted flat dimension” is not unique to commutative algebra. In differential-flatness theory, Ollivier and Sadik study what their exposition calls the “restricted flat dimension” phenomenon: for diffieties of differential dimension $m\le 2$, any parametrizable subsystem of a flat system is flat, equivalently exogenous and endogenous flatness coincide in differential dimension at most $2$ [1702.00264]. In that setting, “dimension” refers to differential dimension, not a homological invariant.

In geometric group theory and CAT(0) geometry, Huang introduces a quasi-isometry invariant for right-angled Artin groups:
\[
\operatorname{RFD}(G(\Gamma))
=\max\{\,d:\mathcal G_d(\Gamma)\text{ is connected}\},
\]
where $\mathcal G_d(\Gamma)$ is built from coarse intersections of top-dimensional flats in the universal cover of the Salvetti complex [1410.8195]. Here the terminology concerns coarse geometry of flats rather than module-theoretic flatness.

In extremal combinatorics over $F_2^r$, Blokhuis and Lev analyze the minimum size $\gamma(r,d)$ of a set containing a $d$-flat through every point, and the dual quantity $\beta(r,d)$ for shift-blocking sets, with the identity
\[
\gamma(r,r-d)+\beta(r,d)=2^r.
\]
The underlying object is affine and linear $d$-flats in a finite vector space, again unrelated to homological flat dimension [1304.3233].

These usages are mathematically disjoint. A common misconception is that all appearances of “restricted flat dimension” refer to a single invariant. The cited literature shows instead that the phrase is polysemous: in commutative algebra it denotes a relative homological dimension, whereas in control theory, combinatorics, and geometric group theory it refers to distinct notions of flatness and dimension [2109.10531], [1702.00264], [1410.8195], [1304.3233].

Source: https://www.emergentmind.com/topics/restricted-flat-dimension