Criteria for coherence of rings

Question

I'm trying to collect pointers into the literature about coherent rings. Recall that a ring is left coherent if its finitely generated left ideals are finitely presented. This condition was introduced by Stephen Chase in [Stephen U. Chase, Direct products of modules, Trans. Amer. Math. Soc. 97 (1960), 457–473. MR0120260] as a characterization of rings whose class of flat right modules is closed under arbitrary direct products.

There are many results out there giving criteria for coherence. In particular, providing conditions which, when satisfied, ensure that a ring constructed in some way (polynomials, formal series, &c) from another ring is coherent. There are also interesting negative results: the nicest one I can find is [Jean-Pierre Soublin, Anneaux et modules cohérents, J. Algebra 15 (1970), 455–472 MR0260799] which shows that the Hilbert basis theorem is false for coherence.

Coherence is a more or less technical thing, so it tends to appear a bit 'hidden' in various contexts, so I am pretty sure I am missing a big part of the literature in spite of having spent a non-negligible time following links on MathSciNet. For example, it appears that model theorist have (had?) an interest in coherence.

May the amazing collective MO erudition help me find relevant results?

Answer 1

Dear Mariano,

One class of coherent rings that I know is the following:

If $\{A_n\}$ is an inductive sequence of left Noetherian rings, with right flat transition maps, then the inductive limit $A$ of the $A_n$ is left coherent. (This is an exercise; one place it comes up is in Berthelot's theory of overconvergent $\mathcal D$-modules, when he shows that the ring $\mathcal D^{\dagger}_{\mathbb Q}$ of overconvergent differential operators on a $p$-adic formal scheme is coherent.)

[Added: As Mariano notes in his comment below, one can replace left Noetherian by left coherent in the hypotheses on the $A_n$, as is proved in the paper of Soublin referenced in the original post.]

Here is another:

Let $A$ be a Noetherian commutative ring, and let $F: A \to A$ be a flat endomorphism. If $A[F]$ denotes the twisted polynomial ring, with commutativity relation $F \cdot a = F(a) \cdot F$, then $A[F]$ is left coherent. This is proved in my preprint On a class of coherent rings etc.. One application is when $A$ is a smooth finite type $k$-algebra for a field $k$ of char. $p$, and $F$ is Frobenius (either absolute or relative).

Added: Mark Hovey notes in this answer that any von Neumann regular ring is coherent.

Answer 2

Exercises 11 and 12 for section 2 of Ch. 1 of Commutative Algebra by Bourbaki may be useful. 12 (g) states a ring is left coherent iff 1. the left annihilator of every element is finitely generated 2. the intersection of any two finitely generated left ideals is finitely generated.

Answer 3

The book Commutative Coherent Rings by Sarah Glaz is nice to read and a good source for references.

Answer 4

Here are some further interesting references:

• C. Faith, Coherent rings and annihilator conditions in matrix and polynomial rings, Handbook of algebra, Vol. 3 (2003).

• M. E. Harris, Some results on coherent rings, Proc. Amer. Math. Soc. 17 (1966), 474-479.

• M. E. Harris, Some results on coherent rings II, Glasgow Math. J. 8 (1967), 123-126.

• E. Matlis, Commutative semi-coherent and semi-regular rings, J. Algebra 95 (1985), 343-372.

• G. Sabbagh, Coherence of polynomial rings and bounds in polynomial ideals, J. Algebra 31 (1974), 499-507.