1
$\begingroup$

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.

  • 0
    Wait: I assume all Hom's are finite dimensional. And that $P = \kappa(x)$.2011-11-27
  • 0
    But 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
  • 0
    By finite over $k$ I mean that the Hom is a finite dimensional $k$-vector space.2011-11-27
  • 0
    I'm asking if it is a finite field extension of $k$.2011-11-27
  • 0
    Yes, but why is the Hom-set a field in the 2nd question?2011-11-27
  • 0
    I 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 1

4

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