Let be a Gorenstein local ring, and let be a finitely generated -module. It is a standard fact that is Cohen-Macaulay iff is zero for all . Moreover, the functor induces an involutive anti-equivalence on the category of Cohen-Macaulay -modules of codimension .

Suppose now that we have a flat local map of local Noetherian rings with Gorenstein, and that is a CM -module which is flat over . It is natural to ask whether is also flat over . The goal of this post is to prove the following partial result towards this question.

**Theorem. ***Notation and setup as above, is flat over if is regular or if .*

Before continuing, note that and are automatically Gorenstein. This will be useful later.

The first key lemma is the following.

**Lemma 1. **Let be a diagram of Noetherian commutative rings, and let be a finitely generated -module flat over . Suppose that the maps are tor-independent (e.g. one of them is flat), and that at least one of the following conditions holds:

1. ;

2. is of finite tor-dimension.

Then there is a convergent spectral sequence

where and .

This is not so hard to prove. The only real input is Stacks Tag 0A6A – the auxiliary conditions 1. and 2. above corresponds to cases (1) and (4) of that lemma.

Granted this lemma, the auxiliary hypotheses in the theorem let us apply this spectral sequence with chosen as in the theorem and with . Since is Cohen-Macaulay over of some codimension , only contributes, and the spec. seq. degenerates to isomorphisms

.

Here and in what follows, I write for pullback to the closed fiber of . By the local criterion of flatness, the theorem follows if we can show that , i.e. that . Since is Gorenstein, it clearly suffices to prove that is a Cohen-Macaulay -module of codimension . This is the content of the next lemma, which must be well-known, but which I couldn’t find in ten minutes of googling. Do you know a reference for this?

**Lemma 2. **If is a flat local map of Gorenstein local rings, and is a finitely generated -module which is flat over , then Cohen-Macaulay over implies Cohen-Macaulay over of the same codimension. Here as above.

To prove this, first note that since and are CM. Then where the first equality holds e.g. by Theorem 23.3 in Matsumura’s Commutative Ring Theory. (One can also read off the equality from the spectral sequence argument above.)

So now we just need to show that . But we can check this last equality with replaced by where is any Artinian quotient. In particular we can assume that where is an -primary ideal generated by a regular sequence. Then

where the first equality holds by definition, the second and fourth equalities are a well-known property of f.g. modules over CM local rings, and the third equality follows from the facts that is Gorenstein and that (thanks to our flatness assumptions) is generated by an -regular sequence which is also a -regular sequence. (To actually prove the third equality, use induction on the number of generators of I.) Thus as desired.

**Q1. **Does the theorem hold more generally?

**Q2. **Is there a reference for Lemma 2 in the literature? This can’t be a new observation.

**Q3. **Can the Gorenstein condition in Lemma 2 be weakened? This seems unlikely to me.

On Lemma 2. Notice dim M= dim M_0+ dim A, because M is flat over A. To spell out the details, since the LHS is always leq to the RHS, it suffices to show the reverse inequality. It suffices to show generalizations lift along the canonical map from Supp M to Spec A (or, in more classical terms, going-down holds for it). But this is clear since if q is a prime ideal in the support of M mapped to p in Spec A then M_q is faithfully flat over A_p and thus Supp M_q maps surjectively to Spec A_p.

In fact, the same identity holds if you replace “dim” by “depth.” This is also classical, see for example Stacks Project, Lemma 0338. Combining these two identities we get the following.

Let (A, m) to B be a local homomorphism of Noetherian local rings. Let M be a finite B-module CM of dimension d. If M is flat over A and A is CM, then M/mM is a B-module CM of dimension d-dim A.

In our situation, apply this to the modules M and B we get Lemma 2 with “Gorenstein” replaced by “CM.”

LikeLike

On the main result. In fact, no additional assumptions are needed to be made. This is because Stacks Project, Lemma 0ATK (which is used to prove 0A6A) holds in the case the complex M is a single (finite) module, the complex L is of finite injective dimension, and K\in D^-_coh(R). This is obviously our case. To see why this is sufficient, compute both sides with a bounded complex J of injective modules that represents L, a (bounded above) complex F of finite free modules that represents K and leave M unchanged as a single R-module. Then we get total complexs Hom(M, J)\otimes F and Hom(M, J\otimes F). Since J is bounded and each term of F is finite free we see that these two complexes are canoncially identified and we win.

LikeLike

Great! Thanks a lot for your comments. Aside from working in more generality, your approach to Lemma 2 is much more natural than the convoluted thing I was doing.

Let me know if you’re ever in Bonn and I’ll buy you lunch.

LikeLike

I do have the plan to visit various places and spots when the current pandemic cleans out. I will tell you if Bonn will be an item in the list.

Btw, I am a graduate student at Princeton, and, if you come, let me know as well!

LikeLike