Strongly Flat Cover in Homological Algebra

• Strongly flat cover is a refined homological tool defined via Ext-orthogonality and minimality, enabling unique approximations in module and act categories.
• They play a critical role in cotorsion pair theory, localization, and duality, thereby linking module approximations with ring perfection phenomena.
• Applications span classical module theory, relative localization settings, persistence modules, and acts over monoids, demonstrating broad utility in algebra.

A strongly flat cover is a cover relative to a class of strongly flat objects: in the Enochs sense, it is a morphism $f:F\to M$ with $F$ strongly flat such that every morphism from a strongly flat object to $M$ factors through $f$, and such that every endomorphism $h:F\to F$ with $fh=f$ is an automorphism. The term is not uniform across the literature. In classical module theory it is tied to cotorsion pairs generated by quotient rings or localizations; in relative settings it appears as $S$-strongly flat or $\sigma$-strongly flat; in the theory of acts over monoids it refers to strongly flat $S$-acts; and in some recent work the phrase is absent but the relevant constructions exhibit a strongly-flat-like rigidity through flat cotorsion, minimal covers, and duality (Facchini et al., 2018, Asadollahi et al., 8 Aug 2025, Hyry et al., 2023).

1. Definition and categorical framework

For a class $\mathcal C$ in an abelian or exact approximation setting, a $F$0-precover of an object $F$1 is a morphism $F$2 with $F$3 such that every morphism $F$4 from an object $F$5 factors through $F$6. A $F$7-cover is a precover satisfying the right-minimality condition that every endomorphism $F$8 with $F$9 is an automorphism. This is the notion used for flat covers, $M$0-strongly flat covers, $M$1-strongly flat precovers, and strongly flat covers of acts over monoids (Zhang, 1 Sep 2025, Bailey et al., 2013).

In the classical domain case, weakly cotorsion modules are defined by $M$2, where $M$3 is the quotient field, and strongly flat modules are the left Ext-orthogonal of the weakly cotorsion class. Over a right Ore domain with classical right quotient ring $M$4, the paper on covering classes and completions identifies strongly flat modules as the left side of the complete cotorsion pair $M$5, where $M$6 is the class of Matlis-cotorsion modules; consequently every module has a special $M$7-precover, though not automatically an $M$8-cover (Facchini et al., 2018).

A persistent structural theme is that strongly flatness is stronger than ordinary flatness but weaker than projectivity. In the settings treated in the cited papers, strongly flat objects are usually described as direct summands of short exact extensions built from free objects and localized or quotient-like objects. This places strongly flat covers within relative homological algebra rather than ordinary projective approximation (Positselski et al., 2017).

2. Classical module-theoretic strongly flat covers

Over right Ore domains, strongly flat modules arise from the cotorsion pair generated by the classical right quotient ring $M$9. The class $f$0 is complete, so every module has a special strongly flat precover; however, the passage from precover to cover is subtle, and the paper studies when $f$1 is actually a covering class (Facchini et al., 2018).

The strongest positive results in that paper occur for right chain domains. If the class of strongly flat modules over a right chain domain is covering, then the ring is right invariant and flat modules are strongly flat. In that case $f$2, so the strongly flat theory collapses to the flat theory, and closure under direct limits follows. This is presented as evidence toward the Enochs-type expectation that a covering class should be closed under direct limits (Facchini et al., 2018).

The same paper proves that covering by strongly flat modules imposes strong ring-theoretic restrictions. If every left $f$3-module has a strongly flat cover considered as a left $f$4-module, then $f$5 is left perfect; and if $f$6 is a two-sided ideal with $f$7 such that every left $f$8-module has a strongly flat cover over $f$9, then $h:F\to F$0 is left perfect. These results show that strongly flat covers are not merely local approximation devices but encode perfection phenomena in overrings and quotients (Facchini et al., 2018).

For divisible classes, existence becomes more concrete. Over an integral domain, every $h:F\to F$1-divisible module admits a strongly flat cover, while every divisible module admits a strongly flat cover if and only if the domain is Matlis. This picture extends to commutative rings with multiplicative subsets: if $h:F\to F$2 is regular and $h:F\to F$3 is semisimple, then every $h:F\to F$4-$h:F\to F$5-divisible module admits an $h:F\to F$6-strongly flat cover, and every $h:F\to F$7-divisible module admits an $h:F\to F$8-strongly flat cover if and only if $h:F\to F$9 is an $fh=f$0-Matlis ring (Zhang, 1 Sep 2025).

3. Relative strongly flatness via localization and universal localization

A major extension of the theory replaces the quotient field or total quotient ring by a localization. For a multiplicative subset $fh=f$1, an $fh=f$2-module $fh=f$3 is $fh=f$4-weakly cotorsion if $fh=f$5, and $fh=f$6 is $fh=f$7-strongly flat if $fh=f$8 for every $fh=f$9-weakly cotorsion $S$0. A structural characterization states that $S$1 is $S$2-strongly flat iff it is a direct summand of a module $S$3 in a short exact sequence

$S$4

with $S$5 free over $S$6 and $S$7 free over $S$8 (Positselski et al., 2017).

This relative theory supports a cover theory parallel to the classical one. When $S$9 is semisimple and $\sigma$0 is regular, every $\sigma$1-$\sigma$2-divisible module admits an $\sigma$3-strongly flat cover, and every $\sigma$4-divisible module admits one exactly in the $\sigma$5-Matlis case. The same paper links the global existence of $\sigma$6-strongly flat covers to ring-theoretic properties such as $\sigma$7-almost perfectness and $\sigma$8-almost semisimplicity (Zhang, 1 Sep 2025).

Universal localization yields a noncommutative analogue. Given a set $\sigma$9 of morphisms between finitely generated projective $S$0-modules, the class of $S$1-strongly flat modules is defined as the left class in the cotorsion pair generated by the universal localization $S$2. The cotorsion pair $S$3 is complete, so every module has a $S$4-strongly flat precover and a $S$5-weakly cotorsion preenvelope (Asadollahi et al., 8 Aug 2025).

That paper also extends the picture to homotopy categories. The thick subcategory $S$6 of acyclic complexes whose terms and syzygies are $S$7-strongly flat is precovering in $S$8, and the quotient functor $S$9 has a fully faithful right adjoint. This is not a module-level cover theorem, but it is a derived analogue of strongly flat approximation (Asadollahi et al., 8 Aug 2025).

4. Persistence modules and strongly-flat-like flat covers

In the persistence-module setting, the phrase “strongly flat” does not appear in the paper “Flat covers and injective hulls of persistence modules”; nevertheless, the work develops a rigid refinement of flat cover theory through flat cotorsion, generator functors, and Matlis duality. Persistence modules are treated as $\mathcal C$0-graded $\mathcal C$1-modules, and flat covers exist for all graded $\mathcal C$2-modules by graded versions of the Bican–El Bashir–Enochs and Rozas results (Hyry et al., 2023).

The key structural fact is that if $\mathcal C$3 is the flat cover, then $\mathcal C$4 is cotorsion. Moreover, flat cotorsion persistence modules admit a unique decomposition into products of the basic flat modules $\mathcal C$5, and minimal flat resolutions of cotorsion modules are built from such flat cotorsion terms. This is a stronger package than plain flat epimorphism and supplies the kind of rigidity often associated, in other settings, with strongly flat constructions (Hyry et al., 2023).

The paper’s main duality theorem states that Matlis duality interchanges injective hulls and flat covers: $\mathcal C$6 is an injective hull iff $\mathcal C$7 is the flat cover of $\mathcal C$8, and conversely under pointwise finite-dimensional hypotheses. It also identifies minimal injective resolutions with minimal flat resolutions under duality (Hyry et al., 2023).

This suggests that, for persistence modules over $\mathcal C$9, the mathematically realized replacement for “strongly flat cover” is not a separate class of strongly flat objects but rather flat covers with cotorsion kernels inside the flat–cotorsion cotorsion pair, together with their Matlis-dual correspondence to injective hulls. The paper explicitly frames this as a stronger-than-plain-flat theory, even though it does not adopt Enochs–Xu terminology (Hyry et al., 2023).

5. Strongly flat covers of acts over monoids

For right acts over a monoid $F$00, a strongly flat act is the analogue of a flat object built as a directed colimit of finitely generated free acts. In this setting, an $F$01-precover and $F$02-cover are defined exactly as in Enochs’ framework, and, when they exist, Enochs-style $F$03-covers are unique up to isomorphism (Bailey et al., 2013).

Existence is markedly different from the module case. Kruml’s example, reformulated in the short note on strongly flat covers of acts, shows that for the monoid

$F$04

the one-element $F$05-act has no $F$06-precover, hence no strongly flat cover. This is a definitive failure of a monoid-act analogue of the flat cover theorem for modules (Bailey et al., 2013).

On the positive side, the paper on covers of acts over monoids proves several broad existence criteria. If $F$07 is right cancellative, then every right $F$08-act has an $F$09-cover; more generally this holds for monoids satisfying a bounded-preimage condition that includes monoids of finite geometric type, for monoids satisfying condition (A), and for various concrete classes such as finite monoids, right groups with identity adjoined, and the bicyclic monoid (Bailey et al., 2012).

A further development concerns the relation between flat and strongly flat cover theory via monomorphism classes. For right-reversible monoids whose flat acts are closed under stable Rees extensions, the flat cover conjecture holds in Act-$F$10. By contrast, cofibrant generation of the class $F$11-Mono is much stronger: it is equivalent to left-collapsibility, closure of $F$12-Mono under compositions, and the existence of a bound on the size of indecomposable strongly flat acts (Cox, 5 Jul 2025).

The literature on acts also distinguishes Enochs-style covers from coessential epimorphism covers. Claimed counterexamples to uniqueness of coessential strongly flat covers were shown to be incorrect, so uniqueness for coessential strongly flat covers remains open, while Enochs-style covers retain uniqueness whenever they exist (Bailey et al., 2013).

6. Dimensions, cotorsion pairs, and current directions

Recent work has introduced a relative homological invariant tailored to this setting. For a commutative ring $F$13 and multiplicative subset $F$14, the $F$15-strongly flat dimension of a module $F$16,

$F$17

is the smallest $F$18 such that $F$19 for all $F$20-weakly cotorsion $F$21. The global invariant

$F$22

measures how far the ring is from being $F$23-almost semisimple, namely from the situation in which every module is $F$24-strongly flat (Bouziri, 2024).

When $F$25 is weakly Matlis, this dimension is equivalent to the minimal length of an $F$26-strongly flat resolution, and it satisfies

$F$27

At the ring level, $F$28-gl.sf.D$F$29 iff $F$30 is $F$31-almost semisimple, and one equivalent condition is that every $F$32-weakly cotorsion module has an $F$33-strongly flat cover with the unique mapping property (Bouziri, 2024).

A broader homological backdrop comes from covers associated with cotorsion pairs and tilting classes. In the contramodule setting, direct limits of projective contramodules are shown to be projective whenever they have projective covers, and more generally the paper proves an Enochs-type result: for the left class of an $F$34-tilting cotorsion pair in an abelian category with exact direct limits, if all objects have covers by the left class, then that left class is closed under direct limits (Bazzoni et al., 2019).

This suggests a general contemporary perspective. Strongly flat cover theory is no longer confined to one class of rings or one approximation problem. It now appears in several parallel forms: classical strongly flat covers over domains and Ore localizations, relative $F$35-strongly flat covers, $F$36-strongly flat precovers from universal localization, strongly flat covers of acts over monoids, and strongly-flat-like flat cotorsion covers in persistence theory. What unifies these versions is the combination of a left approximation class defined by an Ext-orthogonality condition, a covering or precovering mechanism from cotorsion theory, and a rigidity statement showing that minimal approximations encode substantial structural information about the ambient category (Zhang, 1 Sep 2025, Bazzoni et al., 2019).