4
$\begingroup$

For $X$ an affine variety and $p \in X$ define $T_p X = \mathrm{Der}(k[X], \mathrm{ev}_p)$.

Claim: If $Y = X \setminus Z(f)$ is some Zariski open affine subvariety of $X$ and $p \in Y$, then $T_p X \cong T_pY$.

Definition: Let $X$ be an arbitrary variety, $p \in X$. Define $T_p X = T_p U$ for any open affine neighbourhood $U$ of $p$.

Apparently the above claim tells us this definition makes sense, but I can't see why. I'd appreciate an explanation (note that I'm only really concerned with projective varieties, so if a simpler explanation can be afforded by restricting to this case then please do so!)

Thanks

  • 2
    Distinguished open subsets are a base for the Zariski topology.2012-06-02

1 Answers 1

6

There are two typical topological ideas being used here.

The first is the idea of "localizing" at a point $P$ and performing a calculation $f(U)$ that involves an open neighborhood $U$ of $P$ that is independent of the choice of neighborhood. You can reduce the case of showing $f(U) = f(V)$ to the case of $V \subseteq U$, by the argument $f(U) = f(U \cap V) = f(V)$.

The second idea is that when you have a basis for a topology, you can typically rephrase any idea using open sets into one using the basis sets, because every open set is a union of basis sets.

The sets $D(f)$ (the complements of $Z(f)$) are a basis for the topology of an affine scheme.

$U$ and $V$ both contain a basis set $D(f)$ and $D(g)$, and the their intersection $D(fg)$ is a basis set contained in $U \cap V$. Therefore

$ T_p U \cong T_p D(fg) \cong T_p V.$

Incidentally, you really want to show a stronger claim: that the isomorphisms involved are 'coherent': e.g. that if you have a chain of inclusions $W \subseteq V \subseteq U$, that the isomorphisms

$ T_p U \cong T_p V \cong T_p W $

gives the same isomorphism as $T_p U \cong T_p W$ from invoking the theorem directly on $U$ and $W$. More precisely, you want to construct a functor between categories:

Open neighborhoods of p and inclusions --> Vector spaces and isomorphisms 

If such a functor didn't exist, then even while the tangent space is well-defined as an abstract group, it would be rather difficult to actually use due to subtle technical issues.