词条 | Dualizing sheaf |
释义 |
In algebraic geometry, the dualizing sheaf on a proper scheme X of dimension n over a field k is a coherent sheaf together with a linear functional that induces a natural isomorphism of vector spaces for each coherent sheaf F on X (the superscript * refers to a dual vector space).[1] The linear functional is called a trace morphism. A pair , if it is exists, is unique up to a natural isomorphism. In fact, in the language of category theory, is an object representing the contravariant functor 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: where is a canonical divisor. More generally, the dualuzing 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 is of pure dimension n, there is a natural isomorphism[2] . In particular, if X itself is a Cohen–Macaulay scheme, then the above duality holds for any locally free sheaf. See also
References1. ^{{harvnb|Hartshorne|loc=Ch. III, § 7.}} 2. ^{{harvnb|Kollár–Mori|loc=Theorem 5.71.}} 3. ^{{Cite arxiv|title = Vanishing of the higher direct images of the structure sheaf|arxiv = 1404.1827 |date = 2014-04-07|first = Andre|last = Chatzistamatiou|first2 = Kay|last2 = Rülling}}
External links
1 : Algebraic geometry |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。