Knowledge (XXG)

Inverse image functor

Source đź“ť

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

Index

Inverse image sheaf
algebraic topology
algebraic geometry
contravariant
sheaves
functor
category
direct image functor
Image functors for sheaves
direct image f
inverse image f
direct image with compact support f!
exceptional inverse image Rf
Base change theorems
v
t
e
continuous map
pullback
sheaf
direct image
presheaf
sheaf associated to the presheaf
colimit
stalk
functoriality
universal property
direct limits
morphisms
locally ringed spaces

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

↑