Example 88.3.13. Let $\Lambda = k[[x]]$ be the power series ring in $1$ variable over $k$. Set $A = k$ and $B = \Lambda /(x^2)$. Then $B \to A$ is an essential surjection by Lemma 88.3.12 because it is a small extension and the map $B \to A$ does not have a right inverse (in the category $\mathcal{C}_\Lambda$). But the map

$k \cong \mathfrak m_ B/\mathfrak m_ B^2 \longrightarrow \mathfrak m_ A/\mathfrak m_ A^2 = 0$

is not an isomorphism. Thus in Lemma 88.3.12 (3) it is necessary to consider the map of relative cotangent spaces $\mathfrak m_ B/(\mathfrak m_\Lambda B + \mathfrak m_ B^2) \to \mathfrak m_ A/(\mathfrak m_\Lambda A + \mathfrak m_ A^2)$.

There are also:

• 4 comment(s) on Section 88.3: The base category

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).