8
$\begingroup$

All rings are assumed to be commutative and unital, with all homomorphisms unital as well.

On last week's homework, there was a mistake in one of the questions:

(2.5) Let $R\to S$ be a morphism of commutative rings giving $S$ an $R$-algebra structure. Suppose that the induced maps $R\to S_{\mathfrak{p}}$ are formally étale for all prime ideals $\mathfrak{p}\subset S$. Then $R\to S$ is formally étale.

According to our professor, the exercise should have stated additionally that $S$ was finitely presented over $R$ (which allows us to prove that $S$ is in fact étale over $R$ rather than just formally étale). This is not too hard to do and is left as an exercise. (You can also find it in EGA).

However, I'm interested in seeing either a counterexample or a proof for the stronger claim in the grey box.

$\endgroup$
12
  • 12
    $\begingroup$ Why not post this as an answer to Giant Laser Cannons question? Just to get reputation? $\endgroup$ Mar 10, 2010 at 22:02
  • 10
    $\begingroup$ I'm sure Bjorn Poonen would have been amenable to simply adding a disclaimer along the lines of "[Note: this is not a complete argument; see below answer posted by fpqc for a full solution]" to his answer to the other question. $\endgroup$ Mar 10, 2010 at 23:31
  • 5
    $\begingroup$ I feel that the reposting is drawing an undeserved level of ire. $\endgroup$ Mar 10, 2010 at 23:40
  • 10
    $\begingroup$ I'm voting to close. Reason: exact duplicate. $\endgroup$
    – S. Carnahan
    Mar 10, 2010 at 23:41
  • 7
    $\begingroup$ It just seems unnecessary. What actual problem does it solve that simply posting an answer to the original question does not solve? ("The answer will not be on a green background" is not an actual problem.) $\endgroup$ Mar 10, 2010 at 23:43

4 Answers 4

5
$\begingroup$

EDIT: Don't bother reading my partial solution. Brian Conrad pointed out that an easier way to do what I did is to use the equivalent definition of formally unramified in terms of Kähler differentials. And later on, fpqc posted below a complete solution passed on by Mel Hochster, who got it from Luc Illusie, who got it from ???.

OLD ANSWER: Here is a half-answer. I'll prove half the conclusion, but on the plus side I'll use only half the hypothesis! Namely, I will prove that if $R \to S_{\mathfrak{p}}$ is formally unramified for all primes $\mathfrak{p} \subset S$, then $R \to S$ is formally unramified.

Let $A$ be an $R$-algebra, and let $I \subseteq A$ be a nilpotent ideal. Given $R$-algebra homomorphisms $f,g \colon S \to A$ that become equal when composed with $A \to A/I$, we must prove that $f=g$. Fix $\mathfrak{p}\subset S$. Then the localizations $A_{\mathfrak{p}} := S_{\mathfrak{p}} \otimes_{S,f} A$ and $S_{\mathfrak{p}} \otimes_{S,g} A$ of $A$ (defined viewing $A$ as an $S$-algebra in the two different ways) are naturally isomorphic, since adjoining the inverse of an $a \in A$ to $A$ automatically makes $a+\epsilon$ invertible for any nilpotent $\epsilon$ (use the geometric series). Now $f$ and $g$ induce $R$-algebra homomorphisms $f_{\mathfrak{p}},g_{\mathfrak{p}} \colon S_{\mathfrak{p}} \to A_{\mathfrak{p}}$ that become equal when we compose with $A_{\mathfrak{p}} \to A_{\mathfrak{p}}/I A_{\mathfrak{p}}$. Since $R \to S_{\mathfrak{p}}$ is formally unramified, this means that $f_{\mathfrak{p}} = g_{\mathfrak{p}}$. In other words, for every $s \in S$, the difference $f(s)-g(s)$ maps to zero in $A_{\mathfrak{p}}$ for every $\mathfrak{p}$. An element in an $S$-module that becomes $0$ after localizing at each prime ideal of $S$ is $0$, so $f(s)=g(s)$ for all $s$. So $f=g$.

$\endgroup$
10
  • 9
    $\begingroup$ And here's my plan for improving the environment: start by dismantling all light-beam weapons of any size... :) $\endgroup$ Mar 2, 2010 at 15:15
  • 3
    $\begingroup$ Bjorn, a shorter way to say this "half" is that formally unramified is precisely Omega^1_{S/R} = 0, and for any prime P of S we have (Omega^1_{S/R})_P = Omega^1_{S_P/R} = 0, so we're done. Alas, that is where I got stuck; it is the existence which is the real problem. The only idea I had was to try to prove that a commutative ring C is the inverse limit of the natural diagram among all of its localizations. That would solve the problem, but I had no idea how to do it (yet it also seems like an "interesting" question in its own way). Any ideas? $\endgroup$
    – BCnrd
    Mar 2, 2010 at 15:58
  • $\begingroup$ OK, thank you, Brian; that is much simpler. $\endgroup$ Mar 2, 2010 at 18:26
  • 1
    $\begingroup$ @Brian: Regarding your question about a commutative ring C is necessarily the inverse limit of its localizations at primes: The answer is no. If C is an infinite product of fields k_i, the primes form an antichain, so the inverse limit is the product of the residue fields, which include not only the k_i but also all the nonprincipal ultraproducts of the k_i. $\endgroup$ Mar 3, 2010 at 3:12
  • 3
    $\begingroup$ Bjorn, I agree that probably it isn't true. But this has the feeling of the kinds of point-set topology questions on which one can waste tremendous amounts of time as an undergraduate: either find a plausible counterexample or proof with little effort in little time, or best not to dwell much on it. Now that you killed the only idea I had on it, I won't try to find another idea for it. $\endgroup$
    – BCnrd
    Mar 3, 2010 at 8:32
6
$\begingroup$

Using the module of Kähler differentials, it is easy to show that $R\to S$ is formally unramified if and only if the induced maps $R\to S_{\mathfrak{p}}$ are formally unramified for all primes $\mathfrak{p}\subset S$.

Consider a presentation of $S$ over $R$ as $R[X]/I$ in generators and relations, where $R[X]:=R[X_m]_{m\in M}$ is a polynomial ring in a possibly infinite family of indeterminates indexed by $M$, and $I\subset R[X]$ is an ideal. Fix a family of generators of $I=(F_j)_{j\in J}$ indexed by $J$, again not necessarily finite.

It is enough to show that $R\to S$ is formally smooth. This is equivalent to showing that there exists a morphism of $R$-algebras that is a splitting for the canonical projection $\pi:R[X]/I^2 \to R[X]/I=S$, which will necessarily be unique because $R\to S$ is formally unramified.

Let $\overline{X}_m$ denote the image of $X_m$ in $R[X]/I^2$. We must find elements $\delta_m\in I/I^2$ such that $(\forall j\in J)F_j(X_m + \delta_m)=0$. We rewrite this using Taylor's formula as $$\bar{F}_j+ \sum_{m\in M}\overline{\frac{\partial F_j}{\partial X_m}}\delta_m=0.$$

Rearranging, we get a system of equations indexed by $J$ $$(*)_{j\in J} \qquad \sum_{m\in M}\overline{\frac{\partial F_j}{\partial X_m}}\delta_m=-\overline{F}_j.$$

We wish to find a unique solution for this system in the $\delta_m$. Since $\Omega_{S/R}=0$, each $dX_m\in \Omega_{R[X]/R}$ is an $S$-linear combination $dX_m=s_{m,1}dF_{j_{m,1}}+\cdots + s_{m,h_m}dF_{j_{m,h_m}}$. If we use the $s_{m,k}$ as coefficients to form $S$-linear combinations of the equations $(*)_{j_k}$, for each $m$, we get an equation of the form $$(**)_m \qquad \delta_m=-(s_{m,1}\overline{F}_{j_{m,1}}+\cdots + s_{m,h_m}\overline{F}_{j_{m,h_m}}).$$

Showing that these define solutions for all of the equations $(*)_j$ is not immediate, but it is a local question on $S$. However, our local rings $S_{\mathfrak{p}}$ are all formally étale, so the local conditions are satisfied. Then this proves the global claim.

(Note: This is not my proof. I've paraphrased the proof communicated to me by Mel Hochster.)

Edit: Fixed LaTeX using Scott's suggestion.

$\endgroup$
2
  • 3
    $\begingroup$ I recommend using \overline instead of \bar. $\endgroup$
    – S. Carnahan
    Mar 10, 2010 at 23:43
  • 2
    $\begingroup$ This is very nice, though since at the end you pass to a localization (so no longer quite working with a "presentation" as an $R$-algebra anymore), I think it is better if before you launch into the calculation you generalize the setup to allow $S$ to more generally be a localization of $R[X]/I$ at some unspecified multiplicative set (so can then ramp it up to the complement of a prime later in the argument without departing from the initial setup of the argument). The usual business of stating hypotheses in sufficient generality for what comes later in the proof. Just stylistic... $\endgroup$
    – BCnrd
    Mar 11, 2010 at 2:49
1
$\begingroup$

I just thought of a new proof that is for free using modern technology. It resembles the first step of the other proof, but replacing the sheaf of differentials with the cotangent complex.

In order to see that the map $f:R\to S$ is formally étale, it will be enough to show that the entire cotangent complex vanishes. The property of a (derived) module being zero can be tested on stalks, so it suffices to show that the stalk of the cotangent complex $\mathbb{L}_{S/R}$ at each prime $\mathfrak{p}\in \operatorname{Spec}(S)$ vanishes, that is to say $$\mathbb{L}_{S/R}\otimes^\mathsf{L}_S S_\mathfrak{p}=0$$ for all primes $\mathfrak{p}\in \operatorname{Spec}(S)$

Suppose $f:R\to S$ such that for every prime $\mathfrak{p}\in \operatorname{Spec}(S),$ we have that the cotangent complex of the composite map $R\to S\to S_\mathfrak{p}$ vanishes, that is to say, $\mathbb{L}_{S_\mathfrak{p}/R}=0$.

But we have a fibre sequence:

$$\mathbb{L}_{S/R}\otimes^\mathsf{L}_S S_\mathfrak{p}\to \mathbb{L}_{S_\mathfrak{p}/R}\to \mathbb{L}_{S_\mathfrak{p}/S}.$$

However, the cotangent complex $\mathbb{L}_{S_\mathfrak{p}/S}$ vanishes because the localization at a prime is a filtered colimit of localizations, which makes it formally étale. Ergo, we have an equivalence of derived modules

$$\mathbb{L}_{S/R}\otimes^\mathsf{L}_S S_\mathfrak{p}\xrightarrow{\sim} \mathbb{L}_{S_\mathfrak{p}/R},$$

but by assumption, $\mathbb{L}_{S_\mathfrak{p}/R}=0,$ so it follows that

$$\mathbb{L}_{S/R}\otimes^\mathsf{L}_S S_\mathfrak{p}=0,$$

as desired.

$\endgroup$
1
  • $\begingroup$ Hi! I think you deleted one extra word in your edit; it now reads "Ergo, we have an of derived modules". $\endgroup$
    – Emily
    Jul 17, 2020 at 1:59
0
$\begingroup$

For just about any ring $R$ and any prime ideal $Q$, taking $S=R_Q$ will give you a counterexample, simply because $R_Q$ usually won't be finitely generated as an $R$-algebra. For example $R=k[x]$ and $Q=(x)$ works.

$\endgroup$
3
  • 2
    $\begingroup$ We're not looking for étale, we're looking for formally étale. So it just has to satisfy the nilpotent lifting properties. $\endgroup$ Feb 23, 2010 at 11:42
  • $\begingroup$ In particular, if $S=R_Q$ and for every prime $\mathfrak{p}$ of $S$, $S_{\mathfrak{p}}$ is formally étale over $R$, but $S$ only has one maximal ideal, and localizing at this maximal ideal gives us an isomorphic ring since we're localizing away units, so in particular $S_Q$=$R_Q$, which is then by assumption formally étale. $\endgroup$ Feb 23, 2010 at 11:46
  • 3
    $\begingroup$ Whoops, my mistake. I misread the question. Thanks for the correction. $\endgroup$
    – JBorger
    Feb 23, 2010 at 12:20

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.