The Stacks project

Lemma 93.12.2. Consider a commutative diagram of Noetherian rings

\[ \xymatrix{ A' \ar[d] \ar[r] & P' \ar[d] \ar[r] & Q' \ar[d] \\ A \ar[r] & P \ar[r] & Q } \]

with cartesian squares, with flat horizontal arrows, and with surjective vertical arrows whose kernels are nilpotent. Let $J' \subset P'$ be an ideal such that $P'/J' = Q'/J'Q'$. Let $M$ be an $A$-flat $P$-module. Assume for all $g \in J'$ there exists an $A'$-flat $(P')_ g$-module lifting $M_ g$. Then the following are equivalent

  1. $M$ has an $A'$-flat lift to a $P'$-module, and

  2. $M \otimes _ P Q$ has an $A'$-flat lift to a $Q'$-module.

Proof. Let $I = \mathop{\mathrm{Ker}}(A' \to A)$. By induction on the integer $n > 1$ such that $I^ n = 0$ we reduce to the case where $I$ is an ideal of square zero; details omitted. We translate the condition of liftability of $M$ into the problem of finding an object of $D^-(P')$ as in Lemma 93.12.1. The obstruction to doing this is the element

\[ \omega (M) \in \text{Ext}^2_ P(M, M \otimes _ P^\mathbf {L} IP) = \text{Ext}^2_ P(M, M \otimes _ P IP) \]

constructed in Deformation Theory, Lemma 91.15.1. The equality in the displayed formula holds as $M \otimes _ P^\mathbf {L} IP = M \otimes _ P IP$ since $M$ and $P$ are $A$-flat1. The obstruction for lifting $M \otimes _ P Q$ is similarly the element

\[ \omega (M \otimes _ P Q) \in \text{Ext}^2_ Q(M \otimes _ P Q, (M \otimes _ P Q) \otimes _ Q IQ) \]

which is the image of $\omega (M)$ by the functoriality of the construction $\omega (-)$ of Deformation Theory, Lemma 91.15.1. By More on Algebra, Lemma 15.99.2 we have

\[ \text{Ext}^2_ Q(M \otimes _ P Q, (M \otimes _ P Q) \otimes _ Q IQ) = \text{Ext}^2_ P(M, M \otimes _ P IP) \otimes _ P Q \]

here we use that $P$ is Noetherian and $M$ finite. Our assumption on $P' \to Q'$ guarantees that for an $P$-module $E$ the map $E \to E \otimes _ P Q$ is bijective on $J'$-power torsion, see More on Algebra, Lemma 15.89.3. Thus we conclude that it suffices to show $\omega (M)$ is $J'$-power torsion. In other words, it suffices to show that $\omega (M)$ dies in

\[ \text{Ext}^2_ P(M, M \otimes _ P IP)_ g = \text{Ext}^2_{P_ g}(M_ g, M_ g \otimes _{P_ g} IP_ g) \]

for all $g \in J'$. Howeover, by the compatibility of formation of $\omega (M)$ with base change again, we conclude that this is true as $M_ g$ is assumed to have a lift (of course you have to use the whole string of equivalences again). $\square$

[1] Choose a resolution $F_\bullet \to I$ by free $A$-modules. Since $A \to P$ is flat, $P \otimes _ A F_\bullet $ is a free resolution of $IP$. Hence $M \otimes _ P^\mathbf {L} IP$ is represented by $M \otimes _ P P \otimes _ A F_\bullet = M \otimes _ A F_\bullet $. This only has cohomology in degree $0$ as $M$ is $A$-flat.

Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0DZ2. Beware of the difference between the letter 'O' and the digit '0'.