Knowledge (XXG)

Sheaf of modules

Source đź“ť

7538: 6916: 7533:{\displaystyle {\mathcal {O}}(-d-e_{1}-e_{2}-e_{3}){\xrightarrow {\begin{bmatrix}g_{3}\\-g_{2}\\-g_{1}\end{bmatrix}}}{\begin{matrix}{\mathcal {O}}(-d-e_{1}-e_{2})\\\oplus \\{\mathcal {O}}(-d-e_{1}-e_{3})\\\oplus \\{\mathcal {O}}(-d-e_{2}-e_{3})\end{matrix}}{\xrightarrow {\begin{bmatrix}g_{2}&g_{3}&0\\-g_{1}&0&-g_{3}\\0&-g_{1}&g_{2}\end{bmatrix}}}{\begin{matrix}{\mathcal {O}}(-d-e_{1})\\\oplus \\{\mathcal {O}}(-d-e_{2})\\\oplus \\{\mathcal {O}}(-d-e_{3})\end{matrix}}{\xrightarrow {\begin{bmatrix}fg_{1}&fg_{2}&fg_{3}\end{bmatrix}}}{\mathcal {O}}} 4814: 4228: 36: 4045: 6589: 6337: 3913: 3788: 6209: 6750: 6101: 5920: 3662: 4223:{\displaystyle (\ker(\varphi ))^{\sim }=\ker({\widetilde {\varphi }}),(\operatorname {coker} (\varphi ))^{\sim }=\operatorname {coker} ({\widetilde {\varphi }}),(\operatorname {im} (\varphi ))^{\sim }=\operatorname {im} ({\widetilde {\varphi }})} 5154: 2223: 7848: 4013: 4985: 5660: 4792: 1439: 6450: 7642: 5327: 5428: 4429: 1029: 1700: 1216: 5987: 2326: 6220: 1358: 5732: 3795: 2763: 4508: 2967: 3678: 6439: 3208: 3133: 6112: 3492: 5558: 5508: 804: 3552: 1913: 2409: 1573: 1291: 6605: 400: 260: 2679: 3246: 1088: 935: 4626: 6019: 6818: 5779: 7575: 857: 7895: 4703: 3291: 2893: 2807: 2001: 6908: 2042: 4537: 4320: 3162: 3072: 5051: 4890: 3577: 3407: 1511: 6011: 701: 54: 3024: 3340: 2585: 1611: 1128: 446: 629: 594: 564: 5063: 727: 6856: 5027: 1949: 1838: 1770: 4040: 2103: 2076: 2127: 7739: 6390: 6370: 2641: 2621: 8152: 5237: 4850:
Sheaf cohomology has a reputation for being difficult to calculate. Because of this, the next general fact is fundamental for any practical computation:
3930: 4899: 6584:{\displaystyle {\mathcal {Ext}}^{i}({\mathcal {O}}_{X},{\mathcal {F}})=h^{i}({\mathcal {Hom}}({\mathcal {O}}(-d)\to {\mathcal {O}},{\mathcal {F}}))} 5581: 4711: 1378: 8199: 8001: 7982: 7960: 7580: 5927: 5389: 4336: 947: 1635: 1148: 7721:
This cohomology functor coincides with the right derived functor of the global section functor in the category of abelian sheaves; cf.
7865:
For coherent sheaves, having a tensor inverse is the same as being locally free of rank one; in fact, there is the following fact: if
6332:{\displaystyle {\mathcal {Ext}}^{k}({\mathcal {F}},{\mathcal {G}})=h^{k}({\mathcal {Hom}}({\mathcal {L}}_{\bullet },{\mathcal {G}}))} 5939: 8262: 8235: 8080: 72: 3908:{\displaystyle \operatorname {Hom} _{A}(M,N)\simeq \Gamma (X,{\mathcal {H}}om_{\widetilde {A}}({\widetilde {M}},{\widetilde {N}}))} 2254: 1307: 5668: 8276: 3783:{\displaystyle \operatorname {Hom} _{A}(M,N)^{\sim }\simeq {\mathcal {H}}om_{\widetilde {A}}({\widetilde {M}},{\widetilde {N}})} 2684: 4437: 2901: 6204:{\displaystyle {\mathcal {RHom}}({\mathcal {F}},{\mathcal {G}})={\mathcal {Hom}}({\mathcal {L}}_{\bullet },{\mathcal {G}})} 8191: 6398: 3167: 3092: 5171: 3415: 5513: 5463: 740: 3508: 2366: 6745:{\displaystyle X={\text{Proj}}\left({\frac {\mathbb {C} }{(f)(g_{1},g_{2},g_{3})}}\right)\subseteq \mathbb {P} ^{n}} 1519: 1252: 3038: 8186: 7672: 4629: 3672: 1854: 864: 360: 236: 6096:{\displaystyle \cdots \to {\mathcal {L}}_{2}\to {\mathcal {L}}_{1}\to {\mathcal {L}}_{0}\to {\mathcal {F}}\to 0} 2646: 4633: 3216: 1041: 888: 5915:{\displaystyle \operatorname {Ext} _{O}^{i}(F,G(n))=\Gamma (X,{\mathcal {E}}xt_{O}^{i}(F,G(n))),\,n\geq n_{0}} 4576: 2548:) are surjective.) Since a flasque sheaf is acyclic in the category of abelian sheaves, this implies that the 1614: 601: 267: 6758: 8139: 3343: 3300: 411: 340: 7546: 809: 8327: 7868: 4658: 3657:{\displaystyle (M\otimes _{A}N)^{\sim }\simeq {\widetilde {M}}\otimes _{\widetilde {A}}{\widetilde {N}}} 3265: 2815: 2768: 407: 6861: 2498: 8277:"Faisceaux algébriques cohérents (§.66 Faisceaux algébriques cohérents sur les variétés projectives.)" 4513: 4296: 3138: 3048: 5376: 5032: 4871: 3380: 2510: 1486: 219: 5992: 673: 5149:{\displaystyle \operatorname {H} ^{i}(X,F)=\operatorname {H} ^{i}(C^{\bullet }({\mathfrak {U}},F))} 3255: 2975: 1962: 1952: 502: 113: 3310: 2555: 2006: 1104: 416: 343:, and in fact, on affine or projective schemes, all quasi-coherent sheaves are obtained this way. 8299: 2487: 2467: 2229: 1740: 1586: 1227: 607: 572: 542: 7697: 5164: 1361: 706: 6823: 4998: 8272: 8258: 8231: 8195: 8143: 8076: 4282: 4270: 3351: 2514: 1469: 1296:
implying the isomorphism classes of invertible sheaves form a group. This group is called the
635: 351: 319: 8217: 1921: 8291: 8250: 8223: 8181: 8161: 8068: 7677: 7667: 4845: 2483: 2218:{\displaystyle \operatorname {Hom} _{O}(f^{*}G,F)\simeq \operatorname {Hom} _{O'}(G,f_{*}F)} 1813: 1745: 1618: 1465: 1239: 355: 347: 8311: 8209: 8173: 7843:{\displaystyle {\mathcal {H}}om_{O}(F,O)_{x}\to \operatorname {Hom} _{O_{x}}(F_{x},O_{x}),} 4239:
There is a graded analog of the construction and equivalence in the preceding section. Let
4025: 2081: 2054: 8307: 8205: 8169: 2045: 567: 537: 6375: 6355: 2626: 2606: 2506: 2502: 1461: 521: 282: 231: 4813: 8321: 5450: 3211: 2529: 529: 8028:"Section 30.2 (01X8): Čech cohomology of quasi-coherent sheaves—The Stacks project" 1297: 101: 8254: 8147: 8072: 5458: 5187: 4008:{\displaystyle (\varinjlim M_{i})^{\sim }\simeq \varinjlim {\widetilde {M_{i}}}} 1243: 478: 311: 4980:{\displaystyle \operatorname {H} ^{i}(U_{i_{0}}\cap \cdots \cap U_{i_{p}},F)=0} 2509:
is spanned by global sections. (cf. Serre's theorem A below.) In the theory of
5655:{\displaystyle \operatorname {H} ^{i}(X,F)=\operatorname {Ext} _{O}^{i}(O,F),} 4787:{\displaystyle \left(\bigoplus _{n\geq 0}\Gamma (X,F(n))\right)^{\sim }\to F,} 806:(To see that sheafification cannot be avoided, compute the global sections of 17: 8027: 2521:
is an ample line bundle, some power of it is generated by global sections.)
1442: 1434:{\displaystyle {\check {E}}\otimes E\simeq \operatorname {End} _{O}(E)\to O} 8227: 7931: 27:
Sheaf consisting of modules on a ringed space; generalizing vector bundles
7653: 5454: 1796:(such a natural map is part of the data of a morphism of ringed spaces.) 5665:
since both the sides are the right derived functors of the same functor
3354:, the functor is an equivalence from the category of finitely generated 3029:
is a contravariant functor from the category whose objects are the sets
8303: 8165: 7637:{\displaystyle {\mathcal {Ext}}^{i}({\mathcal {O}}_{X},{\mathcal {F}})} 5322:{\displaystyle \operatorname {H} ^{i}(X,F(n))=0,\,i\geq 1,n\geq n_{0}.} 3042: 5423:{\displaystyle 0\rightarrow F\rightarrow G\rightarrow H\rightarrow 0.} 4424:{\displaystyle {\widetilde {M}}|_{\{f\neq 0\}}\simeq (M_{0})^{\sim }} 1024:{\displaystyle U\mapsto \operatorname {Hom} _{O|_{U}}(F|_{U},G|_{U})} 8295: 8098:, §.66 Faisceaux algébriques cohérents sur les variétés projectives. 7462: 7215: 6983: 2809:, by the universal property of localization, there is a natural map 1695:{\displaystyle \bigwedge ^{r}F\otimes \bigwedge ^{n-r}F\to \det(F).} 1211:{\displaystyle {\check {E}}\otimes F\to {\mathcal {H}}om_{O}(E,F)} 3045:(i.e., it satisfies the gluing axiom) and thus defines the sheaf 8216:
Costa, Laura; MirĂł-Roig, Rosa MarĂ­a; Pons-Llopis, Joan (2021).
5982:{\displaystyle {\mathcal {Ext}}({\mathcal {F}},{\mathcal {G}})} 4808: 1304:
and is canonically identified with the first cohomology group
29: 8148:"Éléments de géométrie algébrique: I. Le langage des schémas" 2321:{\displaystyle f_{*}(F\otimes f^{*}E)\simeq f_{*}F\otimes E.} 7745: 7626: 7610: 7593: 7590: 7587: 7553: 7525: 7423: 7380: 7337: 7163: 7107: 7051: 6922: 6570: 6560: 6538: 6528: 6525: 6522: 6496: 6480: 6463: 6460: 6457: 6426: 6404: 6318: 6302: 6291: 6288: 6285: 6259: 6249: 6233: 6230: 6227: 6193: 6177: 6166: 6163: 6160: 6147: 6137: 6127: 6124: 6121: 6118: 6082: 6066: 6049: 6032: 5998: 5971: 5961: 5951: 5948: 5945: 5842: 3844: 3722: 3272: 3174: 3099: 1353:{\displaystyle \operatorname {H} ^{1}(X,{\mathcal {O}}^{*})} 1336: 1175: 1047: 894: 5727:{\displaystyle \Gamma (X,-)=\operatorname {Hom} _{O}(O,-).} 5197:) is generated by finitely many global sections. Moreover, 8050: 4022:-modules is exact if and only if the induced sequence by 2758:{\displaystyle D(f)=\{f\neq 0\}=\operatorname {Spec} (A)} 2595:-th sheaf cohomology in the category of abelian sheaves. 1371:
is a locally free sheaf of finite rank, then there is an
4503:{\displaystyle \{f\neq 0\}=\operatorname {Spec} (R_{0})} 2962:{\displaystyle \rho _{g,f}=\rho _{g,h}\circ \rho _{h,f}} 2552:-th right derived functor of the global section functor 5739:: Some authors, notably Hartshorne, drop the subscript 4825: 3365:
The construction has the following properties: for any
50: 7467: 7332: 7220: 7046: 6988: 2414:
Explicitly, this means that there are global sections
1589: 1522: 7909:
are locally free of rank one. (cf. EGA, Ch 0, 5.4.3.)
7871: 7742: 7583: 7549: 6919: 6864: 6826: 6761: 6608: 6453: 6401: 6378: 6358: 6223: 6115: 6022: 5995: 5942: 5782: 5671: 5584: 5516: 5466: 5392: 5240: 5182:
a coherent sheaf on it, then, for sufficiently large
5066: 5035: 5001: 4902: 4874: 4714: 4661: 4579: 4516: 4440: 4339: 4299: 4243:
be a graded ring generated by degree-one elements as
4048: 4028: 3933: 3798: 3681: 3580: 3511: 3418: 3383: 3313: 3268: 3219: 3170: 3141: 3095: 3051: 2978: 2904: 2818: 2771: 2687: 2649: 2629: 2609: 2558: 2369: 2257: 2130: 2084: 2057: 2009: 1965: 1924: 1857: 1816: 1748: 1638: 1489: 1381: 1310: 1255: 1151: 1107: 1044: 950: 891: 812: 743: 737:-module that is the sheaf associated to the presheaf 709: 676: 610: 575: 545: 419: 363: 239: 7972: 7970: 6434:{\displaystyle {\mathcal {O}}(-d)\to {\mathcal {O}}} 5750:is a projective scheme over a Noetherian ring. Let 4015:; in particular, taking a direct sum and ~ commute. 3203:{\displaystyle {\mathcal {O}}_{X}={\widetilde {A}}} 3128:{\displaystyle {\mathcal {O}}_{X}={\widetilde {A}}} 638:
is a sheaf of module that is also a sheaf of rings.
339:-modules arising in such a fashion are examples of 45:
may be too technical for most readers to understand
7889: 7842: 7636: 7569: 7532: 6902: 6850: 6812: 6744: 6583: 6433: 6384: 6364: 6331: 6203: 6095: 6005: 5981: 5914: 5726: 5654: 5552: 5502: 5422: 5321: 5148: 5045: 5021: 4979: 4884: 4786: 4697: 4620: 4531: 4502: 4423: 4314: 4222: 4034: 4007: 3907: 3782: 3656: 3546: 3487:{\displaystyle M^{\sim }={\widetilde {M}}|_{D(f)}} 3486: 3401: 3334: 3285: 3240: 3202: 3156: 3127: 3066: 3018: 2961: 2887: 2801: 2757: 2673: 2635: 2615: 2579: 2403: 2320: 2217: 2097: 2070: 2036: 1995: 1943: 1907: 1832: 1764: 1694: 1605: 1567: 1505: 1433: 1352: 1285: 1210: 1122: 1082: 1023: 929: 851: 798: 721: 695: 623: 588: 558: 440: 394: 254: 6013:using a locally free resolution: given a complex 5553:{\displaystyle \operatorname {Ext} _{O}^{1}(H,F)} 5503:{\displaystyle \operatorname {Ext} _{O}^{1}(H,F)} 3085:The most basic example is the structure sheaf on 2466:An example of such a sheaf is that associated in 799:{\displaystyle U\mapsto F(U)\otimes _{O(U)}G(U).} 5441:, then all equivalence classes of extensions of 3547:{\displaystyle {\widetilde {M}}_{p}\simeq M_{p}} 3358:-modules to the category of coherent sheaves on 1848:-module given as the tensor product of modules: 1677: 667:-modules, then their tensor product, denoted by 5989:can be readily computed for any coherent sheaf 2404:{\displaystyle \bigoplus _{i\in I}O\to F\to 0.} 1568:{\textstyle U\mapsto \bigwedge _{O(U)}^{k}F(U)} 354:, and consequently one can and does define the 346:Sheaves of modules over a ringed space form an 7856:is of finite presentation (EGA, Ch. 0, 5.2.6.) 3921:and the category of quasi-coherent sheaves on 3037:) and morphisms the inclusions of sets to the 1476:are defined in the same way. For example, the 1286:{\displaystyle {\check {L}}\otimes L\simeq O,} 8: 4453: 4441: 4371: 4359: 2715: 2703: 8194:, vol. 52, New York: Springer-Verlag, 7698:Math 216: Foundations of algebraic geometry 4854: 4434:as sheaves of modules on the affine scheme 1908:{\displaystyle f^{-1}G\otimes _{f^{-1}O'}O} 477:, then it is called the sheaf of ideals or 395:{\displaystyle \operatorname {H} ^{i}(X,-)} 255:{\displaystyle {\underline {\mathbf {Z} }}} 159:) are compatible with the restriction maps 2674:{\displaystyle X=\operatorname {Spec} (A)} 7870: 7828: 7815: 7797: 7792: 7779: 7757: 7744: 7743: 7741: 7625: 7624: 7615: 7609: 7608: 7598: 7586: 7585: 7582: 7558: 7552: 7551: 7548: 7524: 7523: 7507: 7492: 7477: 7457: 7444: 7422: 7421: 7401: 7379: 7378: 7358: 7336: 7335: 7331: 7315: 7303: 7281: 7261: 7239: 7227: 7210: 7197: 7184: 7162: 7161: 7141: 7128: 7106: 7105: 7085: 7072: 7050: 7049: 7045: 7029: 7012: 6995: 6978: 6969: 6956: 6943: 6921: 6920: 6918: 6894: 6878: 6863: 6825: 6801: 6788: 6775: 6760: 6736: 6732: 6731: 6711: 6698: 6685: 6658: 6639: 6628: 6627: 6624: 6615: 6607: 6569: 6568: 6559: 6558: 6537: 6536: 6521: 6520: 6511: 6495: 6494: 6485: 6479: 6478: 6468: 6456: 6455: 6452: 6425: 6424: 6403: 6402: 6400: 6377: 6357: 6317: 6316: 6307: 6301: 6300: 6284: 6283: 6274: 6258: 6257: 6248: 6247: 6238: 6226: 6225: 6222: 6192: 6191: 6182: 6176: 6175: 6159: 6158: 6146: 6145: 6136: 6135: 6117: 6116: 6114: 6081: 6080: 6071: 6065: 6064: 6054: 6048: 6047: 6037: 6031: 6030: 6021: 5997: 5996: 5994: 5970: 5969: 5960: 5959: 5944: 5943: 5941: 5906: 5895: 5859: 5854: 5841: 5840: 5792: 5787: 5781: 5697: 5670: 5625: 5620: 5589: 5583: 5526: 5521: 5515: 5476: 5471: 5465: 5391: 5310: 5287: 5245: 5239: 5128: 5127: 5118: 5102: 5071: 5065: 5037: 5036: 5034: 5011: 5006: 5000: 4954: 4949: 4928: 4923: 4907: 4901: 4876: 4875: 4873: 4769: 4725: 4713: 4660: 4596: 4595: 4578: 4518: 4517: 4515: 4491: 4478: 4439: 4415: 4405: 4392: 4358: 4353: 4341: 4340: 4338: 4301: 4300: 4298: 4206: 4205: 4187: 4148: 4147: 4129: 4090: 4089: 4071: 4047: 4027: 3993: 3987: 3986: 3973: 3964: 3954: 3937: 3932: 3888: 3887: 3873: 3872: 3857: 3856: 3843: 3842: 3803: 3797: 3766: 3765: 3751: 3750: 3735: 3734: 3721: 3720: 3711: 3686: 3680: 3643: 3642: 3630: 3629: 3614: 3613: 3604: 3591: 3579: 3538: 3525: 3514: 3513: 3510: 3469: 3464: 3452: 3451: 3442: 3429: 3417: 3382: 3312: 3277: 3271: 3270: 3267: 3241:{\displaystyle M\mapsto {\widetilde {M}}} 3227: 3226: 3218: 3189: 3188: 3179: 3173: 3172: 3169: 3143: 3142: 3140: 3114: 3113: 3104: 3098: 3097: 3094: 3053: 3052: 3050: 3004: 2977: 2947: 2928: 2909: 2903: 2873: 2848: 2823: 2817: 2770: 2740: 2686: 2648: 2628: 2608: 2557: 2374: 2368: 2300: 2281: 2262: 2256: 2203: 2176: 2151: 2135: 2129: 2089: 2083: 2062: 2056: 2025: 2008: 1970: 1964: 1929: 1923: 1883: 1878: 1862: 1856: 1821: 1815: 1753: 1747: 1659: 1643: 1637: 1594: 1588: 1547: 1533: 1521: 1494: 1488: 1407: 1383: 1382: 1380: 1341: 1335: 1334: 1315: 1309: 1257: 1256: 1254: 1187: 1174: 1173: 1153: 1152: 1150: 1109: 1108: 1106: 1083:{\displaystyle {\mathcal {H}}om_{O}(F,O)} 1059: 1046: 1045: 1043: 1012: 1007: 994: 989: 971: 966: 961: 949: 930:{\displaystyle {\mathcal {H}}om_{O}(F,G)} 906: 893: 892: 890: 811: 766: 742: 708: 684: 675: 615: 609: 580: 574: 550: 544: 418: 368: 362: 242: 240: 238: 73:Learn how and when to remove this message 57:, without removing the technical details. 4621:{\displaystyle O(1)={\widetilde {R(1)}}} 1516:is the sheaf associated to the presheaf 8051:Costa, MirĂł-Roig & Pons-Llopis 2021 8000:harvnb error: no target: CITEREFEGA_I ( 7981:harvnb error: no target: CITEREFEGA_I ( 7959:harvnb error: no target: CITEREFEGA_I ( 7932:https://math.stackexchange.com/q/447234 7689: 7664:, the sheaf of differential operators.) 4797:which is an isomorphism if and only if 1810:-module, then the module inverse image 1629:). There is a natural perfect pairing: 1441:given by the pairing; it is called the 8107: 8014: 7942: 7918: 7722: 7709: 6820:is a smooth complete intersection and 6595:Union of smooth complete intersections 5560:corresponds to the trivial extension. 4322:such that for any homogeneous element 8095: 6813:{\displaystyle (f,g_{1},g_{2},g_{3})} 5928:local-to-global Ext spectral sequence 4705:, there is a canonical homomorphism: 4640:is finitely generated in degree-one. 2051:There is an adjoint relation between 1731:) be a morphism of ringed spaces. If 55:make it understandable to non-experts 7: 8153:Publications MathĂ©matiques de l'IHÉS 6392:. Then, we can compute a resolution 5433:As with group extensions, if we fix 3293:. It defines an equivalence from Mod 2228:as abelian group. There is also the 1142:, there is a canonical homomorphism 326:, then any graded module defines an 7734:There is a canonical homomorphism: 7570:{\displaystyle {\mathcal {O}}_{X},} 5129: 5038: 4877: 4235:Sheaf associated to a graded module 3915:, since the equivalence between Mod 852:{\displaystyle O(1)\otimes O(-1)=O} 7890:{\displaystyle F\otimes G\simeq O} 5828: 5672: 5586: 5242: 5099: 5068: 4904: 4737: 4698:{\displaystyle F(n)=F\otimes O(n)} 3830: 3314: 3286:{\displaystyle {\mathcal {O}}_{X}} 2888:{\displaystyle \rho _{g,f}:M\to M} 2802:{\displaystyle D(f)\subseteq D(g)} 2591:-modules coincides with the usual 2559: 1312: 1234:is locally free of rank one (such 1230:of finite rank. In particular, if 612: 547: 420: 365: 306:) in a natural way. Similarly, if 143:)-module and the restriction maps 25: 7995: 7976: 7954: 6903:{\displaystyle \deg(g_{i})=e_{i}} 5159:where the right-hand side is the 4330:, there is a natural isomorphism 4289:is Noetherian). Then there is an 4257:means the degree-zero piece) and 2497:). Another example: according to 5510:, where the identity element in 4812: 4532:{\displaystyle {\widetilde {M}}} 4315:{\displaystyle {\widetilde {M}}} 3262:to the category of modules over 3157:{\displaystyle {\widetilde {M}}} 3067:{\displaystyle {\widetilde {M}}} 3041:. One can show it is in fact a 1779:-module through the natural map 243: 34: 8245:"Links with sheaf cohomology". 8063:"Links with sheaf cohomology". 6352:Consider a smooth hypersurface 5046:{\displaystyle {\mathfrak {U}}} 4885:{\displaystyle {\mathfrak {U}}} 3402:{\displaystyle \varphi :M\to N} 3078:called the sheaf associated to 1506:{\displaystyle \bigwedge ^{k}F} 1360:(by the standard argument with 119:such that, for any open subset 7834: 7808: 7785: 7776: 7763: 7631: 7604: 7450: 7428: 7407: 7385: 7364: 7342: 7203: 7168: 7147: 7112: 7091: 7056: 6975: 6927: 6884: 6871: 6839: 6833: 6807: 6762: 6717: 6678: 6675: 6669: 6664: 6632: 6578: 6575: 6555: 6552: 6543: 6533: 6517: 6501: 6474: 6421: 6418: 6409: 6326: 6323: 6296: 6280: 6264: 6244: 6198: 6171: 6152: 6132: 6087: 6077: 6060: 6043: 6026: 6006:{\displaystyle {\mathcal {F}}} 5976: 5956: 5889: 5886: 5883: 5877: 5865: 5831: 5822: 5819: 5813: 5801: 5766:an integer. Then there exists 5718: 5706: 5687: 5675: 5646: 5634: 5610: 5598: 5547: 5535: 5497: 5485: 5457:), which is isomorphic to the 5414: 5408: 5402: 5396: 5275: 5272: 5266: 5254: 5143: 5140: 5124: 5111: 5092: 5080: 4968: 4916: 4775: 4761: 4758: 4752: 4740: 4692: 4686: 4671: 4665: 4608: 4602: 4589: 4583: 4497: 4488: 4471: 4465: 4412: 4402: 4385: 4379: 4354: 4217: 4202: 4184: 4180: 4174: 4165: 4159: 4144: 4126: 4122: 4116: 4107: 4101: 4086: 4068: 4064: 4058: 4049: 3961: 3934: 3902: 3899: 3869: 3833: 3824: 3812: 3777: 3747: 3708: 3695: 3601: 3581: 3479: 3473: 3465: 3439: 3422: 3393: 3329: 3317: 3223: 3210:-module and thus one gets the 3013: 2997: 2991: 2988: 2982: 2882: 2866: 2860: 2857: 2841: 2796: 2790: 2781: 2775: 2752: 2749: 2733: 2727: 2697: 2691: 2668: 2662: 2574: 2562: 2395: 2389: 2290: 2268: 2212: 2190: 2166: 2144: 2018: 1987: 1686: 1680: 1674: 1562: 1556: 1543: 1537: 1526: 1425: 1422: 1416: 1388: 1347: 1324: 1262: 1205: 1193: 1170: 1158: 1114: 1077: 1065: 1018: 1008: 990: 982: 967: 954: 924: 912: 840: 831: 822: 816: 790: 784: 776: 770: 759: 753: 747: 696:{\displaystyle F\otimes _{O}G} 435: 423: 389: 377: 350:. Moreover, this category has 1: 8192:Graduate Texts in Mathematics 5347:) be a ringed space, and let 5213:) is finitely generated over 3019:{\displaystyle D(f)\mapsto M} 2532:(i.e., all restrictions maps 1996:{\displaystyle f^{-1}O'\to O} 485:, since for each open subset 8255:10.1017/CBO9781139044059.023 8073:10.1017/CBO9781139044059.023 7577:which we can use to compute 5178:is a projective variety and 3335:{\displaystyle \Gamma (X,-)} 2599:Sheaf associated to a module 2580:{\displaystyle \Gamma (X,-)} 2356:if there is a surjection of 2354:generated by global sections 2037:{\displaystyle O'\to f_{*}O} 1606:{\textstyle \bigwedge ^{n}F} 1123:{\displaystyle {\check {F}}} 441:{\displaystyle \Gamma (X,-)} 8110:, Ch. III, Proposition 6.9. 8017:, Ch. II, Proposition 5.11. 7979:, Ch. I, Corollaire 1.3.12. 7957:, Ch. I, Proposition 1.3.6. 7852:which is an isomorphism if 7725:, Ch. III, Proposition 2.6. 7712:, Ch. III, Proposition 2.2. 4868:an abelian sheaf on it and 4632:, which is the dual of the 1222:which is an isomorphism if 624:{\displaystyle \Omega _{X}} 589:{\displaystyle \omega _{X}} 559:{\displaystyle \Omega _{X}} 8344: 8249:. 2012. pp. 438–479. 8067:. 2012. pp. 438–479. 7998:, Ch. I, Corollaire 1.3.9. 7945:, Ch. II, Proposition 5.1. 5925: 4843: 4805:Computing sheaf cohomology 3039:category of abelian groups 944:-module that is the sheaf 722:{\displaystyle F\otimes G} 335:-module in a natural way. 266:-modules is the same as a 214:The standard case is when 7673:holomorphic vector bundle 6851:{\displaystyle \deg(f)=d} 5172:Serre's vanishing theorem 5022:{\displaystyle U_{i_{j}}} 4042:is exact. In particular, 2898:having the property that 183:times the restriction of 8032:stacks.math.columbia.edu 7660:, one can also consider 5933:Locally free resolutions 4864:be a topological space, 4634:tautological line bundle 4510:; in fact, this defines 2623:be a module over a ring 2427:such that the images of 2344:) be a ringed space. An 1579:is locally free of rank 867:on a projective space.) 655:) be a ringed space. If 226:its structure sheaf. If 8140:Grothendieck, Alexandre 5758:be coherent sheaves on 1944:{\displaystyle f^{-1}G} 1615:determinant line bundle 268:sheaf of abelian groups 7891: 7844: 7638: 7571: 7534: 6904: 6852: 6814: 6746: 6585: 6435: 6386: 6366: 6333: 6205: 6097: 6007: 5983: 5916: 5728: 5656: 5554: 5504: 5424: 5323: 5199: 5150: 5047: 5023: 4981: 4886: 4788: 4699: 4630:Serre's twisting sheaf 4622: 4533: 4504: 4425: 4326:of positive degree of 4316: 4224: 4036: 4009: 3909: 3784: 3658: 3548: 3488: 3403: 3344:global section functor 3336: 3301:quasi-coherent sheaves 3287: 3242: 3204: 3158: 3129: 3068: 3020: 2963: 2889: 2803: 2759: 2675: 2637: 2617: 2581: 2513:, a related notion is 2405: 2322: 2219: 2099: 2072: 2038: 1997: 1945: 1909: 1834: 1833:{\displaystyle f^{*}G} 1766: 1765:{\displaystyle f_{*}F} 1696: 1607: 1569: 1552: 1507: 1435: 1354: 1287: 1212: 1124: 1084: 1025: 931: 865:Serre's twisting sheaf 853: 800: 723: 697: 625: 590: 560: 457:Given a ringed space ( 442: 412:global section functor 396: 341:quasi-coherent sheaves 256: 179:is the restriction of 175:): the restriction of 8284:Annals of Mathematics 8228:10.1515/9783110647686 7892: 7845: 7639: 7572: 7535: 6905: 6853: 6815: 6747: 6586: 6436: 6387: 6367: 6334: 6206: 6098: 6008: 5984: 5917: 5729: 5657: 5555: 5505: 5425: 5324: 5151: 5048: 5024: 4982: 4887: 4789: 4700: 4623: 4534: 4505: 4426: 4317: 4225: 4037: 4035:{\displaystyle \sim } 4010: 3910: 3785: 3659: 3549: 3489: 3404: 3337: 3288: 3243: 3205: 3164:has the structure of 3159: 3130: 3069: 3021: 2964: 2890: 2804: 2760: 2676: 2638: 2618: 2582: 2406: 2323: 2220: 2100: 2098:{\displaystyle f^{*}} 2073: 2071:{\displaystyle f_{*}} 2039: 1998: 1946: 1910: 1835: 1767: 1697: 1608: 1570: 1529: 1508: 1436: 1355: 1288: 1213: 1125: 1085: 1031:. In particular, the 1026: 932: 854: 801: 724: 698: 626: 591: 561: 443: 408:right derived functor 397: 257: 7921:, Ch III, Lemma 2.4. 7869: 7740: 7581: 7547: 6917: 6910:. We have a complex 6862: 6824: 6759: 6606: 6599:Consider the scheme 6451: 6399: 6376: 6356: 6221: 6113: 6020: 5993: 5940: 5780: 5669: 5582: 5514: 5464: 5390: 5377:short exact sequence 5238: 5223:There is an integer 5064: 5033: 4999: 4900: 4872: 4712: 4659: 4577: 4514: 4438: 4337: 4297: 4046: 4026: 3931: 3796: 3679: 3578: 3509: 3497:For any prime ideal 3416: 3381: 3311: 3266: 3217: 3168: 3139: 3093: 3049: 2976: 2902: 2816: 2769: 2685: 2647: 2627: 2607: 2556: 2367: 2255: 2128: 2082: 2055: 2007: 1963: 1922: 1855: 1814: 1746: 1636: 1617:(though technically 1587: 1520: 1487: 1379: 1308: 1253: 1246:), then this reads: 1149: 1105: 1042: 948: 889: 810: 741: 707: 674: 608: 600:-th exterior power ( 573: 543: 417: 361: 237: 8124:. pp. 233–235. 8120:Hartshorne, Robin. 7520: 7328: 7042: 5864: 5797: 5630: 5571:, we have: for any 5531: 5481: 4858: —  4801:is quasi-coherent. 3377:, and any morphism 3307:, with the inverse 3299:to the category of 3256:category of modules 2587:in the category of 2517:. (For example, if 2240:and a locally free 1953:inverse image sheaf 1480:-th exterior power 536:is the dual of the 302:-module (called an 293:-module defines an 8273:Serre, Jean-Pierre 8187:Algebraic Geometry 8166:10.1007/bf02684778 8122:Algebraic Geometry 7901:is coherent, then 7887: 7840: 7634: 7567: 7530: 7515: 7455: 7323: 7208: 7037: 6900: 6848: 6810: 6742: 6581: 6431: 6382: 6362: 6329: 6201: 6093: 6003: 5979: 5912: 5850: 5783: 5724: 5652: 5616: 5563:In the case where 5550: 5517: 5500: 5467: 5420: 5319: 5146: 5043: 5019: 4977: 4882: 4856: 4824:. You can help by 4784: 4736: 4695: 4618: 4549:(1) be the graded 4529: 4500: 4421: 4312: 4220: 4032: 4005: 3981: 3945: 3905: 3780: 3673:finitely presented 3654: 3544: 3484: 3399: 3332: 3283: 3238: 3200: 3154: 3125: 3064: 3016: 2959: 2885: 2799: 2755: 2671: 2633: 2613: 2577: 2499:Cartan's theorem A 2488:spectrum of a ring 2468:algebraic geometry 2401: 2385: 2318: 2230:projection formula 2215: 2095: 2068: 2034: 1993: 1941: 1905: 1830: 1762: 1741:direct image sheaf 1739:-module, then the 1692: 1603: 1565: 1503: 1431: 1350: 1283: 1228:locally free sheaf 1208: 1120: 1101:and is denoted by 1080: 1021: 927: 849: 796: 719: 693: 621: 586: 556: 438: 392: 262:, then a sheaf of 252: 250: 85:In mathematics, a 8201:978-0-387-90244-9 8182:Hartshorne, Robin 7521: 7329: 7043: 6721: 6618: 6385:{\displaystyle d} 6365:{\displaystyle X} 4892:an open cover of 4842: 4841: 4721: 4615: 4553:-module given by 4526: 4349: 4309: 4283:projective scheme 4214: 4156: 4098: 4002: 3974: 3938: 3896: 3881: 3865: 3774: 3759: 3743: 3651: 3638: 3622: 3522: 3460: 3235: 3197: 3151: 3122: 3061: 2636:{\displaystyle A} 2616:{\displaystyle M} 2515:ample line bundle 2370: 2003:is obtained from 1670: 1648: 1625:, denoted by det( 1599: 1499: 1470:symmetric algebra 1391: 1265: 1161: 1117: 636:sheaf of algebras 352:enough injectives 241: 83: 82: 75: 16:(Redirected from 8335: 8314: 8281: 8268: 8247:Local Cohomology 8241: 8212: 8177: 8126: 8125: 8117: 8111: 8105: 8099: 8093: 8087: 8086: 8065:Local Cohomology 8060: 8054: 8048: 8042: 8041: 8039: 8038: 8024: 8018: 8012: 8006: 8005: 7993: 7987: 7986: 7974: 7965: 7964: 7952: 7946: 7940: 7934: 7928: 7922: 7916: 7910: 7896: 7894: 7893: 7888: 7863: 7857: 7849: 7847: 7846: 7841: 7833: 7832: 7820: 7819: 7804: 7803: 7802: 7801: 7784: 7783: 7762: 7761: 7749: 7748: 7732: 7726: 7719: 7713: 7707: 7701: 7694: 7678:generic freeness 7668:fractional ideal 7643: 7641: 7640: 7635: 7630: 7629: 7620: 7619: 7614: 7613: 7603: 7602: 7597: 7596: 7576: 7574: 7573: 7568: 7563: 7562: 7557: 7556: 7539: 7537: 7536: 7531: 7529: 7528: 7522: 7519: 7512: 7511: 7497: 7496: 7482: 7481: 7458: 7456: 7449: 7448: 7427: 7426: 7406: 7405: 7384: 7383: 7363: 7362: 7341: 7340: 7330: 7327: 7320: 7319: 7308: 7307: 7286: 7285: 7266: 7265: 7244: 7243: 7232: 7231: 7211: 7209: 7202: 7201: 7189: 7188: 7167: 7166: 7146: 7145: 7133: 7132: 7111: 7110: 7090: 7089: 7077: 7076: 7055: 7054: 7044: 7041: 7034: 7033: 7017: 7016: 7000: 6999: 6979: 6974: 6973: 6961: 6960: 6948: 6947: 6926: 6925: 6909: 6907: 6906: 6901: 6899: 6898: 6883: 6882: 6857: 6855: 6854: 6849: 6819: 6817: 6816: 6811: 6806: 6805: 6793: 6792: 6780: 6779: 6751: 6749: 6748: 6743: 6741: 6740: 6735: 6726: 6722: 6720: 6716: 6715: 6703: 6702: 6690: 6689: 6667: 6663: 6662: 6644: 6643: 6631: 6625: 6619: 6616: 6590: 6588: 6587: 6582: 6574: 6573: 6564: 6563: 6542: 6541: 6532: 6531: 6516: 6515: 6500: 6499: 6490: 6489: 6484: 6483: 6473: 6472: 6467: 6466: 6440: 6438: 6437: 6432: 6430: 6429: 6408: 6407: 6391: 6389: 6388: 6383: 6371: 6369: 6368: 6363: 6338: 6336: 6335: 6330: 6322: 6321: 6312: 6311: 6306: 6305: 6295: 6294: 6279: 6278: 6263: 6262: 6253: 6252: 6243: 6242: 6237: 6236: 6210: 6208: 6207: 6202: 6197: 6196: 6187: 6186: 6181: 6180: 6170: 6169: 6151: 6150: 6141: 6140: 6131: 6130: 6102: 6100: 6099: 6094: 6086: 6085: 6076: 6075: 6070: 6069: 6059: 6058: 6053: 6052: 6042: 6041: 6036: 6035: 6012: 6010: 6009: 6004: 6002: 6001: 5988: 5986: 5985: 5980: 5975: 5974: 5965: 5964: 5955: 5954: 5921: 5919: 5918: 5913: 5911: 5910: 5863: 5858: 5846: 5845: 5796: 5791: 5733: 5731: 5730: 5725: 5702: 5701: 5661: 5659: 5658: 5653: 5629: 5624: 5594: 5593: 5559: 5557: 5556: 5551: 5530: 5525: 5509: 5507: 5506: 5501: 5480: 5475: 5429: 5427: 5426: 5421: 5328: 5326: 5325: 5320: 5315: 5314: 5250: 5249: 5155: 5153: 5152: 5147: 5133: 5132: 5123: 5122: 5107: 5106: 5076: 5075: 5052: 5050: 5049: 5044: 5042: 5041: 5028: 5026: 5025: 5020: 5018: 5017: 5016: 5015: 4986: 4984: 4983: 4978: 4961: 4960: 4959: 4958: 4935: 4934: 4933: 4932: 4912: 4911: 4891: 4889: 4888: 4883: 4881: 4880: 4859: 4846:sheaf cohomology 4837: 4834: 4816: 4809: 4793: 4791: 4790: 4785: 4774: 4773: 4768: 4764: 4735: 4704: 4702: 4701: 4696: 4655:, then, writing 4627: 4625: 4624: 4619: 4617: 4616: 4611: 4597: 4538: 4536: 4535: 4530: 4528: 4527: 4519: 4509: 4507: 4506: 4501: 4496: 4495: 4486: 4485: 4430: 4428: 4427: 4422: 4420: 4419: 4410: 4409: 4400: 4399: 4375: 4374: 4357: 4351: 4350: 4342: 4321: 4319: 4318: 4313: 4311: 4310: 4302: 4229: 4227: 4226: 4221: 4216: 4215: 4207: 4192: 4191: 4158: 4157: 4149: 4134: 4133: 4100: 4099: 4091: 4076: 4075: 4041: 4039: 4038: 4033: 4014: 4012: 4011: 4006: 4004: 4003: 3998: 3997: 3988: 3982: 3969: 3968: 3959: 3958: 3946: 3914: 3912: 3911: 3906: 3898: 3897: 3889: 3883: 3882: 3874: 3868: 3867: 3866: 3858: 3848: 3847: 3808: 3807: 3789: 3787: 3786: 3781: 3776: 3775: 3767: 3761: 3760: 3752: 3746: 3745: 3744: 3736: 3726: 3725: 3716: 3715: 3691: 3690: 3663: 3661: 3660: 3655: 3653: 3652: 3644: 3641: 3640: 3639: 3631: 3624: 3623: 3615: 3609: 3608: 3596: 3595: 3553: 3551: 3550: 3545: 3543: 3542: 3530: 3529: 3524: 3523: 3515: 3493: 3491: 3490: 3485: 3483: 3482: 3468: 3462: 3461: 3453: 3447: 3446: 3437: 3436: 3408: 3406: 3405: 3400: 3341: 3339: 3338: 3333: 3292: 3290: 3289: 3284: 3282: 3281: 3276: 3275: 3247: 3245: 3244: 3239: 3237: 3236: 3228: 3209: 3207: 3206: 3201: 3199: 3198: 3190: 3184: 3183: 3178: 3177: 3163: 3161: 3160: 3155: 3153: 3152: 3144: 3134: 3132: 3131: 3126: 3124: 3123: 3115: 3109: 3108: 3103: 3102: 3073: 3071: 3070: 3065: 3063: 3062: 3054: 3025: 3023: 3022: 3017: 3012: 3011: 2968: 2966: 2965: 2960: 2958: 2957: 2939: 2938: 2920: 2919: 2894: 2892: 2891: 2886: 2881: 2880: 2856: 2855: 2834: 2833: 2808: 2806: 2805: 2800: 2765:. For each pair 2764: 2762: 2761: 2756: 2748: 2747: 2680: 2678: 2677: 2672: 2642: 2640: 2639: 2634: 2622: 2620: 2619: 2614: 2586: 2584: 2583: 2578: 2484:commutative ring 2410: 2408: 2407: 2402: 2384: 2327: 2325: 2324: 2319: 2305: 2304: 2286: 2285: 2267: 2266: 2248:of finite rank, 2224: 2222: 2221: 2216: 2208: 2207: 2186: 2185: 2184: 2156: 2155: 2140: 2139: 2104: 2102: 2101: 2096: 2094: 2093: 2077: 2075: 2074: 2069: 2067: 2066: 2043: 2041: 2040: 2035: 2030: 2029: 2017: 2002: 2000: 1999: 1994: 1986: 1978: 1977: 1950: 1948: 1947: 1942: 1937: 1936: 1914: 1912: 1911: 1906: 1901: 1900: 1899: 1891: 1890: 1870: 1869: 1839: 1837: 1836: 1831: 1826: 1825: 1808: 1784: 1777: 1771: 1769: 1768: 1763: 1758: 1757: 1729: 1722: 1701: 1699: 1698: 1693: 1669: 1655: 1647: 1639: 1619:invertible sheaf 1612: 1610: 1609: 1604: 1598: 1590: 1574: 1572: 1571: 1566: 1551: 1546: 1512: 1510: 1509: 1504: 1498: 1490: 1466:exterior algebra 1440: 1438: 1437: 1432: 1412: 1411: 1393: 1392: 1384: 1359: 1357: 1356: 1351: 1346: 1345: 1340: 1339: 1320: 1319: 1292: 1290: 1289: 1284: 1267: 1266: 1258: 1240:invertible sheaf 1217: 1215: 1214: 1209: 1192: 1191: 1179: 1178: 1163: 1162: 1154: 1130:. Note: for any 1129: 1127: 1126: 1121: 1119: 1118: 1110: 1089: 1087: 1086: 1081: 1064: 1063: 1051: 1050: 1030: 1028: 1027: 1022: 1017: 1016: 1011: 999: 998: 993: 978: 977: 976: 975: 970: 936: 934: 933: 928: 911: 910: 898: 897: 858: 856: 855: 850: 805: 803: 802: 797: 780: 779: 728: 726: 725: 720: 702: 700: 699: 694: 689: 688: 630: 628: 627: 622: 620: 619: 595: 593: 592: 587: 585: 584: 565: 563: 562: 557: 555: 554: 447: 445: 444: 439: 401: 399: 398: 393: 373: 372: 356:sheaf cohomology 348:abelian category 304:associated sheaf 261: 259: 258: 253: 251: 246: 78: 71: 67: 64: 58: 38: 37: 30: 21: 8343: 8342: 8338: 8337: 8336: 8334: 8333: 8332: 8318: 8317: 8296:10.2307/1969915 8279: 8271: 8265: 8244: 8238: 8215: 8202: 8180: 8144:DieudonnĂ©, Jean 8138: 8135: 8130: 8129: 8119: 8118: 8114: 8106: 8102: 8094: 8090: 8083: 8062: 8061: 8057: 8053:, Theorem 1.3.1 8049: 8045: 8036: 8034: 8026: 8025: 8021: 8013: 8009: 7999: 7994: 7990: 7980: 7975: 7968: 7958: 7953: 7949: 7941: 7937: 7929: 7925: 7917: 7913: 7867: 7866: 7864: 7860: 7824: 7811: 7793: 7788: 7775: 7753: 7738: 7737: 7733: 7729: 7720: 7716: 7708: 7704: 7695: 7691: 7686: 7650: 7607: 7584: 7579: 7578: 7550: 7545: 7544: 7514: 7513: 7503: 7498: 7488: 7483: 7473: 7463: 7454: 7453: 7440: 7418: 7417: 7411: 7410: 7397: 7375: 7374: 7368: 7367: 7354: 7322: 7321: 7311: 7309: 7299: 7294: 7288: 7287: 7277: 7272: 7267: 7257: 7251: 7250: 7245: 7235: 7233: 7223: 7216: 7207: 7206: 7193: 7180: 7158: 7157: 7151: 7150: 7137: 7124: 7102: 7101: 7095: 7094: 7081: 7068: 7036: 7035: 7025: 7019: 7018: 7008: 7002: 7001: 6991: 6984: 6965: 6952: 6939: 6915: 6914: 6890: 6874: 6860: 6859: 6822: 6821: 6797: 6784: 6771: 6757: 6756: 6730: 6707: 6694: 6681: 6668: 6654: 6635: 6626: 6620: 6604: 6603: 6597: 6507: 6477: 6454: 6449: 6448: 6397: 6396: 6374: 6373: 6354: 6353: 6350: 6345: 6299: 6270: 6224: 6219: 6218: 6174: 6111: 6110: 6063: 6046: 6029: 6018: 6017: 5991: 5990: 5938: 5937: 5935: 5930: 5902: 5778: 5777: 5772: 5693: 5667: 5666: 5585: 5580: 5579: 5512: 5511: 5462: 5461: 5388: 5387: 5337: 5335:Sheaf extension 5306: 5241: 5236: 5235: 5230:, depending on 5229: 5219: 5174:states that if 5169: 5165:ÄŚech cohomology 5114: 5098: 5067: 5062: 5061: 5053:. Then for any 5031: 5030: 5007: 5002: 4997: 4996: 4950: 4945: 4924: 4919: 4903: 4898: 4897: 4870: 4869: 4857: 4848: 4838: 4832: 4829: 4822:needs expansion 4807: 4720: 4716: 4715: 4710: 4709: 4657: 4656: 4598: 4575: 4574: 4572: 4562: 4512: 4511: 4487: 4474: 4436: 4435: 4411: 4401: 4388: 4352: 4335: 4334: 4295: 4294: 4256: 4249: 4237: 4183: 4125: 4067: 4044: 4043: 4024: 4023: 3989: 3960: 3950: 3929: 3928: 3920: 3852: 3799: 3794: 3793: 3730: 3707: 3682: 3677: 3676: 3625: 3600: 3587: 3576: 3575: 3571: 3562: 3534: 3512: 3507: 3506: 3463: 3438: 3425: 3414: 3413: 3379: 3378: 3309: 3308: 3298: 3269: 3264: 3263: 3253: 3215: 3214: 3171: 3166: 3165: 3137: 3136: 3096: 3091: 3090: 3047: 3046: 3000: 2974: 2973: 2943: 2924: 2905: 2900: 2899: 2869: 2844: 2819: 2814: 2813: 2767: 2766: 2736: 2683: 2682: 2645: 2644: 2625: 2624: 2605: 2604: 2601: 2554: 2553: 2462: 2453: 2444: 2435: 2422: 2365: 2364: 2334: 2296: 2277: 2258: 2253: 2252: 2199: 2177: 2172: 2147: 2131: 2126: 2125: 2085: 2080: 2079: 2058: 2053: 2052: 2021: 2010: 2005: 2004: 1979: 1966: 1961: 1960: 1925: 1920: 1919: 1892: 1879: 1874: 1858: 1853: 1852: 1817: 1812: 1811: 1806: 1792: 1782: 1775: 1749: 1744: 1743: 1727: 1720: 1634: 1633: 1585: 1584: 1518: 1517: 1485: 1484: 1403: 1377: 1376: 1362:ÄŚech cohomology 1333: 1311: 1306: 1305: 1251: 1250: 1183: 1147: 1146: 1103: 1102: 1055: 1040: 1039: 1006: 988: 965: 957: 946: 945: 902: 887: 886: 882:-modules, then 808: 807: 762: 739: 738: 705: 704: 680: 672: 671: 645: 611: 606: 605: 576: 571: 570: 568:canonical sheaf 546: 541: 540: 538:cotangent sheaf 454: 415: 414: 364: 359: 358: 334: 301: 235: 234: 79: 68: 62: 59: 51:help improve it 48: 39: 35: 28: 23: 22: 15: 12: 11: 5: 8341: 8339: 8331: 8330: 8320: 8319: 8316: 8315: 8290:(2): 197–278, 8269: 8263: 8242: 8236: 8219:Ulrich Bundles 8213: 8200: 8178: 8134: 8131: 8128: 8127: 8112: 8100: 8088: 8081: 8055: 8043: 8019: 8007: 7988: 7966: 7947: 7935: 7923: 7911: 7886: 7883: 7880: 7877: 7874: 7858: 7851: 7850: 7839: 7836: 7831: 7827: 7823: 7818: 7814: 7810: 7807: 7800: 7796: 7791: 7787: 7782: 7778: 7774: 7771: 7768: 7765: 7760: 7756: 7752: 7747: 7727: 7714: 7702: 7688: 7687: 7685: 7682: 7681: 7680: 7675: 7670: 7665: 7649: 7646: 7633: 7628: 7623: 7618: 7612: 7606: 7601: 7595: 7592: 7589: 7566: 7561: 7555: 7541: 7540: 7527: 7518: 7510: 7506: 7502: 7499: 7495: 7491: 7487: 7484: 7480: 7476: 7472: 7469: 7468: 7466: 7461: 7452: 7447: 7443: 7439: 7436: 7433: 7430: 7425: 7420: 7419: 7416: 7413: 7412: 7409: 7404: 7400: 7396: 7393: 7390: 7387: 7382: 7377: 7376: 7373: 7370: 7369: 7366: 7361: 7357: 7353: 7350: 7347: 7344: 7339: 7334: 7333: 7326: 7318: 7314: 7310: 7306: 7302: 7298: 7295: 7293: 7290: 7289: 7284: 7280: 7276: 7273: 7271: 7268: 7264: 7260: 7256: 7253: 7252: 7249: 7246: 7242: 7238: 7234: 7230: 7226: 7222: 7221: 7219: 7214: 7205: 7200: 7196: 7192: 7187: 7183: 7179: 7176: 7173: 7170: 7165: 7160: 7159: 7156: 7153: 7152: 7149: 7144: 7140: 7136: 7131: 7127: 7123: 7120: 7117: 7114: 7109: 7104: 7103: 7100: 7097: 7096: 7093: 7088: 7084: 7080: 7075: 7071: 7067: 7064: 7061: 7058: 7053: 7048: 7047: 7040: 7032: 7028: 7024: 7021: 7020: 7015: 7011: 7007: 7004: 7003: 6998: 6994: 6990: 6989: 6987: 6982: 6977: 6972: 6968: 6964: 6959: 6955: 6951: 6946: 6942: 6938: 6935: 6932: 6929: 6924: 6897: 6893: 6889: 6886: 6881: 6877: 6873: 6870: 6867: 6847: 6844: 6841: 6838: 6835: 6832: 6829: 6809: 6804: 6800: 6796: 6791: 6787: 6783: 6778: 6774: 6770: 6767: 6764: 6753: 6752: 6739: 6734: 6729: 6725: 6719: 6714: 6710: 6706: 6701: 6697: 6693: 6688: 6684: 6680: 6677: 6674: 6671: 6666: 6661: 6657: 6653: 6650: 6647: 6642: 6638: 6634: 6630: 6623: 6614: 6611: 6596: 6593: 6592: 6591: 6580: 6577: 6572: 6567: 6562: 6557: 6554: 6551: 6548: 6545: 6540: 6535: 6530: 6527: 6524: 6519: 6514: 6510: 6506: 6503: 6498: 6493: 6488: 6482: 6476: 6471: 6465: 6462: 6459: 6444:and find that 6442: 6441: 6428: 6423: 6420: 6417: 6414: 6411: 6406: 6381: 6361: 6349: 6346: 6344: 6341: 6340: 6339: 6328: 6325: 6320: 6315: 6310: 6304: 6298: 6293: 6290: 6287: 6282: 6277: 6273: 6269: 6266: 6261: 6256: 6251: 6246: 6241: 6235: 6232: 6229: 6212: 6211: 6200: 6195: 6190: 6185: 6179: 6173: 6168: 6165: 6162: 6157: 6154: 6149: 6144: 6139: 6134: 6129: 6126: 6123: 6120: 6104: 6103: 6092: 6089: 6084: 6079: 6074: 6068: 6062: 6057: 6051: 6045: 6040: 6034: 6028: 6025: 6000: 5978: 5973: 5968: 5963: 5958: 5953: 5950: 5947: 5934: 5931: 5924: 5923: 5909: 5905: 5901: 5898: 5894: 5891: 5888: 5885: 5882: 5879: 5876: 5873: 5870: 5867: 5862: 5857: 5853: 5849: 5844: 5839: 5836: 5833: 5830: 5827: 5824: 5821: 5818: 5815: 5812: 5809: 5806: 5803: 5800: 5795: 5790: 5786: 5770: 5723: 5720: 5717: 5714: 5711: 5708: 5705: 5700: 5696: 5692: 5689: 5686: 5683: 5680: 5677: 5674: 5663: 5662: 5651: 5648: 5645: 5642: 5639: 5636: 5633: 5628: 5623: 5619: 5615: 5612: 5609: 5606: 5603: 5600: 5597: 5592: 5588: 5549: 5546: 5543: 5540: 5537: 5534: 5529: 5524: 5520: 5499: 5496: 5493: 5490: 5487: 5484: 5479: 5474: 5470: 5431: 5430: 5419: 5416: 5413: 5410: 5407: 5404: 5401: 5398: 5395: 5355:be sheaves of 5336: 5333: 5330: 5329: 5318: 5313: 5309: 5305: 5302: 5299: 5296: 5293: 5290: 5286: 5283: 5280: 5277: 5274: 5271: 5268: 5265: 5262: 5259: 5256: 5253: 5248: 5244: 5227: 5221: 5217: 5157: 5156: 5145: 5142: 5139: 5136: 5131: 5126: 5121: 5117: 5113: 5110: 5105: 5101: 5097: 5094: 5091: 5088: 5085: 5082: 5079: 5074: 5070: 5040: 5014: 5010: 5005: 4976: 4973: 4970: 4967: 4964: 4957: 4953: 4948: 4944: 4941: 4938: 4931: 4927: 4922: 4918: 4915: 4910: 4906: 4879: 4852: 4844:Main article: 4840: 4839: 4819: 4817: 4806: 4803: 4795: 4794: 4783: 4780: 4777: 4772: 4767: 4763: 4760: 4757: 4754: 4751: 4748: 4745: 4742: 4739: 4734: 4731: 4728: 4724: 4719: 4694: 4691: 4688: 4685: 4682: 4679: 4676: 4673: 4670: 4667: 4664: 4614: 4610: 4607: 4604: 4601: 4594: 4591: 4588: 4585: 4582: 4567: 4558: 4525: 4522: 4499: 4494: 4490: 4484: 4481: 4477: 4473: 4470: 4467: 4464: 4461: 4458: 4455: 4452: 4449: 4446: 4443: 4432: 4431: 4418: 4414: 4408: 4404: 4398: 4395: 4391: 4387: 4384: 4381: 4378: 4373: 4370: 4367: 4364: 4361: 4356: 4348: 4345: 4308: 4305: 4254: 4247: 4236: 4233: 4232: 4231: 4219: 4213: 4210: 4204: 4201: 4198: 4195: 4190: 4186: 4182: 4179: 4176: 4173: 4170: 4167: 4164: 4161: 4155: 4152: 4146: 4143: 4140: 4137: 4132: 4128: 4124: 4121: 4118: 4115: 4112: 4109: 4106: 4103: 4097: 4094: 4088: 4085: 4082: 4079: 4074: 4070: 4066: 4063: 4060: 4057: 4054: 4051: 4031: 4018:A sequence of 4016: 4001: 3996: 3992: 3985: 3980: 3977: 3972: 3967: 3963: 3957: 3953: 3949: 3944: 3941: 3936: 3926: 3916: 3904: 3901: 3895: 3892: 3886: 3880: 3877: 3871: 3864: 3861: 3855: 3851: 3846: 3841: 3838: 3835: 3832: 3829: 3826: 3823: 3820: 3817: 3814: 3811: 3806: 3802: 3791: 3779: 3773: 3770: 3764: 3758: 3755: 3749: 3742: 3739: 3733: 3729: 3724: 3719: 3714: 3710: 3706: 3703: 3700: 3697: 3694: 3689: 3685: 3665: 3650: 3647: 3637: 3634: 3628: 3621: 3618: 3612: 3607: 3603: 3599: 3594: 3590: 3586: 3583: 3573: 3567: 3558: 3541: 3537: 3533: 3528: 3521: 3518: 3495: 3481: 3478: 3475: 3472: 3467: 3459: 3456: 3450: 3445: 3441: 3435: 3432: 3428: 3424: 3421: 3398: 3395: 3392: 3389: 3386: 3331: 3328: 3325: 3322: 3319: 3316: 3294: 3280: 3274: 3249: 3234: 3231: 3225: 3222: 3196: 3193: 3187: 3182: 3176: 3150: 3147: 3121: 3118: 3112: 3107: 3101: 3060: 3057: 3027: 3026: 3015: 3010: 3007: 3003: 2999: 2996: 2993: 2990: 2987: 2984: 2981: 2956: 2953: 2950: 2946: 2942: 2937: 2934: 2931: 2927: 2923: 2918: 2915: 2912: 2908: 2896: 2895: 2884: 2879: 2876: 2872: 2868: 2865: 2862: 2859: 2854: 2851: 2847: 2843: 2840: 2837: 2832: 2829: 2826: 2822: 2798: 2795: 2792: 2789: 2786: 2783: 2780: 2777: 2774: 2754: 2751: 2746: 2743: 2739: 2735: 2732: 2729: 2726: 2723: 2720: 2717: 2714: 2711: 2708: 2705: 2702: 2699: 2696: 2693: 2690: 2670: 2667: 2664: 2661: 2658: 2655: 2652: 2632: 2612: 2600: 2597: 2576: 2573: 2570: 2567: 2564: 2561: 2507:Stein manifold 2503:coherent sheaf 2458: 2449: 2440: 2436:in each stalk 2431: 2418: 2412: 2411: 2400: 2397: 2394: 2391: 2388: 2383: 2380: 2377: 2373: 2352:is said to be 2333: 2330: 2329: 2328: 2317: 2314: 2311: 2308: 2303: 2299: 2295: 2292: 2289: 2284: 2280: 2276: 2273: 2270: 2265: 2261: 2226: 2225: 2214: 2211: 2206: 2202: 2198: 2195: 2192: 2189: 2183: 2180: 2175: 2171: 2168: 2165: 2162: 2159: 2154: 2150: 2146: 2143: 2138: 2134: 2092: 2088: 2065: 2061: 2033: 2028: 2024: 2020: 2016: 2013: 1992: 1989: 1985: 1982: 1976: 1973: 1969: 1940: 1935: 1932: 1928: 1916: 1915: 1904: 1898: 1895: 1889: 1886: 1882: 1877: 1873: 1868: 1865: 1861: 1829: 1824: 1820: 1790: 1761: 1756: 1752: 1703: 1702: 1691: 1688: 1685: 1682: 1679: 1676: 1673: 1668: 1665: 1662: 1658: 1654: 1651: 1646: 1642: 1613:is called the 1602: 1597: 1593: 1564: 1561: 1558: 1555: 1550: 1545: 1542: 1539: 1536: 1532: 1528: 1525: 1514: 1513: 1502: 1497: 1493: 1462:tensor algebra 1430: 1427: 1424: 1421: 1418: 1415: 1410: 1406: 1402: 1399: 1396: 1390: 1387: 1349: 1344: 1338: 1332: 1329: 1326: 1323: 1318: 1314: 1294: 1293: 1282: 1279: 1276: 1273: 1270: 1264: 1261: 1220: 1219: 1207: 1204: 1201: 1198: 1195: 1190: 1186: 1182: 1177: 1172: 1169: 1166: 1160: 1157: 1116: 1113: 1093:is called the 1091: 1090: 1079: 1076: 1073: 1070: 1067: 1062: 1058: 1054: 1049: 1020: 1015: 1010: 1005: 1002: 997: 992: 987: 984: 981: 974: 969: 964: 960: 956: 953: 938: 937: 926: 923: 920: 917: 914: 909: 905: 901: 896: 870:Similarly, if 848: 845: 842: 839: 836: 833: 830: 827: 824: 821: 818: 815: 795: 792: 789: 786: 783: 778: 775: 772: 769: 765: 761: 758: 755: 752: 749: 746: 731: 730: 718: 715: 712: 692: 687: 683: 679: 644: 641: 640: 639: 632: 618: 614: 583: 579: 553: 549: 522:smooth variety 514: 473:-submodule of 453: 450: 437: 434: 431: 428: 425: 422: 391: 388: 385: 382: 379: 376: 371: 367: 330: 297: 283:prime spectrum 249: 245: 232:constant sheaf 167:) â†’  151:) â†’  81: 80: 42: 40: 33: 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 8340: 8329: 8326: 8325: 8323: 8313: 8309: 8305: 8301: 8297: 8293: 8289: 8285: 8278: 8274: 8270: 8266: 8264:9780521513630 8260: 8256: 8252: 8248: 8243: 8239: 8237:9783110647686 8233: 8229: 8225: 8221: 8220: 8214: 8211: 8207: 8203: 8197: 8193: 8189: 8188: 8183: 8179: 8175: 8171: 8167: 8163: 8159: 8155: 8154: 8149: 8145: 8141: 8137: 8136: 8132: 8123: 8116: 8113: 8109: 8104: 8101: 8097: 8092: 8089: 8084: 8082:9780521513630 8078: 8074: 8070: 8066: 8059: 8056: 8052: 8047: 8044: 8033: 8029: 8023: 8020: 8016: 8011: 8008: 8003: 7997: 7992: 7989: 7984: 7978: 7973: 7971: 7967: 7962: 7956: 7951: 7948: 7944: 7939: 7936: 7933: 7927: 7924: 7920: 7915: 7912: 7908: 7904: 7900: 7884: 7881: 7878: 7875: 7872: 7862: 7859: 7855: 7837: 7829: 7825: 7821: 7816: 7812: 7805: 7798: 7794: 7789: 7780: 7772: 7769: 7766: 7758: 7754: 7750: 7736: 7735: 7731: 7728: 7724: 7718: 7715: 7711: 7706: 7703: 7699: 7693: 7690: 7683: 7679: 7676: 7674: 7671: 7669: 7666: 7663: 7659: 7656:(in place of 7655: 7652: 7651: 7647: 7645: 7621: 7616: 7599: 7564: 7559: 7516: 7508: 7504: 7500: 7493: 7489: 7485: 7478: 7474: 7470: 7464: 7459: 7445: 7441: 7437: 7434: 7431: 7414: 7402: 7398: 7394: 7391: 7388: 7371: 7359: 7355: 7351: 7348: 7345: 7324: 7316: 7312: 7304: 7300: 7296: 7291: 7282: 7278: 7274: 7269: 7262: 7258: 7254: 7247: 7240: 7236: 7228: 7224: 7217: 7212: 7198: 7194: 7190: 7185: 7181: 7177: 7174: 7171: 7154: 7142: 7138: 7134: 7129: 7125: 7121: 7118: 7115: 7098: 7086: 7082: 7078: 7073: 7069: 7065: 7062: 7059: 7038: 7030: 7026: 7022: 7013: 7009: 7005: 6996: 6992: 6985: 6980: 6970: 6966: 6962: 6957: 6953: 6949: 6944: 6940: 6936: 6933: 6930: 6913: 6912: 6911: 6895: 6891: 6887: 6879: 6875: 6868: 6865: 6845: 6842: 6836: 6830: 6827: 6802: 6798: 6794: 6789: 6785: 6781: 6776: 6772: 6768: 6765: 6737: 6727: 6723: 6712: 6708: 6704: 6699: 6695: 6691: 6686: 6682: 6672: 6659: 6655: 6651: 6648: 6645: 6640: 6636: 6621: 6612: 6609: 6602: 6601: 6600: 6594: 6565: 6549: 6546: 6512: 6508: 6504: 6491: 6486: 6469: 6447: 6446: 6445: 6415: 6412: 6395: 6394: 6393: 6379: 6359: 6347: 6342: 6313: 6308: 6275: 6271: 6267: 6254: 6239: 6217: 6216: 6215: 6188: 6183: 6155: 6142: 6109: 6108: 6107: 6090: 6072: 6055: 6038: 6023: 6016: 6015: 6014: 5966: 5932: 5929: 5907: 5903: 5899: 5896: 5892: 5880: 5874: 5871: 5868: 5860: 5855: 5851: 5847: 5837: 5834: 5825: 5816: 5810: 5807: 5804: 5798: 5793: 5788: 5784: 5776: 5775: 5774: 5769: 5765: 5761: 5757: 5753: 5749: 5744: 5742: 5738: 5734: 5721: 5715: 5712: 5709: 5703: 5698: 5694: 5690: 5684: 5681: 5678: 5649: 5643: 5640: 5637: 5631: 5626: 5621: 5617: 5613: 5607: 5604: 5601: 5595: 5590: 5578: 5577: 5576: 5574: 5570: 5566: 5561: 5544: 5541: 5538: 5532: 5527: 5522: 5518: 5494: 5491: 5488: 5482: 5477: 5472: 5468: 5460: 5456: 5452: 5451:abelian group 5448: 5444: 5440: 5436: 5417: 5411: 5405: 5399: 5393: 5386: 5385: 5384: 5382: 5378: 5374: 5370: 5366: 5362: 5358: 5354: 5350: 5346: 5342: 5334: 5332: 5316: 5311: 5307: 5303: 5300: 5297: 5294: 5291: 5288: 5284: 5281: 5278: 5269: 5263: 5260: 5257: 5251: 5246: 5233: 5226: 5222: 5216: 5212: 5208: 5204: 5200: 5198: 5196: 5192: 5189: 5185: 5181: 5177: 5173: 5168: 5166: 5162: 5137: 5134: 5119: 5115: 5108: 5103: 5095: 5089: 5086: 5083: 5077: 5072: 5060: 5059: 5058: 5056: 5012: 5008: 5003: 4994: 4990: 4974: 4971: 4965: 4962: 4955: 4951: 4946: 4942: 4939: 4936: 4929: 4925: 4920: 4913: 4908: 4895: 4867: 4863: 4851: 4847: 4836: 4827: 4823: 4820:This section 4818: 4815: 4811: 4810: 4804: 4802: 4800: 4781: 4778: 4770: 4765: 4755: 4749: 4746: 4743: 4732: 4729: 4726: 4722: 4717: 4708: 4707: 4706: 4689: 4683: 4680: 4677: 4674: 4668: 4662: 4654: 4650: 4646: 4641: 4639: 4635: 4631: 4612: 4605: 4599: 4592: 4586: 4580: 4570: 4566: 4561: 4556: 4552: 4548: 4544: 4540: 4523: 4520: 4492: 4482: 4479: 4475: 4468: 4462: 4459: 4456: 4450: 4447: 4444: 4416: 4406: 4396: 4393: 4389: 4382: 4376: 4368: 4365: 4362: 4346: 4343: 4333: 4332: 4331: 4329: 4325: 4306: 4303: 4292: 4288: 4284: 4280: 4276: 4272: 4268: 4265:-module. Let 4264: 4260: 4253: 4246: 4242: 4234: 4211: 4208: 4199: 4196: 4193: 4188: 4177: 4171: 4168: 4162: 4153: 4150: 4141: 4138: 4135: 4130: 4119: 4113: 4110: 4104: 4095: 4092: 4083: 4080: 4077: 4072: 4061: 4055: 4052: 4029: 4021: 4017: 3999: 3994: 3990: 3983: 3978: 3975: 3970: 3965: 3955: 3951: 3947: 3942: 3939: 3927: 3924: 3919: 3893: 3890: 3884: 3878: 3875: 3862: 3859: 3853: 3849: 3839: 3836: 3827: 3821: 3818: 3815: 3809: 3804: 3800: 3792: 3771: 3768: 3762: 3756: 3753: 3740: 3737: 3731: 3727: 3717: 3712: 3704: 3701: 3698: 3692: 3687: 3683: 3674: 3670: 3666: 3648: 3645: 3635: 3632: 3626: 3619: 3616: 3610: 3605: 3597: 3592: 3588: 3584: 3574: 3570: 3566: 3561: 3557: 3539: 3535: 3531: 3526: 3519: 3516: 3504: 3500: 3496: 3476: 3470: 3457: 3454: 3448: 3443: 3433: 3430: 3426: 3419: 3412: 3411: 3410: 3396: 3390: 3387: 3384: 3376: 3372: 3368: 3363: 3361: 3357: 3353: 3349: 3345: 3326: 3323: 3320: 3306: 3302: 3297: 3278: 3261: 3257: 3252: 3232: 3229: 3220: 3213: 3212:exact functor 3194: 3191: 3185: 3180: 3148: 3145: 3119: 3116: 3110: 3105: 3088: 3083: 3081: 3077: 3058: 3055: 3044: 3040: 3036: 3032: 3008: 3005: 3001: 2994: 2985: 2979: 2972: 2971: 2970: 2954: 2951: 2948: 2944: 2940: 2935: 2932: 2929: 2925: 2921: 2916: 2913: 2910: 2906: 2877: 2874: 2870: 2863: 2852: 2849: 2845: 2838: 2835: 2830: 2827: 2824: 2820: 2812: 2811: 2810: 2793: 2787: 2784: 2778: 2772: 2744: 2741: 2737: 2730: 2724: 2721: 2718: 2712: 2709: 2706: 2700: 2694: 2688: 2665: 2659: 2656: 2653: 2650: 2630: 2610: 2598: 2596: 2594: 2590: 2571: 2568: 2565: 2551: 2547: 2543: 2539: 2535: 2531: 2527: 2524:An injective 2522: 2520: 2516: 2512: 2508: 2504: 2500: 2496: 2492: 2489: 2485: 2481: 2477: 2473: 2469: 2464: 2461: 2457: 2452: 2448: 2443: 2439: 2434: 2430: 2426: 2421: 2417: 2398: 2392: 2386: 2381: 2378: 2375: 2371: 2363: 2362: 2361: 2359: 2355: 2351: 2347: 2343: 2339: 2331: 2315: 2312: 2309: 2306: 2301: 2297: 2293: 2287: 2282: 2278: 2274: 2271: 2263: 2259: 2251: 2250: 2249: 2247: 2243: 2239: 2235: 2231: 2209: 2204: 2200: 2196: 2193: 2187: 2181: 2178: 2173: 2169: 2163: 2160: 2157: 2152: 2148: 2141: 2136: 2132: 2124: 2123: 2122: 2120: 2116: 2112: 2108: 2090: 2086: 2063: 2059: 2049: 2047: 2031: 2026: 2022: 2014: 2011: 1990: 1983: 1980: 1974: 1971: 1967: 1958: 1954: 1938: 1933: 1930: 1926: 1902: 1896: 1893: 1887: 1884: 1880: 1875: 1871: 1866: 1863: 1859: 1851: 1850: 1849: 1847: 1843: 1827: 1822: 1818: 1809: 1802: 1797: 1795: 1789: 1785: 1778: 1759: 1754: 1750: 1742: 1738: 1734: 1730: 1723: 1716: 1712: 1708: 1689: 1683: 1671: 1666: 1663: 1660: 1656: 1652: 1649: 1644: 1640: 1632: 1631: 1630: 1628: 1624: 1620: 1616: 1600: 1595: 1591: 1582: 1578: 1559: 1553: 1548: 1540: 1534: 1530: 1523: 1500: 1495: 1491: 1483: 1482: 1481: 1479: 1475: 1471: 1467: 1463: 1459: 1455: 1450: 1448: 1444: 1428: 1419: 1413: 1408: 1404: 1400: 1397: 1394: 1385: 1374: 1370: 1365: 1363: 1342: 1330: 1327: 1321: 1316: 1303: 1299: 1280: 1277: 1274: 1271: 1268: 1259: 1249: 1248: 1247: 1245: 1241: 1238:is called an 1237: 1233: 1229: 1225: 1202: 1199: 1196: 1188: 1184: 1180: 1167: 1164: 1155: 1145: 1144: 1143: 1141: 1137: 1133: 1111: 1100: 1096: 1074: 1071: 1068: 1060: 1056: 1052: 1038: 1037: 1036: 1034: 1013: 1003: 1000: 995: 985: 979: 972: 962: 958: 951: 943: 921: 918: 915: 907: 903: 899: 885: 884: 883: 881: 877: 873: 868: 866: 862: 846: 843: 837: 834: 828: 825: 819: 813: 793: 787: 781: 773: 767: 763: 756: 750: 744: 736: 716: 713: 710: 690: 685: 681: 677: 670: 669: 668: 666: 662: 658: 654: 650: 642: 637: 633: 616: 603: 599: 581: 577: 569: 551: 539: 535: 531: 530:tangent sheaf 527: 524:of dimension 523: 519: 515: 512: 508: 504: 500: 496: 492: 488: 484: 480: 476: 472: 468: 464: 460: 456: 455: 451: 449: 432: 429: 426: 413: 409: 405: 386: 383: 380: 374: 369: 357: 353: 349: 344: 342: 338: 333: 329: 325: 321: 317: 313: 309: 305: 300: 296: 292: 288: 284: 280: 275: 273: 272:abelian sheaf 269: 265: 247: 233: 229: 225: 221: 217: 212: 210: 206: 202: 198: 194: 190: 186: 182: 178: 174: 170: 166: 162: 158: 154: 150: 146: 142: 138: 134: 130: 126: 122: 118: 115: 111: 107: 103: 99: 97: 93:or simply an 92: 90: 77: 74: 66: 63:November 2023 56: 52: 46: 43:This article 41: 32: 31: 19: 18:Abelian sheaf 8328:Sheaf theory 8287: 8283: 8246: 8218: 8185: 8157: 8151: 8121: 8115: 8103: 8091: 8064: 8058: 8046: 8035:. Retrieved 8031: 8022: 8010: 7991: 7950: 7938: 7926: 7914: 7906: 7902: 7898: 7861: 7853: 7730: 7717: 7705: 7692: 7661: 7657: 7542: 6754: 6598: 6443: 6351: 6348:Hypersurface 6213: 6105: 5936: 5767: 5763: 5759: 5755: 5751: 5747: 5745: 5740: 5736: 5735: 5664: 5572: 5568: 5564: 5562: 5446: 5442: 5438: 5434: 5432: 5380: 5372: 5368: 5364: 5360: 5359:-modules on 5356: 5352: 5348: 5344: 5340: 5338: 5331: 5234:, such that 5231: 5224: 5214: 5210: 5206: 5202: 5194: 5190: 5183: 5179: 5175: 5170: 5160: 5158: 5054: 4992: 4988: 4893: 4865: 4861: 4853: 4849: 4833:January 2016 4830: 4826:adding to it 4821: 4798: 4796: 4652: 4648: 4644: 4642: 4637: 4568: 4564: 4559: 4554: 4550: 4546: 4542: 4541: 4433: 4327: 4323: 4290: 4286: 4278: 4274: 4266: 4262: 4258: 4251: 4244: 4240: 4238: 4019: 3922: 3917: 3668: 3568: 3564: 3559: 3555: 3502: 3498: 3374: 3370: 3366: 3364: 3359: 3355: 3347: 3304: 3295: 3259: 3250: 3135:. Moreover, 3086: 3084: 3079: 3075: 3034: 3030: 3028: 2897: 2602: 2592: 2588: 2549: 2545: 2541: 2537: 2533: 2525: 2523: 2518: 2494: 2490: 2479: 2475: 2471: 2465: 2459: 2455: 2450: 2446: 2441: 2437: 2432: 2428: 2424: 2419: 2415: 2413: 2357: 2353: 2349: 2345: 2341: 2337: 2335: 2245: 2241: 2237: 2233: 2227: 2118: 2114: 2110: 2106: 2050: 1956: 1917: 1845: 1841: 1804: 1800: 1798: 1793: 1787: 1780: 1773: 1736: 1732: 1725: 1718: 1714: 1710: 1706: 1704: 1626: 1622: 1580: 1576: 1515: 1477: 1473: 1457: 1453: 1451: 1446: 1375:-linear map 1372: 1368: 1366: 1301: 1298:Picard group 1295: 1235: 1231: 1223: 1221: 1139: 1135: 1131: 1098: 1094: 1092: 1032: 941: 940:denotes the 939: 879: 875: 871: 869: 860: 734: 732: 664: 660: 656: 652: 648: 646: 597: 533: 525: 517: 510: 506: 505:of the ring 498: 494: 490: 486: 482: 474: 470: 466: 462: 458: 403: 345: 336: 331: 327: 323: 315: 307: 303: 298: 294: 290: 286: 278: 276: 271: 263: 227: 223: 215: 213: 208: 204: 200: 196: 192: 188: 184: 180: 176: 172: 168: 164: 160: 156: 152: 148: 144: 140: 136: 132: 128: 124: 120: 116: 109: 105: 102:ringed space 95: 94: 88: 86: 84: 69: 60: 44: 5188:Serre twist 4651:-module on 4539:by gluing. 2528:-module is 1244:line bundle 1095:dual module 602:determinant 528:. Then the 479:ideal sheaf 312:graded ring 289:, then any 8133:References 8108:Hartshorne 8096:Serre 1955 8037:2023-12-07 8015:Hartshorne 7943:Hartshorne 7930:see also: 7919:Hartshorne 7723:Hartshorne 7710:Hartshorne 7543:resolving 6372:of degree 5926:See also: 5773:such that 4896:such that 4628:is called 4250:-algebra ( 3352:Noetherian 2681:and write 2482:being any 2445:generates 2360:-modules: 2332:Properties 2105:: for any 643:Operations 285:of a ring 270:(i.e., an 7882:≃ 7876:⊗ 7806:⁡ 7786:→ 7438:− 7432:− 7415:⊕ 7395:− 7389:− 7372:⊕ 7352:− 7346:− 7297:− 7275:− 7255:− 7191:− 7178:− 7172:− 7155:⊕ 7135:− 7122:− 7116:− 7099:⊕ 7079:− 7066:− 7060:− 7023:− 7006:− 6963:− 6950:− 6937:− 6931:− 6869:⁡ 6831:⁡ 6728:⊆ 6649:… 6556:→ 6547:− 6422:→ 6413:− 6309:∙ 6184:∙ 6088:→ 6078:→ 6061:→ 6044:→ 6027:→ 6024:⋯ 5900:≥ 5829:Γ 5799:⁡ 5716:− 5704:⁡ 5685:− 5673:Γ 5632:⁡ 5596:⁡ 5533:⁡ 5483:⁡ 5459:Ext group 5415:→ 5409:→ 5403:→ 5397:→ 5383:-modules 5365:extension 5304:≥ 5292:≥ 5252:⁡ 5201:For each 5120:∙ 5109:⁡ 5078:⁡ 4943:∩ 4940:⋯ 4937:∩ 4914:⁡ 4776:→ 4771:∼ 4738:Γ 4730:≥ 4723:⨁ 4681:⊗ 4613:~ 4524:~ 4480:− 4463:⁡ 4448:≠ 4417:∼ 4394:− 4377:≃ 4366:≠ 4347:~ 4307:~ 4261:a graded 4212:~ 4209:φ 4200:⁡ 4189:∼ 4178:φ 4172:⁡ 4154:~ 4151:φ 4142:⁡ 4131:∼ 4120:φ 4114:⁡ 4096:~ 4093:φ 4084:⁡ 4073:∼ 4062:φ 4056:⁡ 4030:∼ 4000:~ 3984:⁡ 3979:→ 3971:≃ 3966:∼ 3948:⁡ 3943:→ 3894:~ 3879:~ 3863:~ 3831:Γ 3828:≃ 3810:⁡ 3772:~ 3757:~ 3741:~ 3718:≃ 3713:∼ 3693:⁡ 3649:~ 3636:~ 3627:⊗ 3620:~ 3611:≃ 3606:∼ 3589:⊗ 3532:≃ 3520:~ 3458:~ 3444:∼ 3431:− 3394:→ 3385:φ 3369:-modules 3327:− 3315:Γ 3233:~ 3224:↦ 3195:~ 3149:~ 3120:~ 3059:~ 3006:− 2992:↦ 2945:ρ 2941:∘ 2926:ρ 2907:ρ 2875:− 2861:→ 2850:− 2821:ρ 2785:⊆ 2742:− 2725:⁡ 2710:≠ 2660:⁡ 2572:− 2560:Γ 2486:, on the 2463:-module. 2396:→ 2390:→ 2379:∈ 2372:⨁ 2310:⊗ 2302:∗ 2294:≃ 2283:∗ 2275:⊗ 2264:∗ 2232:: for an 2205:∗ 2188:⁡ 2170:≃ 2153:∗ 2142:⁡ 2091:∗ 2064:∗ 2046:adjuction 2027:∗ 2019:→ 1988:→ 1972:− 1931:− 1885:− 1876:⊗ 1864:− 1823:∗ 1755:∗ 1675:→ 1664:− 1657:⋀ 1653:⊗ 1641:⋀ 1592:⋀ 1531:⋀ 1527:↦ 1492:⋀ 1443:trace map 1426:→ 1414:⁡ 1401:≃ 1395:⊗ 1389:ˇ 1343:∗ 1322:⁡ 1275:≃ 1269:⊗ 1263:ˇ 1171:→ 1165:⊗ 1159:ˇ 1134:-modules 1115:ˇ 980:⁡ 955:↦ 835:− 826:⊗ 764:⊗ 748:↦ 714:⊗ 682:⊗ 613:Ω 578:ω 548:Ω 433:− 421:Γ 387:− 375:⁡ 248:_ 87:sheaf of 8322:Category 8275:(1955), 8184:(1977), 8146:(1960). 7654:D-module 7648:See also 7460:→ 7213:→ 6981:→ 6343:Examples 5455:Baer sum 5449:form an 4987:for any 4293:-module 3572:-module. 3248:from Mod 3089:; i.e., 2474:-module 2348:-module 2244:-module 2236:-module 2182:′ 2117:-module 2109:-module 2015:′ 1984:′ 1897:′ 1456:-module 1452:For any 1035:-module 566:and the 501:) is an 452:Examples 187:for any 135:) is an 91:-modules 8312:0068874 8304:1969915 8210:0463157 8174:0217083 7897:and if 7696:Vakil, 5746:Assume 4855:Theorem 4573:. Then 4543:Example 4269:be the 3346:. When 3043:B-sheaf 2969:. Then 2530:flasque 2511:schemes 1951:is the 1844:is the 1583:, then 863:(1) is 733:is the 596:is the 410:of the 402:as the 318:is the 281:is the 230:is the 112:) is a 100:over a 98:-module 49:Please 8310:  8302:  8261:  8234:  8208:  8198:  8172:  8079:  7700:, 2.5. 6755:where 6214:hence 5186:, the 5029:'s in 4647:is an 4545:: Let 3342:, the 3254:, the 2643:. Put 2501:, any 2470:to an 1918:where 1803:is an 1772:is an 1735:is an 1460:, the 859:where 469:is an 465:), if 220:scheme 199:) and 8300:JSTOR 8280:(PDF) 7996:EGA I 7977:EGA I 7955:EGA I 7684:Notes 6106:then 5575:≥ 0, 5453:(cf. 5375:is a 5363:. An 5339:Let ( 5220:, and 4281:is a 4139:coker 4111:coker 3258:over 2505:on a 2336:Let ( 1807:' 1783:' 1776:' 1728:' 1721:' 1621:) of 1575:. If 1242:or a 1226:is a 647:Let ( 604:) of 520:be a 503:ideal 310:is a 218:is a 114:sheaf 8259:ISBN 8232:ISBN 8196:ISBN 8077:ISBN 8002:help 7983:help 7961:help 6617:Proj 5762:and 5737:Note 5437:and 5205:, H( 5163:-th 4995:and 4860:Let 4460:Spec 4277:(so 4271:Proj 2722:Spec 2657:Spec 2603:Let 2540:) → 2491:Spec 2113:and 2078:and 1959:and 1717:) →( 1705:Let 1468:and 878:are 874:and 663:are 659:and 516:Let 406:-th 320:Proj 314:and 222:and 8292:doi 8251:doi 8224:doi 8162:doi 8069:doi 7790:Hom 6866:deg 6828:deg 5785:Ext 5695:Hom 5618:Ext 5567:is 5519:Ext 5469:Ext 5445:by 5379:of 5371:by 5367:of 4828:. 4643:If 4636:if 4557:(1) 4285:if 4273:of 4081:ker 4053:ker 3976:lim 3940:lim 3801:Hom 3684:Hom 3671:is 3667:If 3554:as 3501:of 3350:is 3303:on 3074:on 2454:as 2423:of 2174:Hom 2133:Hom 2044:by 1955:of 1840:of 1799:If 1709:: ( 1678:det 1472:of 1445:of 1405:End 1367:If 1364:). 1300:of 1097:of 959:Hom 703:or 532:of 489:of 481:of 322:of 277:If 274:). 211:). 203:in 191:in 123:of 53:to 8324:: 8308:MR 8306:, 8298:, 8288:61 8286:, 8282:, 8257:. 8230:. 8222:. 8206:MR 8204:, 8190:, 8170:MR 8168:. 8160:. 8156:. 8150:. 8142:; 8075:. 8030:. 7969:^ 7905:, 7644:. 6858:, 5754:, 5743:. 5418:0. 5351:, 5343:, 5209:, 5167:. 5057:, 4991:, 4571:+1 4563:= 4197:im 4169:im 3675:, 3563:= 3505:, 3409:, 3373:, 3362:. 3082:. 2478:, 2399:0. 2340:, 2242:O' 2121:, 2115:O' 2048:. 1724:, 1713:, 1464:, 1449:. 1138:, 651:, 634:A 513:). 493:, 461:, 448:. 177:fs 127:, 108:, 8294:: 8267:. 8253:: 8240:. 8226:: 8176:. 8164:: 8158:4 8085:. 8071:: 8040:. 8004:) 7985:) 7963:) 7907:G 7903:F 7899:F 7885:O 7879:G 7873:F 7854:F 7838:, 7835:) 7830:x 7826:O 7822:, 7817:x 7813:F 7809:( 7799:x 7795:O 7781:x 7777:) 7773:O 7770:, 7767:F 7764:( 7759:O 7755:m 7751:o 7746:H 7662:D 7658:O 7632:) 7627:F 7622:, 7617:X 7611:O 7605:( 7600:i 7594:t 7591:x 7588:E 7565:, 7560:X 7554:O 7526:O 7517:] 7509:3 7505:g 7501:f 7494:2 7490:g 7486:f 7479:1 7475:g 7471:f 7465:[ 7451:) 7446:3 7442:e 7435:d 7429:( 7424:O 7408:) 7403:2 7399:e 7392:d 7386:( 7381:O 7365:) 7360:1 7356:e 7349:d 7343:( 7338:O 7325:] 7317:2 7313:g 7305:1 7301:g 7292:0 7283:3 7279:g 7270:0 7263:1 7259:g 7248:0 7241:3 7237:g 7229:2 7225:g 7218:[ 7204:) 7199:3 7195:e 7186:2 7182:e 7175:d 7169:( 7164:O 7148:) 7143:3 7139:e 7130:1 7126:e 7119:d 7113:( 7108:O 7092:) 7087:2 7083:e 7074:1 7070:e 7063:d 7057:( 7052:O 7039:] 7031:1 7027:g 7014:2 7010:g 6997:3 6993:g 6986:[ 6976:) 6971:3 6967:e 6958:2 6954:e 6945:1 6941:e 6934:d 6928:( 6923:O 6896:i 6892:e 6888:= 6885:) 6880:i 6876:g 6872:( 6846:d 6843:= 6840:) 6837:f 6834:( 6808:) 6803:3 6799:g 6795:, 6790:2 6786:g 6782:, 6777:1 6773:g 6769:, 6766:f 6763:( 6738:n 6733:P 6724:) 6718:) 6713:3 6709:g 6705:, 6700:2 6696:g 6692:, 6687:1 6683:g 6679:( 6676:) 6673:f 6670:( 6665:] 6660:n 6656:x 6652:, 6646:, 6641:0 6637:x 6633:[ 6629:C 6622:( 6613:= 6610:X 6579:) 6576:) 6571:F 6566:, 6561:O 6553:) 6550:d 6544:( 6539:O 6534:( 6529:m 6526:o 6523:H 6518:( 6513:i 6509:h 6505:= 6502:) 6497:F 6492:, 6487:X 6481:O 6475:( 6470:i 6464:t 6461:x 6458:E 6427:O 6419:) 6416:d 6410:( 6405:O 6380:d 6360:X 6327:) 6324:) 6319:G 6314:, 6303:L 6297:( 6292:m 6289:o 6286:H 6281:( 6276:k 6272:h 6268:= 6265:) 6260:G 6255:, 6250:F 6245:( 6240:k 6234:t 6231:x 6228:E 6199:) 6194:G 6189:, 6178:L 6172:( 6167:m 6164:o 6161:H 6156:= 6153:) 6148:G 6143:, 6138:F 6133:( 6128:m 6125:o 6122:H 6119:R 6091:0 6083:F 6073:0 6067:L 6056:1 6050:L 6039:2 6033:L 5999:F 5977:) 5972:G 5967:, 5962:F 5957:( 5952:t 5949:x 5946:E 5922:. 5908:0 5904:n 5897:n 5893:, 5890:) 5887:) 5884:) 5881:n 5878:( 5875:G 5872:, 5869:F 5866:( 5861:i 5856:O 5852:t 5848:x 5843:E 5838:, 5835:X 5832:( 5826:= 5823:) 5820:) 5817:n 5814:( 5811:G 5808:, 5805:F 5802:( 5794:i 5789:O 5771:0 5768:n 5764:i 5760:X 5756:G 5752:F 5748:X 5741:O 5722:. 5719:) 5713:, 5710:O 5707:( 5699:O 5691:= 5688:) 5682:, 5679:X 5676:( 5650:, 5647:) 5644:F 5641:, 5638:O 5635:( 5627:i 5622:O 5614:= 5611:) 5608:F 5605:, 5602:X 5599:( 5591:i 5587:H 5573:i 5569:O 5565:H 5548:) 5545:F 5542:, 5539:H 5536:( 5528:1 5523:O 5498:) 5495:F 5492:, 5489:H 5486:( 5478:1 5473:O 5447:F 5443:H 5439:H 5435:F 5412:H 5406:G 5400:F 5394:0 5381:O 5373:F 5369:H 5361:X 5357:O 5353:H 5349:F 5345:O 5341:X 5317:. 5312:0 5308:n 5301:n 5298:, 5295:1 5289:i 5285:, 5282:0 5279:= 5276:) 5273:) 5270:n 5267:( 5264:F 5261:, 5258:X 5255:( 5247:i 5243:H 5232:F 5228:0 5225:n 5218:0 5215:R 5211:F 5207:X 5203:i 5195:n 5193:( 5191:F 5184:n 5180:F 5176:X 5161:i 5144:) 5141:) 5138:F 5135:, 5130:U 5125:( 5116:C 5112:( 5104:i 5100:H 5096:= 5093:) 5090:F 5087:, 5084:X 5081:( 5073:i 5069:H 5055:i 5039:U 5013:j 5009:i 5004:U 4993:p 4989:i 4975:0 4972:= 4969:) 4966:F 4963:, 4956:p 4952:i 4947:U 4930:0 4926:i 4921:U 4917:( 4909:i 4905:H 4894:X 4878:U 4866:F 4862:X 4835:) 4831:( 4799:F 4782:, 4779:F 4766:) 4762:) 4759:) 4756:n 4753:( 4750:F 4747:, 4744:X 4741:( 4733:0 4727:n 4718:( 4693:) 4690:n 4687:( 4684:O 4678:F 4675:= 4672:) 4669:n 4666:( 4663:F 4653:X 4649:O 4645:F 4638:R 4609:) 4606:1 4603:( 4600:R 4593:= 4590:) 4587:1 4584:( 4581:O 4569:n 4565:R 4560:n 4555:R 4551:R 4547:R 4521:M 4498:) 4493:0 4489:] 4483:1 4476:f 4472:[ 4469:R 4466:( 4457:= 4454:} 4451:0 4445:f 4442:{ 4413:) 4407:0 4403:] 4397:1 4390:f 4386:[ 4383:M 4380:( 4372:} 4369:0 4363:f 4360:{ 4355:| 4344:M 4328:R 4324:f 4304:M 4291:O 4287:R 4279:X 4275:R 4267:X 4263:R 4259:M 4255:0 4252:R 4248:0 4245:R 4241:R 4230:. 4218:) 4203:( 4194:= 4185:) 4181:) 4175:( 4166:( 4163:, 4160:) 4145:( 4136:= 4127:) 4123:) 4117:( 4108:( 4105:, 4102:) 4087:( 4078:= 4069:) 4065:) 4059:( 4050:( 4020:A 3995:i 3991:M 3962:) 3956:i 3952:M 3935:( 3925:. 3923:X 3918:A 3903:) 3900:) 3891:N 3885:, 3876:M 3870:( 3860:A 3854:m 3850:o 3845:H 3840:, 3837:X 3834:( 3825:) 3822:N 3819:, 3816:M 3813:( 3805:A 3790:. 3778:) 3769:N 3763:, 3754:M 3748:( 3738:A 3732:m 3728:o 3723:H 3709:) 3705:N 3702:, 3699:M 3696:( 3688:A 3669:M 3664:. 3646:N 3633:A 3617:M 3602:) 3598:N 3593:A 3585:M 3582:( 3569:p 3565:A 3560:p 3556:O 3540:p 3536:M 3527:p 3517:M 3503:A 3499:p 3494:. 3480:) 3477:f 3474:( 3471:D 3466:| 3455:M 3449:= 3440:] 3434:1 3427:f 3423:[ 3420:M 3397:N 3391:M 3388:: 3375:N 3371:M 3367:A 3360:X 3356:A 3348:X 3330:) 3324:, 3321:X 3318:( 3305:X 3296:A 3279:X 3273:O 3260:A 3251:A 3230:M 3221:M 3192:A 3186:= 3181:X 3175:O 3146:M 3117:A 3111:= 3106:X 3100:O 3087:X 3080:M 3076:X 3056:M 3035:f 3033:( 3031:D 3014:] 3009:1 3002:f 2998:[ 2995:M 2989:) 2986:f 2983:( 2980:D 2955:f 2952:, 2949:h 2936:h 2933:, 2930:g 2922:= 2917:f 2914:, 2911:g 2883:] 2878:1 2871:f 2867:[ 2864:M 2858:] 2853:1 2846:g 2842:[ 2839:M 2836:: 2831:f 2828:, 2825:g 2797:) 2794:g 2791:( 2788:D 2782:) 2779:f 2776:( 2773:D 2753:) 2750:] 2745:1 2738:f 2734:[ 2731:A 2728:( 2719:= 2716:} 2713:0 2707:f 2704:{ 2701:= 2698:) 2695:f 2692:( 2689:D 2669:) 2666:A 2663:( 2654:= 2651:X 2631:A 2611:M 2593:i 2589:O 2575:) 2569:, 2566:X 2563:( 2550:i 2546:V 2544:( 2542:F 2538:U 2536:( 2534:F 2526:O 2519:L 2495:R 2493:( 2480:R 2476:M 2472:R 2460:x 2456:O 2451:x 2447:F 2442:x 2438:F 2433:i 2429:s 2425:F 2420:i 2416:s 2393:F 2387:O 2382:I 2376:i 2358:O 2350:F 2346:O 2342:O 2338:X 2316:. 2313:E 2307:F 2298:f 2291:) 2288:E 2279:f 2272:F 2269:( 2260:f 2246:E 2238:F 2234:O 2213:) 2210:F 2201:f 2197:, 2194:G 2191:( 2179:O 2167:) 2164:F 2161:, 2158:G 2149:f 2145:( 2137:O 2119:G 2111:F 2107:O 2087:f 2060:f 2032:O 2023:f 2012:O 1991:O 1981:O 1975:1 1968:f 1957:G 1939:G 1934:1 1927:f 1903:O 1894:O 1888:1 1881:f 1872:G 1867:1 1860:f 1846:O 1842:G 1828:G 1819:f 1805:O 1801:G 1794:O 1791:* 1788:f 1786:→ 1781:O 1774:O 1760:F 1751:f 1737:O 1733:F 1726:O 1719:X 1715:O 1711:X 1707:f 1690:. 1687:) 1684:F 1681:( 1672:F 1667:r 1661:n 1650:F 1645:r 1627:F 1623:F 1601:F 1596:n 1581:n 1577:F 1563:) 1560:U 1557:( 1554:F 1549:k 1544:) 1541:U 1538:( 1535:O 1524:U 1501:F 1496:k 1478:k 1474:F 1458:F 1454:O 1447:E 1429:O 1423:) 1420:E 1417:( 1409:O 1398:E 1386:E 1373:O 1369:E 1348:) 1337:O 1331:, 1328:X 1325:( 1317:1 1313:H 1302:X 1281:, 1278:O 1272:L 1260:L 1236:L 1232:L 1224:E 1218:, 1206:) 1203:F 1200:, 1197:E 1194:( 1189:O 1185:m 1181:o 1176:H 1168:F 1156:E 1140:F 1136:E 1132:O 1112:F 1099:F 1078:) 1075:O 1072:, 1069:F 1066:( 1061:O 1057:m 1053:o 1048:H 1033:O 1019:) 1014:U 1009:| 1004:G 1001:, 996:U 991:| 986:F 983:( 973:U 968:| 963:O 952:U 942:O 925:) 922:G 919:, 916:F 913:( 908:O 904:m 900:o 895:H 880:O 876:G 872:F 861:O 847:O 844:= 841:) 838:1 832:( 829:O 823:) 820:1 817:( 814:O 794:. 791:) 788:U 785:( 782:G 777:) 774:U 771:( 768:O 760:) 757:U 754:( 751:F 745:U 735:O 729:, 717:G 711:F 691:G 686:O 678:F 665:O 661:G 657:F 653:O 649:X 631:. 617:X 598:n 582:X 552:X 534:X 526:n 518:X 511:U 509:( 507:O 499:U 497:( 495:F 491:X 487:U 483:O 475:O 471:O 467:F 463:O 459:X 436:) 430:, 427:X 424:( 404:i 390:) 384:, 381:X 378:( 370:i 366:H 337:O 332:X 328:O 324:R 316:X 308:R 299:X 295:O 291:R 287:R 279:X 264:O 244:Z 228:O 224:O 216:X 209:U 207:( 205:F 201:s 197:U 195:( 193:O 189:f 185:s 181:f 173:V 171:( 169:O 165:U 163:( 161:O 157:V 155:( 153:F 149:U 147:( 145:F 141:U 139:( 137:O 133:U 131:( 129:F 125:X 121:U 117:F 110:O 106:X 104:( 96:O 89:O 76:) 70:( 65:) 61:( 47:. 20:)

Index

Abelian sheaf
help improve it
make it understandable to non-experts
Learn how and when to remove this message
ringed space
sheaf
scheme
constant sheaf
sheaf of abelian groups
prime spectrum
graded ring
Proj
quasi-coherent sheaves
abelian category
enough injectives
sheaf cohomology
right derived functor
global section functor
ideal sheaf
ideal
smooth variety
tangent sheaf
cotangent sheaf
canonical sheaf
determinant
sheaf of algebras
Serre's twisting sheaf
locally free sheaf
invertible sheaf
line bundle

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

↑