---
title: Almost Coherent Rings in Almost Mathematics
url: https://www.emergentmind.com/topics/almost-coherent-rings
type: topic
---

# Almost Coherent Rings in Almost Mathematics

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 [2601.12059].

## 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 [2601.12059].

## 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 [2601.12059].

## 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$ [2601.12059].

## 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 [2601.12059].

## 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 [2601.12059].

Source: https://www.emergentmind.com/topics/almost-coherent-rings