Dualizing sheaf
In algebraic geometry, the dualizing sheaf on a proper scheme X of dimension n over a field k is a coherent sheaf [math]\displaystyle{ \omega_X }[/math] together with a linear functional
- [math]\displaystyle{ t_X: \operatorname{H}^n(X, \omega_X) \to k }[/math]
that induces a natural isomorphism of vector spaces
- [math]\displaystyle{ \operatorname{Hom}_X(F, \omega_X) \simeq \operatorname{H}^n(X, F)^*, \, \varphi \mapsto t_X \circ \varphi }[/math]
for each coherent sheaf F on X (the superscript * refers to a dual vector space).[1] The linear functional [math]\displaystyle{ t_X }[/math] is called a trace morphism.
A pair [math]\displaystyle{ (\omega_X, t_X) }[/math], if it is exists, is unique up to a natural isomorphism. In fact, in the language of category theory, [math]\displaystyle{ \omega_X }[/math] is an object representing the contravariant functor [math]\displaystyle{ F \mapsto \operatorname{H}^n(X, F)^* }[/math] from the category of coherent sheaves on X to the category of k-vector spaces.
For a normal projective variety X, the dualizing sheaf exists and it is in fact the canonical sheaf: [math]\displaystyle{ \omega_X = \mathcal{O}_X(K_X) }[/math] where [math]\displaystyle{ K_X }[/math] is a canonical divisor. More generally, the dualizing sheaf exists for any projective scheme.
There is the following variant of Serre's duality theorem: for a projective scheme X of pure dimension n and a Cohen–Macaulay sheaf F on X such that [math]\displaystyle{ \operatorname{Supp}(F) }[/math] is of pure dimension n, there is a natural isomorphism[2]
- [math]\displaystyle{ \operatorname{H}^i(X, F) \simeq \operatorname{H}^{n-i}(X, \operatorname{\mathcal{H}om}(F, \omega_X))^* }[/math].
In particular, if X itself is a Cohen–Macaulay scheme, then the above duality holds for any locally free sheaf.
Relative dualizing sheaf
Given a proper finitely presented morphism of schemes [math]\displaystyle{ f: X \to Y }[/math], (Kleiman 1980) defines the relative dualizing sheaf [math]\displaystyle{ \omega_f }[/math] or [math]\displaystyle{ \omega_{X/Y} }[/math] as[3] the sheaf such that for each open subset [math]\displaystyle{ U \subset Y }[/math] and a quasi-coherent sheaf [math]\displaystyle{ F }[/math] on [math]\displaystyle{ U }[/math], there is a canonical isomorphism
- [math]\displaystyle{ (f|_U)^! F = \omega_f \otimes_{\mathcal{O}_Y} F }[/math],
which is functorial in [math]\displaystyle{ F }[/math] and commutes with open restrictions.
Example:[4] If [math]\displaystyle{ f }[/math] is a local complete intersection morphism between schemes of finite type over a field, then (by definition) each point of [math]\displaystyle{ X }[/math] has an open neighborhood [math]\displaystyle{ U }[/math] and a factorization [math]\displaystyle{ f|_U: U \overset{i}\to Z \overset{\pi}\to Y }[/math], a regular embedding of codimension [math]\displaystyle{ k }[/math] followed by a smooth morphism of relative dimension [math]\displaystyle{ r }[/math]. Then
- [math]\displaystyle{ \omega_f |_U \simeq \wedge^r i^* \Omega^1_{\pi} \otimes \wedge^k N_{U/Z} }[/math]
where [math]\displaystyle{ \Omega^1_{\pi} }[/math] is the sheaf of relative Kähler differentials and [math]\displaystyle{ N_{U/Z} }[/math] is the normal bundle to [math]\displaystyle{ i }[/math].
Examples
Dualizing sheaf of a nodal curve
For a smooth curve C, its dualizing sheaf [math]\displaystyle{ \omega_C }[/math] can be given by the canonical sheaf [math]\displaystyle{ \Omega^1_C }[/math].
For a nodal curve C with a node p, we may consider the normalization [math]\displaystyle{ \pi:\tilde C\to C }[/math] with two points x, y identified. Let [math]\displaystyle{ \Omega_{\tilde C}(x+y) }[/math] be the sheaf of rational 1-forms on [math]\displaystyle{ \tilde C }[/math] with possible simple poles at x and y, and let [math]\displaystyle{ \Omega_{\tilde C}(x+y)_0 }[/math] be the subsheaf consisting of rational 1-forms with the sum of residues at x and y equal to zero. Then the direct image [math]\displaystyle{ \pi_*\Omega_{\tilde C}(x+y)_0 }[/math] defines a dualizing sheaf for the nodal curve C. The construction can be easily generalized to nodal curves with multiple nodes.
This is used in the construction of the Hodge bundle on the compactified moduli space of curves: it allows us to extend the relative canonical sheaf over the boundary which parametrizes nodal curves. The Hodge bundle is then defined as the direct image of a relative dualizing sheaf.
Dualizing sheaf of projective schemes
As mentioned above, the dualizing sheaf exists for all projective schemes. For X a closed subscheme of Pn of codimension r, its dualizing sheaf can be given as [math]\displaystyle{ \mathcal{Ext}^r_{\mathbf{P}^n}(\mathcal{O}_X,\omega_{\mathbf{P}^n}) }[/math]. In other words, one uses the dualizing sheaf on the ambient Pn to construct the dualizing sheaf on X.[1]
See also
Note
- ↑ 1.0 1.1 Hartshorne 1977, Ch. III, § 7.
- ↑ Kollár & Mori 1998, Theorem 5.71.
- ↑ Kleiman 1980, Definition 6
- ↑ Arbarello, Cornalba & Griffiths 2011, Ch. X., near the end of § 2.
References
- Arbarello, E.; Cornalba, M.; Griffiths, P.A. (2011). Geometry of Algebraic Curves. Grundlehren der mathematischen Wissenschaften. 268. doi:10.1007/978-3-540-69392-5. ISBN 978-3-540-42688-2.
- Kleiman, Steven L. (1980). "Relative duality for quasi-coherent sheaves". Compositio Mathematica 41 (1): 39–60. http://www.numdam.org/item/CM_1980__41_1_39_0.pdf.
- Kollár, János; Mori, Shigefumi (1998), Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, 134, Cambridge University Press, ISBN 978-0-521-63277-5
- Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9
External links
- Vakil, Ravi. "FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 53 AND 54". http://math.stanford.edu/~vakil/0506-216/216class5354.pdf.
- Relative dualizing sheaf (reference, behavior)
 |  |
