3
$\begingroup$

A Noetherian scheme $X$ over an algebraically closed field $k$ the set of derivations $\mathcal{O}_{X,x} \to \kappa(x)=k$, is isomorphic to the Zariski tangent space $(\mathfrak{m}/\mathfrak{m}^2)^*$ where $\mathfrak{m}$ is the maximal ideal of $\mathcal{O}_{X,x}$.

$\endgroup$

1 Answer 1

1
$\begingroup$

A possible reference is

A. Borel, Linear Algebraic Groups, AG.15.4, p.34.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .