Almost Coherent Rings in Almost Mathematics

• Almost coherent rings are commutative rings with an idempotent ideal, where module localization relaxes finiteness conditions up to factors in the ideal.
• They generalize classical coherent ring theory by introducing almost isomorphisms and almost flat modules, as exemplified by the almost–Chase theorem.
• Applications include rigid-analytic geometry and perfectoid bases, offering new insights for p-adic Hodge theory and modern arithmetic geometry.

An almost coherent ring is a commutative ring $R$ equipped with an idempotent ideal $\m\subseteq R$ satisfying $\m^2=\m$, together with a module-theoretic framework that localizes the category of $R$-modules at the Serre subcategory of $\m$-torsion modules. The concept extends classical coherent ring theory into the context of almost mathematics, allowing certain finiteness properties to be relaxed up to factors in $\m$. Almost coherent rings play a central role in algebraic geometry and homological algebra inspired by advances in $p$-adic Hodge theory, notably the work of Scholze on the cohomology of rigid-analytic varieties.

1. Almost Mathematics Framework and Definition

Given a commutative ring $R$ and an idempotent ideal $\m\subseteq R$ with $\m^2 = \m$, the Serre subcategory $\Sigma_R\subseteq\Mod_R$ consists of all $R$-modules $M$ with $\m\cdot M=0$. The abelian category of almost $R$-modules is the quotient $\Mod^a_R = \Mod_R/\Sigma_R$, with localization functor $(-)^a:\Mod_R\to\Mod^a_R$.

Key definitions in this framework include:

• Almost Zero Module: $M$ is almost zero if $M\in\Sigma_R$.
• Almost Isomorphism: An $R$-module map $f:M\to N$ is an almost isomorphism if both $\ker(f)$ and $\coker(f)$ are almost zero.
• Almost Exact Sequence: A sequence is almost exact if it becomes exact in $\Mod^a_R$.

Finiteness notions in almost mathematics:

• Almost Finitely Generated: $M$ is almost finitely generated if for every $s\in\m$, there exist $n_s$ and $f:R^{n_s}\to M$ with cokernel killed by $s$.
• Almost Finitely Presented: $M$ is almost finitely presented if for every $s,t\in\m$, there exists a presentation $$R^{m_{s,t}}\xrightarrow{g}R^{n_{s,t}}\xrightarrow{f}M\to 0$$ such that $s\cdot\coker(f)=0$ and $t\cdot\ker(f)\subseteq\Im(g)$.

Almost Coherent Module: $M$ is almost coherent if it is almost finitely generated and every almost finitely generated subobject of $M^a$ is almost finitely presented.

Almost Coherent Ring: $R$ is almost coherent if $R$ is almost coherent as an $R$-module.

A crucial characterization is that $R$ is almost coherent if and only if every finitely generated ideal of $R$ is almost finitely presented. Every coherent ring (case $\m = R$) is almost coherent, but not conversely (Zhang, 17 Jan 2026).

2. Almost Flat Modules and the Almost-Chase Theorem

An $R$-module $M$ is almost flat if $M^a$ is flat in $\Mod^a_R$, i.e., the functor $M^a\otimes_{R^a}(-):\Mod^a_R\to\Mod^a_R$ is exact. This property may be characterized via $\Tor$ vanishing:

• $M$ is almost flat $\iff \Tor^R_1(N,M)$ is almost zero for all finitely presented $N$ (and equivalently for all $N$, or all $i\ge1$).

Almost flatness is preserved under almost pure submodules and quotients.

The almost–Chase theorem characterizes almost coherent rings in terms of almost flat modules:

Equivalent Condition	Description
(i)	$R$ is almost coherent
(ii)	Any product of almost flat modules is almost flat
(iii)	Any product of free modules $R$ (hence of projectives) is almost flat
(iv)	Every $R$-module admits an almost flat preenvelope

When $\m=R$, these conditions recover the classical Chase theorem for coherent rings (Zhang, 17 Jan 2026).

3. Almost Absolutely Pure Modules and Dual Characterizations

An $R$-module $E$ is almost absolutely pure if $\Ext^1_R(N,E)$ is almost zero for every finitely presented module $N$. The following conditions are equivalent:

• $E$ is almost absolutely pure.
• Every short exact sequence $0\to E\to B\to C\to 0$ is almost pure.
• $E$ is an almost pure submodule of any injective module containing it.
• In an injective envelope $E\hookrightarrow I$, the quotient $I/E$ is almost pure.
• For every finitely generated $K\subset P$ and $f:K\to E$, there is $s\in\m$ and $g_s:P\to E$ extending $s\,f$.

A dual version of the almost coherence theorem holds:

Equivalent Dual Condition	Description
1	$R$ is almost coherent
2	Any almost pure quotient of an almost absolutely pure module is almost absolutely pure
3	Any pure quotient of an absolutely pure module is almost absolutely pure
4	Any direct limit of absolutely pure modules is almost absolutely pure
5	Every $R$-module admits an almost absolutely pure precover (equivalently, cover)

An additional mixed characterization is that $R$ is almost coherent if and only if for all almost absolutely pure $E$ and injective $I$, $\Hom_R(E,I)$ is almost flat (Zhang, 17 Jan 2026).

4. Relation to Classical Coherent Ring Theory

If $\m=R$, the “almost” prefix becomes vacuous, and all the familiar results from the classical theory are recovered exactly:

• Chase’s theorem: $R$ is coherent iff products of flats are flat.
• Coherent rings are exactly those where every module has a flat preenvelope or flat cover (Enochs–Jenda).
• Coherence is equivalent to all pure quotients of absolutely pure modules being absolutely pure (Stenström/Zisman).
• For any absolutely pure $E$ and injective $I$, $\Hom(E,I)$ is flat iff $R$ is coherent.

Almost mathematics thus generalizes the classical finiteness and purity properties by inserting controlling factors of $s\in\m$ and using an “almost 5-lemma” to manage exactness up to $\m$ (Zhang, 17 Jan 2026).

5. Examples, Counterexamples, and Applications

Notable examples and non-examples from the theory illustrate key phenomena:

• Pseudo-valuation Domain: Constructs with $R = \Q+Q_Q\subset V$, $\m=Q_Q$ yield an almost coherent ring that is not coherent, with maximal ideal non-finitely generated. No coherent $R$-module is almost isomorphic to $R$, demonstrating a negative answer to Zavyalov’s question whether every almost coherent module is almost isomorphic to a coherent module.
• Perfectoid Bases: For the perfectoid base $\O_C/p$ with idempotent ideal $\m=(p,\varpi)$, Scholze’s results on $\F_p$-cohomology imply that $\O_C/p$ is almost coherent; all finitely generated ideals are principal up to $p$-torsion.
• Counterexample: There exist almost coherent modules not almost isomorphic to coherent modules, showing that almost coherence does not reduce to coherence in the almost category (Zhang, 17 Jan 2026).

6. Stability Properties and Open Directions

Almost coherence is preserved under standard operations:

• Localization: If $(R,\m)$ is almost coherent, so is $(S^{-1}R,S^{-1}\m)$ for any multiplicative set $S$.
• Completion: Under mild conditions, the $\m$-adic completion $\widehat R$ is almost coherent.

Current and future lines of inquiry include:

1. Systematic study of almost coherent $\mathcal{O}_X$-algebras and sheaves on rigid-analytic or formal schemes.
2. “Relative” coherence: criteria for when a morphism $f:R\to S$ induces almost coherence of $S$ over $R$.
3. Investigation of an “almost regular” variant of regularity via the vanishing of higher $\Tor$ or $\Ext$ up to $\m$.

These extensions demonstrate that almost coherent rings inherit the structural depth and utility of their classical counterparts while enabling new forms of finiteness suited to modern arithmetic geometry (Zhang, 17 Jan 2026).