Knowledge (XXG)

Dualizing sheaf

Source đź“ť

2195: 259: 748: 1921: 1340: 1023: 1181: 137: 148: 627: 447: 1793: 526: 1810:: 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. 1719: 1626: 615: 1569: 354: 1375: 1517: 1833: 869: 1655: 1482: 834: 385: 63: 2236: 1237: 895: 800: 1414: 553: 301: 1438: 1229: 1205: 1117: 1097: 1073: 1047: 935: 915: 1378: 2229: 2141: 2106: 2047: 943: 1122: 1076: 71: 2260: 254:{\displaystyle \operatorname {Hom} _{X}(F,\omega _{X})\simeq \operatorname {H} ^{n}(X,F)^{*},\,\varphi \mapsto t_{X}\circ \varphi } 743:{\displaystyle \operatorname {H} ^{i}(X,F)\simeq \operatorname {H} ^{n-i}(X,\operatorname {{\mathcal {H}}om} (F,\omega _{X}))^{*}} 2222: 394: 1732: 471: 2133: 2255: 2098: 1668: 563: 759: 2128: 1582: 588: 1533: 1807: 575: 313: 1348: 1916:{\displaystyle {\mathcal {Ext}}_{\mathbf {P} ^{n}}^{r}({\mathcal {O}}_{X},\omega _{\mathbf {P} ^{n}})} 1490: 1335:{\displaystyle \omega _{f}|_{U}\simeq \wedge ^{r}i^{*}\Omega _{\pi }^{1}\otimes \wedge ^{k}N_{U/Z}} 839: 388: 1631: 2202: 1460: 812: 363: 41: 874: 2137: 2102: 2043: 1184: 773: 556: 273: 2206: 1384: 2166: 2123: 2035: 1955: 1940: 2151: 2116: 2085: 2057: 531: 279: 2147: 2112: 2081: 2053: 1950: 1945: 1485: 1208: 465: 357: 1423: 1214: 1190: 1102: 1082: 1058: 1032: 920: 900: 36: 356:, if it is exists, is unique up to a natural isomorphism. In fact, in the language of 2249: 1417: 2066: 1803: 1799:. The construction can be easily generalized to nodal curves with multiple nodes. 2194: 1079:
between schemes of finite type over a field, then (by definition) each point of
1818:
As mentioned above, the dualizing sheaf exists for all projective schemes. For
2039: 1721:
be the subsheaf consisting of rational 1-forms with the sum of residues at
559:. More generally, the dualizing sheaf exists for any projective scheme. 1018:{\displaystyle (f|_{U})^{!}F=\omega _{f}\otimes _{{\mathcal {O}}_{Y}}F} 1176:{\displaystyle f|_{U}:U{\overset {i}{\to }}Z{\overset {\pi }{\to }}Y} 2180: 2034:. Grundlehren der mathematischen Wissenschaften. Vol. 268. 132:{\displaystyle t_{X}:\operatorname {H} ^{n}(X,\omega _{X})\to k} 1923:. In other words, one uses the dualizing sheaf on the ambient 1877: 1846: 1843: 1840: 999: 693: 491: 762:, then the above duality holds for any locally free sheaf. 2013: 1973: 1971: 442:{\displaystyle F\mapsto \operatorname {H} ^{n}(X,F)^{*}} 2210: 770:
Given a proper finitely presented morphism of schemes
2167:"FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 53 AND 54" 2030:
Arbarello, E.; Cornalba, M.; Griffiths, P.A. (2011).
1836: 1788:{\displaystyle \pi _{*}\Omega _{\tilde {C}}(x+y)_{0}} 1735: 1671: 1634: 1585: 1536: 1493: 1463: 1426: 1387: 1351: 1240: 1217: 1193: 1125: 1105: 1085: 1061: 1035: 946: 923: 903: 877: 842: 815: 776: 630: 591: 534: 521:{\displaystyle \omega _{X}={\mathcal {O}}_{X}(K_{X})} 474: 397: 366: 316: 282: 151: 74: 44: 142:
that induces a natural isomorphism of vector spaces
2174:
Math 216: Foundations of algebraic geometry 2005-06
464:, the dualizing sheaf exists and it is in fact the 2097:, Cambridge Tracts in Mathematics, vol. 134, 1915: 1787: 1713: 1649: 1620: 1563: 1511: 1476: 1432: 1408: 1369: 1334: 1223: 1199: 1175: 1111: 1091: 1067: 1041: 1017: 929: 909: 889: 863: 828: 794: 742: 609: 547: 520: 441: 379: 348: 295: 253: 131: 57: 2181:Relative dualizing sheaf (reference, behavior) 1795:defines a dualizing sheaf for the nodal curve 2230: 2067:"Relative duality for quasi-coherent sheaves" 1714:{\displaystyle \Omega _{\tilde {C}}(x+y)_{0}} 8: 871:as the sheaf such that for each open subset 2136:, vol. 52, New York: Springer-Verlag, 2237: 2223: 2095:Birational geometry of algebraic varieties 1989: 1977: 1902: 1897: 1895: 1882: 1876: 1875: 1865: 1858: 1853: 1851: 1839: 1838: 1835: 1779: 1751: 1750: 1740: 1734: 1705: 1677: 1676: 1670: 1636: 1635: 1633: 1621:{\displaystyle \Omega _{\tilde {C}}(x+y)} 1591: 1590: 1584: 1544: 1543: 1535: 1503: 1498: 1492: 1468: 1462: 1425: 1396: 1392: 1386: 1361: 1356: 1350: 1322: 1318: 1308: 1295: 1290: 1280: 1270: 1257: 1252: 1245: 1239: 1216: 1192: 1160: 1147: 1135: 1130: 1124: 1104: 1084: 1060: 1034: 1004: 998: 997: 995: 985: 969: 959: 954: 945: 922: 902: 876: 851: 847: 841: 820: 814: 775: 734: 721: 692: 691: 690: 666: 635: 629: 590: 539: 533: 509: 496: 490: 489: 479: 473: 449:from the category of coherent sheaves on 433: 408: 396: 371: 365: 337: 324: 315: 287: 281: 239: 228: 219: 194: 178: 156: 150: 114: 92: 79: 73: 49: 43: 2014:Arbarello, Cornalba & Griffiths 2011 1802:This is used in the construction of the 610:{\displaystyle \operatorname {Supp} (F)} 2093:Kollár, János; Mori, Shigefumi (1998), 2001: 1967: 803: 1830:, its dualizing sheaf can be given as 1564:{\displaystyle \pi :{\tilde {C}}\to C} 1379:sheaf of relative Kähler differentials 1814:Dualizing sheaf of projective schemes 1729:equal to zero. Then the direct image 1049:and commutes with open restrictions. 7: 2191: 2189: 1927:to construct the dualizing sheaf on 1628:be the sheaf of rational 1-forms on 1530:, we may consider the normalization 1077:local complete intersection morphism 937:, there is a canonical isomorphism 349:{\displaystyle (\omega _{X},t_{X})} 2209:. You can help Knowledge (XXG) by 1747: 1673: 1587: 1495: 1370:{\displaystyle \Omega _{\pi }^{1}} 1353: 1287: 701: 698: 663: 632: 562:There is the following variant of 405: 191: 89: 65:together with a linear functional 14: 621:, there is a natural isomorphism 2193: 1898: 1854: 1449:Dualizing sheaf of a nodal curve 460:For a normal projective variety 1512:{\displaystyle \Omega _{C}^{1}} 272:(the superscript * refers to a 16:Concept from algebraic geometry 2016:, Ch. X., near the end of § 2. 1910: 1871: 1776: 1763: 1756: 1702: 1689: 1682: 1657:with possible simple poles at 1641: 1615: 1603: 1596: 1555: 1549: 1253: 1162: 1149: 1131: 966: 955: 947: 786: 731: 727: 708: 681: 656: 644: 604: 598: 515: 502: 430: 417: 401: 343: 317: 232: 216: 203: 184: 165: 123: 120: 101: 1: 2134:Graduate Texts in Mathematics 864:{\displaystyle \omega _{X/Y}} 2032:Geometry of Algebraic Curves 1650:{\displaystyle {\tilde {C}}} 2065:Kleiman, Steven L. (1980). 1477:{\displaystyle \omega _{C}} 897:and a quasi-coherent sheaf 829:{\displaystyle \omega _{f}} 380:{\displaystyle \omega _{X}} 58:{\displaystyle \omega _{X}} 19:In algebraic geometry, the 2277: 2188: 2099:Cambridge University Press 890:{\displaystyle U\subset Y} 566:: for a projective scheme 391:the contravariant functor 2040:10.1007/978-3-540-69392-5 1099:has an open neighborhood 276:). The linear functional 2261:Algebraic geometry stubs 808:relative dualizing sheaf 795:{\displaystyle f:X\to Y} 766:Relative dualizing sheaf 264:for each coherent sheaf 1409:{\displaystyle N_{U/Z}} 1029:which is functorial in 564:Serre's duality theorem 2205:–related article is a 2074:Compositio Mathematica 1990:Kollár & Mori 1998 1917: 1822:a closed subscheme of 1808:moduli space of curves 1789: 1715: 1651: 1622: 1565: 1513: 1478: 1457:, its dualizing sheaf 1434: 1410: 1371: 1336: 1225: 1211:of relative dimension 1201: 1177: 1113: 1093: 1069: 1043: 1019: 931: 911: 891: 865: 830: 796: 744: 611: 549: 522: 443: 381: 350: 297: 255: 133: 59: 1918: 1790: 1716: 1652: 1623: 1566: 1514: 1479: 1435: 1411: 1372: 1337: 1226: 1202: 1178: 1114: 1094: 1070: 1044: 1020: 932: 912: 892: 866: 831: 797: 760:Cohen–Macaulay scheme 745: 617:is of pure dimension 612: 550: 548:{\displaystyle K_{X}} 523: 444: 382: 351: 298: 296:{\displaystyle t_{X}} 256: 134: 60: 1834: 1806:on the compactified 1733: 1669: 1632: 1583: 1534: 1491: 1484:can be given by the 1461: 1424: 1385: 1349: 1238: 1215: 1191: 1123: 1119:and a factorization 1103: 1083: 1059: 1033: 944: 921: 901: 875: 840: 813: 774: 628: 589: 576:Cohen–Macaulay sheaf 532: 472: 395: 364: 314: 280: 149: 72: 42: 1870: 1508: 1453:For a smooth curve 1366: 1300: 453:to the category of 389:object representing 23:on a proper scheme 2256:Algebraic geometry 2203:algebraic geometry 2129:Algebraic Geometry 1913: 1837: 1785: 1711: 1647: 1618: 1561: 1522:For a nodal curve 1509: 1494: 1474: 1430: 1406: 1367: 1352: 1332: 1286: 1221: 1197: 1173: 1109: 1089: 1065: 1039: 1015: 927: 907: 887: 861: 826: 792: 754:In particular, if 740: 607: 570:of pure dimension 545: 518: 439: 377: 346: 293: 251: 129: 55: 2218: 2217: 2143:978-0-387-90244-9 2124:Hartshorne, Robin 2108:978-0-521-63277-5 2049:978-3-540-42688-2 1759: 1685: 1644: 1599: 1552: 1433:{\displaystyle i} 1224:{\displaystyle r} 1200:{\displaystyle k} 1185:regular embedding 1168: 1155: 1112:{\displaystyle U} 1092:{\displaystyle X} 1068:{\displaystyle f} 1042:{\displaystyle F} 930:{\displaystyle U} 910:{\displaystyle F} 557:canonical divisor 274:dual vector space 2268: 2239: 2232: 2225: 2197: 2190: 2177: 2171: 2154: 2119: 2089: 2071: 2061: 2017: 2011: 2005: 1999: 1993: 1987: 1981: 1975: 1956:Dualizing module 1941:coherent duality 1922: 1920: 1919: 1914: 1909: 1908: 1907: 1906: 1901: 1887: 1886: 1881: 1880: 1869: 1864: 1863: 1862: 1857: 1850: 1849: 1794: 1792: 1791: 1786: 1784: 1783: 1762: 1761: 1760: 1752: 1745: 1744: 1720: 1718: 1717: 1712: 1710: 1709: 1688: 1687: 1686: 1678: 1656: 1654: 1653: 1648: 1646: 1645: 1637: 1627: 1625: 1624: 1619: 1602: 1601: 1600: 1592: 1579:identified. Let 1571:with two points 1570: 1568: 1567: 1562: 1554: 1553: 1545: 1518: 1516: 1515: 1510: 1507: 1502: 1483: 1481: 1480: 1475: 1473: 1472: 1439: 1437: 1436: 1431: 1415: 1413: 1412: 1407: 1405: 1404: 1400: 1376: 1374: 1373: 1368: 1365: 1360: 1341: 1339: 1338: 1333: 1331: 1330: 1326: 1313: 1312: 1299: 1294: 1285: 1284: 1275: 1274: 1262: 1261: 1256: 1250: 1249: 1230: 1228: 1227: 1222: 1206: 1204: 1203: 1198: 1182: 1180: 1179: 1174: 1169: 1161: 1156: 1148: 1140: 1139: 1134: 1118: 1116: 1115: 1110: 1098: 1096: 1095: 1090: 1074: 1072: 1071: 1066: 1048: 1046: 1045: 1040: 1024: 1022: 1021: 1016: 1011: 1010: 1009: 1008: 1003: 1002: 990: 989: 974: 973: 964: 963: 958: 936: 934: 933: 928: 916: 914: 913: 908: 896: 894: 893: 888: 870: 868: 867: 862: 860: 859: 855: 835: 833: 832: 827: 825: 824: 801: 799: 798: 793: 749: 747: 746: 741: 739: 738: 726: 725: 704: 697: 696: 677: 676: 640: 639: 616: 614: 613: 608: 554: 552: 551: 546: 544: 543: 527: 525: 524: 519: 514: 513: 501: 500: 495: 494: 484: 483: 457:-vector spaces. 448: 446: 445: 440: 438: 437: 413: 412: 386: 384: 383: 378: 376: 375: 355: 353: 352: 347: 342: 341: 329: 328: 302: 300: 299: 294: 292: 291: 260: 258: 257: 252: 244: 243: 224: 223: 199: 198: 183: 182: 161: 160: 138: 136: 135: 130: 119: 118: 97: 96: 84: 83: 64: 62: 61: 56: 54: 53: 2276: 2275: 2271: 2270: 2269: 2267: 2266: 2265: 2246: 2245: 2244: 2243: 2186: 2169: 2164: 2161: 2144: 2122: 2109: 2092: 2069: 2064: 2050: 2029: 2026: 2021: 2020: 2012: 2008: 2000: 1996: 1992:, Theorem 5.71. 1988: 1984: 1980:, Ch. III, § 7. 1978:Hartshorne 1977 1976: 1969: 1964: 1951:Gorenstein ring 1946:reflexive sheaf 1937: 1896: 1891: 1874: 1852: 1832: 1831: 1826:of codimension 1816: 1775: 1746: 1736: 1731: 1730: 1701: 1672: 1667: 1666: 1630: 1629: 1586: 1581: 1580: 1532: 1531: 1489: 1488: 1486:canonical sheaf 1464: 1459: 1458: 1451: 1446: 1422: 1421: 1388: 1383: 1382: 1347: 1346: 1314: 1304: 1276: 1266: 1251: 1241: 1236: 1235: 1213: 1212: 1209:smooth morphism 1189: 1188: 1187:of codimension 1129: 1121: 1120: 1101: 1100: 1081: 1080: 1057: 1056: 1031: 1030: 996: 991: 981: 965: 953: 942: 941: 919: 918: 899: 898: 873: 872: 843: 838: 837: 816: 811: 810: 772: 771: 768: 730: 717: 662: 631: 626: 625: 587: 586: 535: 530: 529: 505: 488: 475: 470: 469: 466:canonical sheaf 429: 404: 393: 392: 367: 362: 361: 358:category theory 333: 320: 312: 311: 283: 278: 277: 235: 215: 190: 174: 152: 147: 146: 110: 88: 75: 70: 69: 45: 40: 39: 21:dualizing sheaf 17: 12: 11: 5: 2274: 2272: 2264: 2263: 2258: 2248: 2247: 2242: 2241: 2234: 2227: 2219: 2216: 2215: 2198: 2184: 2183: 2178: 2160: 2159:External links 2157: 2156: 2155: 2142: 2120: 2107: 2090: 2062: 2048: 2025: 2022: 2019: 2018: 2006: 2004:, Definition 6 1994: 1982: 1966: 1965: 1963: 1960: 1959: 1958: 1953: 1948: 1943: 1936: 1933: 1912: 1905: 1900: 1894: 1890: 1885: 1879: 1873: 1868: 1861: 1856: 1848: 1845: 1842: 1815: 1812: 1782: 1778: 1774: 1771: 1768: 1765: 1758: 1755: 1749: 1743: 1739: 1708: 1704: 1700: 1697: 1694: 1691: 1684: 1681: 1675: 1643: 1640: 1617: 1614: 1611: 1608: 1605: 1598: 1595: 1589: 1560: 1557: 1551: 1548: 1542: 1539: 1506: 1501: 1497: 1471: 1467: 1450: 1447: 1445: 1442: 1429: 1403: 1399: 1395: 1391: 1364: 1359: 1355: 1343: 1342: 1329: 1325: 1321: 1317: 1311: 1307: 1303: 1298: 1293: 1289: 1283: 1279: 1273: 1269: 1265: 1260: 1255: 1248: 1244: 1220: 1207:followed by a 1196: 1172: 1167: 1164: 1159: 1154: 1151: 1146: 1143: 1138: 1133: 1128: 1108: 1088: 1064: 1038: 1027: 1026: 1014: 1007: 1001: 994: 988: 984: 980: 977: 972: 968: 962: 957: 952: 949: 926: 906: 886: 883: 880: 858: 854: 850: 846: 823: 819: 806:) defines the 791: 788: 785: 782: 779: 767: 764: 752: 751: 737: 733: 729: 724: 720: 716: 713: 710: 707: 703: 700: 695: 689: 686: 683: 680: 675: 672: 669: 665: 661: 658: 655: 652: 649: 646: 643: 638: 634: 606: 603: 600: 597: 594: 542: 538: 517: 512: 508: 504: 499: 493: 487: 482: 478: 436: 432: 428: 425: 422: 419: 416: 411: 407: 403: 400: 374: 370: 345: 340: 336: 332: 327: 323: 319: 305:trace morphism 290: 286: 262: 261: 250: 247: 242: 238: 234: 231: 227: 222: 218: 214: 211: 208: 205: 202: 197: 193: 189: 186: 181: 177: 173: 170: 167: 164: 159: 155: 140: 139: 128: 125: 122: 117: 113: 109: 106: 103: 100: 95: 91: 87: 82: 78: 52: 48: 37:coherent sheaf 15: 13: 10: 9: 6: 4: 3: 2: 2273: 2262: 2259: 2257: 2254: 2253: 2251: 2240: 2235: 2233: 2228: 2226: 2221: 2220: 2214: 2212: 2208: 2204: 2199: 2196: 2192: 2187: 2182: 2179: 2175: 2168: 2165:Vakil, Ravi. 2163: 2162: 2158: 2153: 2149: 2145: 2139: 2135: 2131: 2130: 2125: 2121: 2118: 2114: 2110: 2104: 2100: 2096: 2091: 2087: 2083: 2079: 2075: 2068: 2063: 2059: 2055: 2051: 2045: 2041: 2037: 2033: 2028: 2027: 2023: 2015: 2010: 2007: 2003: 1998: 1995: 1991: 1986: 1983: 1979: 1974: 1972: 1968: 1961: 1957: 1954: 1952: 1949: 1947: 1944: 1942: 1939: 1938: 1934: 1932: 1930: 1926: 1903: 1892: 1888: 1883: 1866: 1859: 1829: 1825: 1821: 1813: 1811: 1809: 1805: 1800: 1798: 1780: 1772: 1769: 1766: 1753: 1741: 1737: 1728: 1724: 1706: 1698: 1695: 1692: 1679: 1664: 1660: 1638: 1612: 1609: 1606: 1593: 1578: 1574: 1558: 1546: 1540: 1537: 1529: 1525: 1520: 1504: 1499: 1487: 1469: 1465: 1456: 1448: 1443: 1441: 1427: 1419: 1418:normal bundle 1401: 1397: 1393: 1389: 1380: 1362: 1357: 1327: 1323: 1319: 1315: 1309: 1305: 1301: 1296: 1291: 1281: 1277: 1271: 1267: 1263: 1258: 1246: 1242: 1234: 1233: 1232: 1218: 1210: 1194: 1186: 1170: 1165: 1157: 1152: 1144: 1141: 1136: 1126: 1106: 1086: 1078: 1062: 1054: 1050: 1036: 1012: 1005: 992: 986: 982: 978: 975: 970: 960: 950: 940: 939: 938: 924: 904: 884: 881: 878: 856: 852: 848: 844: 821: 817: 809: 805: 789: 783: 780: 777: 765: 763: 761: 757: 735: 722: 718: 714: 711: 705: 687: 684: 678: 673: 670: 667: 659: 653: 650: 647: 641: 636: 624: 623: 622: 620: 601: 595: 592: 584: 580: 577: 573: 569: 565: 560: 558: 540: 536: 510: 506: 497: 485: 480: 476: 467: 463: 458: 456: 452: 434: 426: 423: 420: 414: 409: 398: 390: 372: 368: 359: 338: 334: 330: 325: 321: 308: 306: 288: 284: 275: 271: 267: 248: 245: 240: 236: 229: 225: 220: 212: 209: 206: 200: 195: 187: 179: 175: 171: 168: 162: 157: 153: 145: 144: 143: 126: 115: 111: 107: 104: 98: 93: 85: 80: 76: 68: 67: 66: 50: 46: 38: 34: 31:over a field 30: 27:of dimension 26: 22: 2211:expanding it 2200: 2185: 2173: 2127: 2094: 2080:(1): 39–60. 2077: 2073: 2031: 2009: 2002:Kleiman 1980 1997: 1985: 1928: 1924: 1827: 1823: 1819: 1817: 1804:Hodge bundle 1801: 1796: 1726: 1722: 1662: 1658: 1576: 1572: 1527: 1526:with a node 1523: 1521: 1454: 1452: 1344: 1052: 1051: 1028: 807: 804:Kleiman 1980 769: 758:itself is a 755: 753: 618: 582: 578: 571: 567: 561: 461: 459: 454: 450: 309: 304: 303:is called a 269: 265: 263: 141: 32: 28: 24: 20: 18: 2250:Categories 2024:References 1665:, and let 585:such that 1893:ω 1757:~ 1748:Ω 1742:∗ 1738:π 1683:~ 1674:Ω 1642:~ 1597:~ 1588:Ω 1556:→ 1550:~ 1538:π 1496:Ω 1466:ω 1358:π 1354:Ω 1306:∧ 1302:⊗ 1292:π 1288:Ω 1282:∗ 1268:∧ 1264:≃ 1243:ω 1166:π 1163:→ 1150:→ 993:⊗ 983:ω 882:⊂ 845:ω 818:ω 787:→ 736:∗ 719:ω 706:⁡ 679:⁡ 671:− 660:≃ 642:⁡ 596:⁡ 477:ω 435:∗ 415:⁡ 402:↦ 369:ω 322:ω 249:φ 246:∘ 233:↦ 230:φ 221:∗ 201:⁡ 188:≃ 176:ω 163:⁡ 124:→ 112:ω 99:⁡ 47:ω 2126:(1977), 1935:See also 1444:Examples 2152:0463157 2117:1658959 2086:0578050 2058:2807457 1416:is the 1377:is the 1231:. Then 1053:Example 310:A pair 2150:  2140:  2115:  2105:  2084:  2056:  2046:  1345:where 574:and a 528:where 387:is an 2201:This 2170:(PDF) 2070:(PDF) 1075:is a 1055:: If 555:is a 35:is a 2207:stub 2138:ISBN 2103:ISBN 2044:ISBN 1962:Note 1725:and 1661:and 1381:and 1183:, a 593:Supp 2036:doi 1420:to 917:on 836:or 802:, ( 581:on 268:on 154:Hom 2252:: 2172:. 2148:MR 2146:, 2132:, 2113:MR 2111:, 2101:, 2082:MR 2078:41 2076:. 2072:. 2054:MR 2052:. 2042:. 1970:^ 1931:. 1575:, 1519:. 1440:. 468:: 360:, 307:. 2238:e 2231:t 2224:v 2213:. 2176:. 2088:. 2060:. 2038:: 1929:X 1925:P 1911:) 1904:n 1899:P 1889:, 1884:X 1878:O 1872:( 1867:r 1860:n 1855:P 1847:t 1844:x 1841:E 1828:r 1824:P 1820:X 1797:C 1781:0 1777:) 1773:y 1770:+ 1767:x 1764:( 1754:C 1727:y 1723:x 1707:0 1703:) 1699:y 1696:+ 1693:x 1690:( 1680:C 1663:y 1659:x 1639:C 1616:) 1613:y 1610:+ 1607:x 1604:( 1594:C 1577:y 1573:x 1559:C 1547:C 1541:: 1528:p 1524:C 1505:1 1500:C 1470:C 1455:C 1428:i 1402:Z 1398:/ 1394:U 1390:N 1363:1 1328:Z 1324:/ 1320:U 1316:N 1310:k 1297:1 1278:i 1272:r 1259:U 1254:| 1247:f 1219:r 1195:k 1171:Y 1158:Z 1153:i 1145:U 1142:: 1137:U 1132:| 1127:f 1107:U 1087:X 1063:f 1037:F 1025:, 1013:F 1006:Y 1000:O 987:f 979:= 976:F 971:! 967:) 961:U 956:| 951:f 948:( 925:U 905:F 885:Y 879:U 857:Y 853:/ 849:X 822:f 790:Y 784:X 781:: 778:f 756:X 750:. 732:) 728:) 723:X 715:, 712:F 709:( 702:m 699:o 694:H 688:, 685:X 682:( 674:i 668:n 664:H 657:) 654:F 651:, 648:X 645:( 637:i 633:H 619:n 605:) 602:F 599:( 583:X 579:F 572:n 568:X 541:X 537:K 516:) 511:X 507:K 503:( 498:X 492:O 486:= 481:X 462:X 455:k 451:X 431:) 427:F 424:, 421:X 418:( 410:n 406:H 399:F 373:X 344:) 339:X 335:t 331:, 326:X 318:( 289:X 285:t 270:X 266:F 241:X 237:t 226:, 217:) 213:F 210:, 207:X 204:( 196:n 192:H 185:) 180:X 172:, 169:F 166:( 158:X 127:k 121:) 116:X 108:, 105:X 102:( 94:n 90:H 86:: 81:X 77:t 51:X 33:k 29:n 25:X

Index

coherent sheaf
dual vector space
category theory
object representing
canonical sheaf
canonical divisor
Serre's duality theorem
Cohen–Macaulay sheaf
Cohen–Macaulay scheme
Kleiman 1980
local complete intersection morphism
regular embedding
smooth morphism
sheaf of relative Kähler differentials
normal bundle
canonical sheaf
Hodge bundle
moduli space of curves
coherent duality
reflexive sheaf
Gorenstein ring
Dualizing module


Hartshorne 1977
Kollár & Mori 1998
Kleiman 1980
Arbarello, Cornalba & Griffiths 2011
doi
10.1007/978-3-540-69392-5

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑