# Dualizing sheaf

A **dualizing sheaf** is a coherent sheaf \( \omega_X \) on a Noetherian scheme \( X \) that represents the duality operation on coherent sheaves, generalizing the canonical bundle of a smooth variety to singular spaces. For an equidimensional scheme it is the degree \( -\dim(X) \) cohomology sheaf of a dualizing complex, an object in the derived category that induces an anti-equivalence of the derived category of coherent sheaves with itself. The theory was developed by [Alexander Grothendieck](https://www.edgepedia.org/alexander-grothendieck) and worked out in [Robin Hartshorne](https://www.edgepedia.org/robin-hartshorne)'s 1966 lecture notes *Residues and Duality*, and it underlies [Serre duality](https://www.edgepedia.org/serre-duality) and Grothendieck duality.<sup>[1](https://stacks.math.columbia.edu/tag/0A7A)</sup><sup> • </sup><sup>[2](https://stacks.math.columbia.edu/tag/0AWH)</sup><sup> • </sup><sup>[3](https://numdam.org/item/CM_1996__101_2_133_0/)</sup>

| Key fact | Detail |
|---|---|
| Defining object | A dualizing complex \( \omega_A^\bullet \) over a Noetherian ring \( A \) has finite injective dimension, finite cohomology modules, and \( A \to R\mathrm{Hom}_A(\omega_A^\bullet, \omega_A^\bullet) \) a quasi-isomorphism<sup>[1](https://stacks.math.columbia.edu/tag/0A7A)</sup> |
| Duality functor | \( K \mapsto R\mathrm{Hom}_A(K, \omega_A^\bullet) \) is an anti-equivalence of \( D_{\mathrm{Coh}}(A) \) with itself, and \( D \circ D \) is isomorphic to the identity<sup>[1](https://stacks.math.columbia.edu/tag/0A7A)</sup> |
| Uniqueness | Dualizing complexes are not unique; the dualizing module is unique only up to tensoring by an invertible module<sup>[2](https://stacks.math.columbia.edu/tag/0AWH)</sup> |
| Definition as sheaf | For \( X \) equidimensional of finite type over a field \( k \), \( \omega_X = H^{-\dim(X)}(\omega_X^\bullet) \), with \( \omega_X^\bullet \) normalized relative to \( k[0] \)<sup>[2](https://stacks.math.columbia.edu/tag/0AWH)</sup> |
| Existence | If \( A \) has a dualizing complex, every \( A \)-algebra essentially of finite type over \( A \) has one; every projective variety over a field admits a dualizing complex<sup>[1](https://stacks.math.columbia.edu/tag/0A7A)</sup><sup> • </sup><sup>[4](https://sites.math.washington.edu/~kovacs/current/papers/Kovacs__Singularities_of_stable_varieties.pdf)</sup> |
| Singularities detected | \( X \) is Cohen-Macaulay exactly when \( \omega_X^\bullet \simeq \omega_X[d] \), and Gorenstein exactly when it is Cohen-Macaulay and \( \omega_X \) is a line bundle<sup>[4](https://sites.math.washington.edu/~kovacs/current/papers/Kovacs__Singularities_of_stable_varieties.pdf)</sup> |
| Serre duality | For a projective \( n \)-dimensional \( X \), the pairing \( H^i(X, F) \times H^{n-i}(X, F^\vee \otimes \omega_X) \to H^n(X, \omega_X) \to k \) is perfect<sup>[5](https://math.stanford.edu/~vakil/0506-216/216class5354.pdf)</sup> |

## Dualizing complexes

The sheaf is defined through a derived-category object. For a [Noetherian ring](https://www.edgepedia.org/noetherian-ring) \( A \), a **dualizing complex** is a complex of \( A \)-modules \( \omega_A^\bullet \) satisfying three conditions: it has finite injective dimension, each cohomology module \( H^i(\omega_A^\bullet) \) is a finite \( A \)-module, and the natural map \( A \to R\mathrm{Hom}_A(\omega_A^\bullet, \omega_A^\bullet) \) is a quasi-isomorphism.<sup>[1](https://stacks.math.columbia.edu/tag/0A7A)</sup>

The third condition makes the complex self-dual and drives the main structural theorem: the functor

\[ D : K \longmapsto R\mathrm{Hom}_A(K, \omega_A^\bullet) \]

is an anti-equivalence from \( D_{\mathrm{Coh}}(A) \) to itself, exchanging \( D^+_{\mathrm{Coh}}(A) \) with \( D^-_{\mathrm{Coh}}(A) \) and restricting to an anti-equivalence of \( D^b_{\mathrm{Coh}}(A) \); moreover \( D \circ D \) is isomorphic to the identity functor.<sup>[1](https://stacks.math.columbia.edu/tag/0A7A)</sup> Applying \( D \) twice returns the original object, which is the precise sense in which the complex "dualizes" the category.

Dualizing complexes behave well under standard constructions. If \( \omega_A^\bullet \) is dualizing for \( A \), then \( \omega_A^\bullet \otimes_A B \) is dualizing for any localization \( B = S^{-1}A \), \( R\mathrm{Hom}(B, \omega_A^\bullet) \) is dualizing for a finite (hence any surjective) ring map \( A \to B \), and \( \omega_A^\bullet \otimes_A A[x] \) is dualizing for \( A[x] \). Combining these, any \( A \)-algebra essentially of finite type over a ring \( A \) that has a dualizing complex also has one.<sup>[1](https://stacks.math.columbia.edu/tag/0A7A)</sup> Since a field has the trivial dualizing complex \( k[0] \), this covers all schemes of finite type over a field.

## From complex to sheaf

Let \( X \) be a Noetherian scheme with dualizing complex \( \omega_X^\bullet \), and let \( n \) be the smallest integer with \( H^n(\omega_X^\bullet) \neq 0 \). The sheaf \( H^n(\omega_X^\bullet) \) is often called a **dualizing module** or dualizing sheaf and denoted \( \omega_X \).<sup>[2](https://stacks.math.columbia.edu/tag/0AWH)</sup>

Two cautions govern its use. First, the dualizing complex is not unique, and the dualizing module is only unique up to tensoring by an invertible module; in practice one fixes a base \( S \) with a chosen dualizing complex \( \omega_S^\bullet \) and works with the complex normalized relative to it. Second, the integer \( n \) can change when passing to an open subset \( U \subset X \), so \( \omega_X|_U \) need not equal \( \omega_U \); this problem disappears when \( X \) is equidimensional, meaning the associated dimension function takes the same value at every generic point.<sup>[2](https://stacks.math.columbia.edu/tag/0AWH)</sup>

For an equidimensional scheme \( X \) of finite type over a field \( k \), the convention is to take \( \omega_X^\bullet \) normalized relative to \( k[0] \) and set

\[ \omega_X = H^{-\dim(X)}(\omega_X^\bullet). \]

If \( X \) is separated over \( k \), this complex equals \( f^!\mathcal{O}_{\mathrm{Spec}(k)} \) for the structure morphism \( f : X \to \mathrm{Spec}(k) \), and for \( X \) proper over \( k \) it is the special case of a proper morphism to a local base.<sup>[2](https://stacks.math.columbia.edu/tag/0AWH)</sup> For a projective embedding \( X \subseteq \mathbb{P}^N \) with \( d = \dim X \), the dualizing complex can be computed concretely as

\[ \omega_X^\bullet \simeq R\mathcal{H}om_{\mathbb{P}^N}(\mathcal{O}_X, \omega_{\mathbb{P}^N}[N]), \]

which is how the canonical sheaf is defined for any quasi-projective variety, including singular ones.<sup>[4](https://sites.math.washington.edu/~kovacs/current/papers/Kovacs__Singularities_of_stable_varieties.pdf)</sup>

## Basic properties

For a connected Noetherian scheme, the dualizing module \( \omega_X \) is a coherent \( \mathcal{O}_X \)-module satisfying Serre's condition \( (S_2) \), and its support is the union of the irreducible components of maximal dimension with respect to any dimension function.<sup>[2](https://stacks.math.columbia.edu/tag/0AWH)</sup> In the proper setting over a local base, the cohomology sheaves \( H^i(\omega_X^\bullet) \) vanish outside the range \( i \in \{-\dim(X), \ldots, 0\} \), the support of \( H^i \) has dimension at most \( -i \), and \( \omega_X \) again has property \( (S_2) \).<sup>[2](https://stacks.math.columbia.edu/tag/0AWH)</sup>

## Relation to the canonical sheaf and singularities

On a smooth variety the dualizing sheaf recovers a classical object. For a projective nonsingular variety, the dualizing sheaf is isomorphic to the canonical sheaf, the sheaf of top differential forms, and \( H^n(X, \omega_X) \cong k \).<sup>[6](https://dzackgarza.github.io/lean-categories/sources/fc06/c03.html)</sup><sup> • </sup><sup>[5](https://math.stanford.edu/~vakil/0506-216/216class5354.pdf)</sup> For singular varieties the dualizing sheaf plays the canonical sheaf's role: for a normal variety, defining \( \omega_U = \det \Omega_U \) on the nonsingular locus \( U = X \setminus \mathrm{Sing}\,X \) and pushing forward gives a sheaf that agrees with the dualizing construction.<sup>[4](https://sites.math.washington.edu/~kovacs/current/papers/Kovacs__Singularities_of_stable_varieties.pdf)</sup>

The dualizing complex also measures how singular \( X \) is. X is Cohen-Macaulay if and only if \( \omega_X^\bullet \simeq \omega_X[d] \), that is, the only nonzero cohomology sheaf sits in degree \( -d \); in that case the canonical sheaf is isomorphic to the dualizing sheaf. X is Gorenstein if and only if it is Cohen-Macaulay and \( \omega_X \) is a line bundle.<sup>[4](https://sites.math.washington.edu/~kovacs/current/papers/Kovacs__Singularities_of_stable_varieties.pdf)</sup> In commutative algebra the corresponding object is the **canonical module** of a Cohen-Macaulay local ring, defined as a maximal Cohen-Macaulay module of type 1 and finite injective dimension; a ring is Gorenstein precisely when it is its own [canonical module](https://www.edgepedia.org/canonical-module).<sup>[7](https://www.cambridge.org/core/books/abs/cohenmacaulay-rings/canonical-module-gorenstein-rings/E53ACF9553C08F6145C8466118EC2F9A)</sup>

## Serre duality and applications

The dualizing sheaf is the vehicle for Serre duality. For a projective \( n \)-dimensional scheme \( X \) over a field \( k \) with a chosen trace map \( H^n(X, \omega_X) \to k \), the pairing

\[ H^i(X, F) \times H^{n-i}(X, F^\vee \otimes \omega_X) \to H^n(X, \omega_X) \to k \]

is perfect for every finite-rank locally free sheaf \( F \), and the statement extends to all coherent sheaves in the form \( \mathrm{Hom}(F, \omega_X) \cong H^n(F)^\vee \). A dualizing sheaf always exists in this setting, though Vakil's notes observe that while its existence is straightforward to show, getting a hold of it in concrete circumstances is difficult.<sup>[5](https://math.stanford.edu/~vakil/0506-216/216class5354.pdf)</sup> For schemes that are equidimensional and Cohen-Macaulay, the duality isomorphisms hold for all degrees \( i \geq 0 \) and all coherent sheaves, and smoothness over \( k \) is a sufficient condition.<sup>[8](https://ocw.mit.edu/courses/18-726-algebraic-geometry-spring-2009/resources/mit18_726s09_lec25_serre_dual/)</sup>

The theory extends beyond schemes. Grothendieck duality has been developed for Deligne-Mumford stacks, where a proper Cohen-Macaulay stack has a dualizing sheaf that is invertible exactly when the stack is Gorenstein, and Serre duality holds in its usual form for smooth compact Deligne-Mumford stacks.<sup>[9](https://arxiv.org/abs/0811.1955)</sup> A prominent application is the **relative dualizing sheaf** \( \omega_{\mathcal{C}/S} \) of a family of curves, used in the moduli theory of curves and Gromov-Witten theory; for the universal stable curve \( \overline{\pi} : \overline{\mathcal{C}}_g \to \overline{\mathcal{M}}_g \), the sheaf \( \overline{\pi}_* \omega_{\overline{\mathcal{C}}_g/\overline{\mathcal{M}}_g} \) and its determinant extend the Hodge bundle over the moduli of smooth curves.<sup>[5](https://math.stanford.edu/~vakil/0506-216/216class5354.pdf)</sup><sup> • </sup><sup>[10](https://pmc.ncbi.nlm.nih.gov/articles/PMC6413647/)</sup>

## History

The foundations of duality theory in the derived-category language, including dualizing complexes, were worked out by Grothendieck and set down in Hartshorne's *Residues and Duality* (Lecture Notes in [Mathematics](https://www.edgepedia.org/mathematics) 20, Springer, 1966).<sup>[3](https://numdam.org/item/CM_1996__101_2_133_0/)</sup> Joseph Lipman, professor of mathematics at [Purdue University](https://www.edgepedia.org/purdue-university), later gave a semi-expository account of the role of differential forms and residues in duality theory for varieties over a [perfect field](https://www.edgepedia.org/perfect-field) in *Dualizing sheaves, differentials and residues on algebraic varieties* (Astérisque 117, 1984, 150 pages), establishing the compatibility of local and global duality through the residue theorem.<sup>[11](https://numdam.org/item/AST_1984__117__1_0/)</sup><sup> • </sup><sup>[12](https://www.math.purdue.edu/~jlipman/)</sup> The Stacks Project maintains a comprehensive modern treatment of dualizing complexes and modules for Noetherian rings and schemes.<sup>[1](https://stacks.math.columbia.edu/tag/0A7A)</sup><sup> • </sup><sup>[2](https://stacks.math.columbia.edu/tag/0AWH)</sup>

## References

1. [The Stacks Project, Tag 0A7A: Dualizing complexes, Section 47.15](https://stacks.math.columbia.edu/tag/0A7A)
2. [The Stacks Project, Tag 0AWH: Dualizing modules, Section 48.22](https://stacks.math.columbia.edu/tag/0AWH)
3. [Residues and duality for algebraic schemes, Compositio Mathematica 101 (1996)](https://numdam.org/item/CM_1996__101_2_133_0/)
4. [Sándor Kovács, Singularities of stable varieties, Handbook of Moduli](https://sites.math.washington.edu/~kovacs/current/papers/Kovacs__Singularities_of_stable_varieties.pdf)
5. [Ravi Vakil, Math 216 lecture notes: Serre duality](https://math.stanford.edu/~vakil/0506-216/216class5354.pdf)
6. [Hartshorne, Algebraic Geometry, Chapter III (formalization notes)](https://dzackgarza.github.io/lean-categories/sources/fc06/c03.html)
7. [Bruns and Herzog, Cohen-Macaulay Rings, Chapter 3: The canonical module. Gorenstein rings, Cambridge University Press](https://www.cambridge.org/core/books/abs/cohenmacaulay-rings/canonical-module-gorenstein-rings/E53ACF9553C08F6145C8466118EC2F9A)
8. [Kiran Kedlaya, MIT 18.726 Lecture 25: Cohen-Macaulay schemes and Serre duality](https://ocw.mit.edu/courses/18-726-algebraic-geometry-spring-2009/resources/mit18_726s09_lec25_serre_dual/)
9. [Grothendieck Duality for Deligne-Mumford Stacks, arXiv:0811.1955](https://arxiv.org/abs/0811.1955)
10. [On the height of Gross–Schoen cycles in genus three, PMC](https://pmc.ncbi.nlm.nih.gov/articles/PMC6413647/)
11. [Joseph Lipman, Dualizing sheaves, differentials and residues on algebraic varieties, Astérisque 117 (1984)](https://numdam.org/item/AST_1984__117__1_0/)
12. [Joseph Lipman home page, Purdue University](https://www.math.purdue.edu/~jlipman/)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Advanced algebraic structures › Algebraic geometry › Schemes, stacks, and morphisms › Cohomology of schemes and formal functions*

*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Sep 30, 2026; Oct 15, 2026; Oct 25, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license