1
$\begingroup$

Let $\Phi:A \rightarrow B$ be a flat morphism of commutative rings. Let $f \in A$, not a unit and $A/fA \cong B/fB$ induced by $\Phi$.

Let $M$ be an $A_f$-module. Is it true that $M \otimes_A B = 0 \Rightarrow M=0$?

Here's my way of thought so far: by flatness of $B$ it's enough to show this for $M$ a cyclic $A_f$ module.

Let $M = A_f/IA_f \neq 0$. We have to see $B_f/IB_f \neq 0$. In other words, if $a \in A$ doesn't become a unit in $A_f$, then $\Phi(a)$ doesn't become a unit in $B_f$.

Sloppy spoken "for ruling out the case $f^n$ " I can use the isomorphism $A/fA \cong B/fB$. But maybe it can happen that already $\Phi(a) \in B$ is a unit?

I would like to either see a proof or counterexample. I'm not sure if the statement holds.

$\endgroup$

2 Answers 2

6
$\begingroup$

No, that is not true. Let $A$ be $\mathbb{Z}[x]/\langle x(1-x) \rangle$. Let $B$ be $A/\langle x \rangle$ with the obvious quotient morphism, $\Phi$. Let $f$ be $x$. Then the natural $A$-algebra homomorphism, $$ A[y]/\langle yx-1 \rangle \to A/\langle 1-x \rangle, \ \ y \mapsto 1, $$ is an isomorphism. To see this, observe that in $A[y]/\langle yx-1 \rangle$ we have the congruences, $$ 1-x = 1(1-x) \equiv (yx)(1-x) = y(x(1-x)) = y\cdot 0 = 0.$$ So let $M$ be $A[y]/\langle xy-1 \rangle = A/\langle 1-x \rangle$. Then $M\otimes_A B$ equals $A/\langle 1-x \rangle \otimes_A A/\langle x \rangle$, which is $\{0\}$. But $M$ is not zero.

$\endgroup$
2
  • $\begingroup$ I've read and mostly understood what you wrote. Can you maybe explain how to see that $B$ is flat as $A$-algebra? Thank you! $\endgroup$
    – Louis
    May 14, 2014 at 20:46
  • $\begingroup$ @Louis: In the same way that $A/\langle 1-x \rangle$ is also the localization $A[y]/\langle yx - 1 \rangle$, also $A/\langle x \rangle$ is also the localization $A[z]/\langle z(1-x) - 1 \rangle$. As a localization, $A[z]/\langle z(1-x)-1 \rangle$ is flat over $A$. $\endgroup$ May 14, 2014 at 20:59
9
$\begingroup$

Although you have already accepted an answer, I want to provide another perspective. This question can be easily analyzed from a geometric perspective even if (like me) you are not facile enough with algebra to come up with an example like Jason's.

In the language of algebraic geometry, your problem can be stated as follows: let $\phi \colon Y \to X$ be a flat map of schemes (in this case, affine) and let $Z \subset X$ be a closed subscheme (in this case, defined by a principal ideal $Af$) such that $\phi$ induces an isomorphism $\phi^{-1} Z \xrightarrow{\sim} Z$. Let $U = X \setminus Z$ be the open complement with immersion morphism $j \colon U \to X$, and let $\def\sh{\mathcal}\sh{F}$ be a quasicoherent sheaf on $U$.

If $\phi^* (j_* \sh{F}) = 0$ on $Y$, is $j_* \sh{F} = 0$ on $X$?

In order to answer this question it is natural to consider the complementary situations of "on $U$" and "on $Z$". If we can show that $j_* \sh{F}|_U = 0$, then $j_* \sh{F}$ is supported set-theoretically on $Z$, and "nothing changes" if we pass to $\phi^{-1}(Z)$ since it is isomorphic, and zero there by hypothesis, so $j_* \sh{F}|_Z = 0$ as well and we would end up with $j_* \sh{F} = 0$ because it has no support.

Unfortunately, the first, "open" part is already false. To see this, let $V = Y \setminus \phi^{-1} Z$ and $k \colon V \to Y$ be the open immersion; then if $\phi^* j_* \sh{F} = 0$, we also have $k^* \phi^* (j_* \sh{F}) = \phi|_U^* j^* (j_* \sh{F}) = \phi|_U^* \sh{F} = 0$, since $\phi \circ k = j \circ \phi|_U$. So you want to make the implication $\phi|_U ^* \sh{F} = 0 \implies \sh{F} = 0$. But this can only be expected if $\phi|_U$ is faithfully flat, i.e. flat and surjective, which you have not hypothesized. (Otherwise, $\phi|_U$ has "no opinion" about the points of $U$ that are not in its image.)

Jason's counterexample just exploits this. He found a disconnected scheme $X$ and took $Y$ (and $Z$) to be one of its components. Then clearly the restriction of $\sh{F}$ to that component has nothing to do with its restriction to the other one.

However, it is a basic property of faithful flatness that the implication in question does hold when $B$ is faithfully flat over $A$ (or $Y$ over $X$, correspondingly).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.