3
$\begingroup$

In the definition of smooth morphisms, Hartshorne use the notation $dim_{k(x)}(\Omega_{X/Y}\otimes k(x))$· But $\Omega_{X/Y}\otimes k(x)$ is a sheaf, what is the dimension? Thanks for any intepretation.

$\endgroup$
7
  • 4
    $\begingroup$ The sheaf in question is a sheaf over the residue field, which means that it can be viewed as vector space over the residue field. $\endgroup$ Feb 11, 2012 at 7:30
  • 1
    $\begingroup$ Can you explain how to view? $\endgroup$
    – MZWang
    Feb 11, 2012 at 7:46
  • 5
    $\begingroup$ Your question is really about notation. Another way to understand this is to first take the stalk at $x$ to get an $\mathcal{O}_x$-module, and then tensor by the residue field. $\endgroup$ Feb 11, 2012 at 10:33
  • $\begingroup$ Dear MZWang, $k(x)$ is a field. On the other hand, anything tensored with $k(x)$ has an action of $k(x)$ -- multiplication on the right. Thus it's a $k(x)$-vector space. $\endgroup$ Feb 11, 2012 at 15:25
  • $\begingroup$ Thanks to dear all. I think Donu have resolveed my confusion. $\endgroup$
    – MZWang
    Feb 12, 2012 at 6:54

2 Answers 2

2
$\begingroup$

Let $k$ be a field. To give a quasi-coherent sheaf on $\mathrm{Spec} \ k$ is equivalent to giving a $k$-vector space. (To give a coherent sheaf on $\mathrm{Spec} \ k$ is to give a finite-dimensional $k$-vector space.) The dimension of the sheaf is then defined to be the dimension of this $k$-vector space.

$\endgroup$
3
  • $\begingroup$ I'm not quite sure this true. Surely giving a sheaf on $\textrm{Spec} \ k$ is the same as giving an abelian group? If you want it to be a vector space, don't you need the sheaf to be a sheaf of $\mathcal{O}_{\textrm{Spec} \ k}$-modules? $\endgroup$ Feb 11, 2012 at 16:26
  • 1
    $\begingroup$ @Daniel: Strictly speaking, "sheaf" is not a shorthand for "sheaf of abelian groups" either (unless you say so). $\endgroup$
    – user2035
    Feb 11, 2012 at 18:09
  • 2
    $\begingroup$ @Harized probably you want to replace the $k$ in "$k$-dimensional" with some other letter. $\endgroup$ Feb 11, 2012 at 21:25
1
$\begingroup$

This is a possible answer to the title of your question, it is not intended to interpret $\dim_{k(x)}(\Omega_{X/Y}\otimes k(x))$ (which is already explained in previous responses).

On a Noetherian scheme, dimension of a coherent sheaf could mean dimension of its support. This is in analogy with the affine case. If $R$ is a Noetherian ring and $M$ is a finitely generated $R$-module then $\dim M=\dim\big( R/\mathrm{ann}(M)\big)=\dim\mathrm{Supp}\ M$, since $\mathrm{Supp}\ M=V\big(\mathrm{ann}(M)\big)$.

$\endgroup$
2
  • 2
    $\begingroup$ I'm worried that this post might confuse the OP, as the definition of dimension that you have given does not conincide with the definition that they are interested in. Namely with your definition all locally free sheaves have dimension $\textrm {dim}$ $ X$, whereas $\textrm{dim}_{k(x)}(\Omega_{X/Y} \otimes k(x))$ can certainly vary with $Y$. $\endgroup$ Feb 11, 2012 at 16:21
  • 2
    $\begingroup$ Dear Daniel: that is why I began my post by saying: "This is a possible answer to the title of your question, it is not intended to interpret $\dim_{k(x)}(\Omega_{X/Y}\otimes k(x))$". Also, note that the title of this question reads: "what is the dimension of a sheaf?" $\endgroup$ Feb 11, 2012 at 17:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.