The Stacks project

Lemma 40.5.1. The map $I/I^2 \to J/J^2$ induced by $c$ is the composition

\[ I/I^2 \xrightarrow {(1, 1)} I/I^2 \oplus I/I^2 \to J/J^2 \]

where the second arrow comes from the equality $J = (I \otimes B + B \otimes I)C$. The map $i : B \to B$ induces the map $-1 : I/I^2 \to I/I^2$.

Proof. To describe a local homomorphism from $C$ to another local ring it is enough to say what happens to elements of the form $b_1 \otimes b_2$. Keeping this in mind we have the two canonical maps

\[ e_2 : C \to B,\ b_1 \otimes b_2 \mapsto b_1s(e(b_2)),\quad e_1 : C \to B,\ b_1 \otimes b_2 \mapsto t(e(b_1))b_2 \]

corresponding to the embeddings $R \to R \times _{s, U, t} R$ given by $r \mapsto (r, e(s(r)))$ and $r \mapsto (e(t(r)), r)$. These maps define maps $J/J^2 \to I/I^2$ which jointly give an inverse to the map $I/I^2 \oplus I/I^2 \to J/J^2$ of the lemma. Thus to prove statement we only have to show that $e_1 \circ c : B \to B$ and $e_2 \circ c : B \to B$ are the identity maps. This follows from the fact that both compositions $R \to R \times _{s, U, t} R \to R$ are identities.

The statement on $i$ follows from the statement on $c$ and the fact that $c \circ (1, i) = e \circ t$. Some details omitted. $\square$


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 0CK4. Beware of the difference between the letter 'O' and the digit '0'.