---
title: Quasi-Faithfully Flat Extensions
url: https://www.emergentmind.com/topics/quasi-faithfully-flat-extensions
type: topic
---

# Quasi-Faithfully Flat Extensions

Searching arXiv for the specified paper and closely related work.
Search 1: exact paper by title keywords.
Searching arXiv for: "Base change of (Gorenstein) transpose, k-torsionfree modules, and quasi-faithfully flat extensions"
Quasi-faithfully flat extensions are finite ring homomorphisms $\varphi\colon R\to A$ designed to retain much of the change-of-rings control usually associated with faithfully flat extensions, while permitting substantially weaker hypotheses. In the setting where $R$ is a two-sided Noetherian ring and modules are finitely generated, the notion is used to compare transpose constructions, $k$-torsionfree modules, extension-closedness, quasi-$k$-Gorensteiness, and finite representation type across $R$ and $A$. The framework developed in "Base change of (Gorenstein) transpose, $k$-torsionfree modules, and quasi-faithfully flat extensions" establishes a close relationship between the classical transpose of an $A$-module and the Gorenstein transpose of a suitable syzygy over $R$, extends a result of Zhao, and gives applications to Frobenius extensions and skew group rings [2507.12219].

## 1. Ambient setting and $k$-torsionfree modules

Throughout, $R$ is a Noetherian ring on both sides, and
\[
\mod(R)=\{\,\text{finitely generated left $R$-modules}\,\},\qquad
\proj(R)=\{\text{projectives in }\mod(R)\}.
\]
For $M\in\mod(R)$, choose a projective presentation
\[
P_1\xrightarrow{f}P_0\longrightarrow M\longrightarrow 0
\]
and apply $\Hom_R(-,R)$. This yields an exact sequence of right modules
\[
\Hom_R(P_0,R)\xrightarrow{\Hom(f,R)}\Hom_R(P_1,R)\longrightarrow \Tr_R(M)\longrightarrow 0,
\]
where $\Tr_R(M)$ is the transpose of $M$ [2507.12219].

For each integer $k>0$, the module $M$ is called $k$-torsionfree when
\[
\Ext^i_R\bigl(\Tr_R(M),R\bigr)=0\qquad (1\le i\le k).
\]
The full subcategory of $k$-torsionfree modules is denoted by $\TF^k(R)\subseteq\mod(R)$. This definition packages Ext-vanishing of the transpose into a categorical condition that is stable enough to support descent and ascent arguments.

In the paper’s broader program, $k$-torsionfree modules are the main invariants transported across finite ring homomorphisms. A central feature is that their behavior can be controlled not merely by flatness of $A$ over $R$, but by the existence of an auxiliary bimodule implementing an appropriate base-change mechanism.

## 2. Definition of quasi-faithfully flat extensions

A finite ring homomorphism $\varphi\colon R\to A$ is called a **quasi-faithfully flat extension** if there exists an $A$-$R$-bimodule $T$ such that:

1. $T$ is finitely generated and projective as a left $A$-module,
2. $T$ is faithfully flat as a right $R$-module, and
3. $\Hom_A(T,A)$ is flat over $R$ [2507.12219].

This definition weakens the classical requirement of faithful flatness on both sides for $A$ itself. When $A$ is flat and faithfully flat over both $R^{\mathrm{op}}$ and $R$, one recovers the usual notion of faithfully flat extension. The key distinction is that quasi-faithful flatness is witnessed by a possibly different bimodule $T$, rather than by $A$ alone.

Several examples clarify the scope of the notion. Any faithfully flat extension is automatically quasi-faithfully flat. If $k$ is a field and $R$ is a Frobenius $k$-algebra in the sense that $R\cong\Hom_k(R,k)$ as $R$-$R$-bimodules, then for any $k$-algebra map $R\to A$ one may take
\[
T=A\otimes_k R.
\]
In this case $T$ is free, hence projective, over $A$, faithfully flat over $R^{\mathrm{op}}$, and $\Hom_A(A\otimes_k R,A)\cong R\otimes_k A$ is free over $R$. Consequently, every $k$-algebra homomorphism out of a Frobenius $k$-algebra is quasi-faithfully flat. There are also non-projective examples: the canonical surjection
\[
\pi\colon R=A\llbracket x\rrbracket/(x^2)\longtwoheadrightarrow A
\]
is quasi-faithfully flat although $A$ is not projective over $R$ [2507.12219].

A common misconception is that a useful “faithful flatness” substitute must force $A$ itself to be projective or flat over $R$. The example above shows that quasi-faithful flatness is genuinely weaker: it is formulated so that the transfer of homological properties can still proceed through $T$.

## 3. Base change for transpose and detection of $k$-torsionfreeness

The mechanism behind the theory is a functorial comparison between transpose over $R$ and transpose after tensoring to $A$. If $X\in\mod(R)$ and $T$ is an $A$-$R$-bimodule that is projective and finitely generated over $A$, then there is a canonical isomorphism of right $A$-modules
\[
\Tr_R(X)\otimes_R\Hom_A(T,A)\;\cong\;\Tr_A\!\bigl(T\otimes_R X\bigr).
\]
This transfer-of-transpose statement is the basic change-of-rings computation from which the later results follow [2507.12219].

Under additional flatness hypotheses, transpose comparison yields preservation and detection of $k$-torsionfreeness. If $T$ is flat over $R^{\mathrm{op}}$ and $\Hom_A(T,A)$ is flat over $R$, then for each $k>0$,
\[
X\in\TF^k(R)\Longrightarrow T\otimes_R X\in\TF^k(A).
\]
If, in addition, $T$ is faithfully flat on the right, then the converse also holds. Thus under a quasi-faithfully flat extension one obtains the equivalence
\[
X\in\TF^k(R)\;\Longleftrightarrow\;T\otimes_R X\in\TF^k(A).
\]

The paper’s conceptual summary identifies the heart of the argument as the transpose isomorphism together with flatness assumptions that allow one to compare Ext-groups and detect their vanishing across the two rings. This is the precise sense in which quasi-faithfully flat extensions serve as a substitute for classical faithfully flat base change: they preserve the homological criterion defining $k$-torsionfree modules [2507.12219].

## 4. Extension-closedness and change of rings

A full subcategory $\mathcal X\subseteq\mod(R)$ is **extension closed** if every short exact sequence
\[
0\to X'\to X\to X''\to 0
\]
with $X',X''\in\mathcal X$ also has $X\in\mathcal X$. For the subcategories $\TF^k(R)$, quasi-faithfully flat extensions support both descent and ascent results [2507.12219].

The descent statement is direct: if $\varphi\colon R\to A$ is quasi-faithfully flat and $\TF^k(A)$ is extension closed in $\mod(A)$, then $\TF^k(R)$ is extension closed in $\mod(R)$. The ascent statement requires stronger homological input. Suppose $\varphi\colon R\to A$ is finite and satisfies
\[
\Gpd_R(A)<\infty,\qquad \RHom_R(A,R)\cong P[-n]\quad\text{in }D(A)
\]
for some projective $P\in\proj(A)$ and $n\ge 0$. If either $n=0$ or $R$ is commutative satisfying the usual Gorenstein-depth condition $(\widetilde G_{n-1})$, then extension-closedness of $\TF^{k+n}(R)$ implies extension-closedness of $\TF^k(A)$.

In the especially important case $n=0$, these two directions combine into a clean equivalence. If $\varphi\colon R\to A$ is a finite quasi-faithfully flat extension, with $R$ Noetherian, and
\[
\Gpd_R(A)=0,\qquad \Hom_R(A,R)\in\proj(A),
\]
then for every $k>0$ the category $\TF^k(R)$ is extension closed in $\mod(R)$ if and only if $\TF^k(A)$ is extension closed in $\mod(A)$. The paper further notes that in this special case one has the stronger identification
\[
\TF^k(A)=\TF^k(R)\quad\text{inside }\mod(A)\cong\mod(R),
\]
so the theory collapses to a particularly transparent form of ascent and descent.

## 5. Consequences for quasi-$k$-Gorenstein algebras

For a Noetherian algebra $R$, being **left quasi-$k$-Gorenstein** means that in the minimal injective resolution
\[
0\to R\to I^0\to I^1\to\cdots
\]
one has
\[
\fd_R(I^i)\le i+1\qquad (0\le i\le k-1).
\]
Huang’s theorem identifies this condition with extension-closedness of each $\TF^i(R)$ for $1\le i\le k$ [2507.12219].

Because quasi-faithfully flat extensions preserve extension-closedness under the hypotheses above, they also preserve quasi-$k$-Gorensteiness. If $\varphi\colon R\to A$ satisfies the hypotheses of the equivalence theorem for extension-closedness and both $R$ and $A$ are Noetherian algebras, then for every $k>0$,
\[
R\text{ is left quasi-}k\text{-Gorenstein}\quad\Longleftrightarrow\quad
A\text{ is left quasi-}k\text{-Gorenstein}.
\]
This yields an affirmative answer to a question posed by Zhao in the case where both rings are Noetherian algebras.

A notable special case is that of Frobenius extensions. If $\varphi\colon R\to A$ is a Frobenius extension of Noetherian algebras and $A$ is also faithfully flat over $R^{\mathrm{op}}$, then $R$ is left quasi-$k$-Gorenstein if and only if $A$ is. In the commutative case, the paper observes that this forces left-right symmetry of quasi-$k$-Gorensteinness for $A$ [2507.12219].

## 6. Frobenius extensions, finite representation type, and skew group rings

A full subcategory $\mathcal X\subseteq\mod(R)$ has **finite representation type** if, up to isomorphism, it contains only finitely many indecomposable objects. Under the Krull-Remak-Schmidt hypothesis, such as when $R$ is artinian or Henselian local, Frobenius extensions also transfer finiteness properties of $\TF^n(-)$ [2507.12219].

If $\varphi\colon R\to A$ is a Frobenius extension and Krull-Remak-Schmidt holds over both $R$ and $A$, then two complementary statements hold. First, if $\varphi$ is separable and $\TF^n(R)$ has finite representation type, then $\TF^n(A)$ has finite representation type. Second, if $\varphi$ is split and $\TF^n(A)$ has finite representation type, then $\TF^n(R)$ has finite representation type. The separable case gives ascent, while the split case gives descent.

The standard application is to skew group rings. If $G$ is a finite group acting on an artinian ring $\Lambda$ and $|G|$ is invertible in $\Lambda$, then the skew group ring $\Lambda G$ is a separable, split Frobenius extension of $\Lambda$. Hence, for each $n>0$,
\[
\TF^n(\Lambda)\text{ has finite type}\;\Longleftrightarrow\;\TF^n(\Lambda G)\text{ has finite type}.
\]
The same argument, applied to Gorenstein-projective modules, gives an equivalence of Cohen-Macaulay finiteness:
\[
\bigl|\!\ind\,G\!Proj(\Lambda)\bigr|<\infty\;\Longleftrightarrow\;
\bigl|\!\ind\,G\!Proj(\Lambda G)\bigr|<\infty.
\]
These consequences place quasi-faithfully flat and Frobenius-type change-of-rings phenomena in direct contact with representation-theoretic finiteness questions.

## 7. Conceptual role within transpose and syzygy theory

The topic is situated within a broader change-of-rings analysis of transpose and Gorenstein transpose. Under suitable homological conditions on $A$ over $R$, the paper establishes a close relationship between the classical transpose of a finitely generated left $A$-module and the Gorenstein transpose of a certain syzygy module of that module over $R$ [2507.12219]. The quasi-faithfully flat framework then isolates the hypotheses needed for this comparison to control the more concrete invariant of $k$-torsionfreeness.

The resulting picture is structurally coherent. Transpose comparison yields equivalence of Ext-vanishing conditions; Ext-vanishing controls membership in $\TF^k(-)$; preservation of $\TF^k(-)$ feeds into extension-closedness; extension-closedness characterizes quasi-$k$-Gorensteiness in the Noetherian algebra setting; and in the Frobenius, separable, and split contexts, the same formalism reaches finite representation type and skew group rings. A plausible implication is that quasi-faithfully flatness is best understood not as a variant of flatness in isolation, but as a change-of-rings device tailored to transpose-based homological invariants.

Within this framework, the notion’s significance lies in its precision. It is weak enough to include examples where $A$ is not projective over $R$, yet strong enough to make $k$-torsionfreeness, extension-closedness, and several Gorenstein-flavored finiteness properties transport reliably across finite extensions.

Source: https://www.emergentmind.com/topics/quasi-faithfully-flat-extensions