4
$\begingroup$

Suppose $X$ is a $n$ dimensional proper smooth variety, is the dualizing sheaf of $X$ the top wedge of sheaf of differentials: $\omega_X^0=\wedge^n\Omega^1_X$? If not what is it?

(By Chow lemma, we have a dominating morphism from a smooth projective variety $X'\to X$. Can we construct the dualizing sheaf from this?)

$\endgroup$
1
  • 4
    $\begingroup$ The dualizing sheaf on a smooth variety $X$ is $\omega _X$, there is no need to assume $X$ projective or proper. See e.g. Hartshorne's Residues and duality. $\endgroup$
    – abx
    Commented May 21, 2015 at 7:23

1 Answer 1

6
$\begingroup$

As a complement to abx's comment, and since it is somehow difficult to locate the exact statement in Hartshorne's Residues and Duality, let me point out the precise result (or better a relative version of it), that can be found for instance in 1, Proposition 22 p. 55.

Theorem. Let $f \colon X \to S$ be a flat Cohen-Macauley morphism of schemes (i.e., all fibres of $f$ are Cohen-Macauley schemes), and let $V \subset X$ be the smooth locus of $f$. Then there is a canonical isomorphism $$\omega_f|_V = \det \Omega^1_{V|S},$$ where $\omega_f$ denotes the relative dualizing sheaf with respect to $f$.

In particular, when $S = \textrm{Spec}(k)$ and $X$ is any smooth scheme, we deduce the desired isomorphism $$\omega_X = \det \Omega^1_{X} = \bigwedge^{\dim X} \Omega_X^1.$$

References.

1 Steven L. Kleiman: Relative duality for quasi-coherent sheaves, Compositio Mathematica 41 (1980), 39-60.

$\endgroup$

You must log in to answer this question.