Exercise 111.35.8 (029J)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Exercise 111.35.8. Consider the morphism of schemes

\[ f : X = \mathop{\mathrm{Spec}}(\mathbf{F}_ p(t)) \longrightarrow \mathop{\mathrm{Spec}}(\mathbf{F}_ p(t^ p)) = S \]

Compute the tangent space of $X/S$ at the unique point of $X$. Isn't that weird? What do you think happens if you take the morphism of schemes corresponding to $\mathbf{F}_ p[t^ p] \to \mathbf{F}_ p[t]$?

Comments (0)

There are also:

3 comment(s) on Section 111.35: Tangent Spaces

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

Comments (0)

Post a comment