Let $P$ be the skyscraper sheaf $k(x)$ of a closed point $x$ on a smooth projective variety $X/k$. Why is $\operatorname{Hom}_k(P,P)$ a field? I think this holds iff $k(x) = k$, but not for strict extensions.
Hom(P,P) field => finite over k
-
0Wait: I assume all Hom's are finite dimensional. And that $P = \kappa(x)$. – 2011-11-27
-
0But we have $\mathrm{Hom}_k(\kappa(x),\kappa(x)) = \mathrm{Mat}_{[\kappa(x):k]}(k)$, which is not a field for $[\kappa(x):k] > 1$? – 2011-11-27
-
0By finite over $k$ I mean that the Hom is a finite dimensional $k$-vector space. – 2011-11-27
-
0I'm asking if it is a finite field extension of $k$. – 2011-11-27
-
0Yes, but why is the Hom-set a field in the 2nd question? – 2011-11-27
-
0I deleted all my comments related to the first part of the question which disappeared in the edit :) – 2011-11-27
-
0@user5262: Please update the title of your post to reflect the new question. *Also note that completely changing the content of a question is not generally acceptable - be sure to post separate questions in the future*. – 2011-11-27
1 Answers
As usual, things will be clearer in a more general context:
Consider a scheme $X$, an $\mathcal O_X$-Module $\mathcal F $, a point $x\in X$, an $\mathcal O_{X,x}$-module $M$ and the associated skyscraper sheaf $\mathcal G^x (M)$, which is also an $\mathcal O_X$-Module. We then have the adjunction formula:
$$Hom_{\mathcal O_X}(\mathcal F, \mathcal G^x (M)) =Hom_{\mathcal O_{X,x}}(\mathcal F_x,M) $$
In the special case where $\mathcal F=\mathcal G^x (M)$, this yields $$ Hom_{\mathcal O_X}(\mathcal G^x (M), \mathcal G^x (M)) =Hom_{\mathcal O_{X,x}}(M,M)$$
[remember that $(\mathcal G^x (M))_x=M$]
And in your even more special case where $M=\kappa (x)$ ( and where your notation is $P=\mathcal G^x (M) $ ) :
$$Hom_{\mathcal O_X}(P,P)=Hom_{\mathcal O_{X,x}}(\kappa (x),\kappa (x)) $$
If you take into account that $\kappa (x)$ is killed by ${\mathfrak m}_x$ you get $$ Hom_{\mathcal O_X}(P,P)=Hom_{\kappa (x)}(\kappa (x),\kappa (x)) $$
which is indeed isomorphic to the field $\kappa (x)$.
(Smoothness and projectiveness of $X$ are irrelevant and so is the closedness of $x$)
Summary: $Hom_{\mathcal O_X}(P,P)=\kappa (x)$