Knowledge

Coherent sheaf cohomology

Source đź“ť

3910: 3443: 5540: 2753: 3905:{\displaystyle {\begin{aligned}0&\to H^{0}(\mathbb {P} ^{2},{\mathcal {O}}(-d))\to H^{0}(\mathbb {P} ^{2},{\mathcal {O}})\to H^{0}(\mathbb {P} ^{2},{\mathcal {O}}_{C})\\&\to H^{1}(\mathbb {P} ^{2},{\mathcal {O}}(-d))\to H^{1}(\mathbb {P} ^{2},{\mathcal {O}})\to H^{1}(\mathbb {P} ^{2},{\mathcal {O}}_{C})\\&\to H^{2}(\mathbb {P} ^{2},{\mathcal {O}}(-d))\to H^{2}(\mathbb {P} ^{2},{\mathcal {O}})\to H^{2}(\mathbb {P} ^{2},{\mathcal {O}}_{C})\end{aligned}}} 5127: 2356: 4660: 4141: 5535:{\displaystyle {\begin{aligned}0&\to H^{0}(X,{\mathcal {O}}(-a,-b))\to H^{0}(X,{\mathcal {O}})\to H^{0}(X,{\mathcal {O}}_{C})\\&\to H^{1}(X,{\mathcal {O}}(-a,-b))\to H^{1}(X,{\mathcal {O}})\to H^{1}(X,{\mathcal {O}}_{C})\\&\to H^{2}(X,{\mathcal {O}}(-a,-b))\to H^{2}(X,{\mathcal {O}})\to H^{2}(X,{\mathcal {O}}_{C})\end{aligned}}} 2748:{\displaystyle H^{i}(\mathbb {P} ^{n},{\mathcal {O}}(j))\cong {\begin{cases}\bigoplus _{a_{0},\ldots ,a_{n}\geq 0,\;a_{0}+\cdots +a_{n}=j}\;k\cdot x_{0}^{a_{0}}\cdots x_{n}^{a_{n}}&i=0\\0&i\neq 0,n\\\bigoplus _{a_{0},\ldots ,a_{n}<0,\;a_{0}+\cdots +a_{n}=j}\;k\cdot x_{0}^{a_{0}}\cdots x_{n}^{a_{n}}&i=n\end{cases}}} 5740: 4420: 4995: 5960: 1017: 3943: 8840:
in its classical (Euclidean) topology, whereas the groups on the right are cohomology groups of coherent sheaves, which (by GAGA) can be taken either in the Zariski or in the classical topology. The same conclusion holds for any smooth proper scheme
5551: 7209: 4655:{\displaystyle H^{k}(X\times _{{\text{Spec}}(k)}Y,\pi _{1}^{*}{\mathcal {F}}\otimes _{{\mathcal {O}}_{X\times _{{\text{Spec}}(k)}Y}}\pi _{2}^{*}{\mathcal {G}})\cong \bigoplus _{i+j=k}H^{i}(X,{\mathcal {F}})\otimes _{k}H^{j}(Y,{\mathcal {G}})} 6532:, this is proved by reducing to the case of line bundles on projective space, discussed above. In the general case of a proper scheme over a field, Grothendieck proved the finiteness of cohomology by reducing to the projective case, using 3278: 5116: 4836: 3396: 8782: 7635: 8172:. (The first group here is defined using the Zariski topology, and the second using the classical (Euclidean) topology.) For example, the equivalence between algebraic and analytic coherent sheaves on projective space implies 5778: 853: 9716: 6119: 9151: 8161: 865: 9275: 4136:{\displaystyle {\begin{aligned}H^{0}(C,{\mathcal {O}}_{C})&\cong H^{0}(\mathbb {P} ^{2},{\mathcal {O}})\\H^{1}(C,{\mathcal {O}}_{C})&\cong H^{2}(\mathbb {P} ^{2},{\mathcal {O}}(-d))\end{aligned}}} 9568: 44:; such sections can be viewed as generalized functions. Cohomology provides computable tools for producing sections, or explaining why they do not exist. It also provides invariants to distinguish one 4831: 4271: 6325: 646: 9455: 8380: 7925: 5556: 5132: 3948: 3448: 4412: 4371: 9297:
When combined with a vanishing theorem, the Riemann–Roch theorem can often be used to determine the dimension of the vector space of sections of a line bundle. Knowing that a line bundle on
7794: 4747: 8018: 7064: 6857: 3123: 8571: 2948: 1700: 1467: 6689: 8954: 6466: 3164: 2064: 1886: 1280: 1141: 764: 692: 579: 6963: 7381: 6222: 9641: 5735:{\displaystyle {\begin{aligned}H^{0}(C,{\mathcal {O}}_{C})&\cong H^{0}(X,{\mathcal {O}})\\H^{1}(C,{\mathcal {O}}_{C})&\cong H^{2}(X,{\mathcal {O}}(-a,-b))\end{aligned}}} 1075: 219: 184: 141: 4703: 2347: 1840: 1783: 1194: 797: 3428: 2292: 1542: 8838: 6916: 9870: 9814: 9369: 8260: 6621: 6400: 3022: 2847: 2196: 2125: 1998: 1807: 1648: 1601: 1411: 1364: 1328: 1044: 506: 8881: 6278: 6163: 3935: 2896: 8340: 7078: 7726: 2101: 1954: 6597: 298: 3172: 8602: 5023: 4990:{\displaystyle {\mathcal {O}}_{X}(a,b)=\pi _{1}^{*}{\mathcal {O}}_{\mathbb {P} ^{1}}(a)\otimes _{{\mathcal {O}}_{X}}\pi _{2}^{*}{\mathcal {O}}_{\mathbb {P} ^{1}}(b)} 2974: 1726: 1493: 718: 391: 9753: 8501: 8410: 8307: 7259: 5770: 4171: 3308: 2152: 4773: 4310: 8998: 8974: 8908: 8859: 8807: 8668: 8622: 8474: 8454: 8434: 8280: 8232: 8212: 7965: 7945: 7841: 7821: 7684: 7664: 7493: 7473: 7449: 7429: 7401: 7323: 7303: 7283: 7011: 6991: 6877: 6804: 6784: 6760: 6732: 6709: 6641: 6530: 6506: 6486: 6420: 6376: 6356: 6183: 5015: 4330: 3070: 3050: 2994: 2870: 2819: 2796: 2776: 2312: 2263: 2243: 2223: 2172: 2018: 1974: 1921: 1746: 1624: 1562: 1513: 1387: 1300: 1234: 1214: 1161: 1095: 599: 529: 451: 431: 411: 358: 338: 318: 266: 246: 107: 3316: 8678: 7503: 1564:.) These results generalize a large body of older work about the construction of complex analytic functions with given singularities or other properties. 9820: 5955:{\displaystyle H^{2}(X,{\mathcal {O}}_{X}(-a,-b))\cong H^{1}(\mathbb {P} ^{1},{\mathcal {O}}(-a))\otimes _{k}H^{1}(\mathbb {P} ^{1},{\mathcal {O}}(-b))} 10523: 8173: 9972:
Hochenegger, Andreas (2019). "Introduction to derived categories of coherent sheaves". In Andreas Hochenegger; Manfred Lehn; Paolo Stellari (eds.).
802: 9669: 5971: 10322: 7800:
theory includes generalizations to any coherent sheaf and any proper morphism of schemes, although the statements become less elementary.
1012:{\displaystyle 0\to H^{0}(X,{\mathcal {A}})\to H^{0}(X,{\mathcal {B}})\to H^{0}(X,{\mathcal {C}})\to H^{1}(X,{\mathcal {A}})\to \cdots .} 9042: 10267:
Séminaire de Géométrie Algébrique du Bois Marie – 1960–61 – Revêtements étales et groupe fondamental (SGA 1) (Documents Mathématiques
8082: 9202: 9179: 9009: 9000:
is the complex numbers. Hodge theory has inspired a large body of work on the topological properties of complex algebraic varieties.
7796:
have the same (finite) dimension. (Serre also proved Serre duality for holomorphic vector bundles on any compact complex manifold.)
9175: 10390: 9480: 1414: 9287: 4786: 4179: 10274: 10467: 10369: 10292: 10007: 6286: 608: 9380: 10433: 8345: 7846: 4376: 4335: 36:
with specified properties. Many geometric questions can be formulated as questions about the existence of sections of
10245: 8670:
is a smooth complex projective variety, then there is a canonical direct-sum decomposition of complex vector spaces:
8034:
GAGA theorems relate algebraic varieties over the complex numbers to the corresponding analytic spaces. For a scheme
6714:
The finite-dimensionality of cohomology leads to many numerical invariants for projective varieties. For example, if
3915:
which can be simplified using the previous computations on projective space. For simplicity, assume the base ring is
7731: 6539:
The finite-dimensionality of cohomology also holds in the analogous situation of coherent analytic sheaves on any
4708: 9309: 9305:
to projective space, perhaps a closed immersion. This approach is essential for classifying algebraic varieties.
8624:. Kodaira vanishing and its generalizations are fundamental to the classification of algebraic varieties and the 7970: 7016: 6809: 3075: 2415: 8515: 2901: 1653: 1420: 6650: 10443: 10361: 8913: 6425: 3128: 2023: 1845: 1239: 1100: 723: 651: 538: 6921: 10508: 2850: 1339: 8039: 2315: 10503: 10438: 9308:
The Riemann–Roch theorem also holds for holomorphic vector bundles on a compact complex manifold, by the
8054:. The key GAGA theorem (by Grothendieck, generalizing Serre's theorem on the projective case) is that if 7331: 6188: 9767:
isomorphism classes of deformations of the above type are parametrized by the first coherent cohomology
9596: 1049: 193: 158: 115: 10528: 4668: 2319: 1812: 1755: 1572: 1166: 769: 3404: 2268: 1518: 10356: 10318:"Eléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents, Première partie" 8890:
For example, the Hodge theorem implies that the definition of the genus of a smooth projective curve
8812: 8413: 6890: 3125:
can be readily computed using a long exact sequence in cohomology. First note that for the embedding
1749: 52: 9826: 9770: 9350: 8241: 7204:{\displaystyle \chi (X,{\mathcal {O}}_{X})=\sum _{j}(-1)^{j}\dim _{k}(H^{j}(X,{\mathcal {O}}_{X})).} 6602: 6381: 3003: 2828: 2177: 2106: 1979: 1788: 1629: 1582: 1392: 1345: 1309: 1025: 487: 10178:, Tata Inst. Fund. Res. Studies in Math. 8, Berlin, New York: Springer-Verlag, (1978), pp. 273-278. 9171: 3437:
can be used to compute cohomology via the long exact sequence in cohomology. The sequence reads as
461: 8864: 8062:, then this functor is an equivalence of categories. Moreover, for every coherent algebraic sheaf 6230: 6127: 3918: 2875: 10518: 8312: 7689: 3273:{\displaystyle H^{*}(\mathbb {P} ^{2},i_{*}{\mathcal {O}}_{C})\cong H^{*}(C,{\mathcal {O}}_{C})} 10309: 10262: 5772:
is the genus of the curve, we can use the KĂĽnneth formula to compute its Betti numbers. This is
5111:{\displaystyle 0\to {\mathcal {O}}_{X}(-a,-b)\to {\mathcal {O}}_{X}\to {\mathcal {O}}_{C}\to 0} 2073: 1926: 1576: 476:
are a generalization of coherent sheaves, including the locally free sheaves of infinite rank.
78: 33: 6570: 1728:. This is related to the fact that the category of quasi-coherent sheaves on an affine scheme 271: 10513: 10056: 8625: 8581: 2953: 1705: 1472: 697: 366: 10425: 10379: 10343: 10302: 10255: 9987: 9731: 9023: 8479: 8388: 8285: 7237: 5748: 4149: 3286: 2130: 144: 86: 10209: 8: 10193: 9593:
to infinitesimal neighborhoods. The simplest case, concerning deformations over the ring
8643: 6884: 6644: 4752: 4289: 3391:{\displaystyle 0\to {\mathcal {O}}(-d)\to {\mathcal {O}}\to i_{*}{\mathcal {O}}_{C}\to 0} 856: 465: 9991: 7228: 10413: 10278: 10013: 9977: 9586: 8983: 8959: 8893: 8844: 8792: 8653: 8647: 8607: 8459: 8439: 8419: 8265: 8217: 8197: 7950: 7930: 7826: 7806: 7669: 7649: 7478: 7458: 7434: 7414: 7386: 7308: 7288: 7268: 6996: 6976: 6966: 6862: 6789: 6769: 6745: 6717: 6694: 6626: 6515: 6509: 6491: 6471: 6405: 6361: 6341: 6168: 5000: 4315: 3055: 3035: 2979: 2855: 2804: 2781: 2761: 2297: 2248: 2228: 2208: 2157: 2003: 1959: 1906: 1731: 1609: 1547: 1498: 1372: 1285: 1219: 1199: 1146: 1080: 584: 514: 436: 416: 396: 361: 343: 323: 303: 251: 231: 187: 92: 21: 8884: 8777:{\displaystyle H^{a}(X,\mathbf {C} )\cong \bigoplus _{b=0}^{a}H^{a-b}(X,\Omega ^{b}),} 4283: 2067: 10463: 10386: 10365: 10288: 10241: 10017: 10003: 8192: 7630:{\displaystyle H^{i}(X,E)\times H^{n-i}(X,K_{X}\otimes E^{*})\to H^{n}(X,K_{X})\to k} 7262: 6547:
and Serre proved finite-dimensionality in this analytic situation using a theorem of
2997: 1568: 1330:
is a coherent or quasi-coherent sheaf, because of the following sequence of results.
509: 45: 10313: 4286:
in coherent sheaf cohomology for products of varieties. Given quasi-compact schemes
456:
Unlike vector bundles, coherent sheaves (in the analytic or algebraic case) form an
10455: 10405: 10351: 10331: 10233: 10221: 10205: 9995: 9976:. Lecture Notes of the Unione Matematica Italiana. Vol. 26. pp. 267–295. 8504: 7797: 7232: 7067: 6552: 6548: 2758:
In particular, this calculation shows that the cohomology of projective space over
2202: 1901: 532: 457: 152: 148: 37: 25: 10317: 6556: 10421: 10375: 10339: 10298: 10251: 10229: 8235: 7643: 7452: 6970: 6739: 6560: 6533: 602: 10459: 9999: 8385:
Although Serre's vanishing theorem is useful, the inexplicitness of the number
6880: 225: 70: 64: 41: 10237: 8604:. Note that Serre's theorem guarantees the same vanishing for large powers of 8382:
is spanned by its global sections and has no cohomology in positive degrees.
10497: 9726: 9661: 7408: 7222: 6735: 6540: 6336: 1889: 1604: 228:
play a fundamental role in geometry. More generally, for a closed subvariety
10198:
Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences de Paris
10031: 848:{\displaystyle 0\to {\mathcal {A}}\to {\mathcal {B}}\to {\mathcal {C}}\to 0} 10073: 9930: 9914: 9711:{\displaystyle X_{R}\times _{\operatorname {Spec} R}\operatorname {Spec} k} 9644: 8977: 8637: 6564: 6544: 1303: 110: 6114:{\displaystyle {\binom {a-1}{a-2}}{\binom {b-1}{b-2}}=(a-1)(b-1)=ab-a-b+1} 1900:
As a consequence of the vanishing of cohomology for affine schemes: for a
1892:
schemes by the vanishing of higher cohomology for quasi-coherent sheaves.
1515:
is Stein if and only if it is isomorphic to a closed analytic subspace of
9465: 9163: 1895: 1367: 17: 10283: 8168:
of (finite-dimensional) complex vector spaces is an isomorphism for all
6918:
of complex points in its classical (Euclidean) topology. (In that case,
6711:
is a point, this theorem gives the finite-dimensionality of cohomology.
10417: 10335: 10194:"Un théorème de finitude concernant les variétés analytiques compactes" 3310:
is exact. This means that the short exact sequence of coherent sheaves
1571:
introduced coherent sheaves into algebraic geometry (at first over an
3937:(or any algebraically closed field). Then there are the isomorphisms 10409: 8436:
is a smooth projective variety over a field of characteristic zero,
6563:
were proved by Grothendieck (for locally Noetherian schemes) and by
10485: 10450:
Grauert, Hans; Remmert, Reinhold (2004). "The Finiteness Theorem".
9982: 469: 9186:
is a line bundle on a smooth proper geometrically connected curve
9146:{\displaystyle \chi (X,E)=\sum _{j}(-1)^{j}\dim _{k}(H^{j}(X,E)).} 8628:. Kodaira vanishing fails over fields of positive characteristic. 10217: 1579:). The analogs of Cartan's theorems hold in great generality: if 55:
is formulated in terms of coherent sheaves and their cohomology.
10228:, Grundlehren der mathematischen Wissenschaften, vol. 265, 8156:{\displaystyle H^{i}(X,E)\to H^{i}(X^{\text{an}},E^{\text{an}})} 10172:
Contre-exemple au vanishing theorem en caractéristique p > 0
9301:
has enough sections, in turn, can be used to define a map from
9270:{\displaystyle \chi (X,L)={\text{deg}}(L)-{\text{genus}}(X)+1,} 6969:.) Among many possible higher-dimensional generalizations, the 2778:
with coefficients in any line bundle has finite dimension as a
8050:
to coherent analytic sheaves on the associated analytic space
6567:(for complex analytic spaces). Namely, for a proper morphism 8976:, agrees with the topological definition (as half the first 6599:(in the algebraic or analytic setting) and a coherent sheaf 8029: 2741: 10032:"Section 33.29 (0BEC): Künneth formula—The Stacks project" 9563:{\displaystyle h^{i}(X,{\mathcal {O}}_{X}(mD))=O(m^{n-1})} 6185:
is defined by the vanishing locus of a generic section of
4173:
of the curve is a finite dimensional vector space of rank
2205:
with coefficients in any line bundle. Namely, for a field
2127:
on all finite intersections of the affine open subschemes
9320:
Dimensions of cohomology groups on a scheme of dimension
8809:. The group on the left means the singular cohomology of 4826:{\displaystyle X=\mathbb {P} ^{1}\times \mathbb {P} ^{1}} 4266:{\displaystyle {d-1 \choose d-3}={\frac {(d-1)(d-2)}{2}}} 2801:
The vanishing of these cohomology groups above dimension
2201:
Using ÄŚech cohomology, one can compute the cohomology of
460:, and so they are closed under operations such as taking 8046:, there is a functor from coherent algebraic sheaves on 7843:, Serre duality implies that the dimension of the space 1333: 8642:
The Hodge theorem relates coherent sheaf cohomology to
6320:{\displaystyle \mathbb {P} ^{1}\times \mathbb {P} ^{1}} 4778: 641:{\displaystyle {\mathcal {F}}\mapsto {\mathcal {F}}(X)} 1896:ÄŚech cohomology and the cohomology of projective space 1888:. In fact, affine schemes are characterized among all 10308: 10158: 10089: 10057:"FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 35 AND 36" 9829: 9773: 9734: 9725:. Coherent sheaf cohomology with coefficients in the 9672: 9599: 9483: 9383: 9353: 9205: 9045: 8986: 8962: 8916: 8896: 8867: 8847: 8815: 8795: 8681: 8656: 8610: 8584: 8518: 8482: 8462: 8442: 8422: 8391: 8348: 8315: 8288: 8268: 8244: 8220: 8200: 8085: 7973: 7953: 7933: 7849: 7829: 7809: 7734: 7692: 7672: 7652: 7506: 7481: 7461: 7437: 7417: 7389: 7334: 7311: 7291: 7271: 7240: 7081: 7070:(according to one convention) is the alternating sum 7019: 6999: 6979: 6924: 6893: 6865: 6812: 6792: 6772: 6748: 6720: 6697: 6653: 6629: 6605: 6573: 6518: 6494: 6474: 6428: 6408: 6384: 6364: 6344: 6289: 6233: 6191: 6171: 6130: 5974: 5781: 5751: 5554: 5130: 5026: 5003: 4839: 4789: 4755: 4711: 4671: 4423: 4379: 4338: 4318: 4292: 4182: 4152: 3946: 3921: 3446: 3407: 3319: 3289: 3175: 3131: 3078: 3058: 3038: 3006: 2982: 2956: 2904: 2878: 2858: 2831: 2807: 2784: 2764: 2359: 2322: 2300: 2271: 2251: 2231: 2211: 2180: 2160: 2133: 2109: 2076: 2026: 2006: 1982: 1962: 1929: 1909: 1848: 1815: 1791: 1758: 1734: 1708: 1656: 1632: 1612: 1585: 1550: 1521: 1501: 1475: 1423: 1395: 1375: 1348: 1312: 1288: 1242: 1222: 1202: 1169: 1149: 1103: 1083: 1052: 1028: 868: 805: 772: 726: 700: 654: 611: 587: 541: 517: 490: 439: 419: 399: 369: 346: 326: 306: 274: 254: 234: 196: 161: 118: 95: 9450:{\displaystyle h^{i}(X,{\mathcal {F}}(mD))=O(m^{n})} 7231:
for coherent sheaf cohomology. In this analogy, the
413:. In this way, many questions about subvarieties of 69:
Coherent sheaves can be seen as a generalization of
10261: 10132: 8375:{\displaystyle {\mathcal {F}}\otimes L^{\otimes m}} 7920:{\displaystyle H^{0}(X,\Omega ^{1})=H^{0}(X,K_{X})} 3027: 1143:(defined using the underlying topological space of 9864: 9808: 9747: 9710: 9635: 9562: 9449: 9363: 9269: 9145: 8992: 8968: 8948: 8902: 8875: 8853: 8832: 8801: 8776: 8662: 8616: 8596: 8565: 8495: 8468: 8448: 8428: 8404: 8374: 8334: 8301: 8274: 8254: 8226: 8206: 8155: 8012: 7959: 7939: 7919: 7835: 7815: 7788: 7720: 7678: 7658: 7629: 7487: 7467: 7443: 7423: 7395: 7375: 7317: 7297: 7277: 7253: 7203: 7058: 7005: 6985: 6957: 6910: 6871: 6851: 6798: 6778: 6754: 6726: 6703: 6683: 6635: 6615: 6591: 6524: 6500: 6480: 6460: 6414: 6394: 6370: 6350: 6319: 6283:hence a curve of any genus can be found inside of 6272: 6216: 6177: 6157: 6113: 5954: 5764: 5734: 5534: 5110: 5009: 4989: 4825: 4767: 4741: 4697: 4654: 4406: 4365: 4324: 4304: 4265: 4165: 4135: 3929: 3904: 3422: 3390: 3302: 3272: 3158: 3117: 3064: 3044: 3016: 2988: 2968: 2942: 2890: 2864: 2841: 2813: 2790: 2770: 2747: 2341: 2306: 2286: 2257: 2237: 2217: 2190: 2166: 2146: 2119: 2095: 2058: 2012: 1992: 1968: 1948: 1915: 1880: 1834: 1801: 1777: 1740: 1720: 1694: 1642: 1618: 1595: 1556: 1536: 1507: 1487: 1461: 1405: 1381: 1358: 1322: 1294: 1274: 1228: 1208: 1188: 1155: 1135: 1089: 1069: 1038: 1011: 847: 791: 758: 712: 686: 640: 593: 573: 523: 500: 445: 425: 405: 385: 352: 332: 312: 292: 260: 240: 213: 178: 135: 101: 6045: 6016: 6007: 5978: 4407:{\displaystyle {\mathcal {G}}\in {\text{Coh}}(Y)} 4366:{\displaystyle {\mathcal {F}}\in {\text{Coh}}(X)} 4215: 4186: 433:can be expressed in terms of coherent sheaves on 10495: 9324:can grow up at most like a polynomial of degree 9872:which vanishes if and only if a deformation of 10449: 10216: 10093: 3166:there is the isomorphism of cohomology groups 1785:-modules, with the equivalence taking a sheaf 10454:. Classics in Mathematics. pp. 186–203. 9158:The Euler characteristic of a coherent sheaf 7789:{\displaystyle H^{n-i}(X,K_{X}\otimes E^{*})} 6543:complex space, by a very different argument. 8416:is an important explicit result. Namely, if 4742:{\displaystyle X\times _{{\text{Spec}}(k)}Y} 2090: 2077: 1943: 1930: 10364:, vol. 52, New York: Springer-Verlag, 10191: 10148:, Theorem II.5.17 and Proposition III.5.3.) 9971: 8013:{\displaystyle H^{1}(X,{\mathcal {O}}_{X})} 7803:For example, for a smooth projective curve 7059:{\displaystyle H^{n}(X,{\mathcal {O}}_{X})} 6852:{\displaystyle H^{1}(X,{\mathcal {O}}_{X})} 3118:{\displaystyle H^{*}(C,{\mathcal {O}}_{C})} 10350: 10192:Cartan, Henri; Serre, Jean-Pierre (1953). 10145: 10119: 9959: 9946: 9898: 6488:-vector spaces. In the special case where 3000:(for example, a variety over a field) and 2673: 2635: 2499: 2461: 2103:. In other words, knowing the sections of 799:. For any short exact sequence of sheaves 10524:Topological methods of algebraic geometry 10282: 9981: 8566:{\displaystyle H^{j}(X,K_{X}\otimes L)=0} 6932: 6901: 6559:. Relative versions of this result for a 6307: 6292: 5917: 5857: 4966: 4898: 4813: 4798: 4094: 4009: 3923: 3868: 3827: 3774: 3719: 3678: 3625: 3570: 3529: 3476: 3410: 3191: 3146: 2943:{\displaystyle H^{i}(X,{\mathcal {F}})=0} 2375: 2274: 2070:groups with respect to the open covering 1695:{\displaystyle H^{i}(X,{\mathcal {F}})=0} 1524: 1462:{\displaystyle H^{i}(X,{\mathcal {F}})=0} 9909: 9907: 9003: 6684:{\displaystyle R^{i}f_{*}{\mathcal {F}}} 6330: 151:, and coherent sheaves are defined as a 10431: 9755:controls this class of deformations of 8949:{\displaystyle H^{1}(X,{\mathcal {O}})} 8176:that every closed analytic subspace of 6461:{\displaystyle H^{i}(X,{\mathcal {F}})} 3159:{\displaystyle i:C\to \mathbb {P} ^{2}} 2059:{\displaystyle H^{*}(X,{\mathcal {F}})} 1881:{\displaystyle H^{0}(X,{\mathcal {F}})} 1650:is spanned by its global sections, and 1338:Complex analysis was revolutionized by 1275:{\displaystyle H^{i}(X,{\mathcal {F}})} 1136:{\displaystyle H^{i}(X,{\mathcal {F}})} 759:{\displaystyle H^{0}(X,{\mathcal {F}})} 687:{\displaystyle H^{i}(X,{\mathcal {F}})} 574:{\displaystyle H^{i}(X,{\mathcal {F}})} 10496: 6958:{\displaystyle X(\mathbb {C} )=X^{an}} 6786:is defined to be the dimension of the 5121:Then, the long exact sequence reads as 3032:Given a smooth projective plane curve 1575:, but that restriction was removed by 1196:of regular functions. For example, if 10385: 10106: 10066: 9923: 9904: 9647:, examines whether there is a scheme 8183: 7265:. Namely, for a smooth proper scheme 2265:, the cohomology of projective space 1334:Vanishing theorems in the affine case 10323:Publications MathĂ©matiques de l'IHÉS 9974:Birational Geometry of Hypersurfaces 9335:be a projective scheme of dimension 7455:. Serre duality for a vector bundle 4779:Computing sheaf cohomology of curves 4332:, (e.g. separated schemes), and let 8956:, which makes sense over any field 7823:over an algebraically closed field 7376:{\displaystyle H^{n}(X,K_{X})\to k} 6742:over an algebraically closed field 6217:{\displaystyle {\mathcal {O}}(2,k)} 4312:with affine-diagonals over a field 1342:in 1953. These results say that if 1306:. The theory becomes powerful when 605:of the functor of global sections, 479: 58: 13: 9636:{\displaystyle R:=k/\epsilon ^{2}} 9506: 9405: 9356: 8938: 8759: 8351: 8247: 7996: 7870: 7181: 7097: 7042: 6835: 6676: 6608: 6450: 6387: 6194: 6020: 5982: 5932: 5872: 5804: 5699: 5657: 5623: 5581: 5514: 5481: 5428: 5383: 5350: 5297: 5252: 5219: 5166: 5091: 5074: 5036: 4958: 4927: 4890: 4843: 4644: 4605: 4551: 4497: 4484: 4382: 4341: 4277: 4190: 4109: 4058: 4024: 3973: 3884: 3842: 3789: 3735: 3693: 3640: 3586: 3544: 3491: 3371: 3350: 3328: 3256: 3217: 3101: 3009: 2926: 2885: 2834: 2825:: for any sheaf of abelian groups 2390: 2325: 2183: 2112: 2048: 1985: 1870: 1818: 1794: 1761: 1678: 1635: 1588: 1445: 1398: 1366:is a coherent analytic sheaf on a 1351: 1315: 1264: 1172: 1125: 1070:{\displaystyle {\mathcal {O}}_{X}} 1056: 1031: 992: 960: 928: 896: 834: 824: 814: 775: 748: 676: 624: 614: 563: 493: 214:{\displaystyle {\mathcal {O}}_{X}} 200: 179:{\displaystyle {\mathcal {O}}_{X}} 165: 136:{\displaystyle {\mathcal {O}}_{X}} 122: 14: 10540: 10477: 10391:"Faisceaux algĂ©briques cohĂ©rents" 10159:Grothendieck & DieudonnĂ© 1961 10090:Grothendieck & DieudonnĂ© 1961 10054: 9180:Grothendieck–Riemann–Roch theorem 9010:Grothendieck–Riemann–Roch theorem 4705:are the canonical projections of 4698:{\displaystyle \pi _{1},\pi _{2}} 2342:{\displaystyle {\mathcal {O}}(j)} 1835:{\displaystyle {\mathcal {O}}(X)} 1778:{\displaystyle {\mathcal {O}}(X)} 1189:{\displaystyle {\mathcal {O}}(X)} 792:{\displaystyle {\mathcal {F}}(X)} 89:. In both cases, the given space 9901:, (III.1.1A) and section III.2.) 9819:there is an element (called the 8869: 8823: 8702: 8023: 7216: 3423:{\displaystyle \mathbb {P} ^{2}} 3028:Sheaf cohomology of plane-curves 2976:. This is especially useful for 2823:Grothendieck's vanishing theorem 2287:{\displaystyle \mathbb {P} ^{n}} 1603:is a quasi-coherent sheaf on an 1537:{\displaystyle \mathbb {C} ^{n}} 10164: 10151: 10138: 10133:Grothendieck & Raynaud 2003 10125: 10112: 10099: 10082: 9572: 9176:Hirzebruch–Riemann–Roch theorem 8833:{\displaystyle X(\mathbf {C} )} 8631: 6973:of a smooth projective variety 6911:{\displaystyle X(\mathbb {C} )} 4414:, then there is an isomorphism 340:determines a coherent sheaf on 81:, and an analogous notion of a 51:Much of algebraic geometry and 10275:SociĂ©tĂ© MathĂ©matique de France 10048: 10024: 9965: 9952: 9939: 9891: 9865:{\displaystyle H^{2}(X,T_{X})} 9859: 9840: 9809:{\displaystyle H^{1}(X,T_{X})} 9803: 9784: 9615: 9609: 9557: 9538: 9529: 9526: 9517: 9494: 9444: 9431: 9422: 9419: 9410: 9394: 9364:{\displaystyle {\mathcal {F}}} 9255: 9249: 9238: 9232: 9221: 9209: 9137: 9134: 9122: 9109: 9087: 9077: 9061: 9049: 8943: 8927: 8827: 8819: 8768: 8749: 8706: 8692: 8554: 8529: 8255:{\displaystyle {\mathcal {F}}} 8150: 8124: 8111: 8108: 8096: 8007: 7984: 7914: 7895: 7879: 7860: 7783: 7751: 7715: 7703: 7621: 7618: 7599: 7586: 7583: 7551: 7529: 7517: 7367: 7364: 7345: 7227:Serre duality is an analog of 7195: 7192: 7169: 7156: 7134: 7124: 7108: 7085: 7053: 7030: 6936: 6928: 6905: 6897: 6846: 6823: 6616:{\displaystyle {\mathcal {F}}} 6583: 6455: 6439: 6395:{\displaystyle {\mathcal {F}}} 6211: 6199: 6081: 6069: 6066: 6054: 5949: 5946: 5937: 5912: 5889: 5886: 5877: 5852: 5836: 5833: 5815: 5792: 5725: 5722: 5704: 5688: 5668: 5645: 5628: 5612: 5592: 5569: 5525: 5502: 5489: 5486: 5470: 5457: 5454: 5451: 5433: 5417: 5404: 5394: 5371: 5358: 5355: 5339: 5326: 5323: 5320: 5302: 5286: 5273: 5263: 5240: 5227: 5224: 5208: 5195: 5192: 5189: 5171: 5155: 5142: 5102: 5085: 5068: 5065: 5047: 5030: 4984: 4978: 4916: 4910: 4866: 4854: 4731: 4725: 4649: 4633: 4610: 4594: 4556: 4522: 4516: 4456: 4450: 4434: 4401: 4395: 4360: 4354: 4254: 4242: 4239: 4227: 4126: 4123: 4114: 4089: 4069: 4046: 4029: 4004: 3984: 3961: 3895: 3863: 3850: 3847: 3822: 3809: 3806: 3803: 3794: 3769: 3756: 3746: 3714: 3701: 3698: 3673: 3660: 3657: 3654: 3645: 3620: 3607: 3597: 3565: 3552: 3549: 3524: 3511: 3508: 3505: 3496: 3471: 3458: 3382: 3355: 3345: 3342: 3333: 3323: 3267: 3244: 3228: 3186: 3141: 3112: 3089: 3017:{\displaystyle {\mathcal {F}}} 2931: 2915: 2842:{\displaystyle {\mathcal {F}}} 2404: 2401: 2395: 2370: 2336: 2330: 2191:{\displaystyle {\mathcal {F}}} 2120:{\displaystyle {\mathcal {F}}} 2053: 2037: 1993:{\displaystyle {\mathcal {F}}} 1875: 1859: 1829: 1823: 1802:{\displaystyle {\mathcal {F}}} 1772: 1766: 1683: 1667: 1643:{\displaystyle {\mathcal {F}}} 1596:{\displaystyle {\mathcal {F}}} 1450: 1434: 1415:spanned by its global sections 1406:{\displaystyle {\mathcal {F}}} 1359:{\displaystyle {\mathcal {F}}} 1323:{\displaystyle {\mathcal {F}}} 1269: 1253: 1183: 1177: 1130: 1114: 1039:{\displaystyle {\mathcal {F}}} 1000: 997: 981: 968: 965: 949: 936: 933: 917: 904: 901: 885: 872: 839: 829: 819: 809: 786: 780: 753: 737: 681: 665: 635: 629: 619: 568: 552: 501:{\displaystyle {\mathcal {F}}} 284: 1: 10362:Graduate Texts in Mathematics 10185: 9174:and its generalizations, the 7383:, which is an isomorphism if 2154:determines the cohomology of 1976:, and a quasi-coherent sheaf 1236:, then the cohomology groups 1097:, then the cohomology groups 32:is a technique for producing 10484:The Stacks Project Authors, 10265:; Raynaud, Michèle (2003) , 9589:studies the deformations of 8876:{\displaystyle \mathbf {C} } 6273:{\displaystyle 2k-2-k+1=k-1} 6158:{\displaystyle -a,-b\leq -2} 4282:There is an analogue of the 3930:{\displaystyle \mathbb {C} } 2891:{\displaystyle n<\infty } 2851:Noetherian topological space 1163:) are modules over the ring 7: 10460:10.1007/978-3-642-18921-0_8 10439:Encyclopedia of Mathematics 10176:C. P. Ramanujam - a tribute 10000:10.1007/978-3-030-18638-8_7 9721:is isomorphic to the given 9464:For a higher cohomology of 9310:Atiyah–Singer index theorem 8456:is an ample line bundle on 8335:{\displaystyle m\geq m_{0}} 7431:to an algebraic closure of 5017:, giving the ideal sequence 224:Vector bundles such as the 10: 10545: 10094:Grauert & Remmert 1984 9007: 8635: 8027: 7721:{\displaystyle H^{i}(X,E)} 7220: 2821:is a very special case of 1923:, an affine open covering 1573:algebraically closed field 62: 10238:10.1007/978-3-642-69582-7 10226:Coherent Analytic Sheaves 9371:is any coherent sheaf on 9315: 9162:can be computed from the 8414:Kodaira vanishing theorem 8238:, and any coherent sheaf 8189:Serre's vanishing theorem 7947:is equal to the genus of 6468:have finite dimension as 2314:with coefficients in the 2096:{\displaystyle \{U_{i}\}} 1949:{\displaystyle \{U_{i}\}} 1340:Cartan's theorems A and B 1216:is a scheme over a field 601:are defined as the right 73:. There is a notion of a 53:complex analytic geometry 30:coherent sheaf cohomology 10161:, (EGA 3) Theorem 2.2.1) 10075:Stacks Project, Tag 02O3 10036:stacks.math.columbia.edu 9932:Stacks Project, Tag 01XE 9916:Stacks Project, Tag 01X8 9884: 6592:{\displaystyle f:X\to Y} 6422:, the cohomology groups 3024:a quasi-coherent sheaf. 2020:, the cohomology groups 393:, which is zero outside 293:{\displaystyle i:Y\to X} 83:coherent algebraic sheaf 10432:Parshin, A.N. (2001) , 10310:Grothendieck, Alexandre 10263:Grothendieck, Alexandre 7405:geometrically connected 6883:, this agrees with the 6378:and any coherent sheaf 4833:, a generic section of 3072:, the sheaf cohomology 766:can be identified with 508:of abelian groups on a 75:coherent analytic sheaf 10452:Theory of Stein Spaces 10135:, (SGA 1) ExposĂ© XII.) 9866: 9810: 9749: 9712: 9637: 9564: 9451: 9365: 9271: 9147: 8994: 8970: 8950: 8904: 8877: 8855: 8834: 8803: 8778: 8732: 8664: 8618: 8598: 8597:{\displaystyle j>0} 8567: 8497: 8470: 8450: 8430: 8412:can be a problem. The 8406: 8376: 8336: 8303: 8282:, there is an integer 8276: 8256: 8228: 8208: 8157: 8014: 7961: 7941: 7921: 7837: 7817: 7790: 7722: 7680: 7660: 7631: 7495:says that the product 7489: 7469: 7445: 7425: 7397: 7377: 7319: 7299: 7279: 7261:plays the role of the 7255: 7205: 7060: 7007: 6987: 6959: 6912: 6873: 6853: 6800: 6780: 6756: 6728: 6705: 6685: 6637: 6617: 6593: 6526: 6502: 6482: 6462: 6416: 6396: 6372: 6352: 6321: 6281: 6274: 6218: 6179: 6159: 6122: 6115: 5963: 5956: 5766: 5743: 5736: 5543: 5536: 5119: 5112: 5011: 4991: 4827: 4769: 4743: 4699: 4663: 4656: 4408: 4367: 4326: 4306: 4267: 4167: 4137: 3931: 3906: 3424: 3392: 3304: 3274: 3160: 3119: 3066: 3046: 3018: 2990: 2970: 2969:{\displaystyle i>n} 2944: 2892: 2866: 2843: 2815: 2792: 2772: 2749: 2343: 2308: 2288: 2259: 2239: 2219: 2192: 2168: 2148: 2121: 2097: 2066:are isomorphic to the 2060: 2014: 1994: 1970: 1950: 1917: 1882: 1836: 1803: 1779: 1742: 1722: 1721:{\displaystyle i>0} 1696: 1644: 1620: 1597: 1558: 1538: 1509: 1489: 1488:{\displaystyle i>0} 1463: 1407: 1383: 1360: 1324: 1296: 1276: 1230: 1210: 1190: 1157: 1137: 1091: 1071: 1040: 1013: 859:of cohomology groups: 849: 793: 760: 714: 713:{\displaystyle i<0} 688: 642: 595: 575: 525: 502: 474:quasi-coherent sheaves 447: 427: 407: 387: 386:{\displaystyle i_{*}E} 354: 334: 314: 294: 262: 242: 215: 180: 137: 103: 79:complex analytic space 10434:"Finiteness theorems" 10398:Annals of Mathematics 9867: 9811: 9750: 9748:{\displaystyle T_{X}} 9713: 9638: 9565: 9452: 9366: 9272: 9148: 9004:Riemann–Roch theorems 8995: 8971: 8951: 8905: 8883:, or for any compact 8878: 8856: 8835: 8804: 8779: 8712: 8665: 8626:minimal model program 8619: 8599: 8568: 8498: 8496:{\displaystyle K_{X}} 8471: 8451: 8431: 8407: 8405:{\displaystyle m_{0}} 8377: 8337: 8304: 8302:{\displaystyle m_{0}} 8277: 8257: 8229: 8209: 8158: 8015: 7962: 7942: 7922: 7838: 7818: 7791: 7723: 7681: 7666:. In particular, the 7661: 7632: 7490: 7470: 7446: 7426: 7398: 7378: 7325:, there is a natural 7320: 7300: 7280: 7256: 7254:{\displaystyle K_{X}} 7206: 7061: 7008: 6988: 6965:is a closed oriented 6960: 6913: 6874: 6854: 6801: 6781: 6757: 6729: 6706: 6686: 6638: 6618: 6594: 6527: 6503: 6483: 6463: 6417: 6397: 6373: 6353: 6331:Finite-dimensionality 6322: 6275: 6226: 6219: 6180: 6160: 6116: 5967: 5957: 5774: 5767: 5765:{\displaystyle H^{1}} 5737: 5547: 5537: 5123: 5113: 5019: 5012: 4992: 4828: 4770: 4744: 4700: 4657: 4416: 4409: 4368: 4327: 4307: 4268: 4168: 4166:{\displaystyle H^{1}} 4138: 3932: 3907: 3425: 3393: 3305: 3303:{\displaystyle i_{*}} 3275: 3161: 3120: 3067: 3047: 3019: 2991: 2971: 2945: 2893: 2867: 2844: 2816: 2793: 2773: 2750: 2344: 2309: 2289: 2260: 2240: 2225:, a positive integer 2220: 2193: 2174:with coefficients in 2169: 2149: 2147:{\displaystyle U_{i}} 2122: 2098: 2061: 2015: 1995: 1971: 1951: 1918: 1883: 1837: 1804: 1780: 1743: 1723: 1697: 1645: 1621: 1598: 1559: 1539: 1510: 1490: 1464: 1408: 1384: 1361: 1325: 1297: 1277: 1231: 1211: 1191: 1158: 1138: 1092: 1077:-modules on a scheme 1072: 1041: 1014: 850: 794: 761: 715: 689: 643: 596: 576: 526: 503: 448: 428: 408: 388: 355: 335: 315: 295: 263: 243: 216: 190:(that is, sheaves of 181: 145:holomorphic functions 138: 104: 9827: 9771: 9732: 9670: 9597: 9481: 9381: 9351: 9203: 9172:Riemann–Roch theorem 9043: 9026:of a coherent sheaf 9024:Euler characteristic 9014:For a proper scheme 8984: 8960: 8914: 8910:as the dimension of 8894: 8865: 8845: 8813: 8793: 8679: 8654: 8608: 8582: 8516: 8480: 8460: 8440: 8420: 8389: 8346: 8313: 8286: 8266: 8242: 8218: 8198: 8083: 7971: 7951: 7931: 7847: 7827: 7807: 7798:Grothendieck duality 7732: 7690: 7670: 7650: 7504: 7479: 7459: 7435: 7415: 7387: 7332: 7309: 7289: 7269: 7238: 7079: 7017: 7013:is the dimension of 6997: 6977: 6922: 6891: 6863: 6810: 6790: 6770: 6746: 6718: 6695: 6651: 6627: 6603: 6571: 6516: 6492: 6472: 6426: 6406: 6382: 6362: 6342: 6287: 6231: 6189: 6169: 6165:. In particular, if 6128: 5972: 5779: 5749: 5552: 5128: 5024: 5001: 4837: 4787: 4753: 4709: 4669: 4421: 4377: 4336: 4316: 4290: 4180: 4150: 3944: 3919: 3444: 3405: 3317: 3287: 3173: 3129: 3076: 3056: 3036: 3004: 2980: 2954: 2902: 2876: 2856: 2829: 2805: 2782: 2762: 2357: 2320: 2298: 2269: 2249: 2229: 2209: 2178: 2158: 2131: 2107: 2074: 2024: 2004: 1980: 1960: 1927: 1907: 1846: 1813: 1789: 1756: 1732: 1706: 1654: 1630: 1610: 1583: 1548: 1519: 1499: 1473: 1421: 1393: 1373: 1346: 1310: 1286: 1240: 1220: 1200: 1167: 1147: 1101: 1081: 1050: 1026: 866: 803: 770: 724: 698: 652: 609: 585: 539: 515: 488: 437: 417: 397: 367: 344: 324: 304: 272: 252: 232: 194: 159: 116: 93: 10509:Cohomology theories 10122:, Theorem III.7.6.) 10092:, (EGA 3) 3.2.1), ( 9992:2019arXiv190107305H 9962:, Theorem III.2.7.) 9949:, Theorem III.5.1.) 9763:is smooth. Namely, 9170:, according to the 8644:singular cohomology 8214:on a proper scheme 8066:on a proper scheme 7407:, meaning that the 6691:are coherent. When 6645:higher direct image 4954: 4886: 4768:{\displaystyle X,Y} 4548: 4481: 4305:{\displaystyle X,Y} 2726: 2701: 2552: 2527: 1752:to the category of 1495:. (A complex space 857:long exact sequence 472:. On a scheme, the 155:of the category of 40:or of more general 10504:Algebraic geometry 10487:The Stacks Project 10387:Serre, Jean-Pierre 10357:Algebraic Geometry 10336:10.1007/bf02684274 10096:, Theorem 10.4.6.) 9862: 9806: 9745: 9708: 9633: 9587:deformation theory 9560: 9447: 9361: 9267: 9182:. For example, if 9143: 9076: 8990: 8966: 8946: 8900: 8873: 8851: 8830: 8799: 8774: 8660: 8648:de Rham cohomology 8614: 8594: 8563: 8493: 8466: 8446: 8426: 8402: 8372: 8332: 8309:such that for all 8299: 8272: 8252: 8224: 8204: 8191:says that for any 8184:Vanishing theorems 8153: 8074:, the natural map 8010: 7967:(the dimension of 7957: 7937: 7917: 7833: 7813: 7786: 7718: 7676: 7656: 7646:for every integer 7627: 7485: 7465: 7441: 7421: 7393: 7373: 7315: 7295: 7275: 7251: 7201: 7123: 7056: 7003: 6983: 6955: 6908: 6869: 6849: 6796: 6776: 6752: 6724: 6701: 6681: 6633: 6613: 6589: 6522: 6498: 6478: 6458: 6412: 6392: 6368: 6348: 6317: 6270: 6214: 6175: 6155: 6111: 5952: 5762: 5732: 5730: 5532: 5530: 5108: 5007: 4987: 4940: 4872: 4823: 4765: 4739: 4695: 4652: 4583: 4534: 4467: 4404: 4363: 4322: 4302: 4263: 4163: 4133: 4131: 3927: 3902: 3900: 3420: 3388: 3300: 3270: 3156: 3115: 3062: 3042: 3014: 2986: 2966: 2940: 2888: 2862: 2839: 2811: 2788: 2768: 2745: 2740: 2705: 2680: 2672: 2531: 2506: 2498: 2339: 2304: 2284: 2255: 2245:, and any integer 2235: 2215: 2188: 2164: 2144: 2117: 2093: 2056: 2010: 1990: 1966: 1946: 1913: 1878: 1832: 1799: 1775: 1738: 1718: 1692: 1640: 1616: 1593: 1554: 1534: 1505: 1485: 1459: 1403: 1379: 1356: 1320: 1292: 1272: 1226: 1206: 1186: 1153: 1133: 1087: 1067: 1036: 1009: 845: 789: 756: 710: 684: 638: 591: 571: 521: 498: 443: 423: 403: 383: 362:direct image sheaf 350: 330: 310: 300:, a vector bundle 290: 258: 238: 211: 176: 133: 99: 24:and the theory of 22:algebraic geometry 10529:Complex manifolds 10469:978-3-540-00373-1 10371:978-0-387-90244-9 10352:Hartshorne, Robin 10294:978-2-85629-141-2 10222:Remmert, Reinhold 10009:978-3-030-18637-1 9821:obstruction class 9247: 9230: 9067: 8993:{\displaystyle k} 8969:{\displaystyle k} 8903:{\displaystyle X} 8854:{\displaystyle X} 8802:{\displaystyle a} 8663:{\displaystyle X} 8617:{\displaystyle L} 8469:{\displaystyle X} 8449:{\displaystyle L} 8429:{\displaystyle X} 8275:{\displaystyle X} 8227:{\displaystyle X} 8207:{\displaystyle L} 8193:ample line bundle 8147: 8134: 7960:{\displaystyle X} 7940:{\displaystyle X} 7836:{\displaystyle k} 7816:{\displaystyle X} 7679:{\displaystyle k} 7659:{\displaystyle i} 7488:{\displaystyle X} 7468:{\displaystyle E} 7444:{\displaystyle k} 7424:{\displaystyle X} 7396:{\displaystyle X} 7318:{\displaystyle k} 7298:{\displaystyle n} 7278:{\displaystyle X} 7263:orientation sheaf 7114: 7006:{\displaystyle n} 6986:{\displaystyle X} 6872:{\displaystyle k} 6799:{\displaystyle k} 6779:{\displaystyle X} 6755:{\displaystyle k} 6727:{\displaystyle X} 6704:{\displaystyle Y} 6636:{\displaystyle X} 6553:compact operators 6525:{\displaystyle k} 6501:{\displaystyle X} 6481:{\displaystyle k} 6415:{\displaystyle X} 6371:{\displaystyle k} 6351:{\displaystyle X} 6178:{\displaystyle C} 6043: 6005: 5010:{\displaystyle C} 4723: 4562: 4514: 4448: 4393: 4352: 4325:{\displaystyle k} 4261: 4213: 4146:which shows that 3065:{\displaystyle d} 3045:{\displaystyle C} 2998:Noetherian scheme 2989:{\displaystyle X} 2865:{\displaystyle X} 2814:{\displaystyle n} 2791:{\displaystyle k} 2771:{\displaystyle k} 2592: 2418: 2307:{\displaystyle k} 2258:{\displaystyle j} 2238:{\displaystyle n} 2218:{\displaystyle k} 2167:{\displaystyle X} 2013:{\displaystyle X} 1969:{\displaystyle X} 1916:{\displaystyle X} 1741:{\displaystyle X} 1619:{\displaystyle X} 1557:{\displaystyle n} 1508:{\displaystyle X} 1382:{\displaystyle X} 1295:{\displaystyle k} 1229:{\displaystyle k} 1209:{\displaystyle X} 1156:{\displaystyle X} 1090:{\displaystyle X} 594:{\displaystyle i} 524:{\displaystyle X} 510:topological space 446:{\displaystyle X} 426:{\displaystyle X} 406:{\displaystyle Y} 353:{\displaystyle X} 333:{\displaystyle Y} 313:{\displaystyle E} 261:{\displaystyle X} 241:{\displaystyle Y} 149:regular functions 102:{\displaystyle X} 46:algebraic variety 26:complex manifolds 10536: 10490: 10473: 10446: 10428: 10395: 10382: 10347: 10305: 10286: 10258: 10213: 10179: 10170:Michel Raynaud. 10168: 10162: 10155: 10149: 10142: 10136: 10129: 10123: 10116: 10110: 10103: 10097: 10086: 10080: 10078: 10070: 10064: 10063: 10061: 10052: 10046: 10045: 10043: 10042: 10028: 10022: 10021: 9985: 9969: 9963: 9956: 9950: 9943: 9937: 9935: 9927: 9921: 9919: 9911: 9902: 9895: 9880:as above exists. 9871: 9869: 9868: 9863: 9858: 9857: 9839: 9838: 9815: 9813: 9812: 9807: 9802: 9801: 9783: 9782: 9754: 9752: 9751: 9746: 9744: 9743: 9717: 9715: 9714: 9709: 9698: 9697: 9682: 9681: 9642: 9640: 9639: 9634: 9632: 9631: 9622: 9569: 9567: 9566: 9561: 9556: 9555: 9516: 9515: 9510: 9509: 9493: 9492: 9456: 9454: 9453: 9448: 9443: 9442: 9409: 9408: 9393: 9392: 9370: 9368: 9367: 9362: 9360: 9359: 9276: 9274: 9273: 9268: 9248: 9245: 9231: 9228: 9152: 9150: 9149: 9144: 9121: 9120: 9105: 9104: 9095: 9094: 9075: 8999: 8997: 8996: 8991: 8975: 8973: 8972: 8967: 8955: 8953: 8952: 8947: 8942: 8941: 8926: 8925: 8909: 8907: 8906: 8901: 8882: 8880: 8879: 8874: 8872: 8860: 8858: 8857: 8852: 8839: 8837: 8836: 8831: 8826: 8808: 8806: 8805: 8800: 8783: 8781: 8780: 8775: 8767: 8766: 8748: 8747: 8731: 8726: 8705: 8691: 8690: 8669: 8667: 8666: 8661: 8623: 8621: 8620: 8615: 8603: 8601: 8600: 8595: 8572: 8570: 8569: 8564: 8547: 8546: 8528: 8527: 8505:canonical bundle 8502: 8500: 8499: 8494: 8492: 8491: 8475: 8473: 8472: 8467: 8455: 8453: 8452: 8447: 8435: 8433: 8432: 8427: 8411: 8409: 8408: 8403: 8401: 8400: 8381: 8379: 8378: 8373: 8371: 8370: 8355: 8354: 8341: 8339: 8338: 8333: 8331: 8330: 8308: 8306: 8305: 8300: 8298: 8297: 8281: 8279: 8278: 8273: 8261: 8259: 8258: 8253: 8251: 8250: 8233: 8231: 8230: 8225: 8213: 8211: 8210: 8205: 8162: 8160: 8159: 8154: 8149: 8148: 8145: 8136: 8135: 8132: 8123: 8122: 8095: 8094: 8019: 8017: 8016: 8011: 8006: 8005: 8000: 7999: 7983: 7982: 7966: 7964: 7963: 7958: 7946: 7944: 7943: 7938: 7926: 7924: 7923: 7918: 7913: 7912: 7894: 7893: 7878: 7877: 7859: 7858: 7842: 7840: 7839: 7834: 7822: 7820: 7819: 7814: 7795: 7793: 7792: 7787: 7782: 7781: 7769: 7768: 7750: 7749: 7727: 7725: 7724: 7719: 7702: 7701: 7685: 7683: 7682: 7677: 7665: 7663: 7662: 7657: 7636: 7634: 7633: 7628: 7617: 7616: 7598: 7597: 7582: 7581: 7569: 7568: 7550: 7549: 7516: 7515: 7494: 7492: 7491: 7486: 7474: 7472: 7471: 7466: 7450: 7448: 7447: 7442: 7430: 7428: 7427: 7422: 7402: 7400: 7399: 7394: 7382: 7380: 7379: 7374: 7363: 7362: 7344: 7343: 7324: 7322: 7321: 7316: 7304: 7302: 7301: 7296: 7284: 7282: 7281: 7276: 7260: 7258: 7257: 7252: 7250: 7249: 7233:canonical bundle 7229:PoincarĂ© duality 7210: 7208: 7207: 7202: 7191: 7190: 7185: 7184: 7168: 7167: 7152: 7151: 7142: 7141: 7122: 7107: 7106: 7101: 7100: 7068:arithmetic genus 7065: 7063: 7062: 7057: 7052: 7051: 7046: 7045: 7029: 7028: 7012: 7010: 7009: 7004: 6992: 6990: 6989: 6984: 6964: 6962: 6961: 6956: 6954: 6953: 6935: 6917: 6915: 6914: 6909: 6904: 6879:is the field of 6878: 6876: 6875: 6870: 6858: 6856: 6855: 6850: 6845: 6844: 6839: 6838: 6822: 6821: 6805: 6803: 6802: 6797: 6785: 6783: 6782: 6777: 6761: 6759: 6758: 6753: 6733: 6731: 6730: 6725: 6710: 6708: 6707: 6702: 6690: 6688: 6687: 6682: 6680: 6679: 6673: 6672: 6663: 6662: 6642: 6640: 6639: 6634: 6622: 6620: 6619: 6614: 6612: 6611: 6598: 6596: 6595: 6590: 6531: 6529: 6528: 6523: 6507: 6505: 6504: 6499: 6487: 6485: 6484: 6479: 6467: 6465: 6464: 6459: 6454: 6453: 6438: 6437: 6421: 6419: 6418: 6413: 6401: 6399: 6398: 6393: 6391: 6390: 6377: 6375: 6374: 6369: 6357: 6355: 6354: 6349: 6326: 6324: 6323: 6318: 6316: 6315: 6310: 6301: 6300: 6295: 6279: 6277: 6276: 6271: 6224:, it is of genus 6223: 6221: 6220: 6215: 6198: 6197: 6184: 6182: 6181: 6176: 6164: 6162: 6161: 6156: 6120: 6118: 6117: 6112: 6050: 6049: 6048: 6042: 6031: 6019: 6012: 6011: 6010: 6004: 5993: 5981: 5965:which is of rank 5961: 5959: 5958: 5953: 5936: 5935: 5926: 5925: 5920: 5911: 5910: 5901: 5900: 5876: 5875: 5866: 5865: 5860: 5851: 5850: 5814: 5813: 5808: 5807: 5791: 5790: 5771: 5769: 5768: 5763: 5761: 5760: 5741: 5739: 5738: 5733: 5731: 5703: 5702: 5687: 5686: 5667: 5666: 5661: 5660: 5644: 5643: 5627: 5626: 5611: 5610: 5591: 5590: 5585: 5584: 5568: 5567: 5541: 5539: 5538: 5533: 5531: 5524: 5523: 5518: 5517: 5501: 5500: 5485: 5484: 5469: 5468: 5432: 5431: 5416: 5415: 5400: 5393: 5392: 5387: 5386: 5370: 5369: 5354: 5353: 5338: 5337: 5301: 5300: 5285: 5284: 5269: 5262: 5261: 5256: 5255: 5239: 5238: 5223: 5222: 5207: 5206: 5170: 5169: 5154: 5153: 5117: 5115: 5114: 5109: 5101: 5100: 5095: 5094: 5084: 5083: 5078: 5077: 5046: 5045: 5040: 5039: 5016: 5014: 5013: 5008: 4997:defines a curve 4996: 4994: 4993: 4988: 4977: 4976: 4975: 4974: 4969: 4962: 4961: 4953: 4948: 4939: 4938: 4937: 4936: 4931: 4930: 4909: 4908: 4907: 4906: 4901: 4894: 4893: 4885: 4880: 4853: 4852: 4847: 4846: 4832: 4830: 4829: 4824: 4822: 4821: 4816: 4807: 4806: 4801: 4774: 4772: 4771: 4766: 4748: 4746: 4745: 4740: 4735: 4734: 4724: 4721: 4704: 4702: 4701: 4696: 4694: 4693: 4681: 4680: 4661: 4659: 4658: 4653: 4648: 4647: 4632: 4631: 4622: 4621: 4609: 4608: 4593: 4592: 4582: 4555: 4554: 4547: 4542: 4533: 4532: 4531: 4530: 4526: 4525: 4515: 4512: 4501: 4500: 4488: 4487: 4480: 4475: 4460: 4459: 4449: 4446: 4433: 4432: 4413: 4411: 4410: 4405: 4394: 4391: 4386: 4385: 4372: 4370: 4369: 4364: 4353: 4350: 4345: 4344: 4331: 4329: 4328: 4323: 4311: 4309: 4308: 4303: 4272: 4270: 4269: 4264: 4262: 4257: 4225: 4220: 4219: 4218: 4212: 4201: 4189: 4172: 4170: 4169: 4164: 4162: 4161: 4142: 4140: 4139: 4134: 4132: 4113: 4112: 4103: 4102: 4097: 4088: 4087: 4068: 4067: 4062: 4061: 4045: 4044: 4028: 4027: 4018: 4017: 4012: 4003: 4002: 3983: 3982: 3977: 3976: 3960: 3959: 3936: 3934: 3933: 3928: 3926: 3911: 3909: 3908: 3903: 3901: 3894: 3893: 3888: 3887: 3877: 3876: 3871: 3862: 3861: 3846: 3845: 3836: 3835: 3830: 3821: 3820: 3793: 3792: 3783: 3782: 3777: 3768: 3767: 3752: 3745: 3744: 3739: 3738: 3728: 3727: 3722: 3713: 3712: 3697: 3696: 3687: 3686: 3681: 3672: 3671: 3644: 3643: 3634: 3633: 3628: 3619: 3618: 3603: 3596: 3595: 3590: 3589: 3579: 3578: 3573: 3564: 3563: 3548: 3547: 3538: 3537: 3532: 3523: 3522: 3495: 3494: 3485: 3484: 3479: 3470: 3469: 3429: 3427: 3426: 3421: 3419: 3418: 3413: 3397: 3395: 3394: 3389: 3381: 3380: 3375: 3374: 3367: 3366: 3354: 3353: 3332: 3331: 3309: 3307: 3306: 3301: 3299: 3298: 3279: 3277: 3276: 3271: 3266: 3265: 3260: 3259: 3243: 3242: 3227: 3226: 3221: 3220: 3213: 3212: 3200: 3199: 3194: 3185: 3184: 3165: 3163: 3162: 3157: 3155: 3154: 3149: 3124: 3122: 3121: 3116: 3111: 3110: 3105: 3104: 3088: 3087: 3071: 3069: 3068: 3063: 3051: 3049: 3048: 3043: 3023: 3021: 3020: 3015: 3013: 3012: 2995: 2993: 2992: 2987: 2975: 2973: 2972: 2967: 2949: 2947: 2946: 2941: 2930: 2929: 2914: 2913: 2897: 2895: 2894: 2889: 2871: 2869: 2868: 2863: 2848: 2846: 2845: 2840: 2838: 2837: 2820: 2818: 2817: 2812: 2797: 2795: 2794: 2789: 2777: 2775: 2774: 2769: 2754: 2752: 2751: 2746: 2744: 2743: 2725: 2724: 2723: 2713: 2700: 2699: 2698: 2688: 2671: 2664: 2663: 2645: 2644: 2625: 2624: 2606: 2605: 2551: 2550: 2549: 2539: 2526: 2525: 2524: 2514: 2497: 2490: 2489: 2471: 2470: 2451: 2450: 2432: 2431: 2394: 2393: 2384: 2383: 2378: 2369: 2368: 2348: 2346: 2345: 2340: 2329: 2328: 2313: 2311: 2310: 2305: 2293: 2291: 2290: 2285: 2283: 2282: 2277: 2264: 2262: 2261: 2256: 2244: 2242: 2241: 2236: 2224: 2222: 2221: 2216: 2203:projective space 2197: 2195: 2194: 2189: 2187: 2186: 2173: 2171: 2170: 2165: 2153: 2151: 2150: 2145: 2143: 2142: 2126: 2124: 2123: 2118: 2116: 2115: 2102: 2100: 2099: 2094: 2089: 2088: 2065: 2063: 2062: 2057: 2052: 2051: 2036: 2035: 2019: 2017: 2016: 2011: 1999: 1997: 1996: 1991: 1989: 1988: 1975: 1973: 1972: 1967: 1955: 1953: 1952: 1947: 1942: 1941: 1922: 1920: 1919: 1914: 1902:separated scheme 1887: 1885: 1884: 1879: 1874: 1873: 1858: 1857: 1841: 1839: 1838: 1833: 1822: 1821: 1808: 1806: 1805: 1800: 1798: 1797: 1784: 1782: 1781: 1776: 1765: 1764: 1747: 1745: 1744: 1739: 1727: 1725: 1724: 1719: 1701: 1699: 1698: 1693: 1682: 1681: 1666: 1665: 1649: 1647: 1646: 1641: 1639: 1638: 1625: 1623: 1622: 1617: 1602: 1600: 1599: 1594: 1592: 1591: 1563: 1561: 1560: 1555: 1543: 1541: 1540: 1535: 1533: 1532: 1527: 1514: 1512: 1511: 1506: 1494: 1492: 1491: 1486: 1468: 1466: 1465: 1460: 1449: 1448: 1433: 1432: 1412: 1410: 1409: 1404: 1402: 1401: 1388: 1386: 1385: 1380: 1365: 1363: 1362: 1357: 1355: 1354: 1329: 1327: 1326: 1321: 1319: 1318: 1301: 1299: 1298: 1293: 1281: 1279: 1278: 1273: 1268: 1267: 1252: 1251: 1235: 1233: 1232: 1227: 1215: 1213: 1212: 1207: 1195: 1193: 1192: 1187: 1176: 1175: 1162: 1160: 1159: 1154: 1142: 1140: 1139: 1134: 1129: 1128: 1113: 1112: 1096: 1094: 1093: 1088: 1076: 1074: 1073: 1068: 1066: 1065: 1060: 1059: 1045: 1043: 1042: 1037: 1035: 1034: 1018: 1016: 1015: 1010: 996: 995: 980: 979: 964: 963: 948: 947: 932: 931: 916: 915: 900: 899: 884: 883: 854: 852: 851: 846: 838: 837: 828: 827: 818: 817: 798: 796: 795: 790: 779: 778: 765: 763: 762: 757: 752: 751: 736: 735: 719: 717: 716: 711: 693: 691: 690: 685: 680: 679: 664: 663: 647: 645: 644: 639: 628: 627: 618: 617: 603:derived functors 600: 598: 597: 592: 580: 578: 577: 572: 567: 566: 551: 550: 533:sheaf cohomology 530: 528: 527: 522: 507: 505: 504: 499: 497: 496: 480:Sheaf cohomology 458:abelian category 452: 450: 449: 444: 432: 430: 429: 424: 412: 410: 409: 404: 392: 390: 389: 384: 379: 378: 359: 357: 356: 351: 339: 337: 336: 331: 319: 317: 316: 311: 299: 297: 296: 291: 267: 265: 264: 259: 247: 245: 244: 239: 220: 218: 217: 212: 210: 209: 204: 203: 185: 183: 182: 177: 175: 174: 169: 168: 153:full subcategory 142: 140: 139: 134: 132: 131: 126: 125: 108: 106: 105: 100: 59:Coherent sheaves 42:coherent sheaves 20:, especially in 10544: 10543: 10539: 10538: 10537: 10535: 10534: 10533: 10494: 10493: 10483: 10480: 10470: 10410:10.2307/1969915 10393: 10372: 10314:DieudonnĂ©, Jean 10295: 10284:math.AG/0206203 10248: 10230:Springer-Verlag 10188: 10183: 10182: 10169: 10165: 10156: 10152: 10146:Hartshorne 1977 10143: 10139: 10130: 10126: 10120:Hartshorne 1977 10117: 10113: 10104: 10100: 10087: 10083: 10072: 10071: 10067: 10059: 10053: 10049: 10040: 10038: 10030: 10029: 10025: 10010: 9970: 9966: 9960:Hartshorne 1977 9957: 9953: 9947:Hartshorne 1977 9944: 9940: 9929: 9928: 9924: 9913: 9912: 9905: 9899:Hartshorne 1977 9896: 9892: 9887: 9853: 9849: 9834: 9830: 9828: 9825: 9824: 9797: 9793: 9778: 9774: 9772: 9769: 9768: 9739: 9735: 9733: 9730: 9729: 9687: 9683: 9677: 9673: 9671: 9668: 9667: 9655: 9627: 9623: 9618: 9598: 9595: 9594: 9577:Given a scheme 9575: 9545: 9541: 9511: 9505: 9504: 9503: 9488: 9484: 9482: 9479: 9478: 9438: 9434: 9404: 9403: 9388: 9384: 9382: 9379: 9378: 9355: 9354: 9352: 9349: 9348: 9318: 9244: 9227: 9204: 9201: 9200: 9116: 9112: 9100: 9096: 9090: 9086: 9071: 9044: 9041: 9040: 9034:is the integer 9012: 9006: 8985: 8982: 8981: 8961: 8958: 8957: 8937: 8936: 8921: 8917: 8915: 8912: 8911: 8895: 8892: 8891: 8885:Kähler manifold 8868: 8866: 8863: 8862: 8846: 8843: 8842: 8822: 8814: 8811: 8810: 8794: 8791: 8790: 8762: 8758: 8737: 8733: 8727: 8716: 8701: 8686: 8682: 8680: 8677: 8676: 8655: 8652: 8651: 8640: 8634: 8609: 8606: 8605: 8583: 8580: 8579: 8542: 8538: 8523: 8519: 8517: 8514: 8513: 8487: 8483: 8481: 8478: 8477: 8461: 8458: 8457: 8441: 8438: 8437: 8421: 8418: 8417: 8396: 8392: 8390: 8387: 8386: 8363: 8359: 8350: 8349: 8347: 8344: 8343: 8326: 8322: 8314: 8311: 8310: 8293: 8289: 8287: 8284: 8283: 8267: 8264: 8263: 8246: 8245: 8243: 8240: 8239: 8236:Noetherian ring 8219: 8216: 8215: 8199: 8196: 8195: 8186: 8144: 8140: 8131: 8127: 8118: 8114: 8090: 8086: 8084: 8081: 8080: 8058:is proper over 8032: 8026: 8001: 7995: 7994: 7993: 7978: 7974: 7972: 7969: 7968: 7952: 7949: 7948: 7932: 7929: 7928: 7908: 7904: 7889: 7885: 7873: 7869: 7854: 7850: 7848: 7845: 7844: 7828: 7825: 7824: 7808: 7805: 7804: 7777: 7773: 7764: 7760: 7739: 7735: 7733: 7730: 7729: 7697: 7693: 7691: 7688: 7687: 7686:-vector spaces 7671: 7668: 7667: 7651: 7648: 7647: 7644:perfect pairing 7612: 7608: 7593: 7589: 7577: 7573: 7564: 7560: 7539: 7535: 7511: 7507: 7505: 7502: 7501: 7480: 7477: 7476: 7460: 7457: 7456: 7436: 7433: 7432: 7416: 7413: 7412: 7388: 7385: 7384: 7358: 7354: 7339: 7335: 7333: 7330: 7329: 7310: 7307: 7306: 7290: 7287: 7286: 7270: 7267: 7266: 7245: 7241: 7239: 7236: 7235: 7225: 7219: 7186: 7180: 7179: 7178: 7163: 7159: 7147: 7143: 7137: 7133: 7118: 7102: 7096: 7095: 7094: 7080: 7077: 7076: 7047: 7041: 7040: 7039: 7024: 7020: 7018: 7015: 7014: 6998: 6995: 6994: 6978: 6975: 6974: 6971:geometric genus 6946: 6942: 6931: 6923: 6920: 6919: 6900: 6892: 6889: 6888: 6881:complex numbers 6864: 6861: 6860: 6840: 6834: 6833: 6832: 6817: 6813: 6811: 6808: 6807: 6791: 6788: 6787: 6771: 6768: 6767: 6747: 6744: 6743: 6719: 6716: 6715: 6696: 6693: 6692: 6675: 6674: 6668: 6664: 6658: 6654: 6652: 6649: 6648: 6628: 6625: 6624: 6607: 6606: 6604: 6601: 6600: 6572: 6569: 6568: 6561:proper morphism 6517: 6514: 6513: 6493: 6490: 6489: 6473: 6470: 6469: 6449: 6448: 6433: 6429: 6427: 6424: 6423: 6407: 6404: 6403: 6386: 6385: 6383: 6380: 6379: 6363: 6360: 6359: 6343: 6340: 6339: 6333: 6311: 6306: 6305: 6296: 6291: 6290: 6288: 6285: 6284: 6232: 6229: 6228: 6193: 6192: 6190: 6187: 6186: 6170: 6167: 6166: 6129: 6126: 6125: 6044: 6032: 6021: 6015: 6014: 6013: 6006: 5994: 5983: 5977: 5976: 5975: 5973: 5970: 5969: 5931: 5930: 5921: 5916: 5915: 5906: 5902: 5896: 5892: 5871: 5870: 5861: 5856: 5855: 5846: 5842: 5809: 5803: 5802: 5801: 5786: 5782: 5780: 5777: 5776: 5756: 5752: 5750: 5747: 5746: 5729: 5728: 5698: 5697: 5682: 5678: 5671: 5662: 5656: 5655: 5654: 5639: 5635: 5632: 5631: 5622: 5621: 5606: 5602: 5595: 5586: 5580: 5579: 5578: 5563: 5559: 5555: 5553: 5550: 5549: 5529: 5528: 5519: 5513: 5512: 5511: 5496: 5492: 5480: 5479: 5464: 5460: 5427: 5426: 5411: 5407: 5398: 5397: 5388: 5382: 5381: 5380: 5365: 5361: 5349: 5348: 5333: 5329: 5296: 5295: 5280: 5276: 5267: 5266: 5257: 5251: 5250: 5249: 5234: 5230: 5218: 5217: 5202: 5198: 5165: 5164: 5149: 5145: 5138: 5131: 5129: 5126: 5125: 5096: 5090: 5089: 5088: 5079: 5073: 5072: 5071: 5041: 5035: 5034: 5033: 5025: 5022: 5021: 5002: 4999: 4998: 4970: 4965: 4964: 4963: 4957: 4956: 4955: 4949: 4944: 4932: 4926: 4925: 4924: 4923: 4919: 4902: 4897: 4896: 4895: 4889: 4888: 4887: 4881: 4876: 4848: 4842: 4841: 4840: 4838: 4835: 4834: 4817: 4812: 4811: 4802: 4797: 4796: 4788: 4785: 4784: 4781: 4754: 4751: 4750: 4720: 4719: 4715: 4710: 4707: 4706: 4689: 4685: 4676: 4672: 4670: 4667: 4666: 4643: 4642: 4627: 4623: 4617: 4613: 4604: 4603: 4588: 4584: 4566: 4550: 4549: 4543: 4538: 4511: 4510: 4506: 4502: 4496: 4495: 4494: 4493: 4489: 4483: 4482: 4476: 4471: 4445: 4444: 4440: 4428: 4424: 4422: 4419: 4418: 4390: 4381: 4380: 4378: 4375: 4374: 4349: 4340: 4339: 4337: 4334: 4333: 4317: 4314: 4313: 4291: 4288: 4287: 4284:KĂĽnneth formula 4280: 4278:KĂĽnneth Theorem 4226: 4224: 4214: 4202: 4191: 4185: 4184: 4183: 4181: 4178: 4177: 4157: 4153: 4151: 4148: 4147: 4130: 4129: 4108: 4107: 4098: 4093: 4092: 4083: 4079: 4072: 4063: 4057: 4056: 4055: 4040: 4036: 4033: 4032: 4023: 4022: 4013: 4008: 4007: 3998: 3994: 3987: 3978: 3972: 3971: 3970: 3955: 3951: 3947: 3945: 3942: 3941: 3922: 3920: 3917: 3916: 3899: 3898: 3889: 3883: 3882: 3881: 3872: 3867: 3866: 3857: 3853: 3841: 3840: 3831: 3826: 3825: 3816: 3812: 3788: 3787: 3778: 3773: 3772: 3763: 3759: 3750: 3749: 3740: 3734: 3733: 3732: 3723: 3718: 3717: 3708: 3704: 3692: 3691: 3682: 3677: 3676: 3667: 3663: 3639: 3638: 3629: 3624: 3623: 3614: 3610: 3601: 3600: 3591: 3585: 3584: 3583: 3574: 3569: 3568: 3559: 3555: 3543: 3542: 3533: 3528: 3527: 3518: 3514: 3490: 3489: 3480: 3475: 3474: 3465: 3461: 3454: 3447: 3445: 3442: 3441: 3414: 3409: 3408: 3406: 3403: 3402: 3376: 3370: 3369: 3368: 3362: 3358: 3349: 3348: 3327: 3326: 3318: 3315: 3314: 3294: 3290: 3288: 3285: 3284: 3261: 3255: 3254: 3253: 3238: 3234: 3222: 3216: 3215: 3214: 3208: 3204: 3195: 3190: 3189: 3180: 3176: 3174: 3171: 3170: 3150: 3145: 3144: 3130: 3127: 3126: 3106: 3100: 3099: 3098: 3083: 3079: 3077: 3074: 3073: 3057: 3054: 3053: 3037: 3034: 3033: 3030: 3008: 3007: 3005: 3002: 3001: 2981: 2978: 2977: 2955: 2952: 2951: 2925: 2924: 2909: 2905: 2903: 2900: 2899: 2877: 2874: 2873: 2857: 2854: 2853: 2833: 2832: 2830: 2827: 2826: 2806: 2803: 2802: 2798:-vector space. 2783: 2780: 2779: 2763: 2760: 2759: 2739: 2738: 2727: 2719: 2715: 2714: 2709: 2694: 2690: 2689: 2684: 2659: 2655: 2640: 2636: 2620: 2616: 2601: 2597: 2596: 2589: 2588: 2571: 2565: 2564: 2553: 2545: 2541: 2540: 2535: 2520: 2516: 2515: 2510: 2485: 2481: 2466: 2462: 2446: 2442: 2427: 2423: 2422: 2411: 2410: 2389: 2388: 2379: 2374: 2373: 2364: 2360: 2358: 2355: 2354: 2324: 2323: 2321: 2318: 2317: 2299: 2296: 2295: 2278: 2273: 2272: 2270: 2267: 2266: 2250: 2247: 2246: 2230: 2227: 2226: 2210: 2207: 2206: 2182: 2181: 2179: 2176: 2175: 2159: 2156: 2155: 2138: 2134: 2132: 2129: 2128: 2111: 2110: 2108: 2105: 2104: 2084: 2080: 2075: 2072: 2071: 2068:ÄŚech cohomology 2047: 2046: 2031: 2027: 2025: 2022: 2021: 2005: 2002: 2001: 1984: 1983: 1981: 1978: 1977: 1961: 1958: 1957: 1937: 1933: 1928: 1925: 1924: 1908: 1905: 1904: 1898: 1869: 1868: 1853: 1849: 1847: 1844: 1843: 1817: 1816: 1814: 1811: 1810: 1793: 1792: 1790: 1787: 1786: 1760: 1759: 1757: 1754: 1753: 1733: 1730: 1729: 1707: 1704: 1703: 1677: 1676: 1661: 1657: 1655: 1652: 1651: 1634: 1633: 1631: 1628: 1627: 1611: 1608: 1607: 1587: 1586: 1584: 1581: 1580: 1549: 1546: 1545: 1528: 1523: 1522: 1520: 1517: 1516: 1500: 1497: 1496: 1474: 1471: 1470: 1444: 1443: 1428: 1424: 1422: 1419: 1418: 1397: 1396: 1394: 1391: 1390: 1374: 1371: 1370: 1350: 1349: 1347: 1344: 1343: 1336: 1314: 1313: 1311: 1308: 1307: 1287: 1284: 1283: 1263: 1262: 1247: 1243: 1241: 1238: 1237: 1221: 1218: 1217: 1201: 1198: 1197: 1171: 1170: 1168: 1165: 1164: 1148: 1145: 1144: 1124: 1123: 1108: 1104: 1102: 1099: 1098: 1082: 1079: 1078: 1061: 1055: 1054: 1053: 1051: 1048: 1047: 1030: 1029: 1027: 1024: 1023: 991: 990: 975: 971: 959: 958: 943: 939: 927: 926: 911: 907: 895: 894: 879: 875: 867: 864: 863: 833: 832: 823: 822: 813: 812: 804: 801: 800: 774: 773: 771: 768: 767: 747: 746: 731: 727: 725: 722: 721: 699: 696: 695: 675: 674: 659: 655: 653: 650: 649: 648:. As a result, 623: 622: 613: 612: 610: 607: 606: 586: 583: 582: 562: 561: 546: 542: 540: 537: 536: 516: 513: 512: 492: 491: 489: 486: 485: 482: 438: 435: 434: 418: 415: 414: 398: 395: 394: 374: 370: 368: 365: 364: 345: 342: 341: 325: 322: 321: 305: 302: 301: 273: 270: 269: 268:with inclusion 253: 250: 249: 233: 230: 229: 205: 199: 198: 197: 195: 192: 191: 170: 164: 163: 162: 160: 157: 156: 143:, the sheaf of 127: 121: 120: 119: 117: 114: 113: 94: 91: 90: 67: 61: 12: 11: 5: 10542: 10532: 10531: 10526: 10521: 10519:Vector bundles 10516: 10511: 10506: 10492: 10491: 10479: 10478:External links 10476: 10475: 10474: 10468: 10447: 10429: 10404:(2): 197–278, 10383: 10370: 10348: 10306: 10293: 10259: 10246: 10214: 10187: 10184: 10181: 10180: 10163: 10150: 10137: 10124: 10111: 10109:, section 80.) 10098: 10081: 10065: 10047: 10023: 10008: 9964: 9951: 9938: 9922: 9903: 9889: 9888: 9886: 9883: 9882: 9881: 9861: 9856: 9852: 9848: 9845: 9842: 9837: 9833: 9817: 9805: 9800: 9796: 9792: 9789: 9786: 9781: 9777: 9742: 9738: 9719: 9718: 9707: 9704: 9701: 9696: 9693: 9690: 9686: 9680: 9676: 9660:such that the 9651: 9630: 9626: 9621: 9617: 9614: 9611: 9608: 9605: 9602: 9574: 9571: 9559: 9554: 9551: 9548: 9544: 9540: 9537: 9534: 9531: 9528: 9525: 9522: 9519: 9514: 9508: 9502: 9499: 9496: 9491: 9487: 9446: 9441: 9437: 9433: 9430: 9427: 9424: 9421: 9418: 9415: 9412: 9407: 9402: 9399: 9396: 9391: 9387: 9358: 9317: 9314: 9286:) denotes the 9280: 9279: 9278: 9277: 9266: 9263: 9260: 9257: 9254: 9251: 9243: 9240: 9237: 9234: 9226: 9223: 9220: 9217: 9214: 9211: 9208: 9156: 9155: 9154: 9153: 9142: 9139: 9136: 9133: 9130: 9127: 9124: 9119: 9115: 9111: 9108: 9103: 9099: 9093: 9089: 9085: 9082: 9079: 9074: 9070: 9066: 9063: 9060: 9057: 9054: 9051: 9048: 9008:Main article: 9005: 9002: 8989: 8965: 8945: 8940: 8935: 8932: 8929: 8924: 8920: 8899: 8871: 8850: 8829: 8825: 8821: 8818: 8798: 8787: 8786: 8785: 8784: 8773: 8770: 8765: 8761: 8757: 8754: 8751: 8746: 8743: 8740: 8736: 8730: 8725: 8722: 8719: 8715: 8711: 8708: 8704: 8700: 8697: 8694: 8689: 8685: 8659: 8650:). Namely, if 8636:Main article: 8633: 8630: 8613: 8593: 8590: 8587: 8576: 8575: 8574: 8573: 8562: 8559: 8556: 8553: 8550: 8545: 8541: 8537: 8534: 8531: 8526: 8522: 8490: 8486: 8465: 8445: 8425: 8399: 8395: 8369: 8366: 8362: 8358: 8353: 8329: 8325: 8321: 8318: 8296: 8292: 8271: 8249: 8223: 8203: 8185: 8182: 8180:is algebraic. 8174:Chow's theorem 8166: 8165: 8164: 8163: 8152: 8143: 8139: 8130: 8126: 8121: 8117: 8113: 8110: 8107: 8104: 8101: 8098: 8093: 8089: 8028:Main article: 8025: 8022: 8009: 8004: 7998: 7992: 7989: 7986: 7981: 7977: 7956: 7936: 7927:of 1-forms on 7916: 7911: 7907: 7903: 7900: 7897: 7892: 7888: 7884: 7881: 7876: 7872: 7868: 7865: 7862: 7857: 7853: 7832: 7812: 7785: 7780: 7776: 7772: 7767: 7763: 7759: 7756: 7753: 7748: 7745: 7742: 7738: 7717: 7714: 7711: 7708: 7705: 7700: 7696: 7675: 7655: 7640: 7639: 7638: 7637: 7626: 7623: 7620: 7615: 7611: 7607: 7604: 7601: 7596: 7592: 7588: 7585: 7580: 7576: 7572: 7567: 7563: 7559: 7556: 7553: 7548: 7545: 7542: 7538: 7534: 7531: 7528: 7525: 7522: 7519: 7514: 7510: 7484: 7464: 7440: 7420: 7392: 7372: 7369: 7366: 7361: 7357: 7353: 7350: 7347: 7342: 7338: 7314: 7294: 7274: 7248: 7244: 7221:Main article: 7218: 7215: 7214: 7213: 7212: 7211: 7200: 7197: 7194: 7189: 7183: 7177: 7174: 7171: 7166: 7162: 7158: 7155: 7150: 7146: 7140: 7136: 7132: 7129: 7126: 7121: 7117: 7113: 7110: 7105: 7099: 7093: 7090: 7087: 7084: 7055: 7050: 7044: 7038: 7035: 7032: 7027: 7023: 7002: 6982: 6952: 6949: 6945: 6941: 6938: 6934: 6930: 6927: 6907: 6903: 6899: 6896: 6868: 6848: 6843: 6837: 6831: 6828: 6825: 6820: 6816: 6806:-vector space 6795: 6775: 6751: 6723: 6700: 6678: 6671: 6667: 6661: 6657: 6632: 6610: 6588: 6585: 6582: 6579: 6576: 6557:FrĂ©chet spaces 6521: 6497: 6477: 6457: 6452: 6447: 6444: 6441: 6436: 6432: 6411: 6389: 6367: 6347: 6332: 6329: 6314: 6309: 6304: 6299: 6294: 6269: 6266: 6263: 6260: 6257: 6254: 6251: 6248: 6245: 6242: 6239: 6236: 6213: 6210: 6207: 6204: 6201: 6196: 6174: 6154: 6151: 6148: 6145: 6142: 6139: 6136: 6133: 6110: 6107: 6104: 6101: 6098: 6095: 6092: 6089: 6086: 6083: 6080: 6077: 6074: 6071: 6068: 6065: 6062: 6059: 6056: 6053: 6047: 6041: 6038: 6035: 6030: 6027: 6024: 6018: 6009: 6003: 6000: 5997: 5992: 5989: 5986: 5980: 5951: 5948: 5945: 5942: 5939: 5934: 5929: 5924: 5919: 5914: 5909: 5905: 5899: 5895: 5891: 5888: 5885: 5882: 5879: 5874: 5869: 5864: 5859: 5854: 5849: 5845: 5841: 5838: 5835: 5832: 5829: 5826: 5823: 5820: 5817: 5812: 5806: 5800: 5797: 5794: 5789: 5785: 5759: 5755: 5727: 5724: 5721: 5718: 5715: 5712: 5709: 5706: 5701: 5696: 5693: 5690: 5685: 5681: 5677: 5674: 5672: 5670: 5665: 5659: 5653: 5650: 5647: 5642: 5638: 5634: 5633: 5630: 5625: 5620: 5617: 5614: 5609: 5605: 5601: 5598: 5596: 5594: 5589: 5583: 5577: 5574: 5571: 5566: 5562: 5558: 5557: 5527: 5522: 5516: 5510: 5507: 5504: 5499: 5495: 5491: 5488: 5483: 5478: 5475: 5472: 5467: 5463: 5459: 5456: 5453: 5450: 5447: 5444: 5441: 5438: 5435: 5430: 5425: 5422: 5419: 5414: 5410: 5406: 5403: 5401: 5399: 5396: 5391: 5385: 5379: 5376: 5373: 5368: 5364: 5360: 5357: 5352: 5347: 5344: 5341: 5336: 5332: 5328: 5325: 5322: 5319: 5316: 5313: 5310: 5307: 5304: 5299: 5294: 5291: 5288: 5283: 5279: 5275: 5272: 5270: 5268: 5265: 5260: 5254: 5248: 5245: 5242: 5237: 5233: 5229: 5226: 5221: 5216: 5213: 5210: 5205: 5201: 5197: 5194: 5191: 5188: 5185: 5182: 5179: 5176: 5173: 5168: 5163: 5160: 5157: 5152: 5148: 5144: 5141: 5139: 5137: 5134: 5133: 5107: 5104: 5099: 5093: 5087: 5082: 5076: 5070: 5067: 5064: 5061: 5058: 5055: 5052: 5049: 5044: 5038: 5032: 5029: 5006: 4986: 4983: 4980: 4973: 4968: 4960: 4952: 4947: 4943: 4935: 4929: 4922: 4918: 4915: 4912: 4905: 4900: 4892: 4884: 4879: 4875: 4871: 4868: 4865: 4862: 4859: 4856: 4851: 4845: 4820: 4815: 4810: 4805: 4800: 4795: 4792: 4780: 4777: 4764: 4761: 4758: 4738: 4733: 4730: 4727: 4718: 4714: 4692: 4688: 4684: 4679: 4675: 4651: 4646: 4641: 4638: 4635: 4630: 4626: 4620: 4616: 4612: 4607: 4602: 4599: 4596: 4591: 4587: 4581: 4578: 4575: 4572: 4569: 4565: 4561: 4558: 4553: 4546: 4541: 4537: 4529: 4524: 4521: 4518: 4509: 4505: 4499: 4492: 4486: 4479: 4474: 4470: 4466: 4463: 4458: 4455: 4452: 4443: 4439: 4436: 4431: 4427: 4403: 4400: 4397: 4389: 4384: 4362: 4359: 4356: 4348: 4343: 4321: 4301: 4298: 4295: 4279: 4276: 4275: 4274: 4260: 4256: 4253: 4250: 4247: 4244: 4241: 4238: 4235: 4232: 4229: 4223: 4217: 4211: 4208: 4205: 4200: 4197: 4194: 4188: 4160: 4156: 4144: 4143: 4128: 4125: 4122: 4119: 4116: 4111: 4106: 4101: 4096: 4091: 4086: 4082: 4078: 4075: 4073: 4071: 4066: 4060: 4054: 4051: 4048: 4043: 4039: 4035: 4034: 4031: 4026: 4021: 4016: 4011: 4006: 4001: 3997: 3993: 3990: 3988: 3986: 3981: 3975: 3969: 3966: 3963: 3958: 3954: 3950: 3949: 3925: 3913: 3912: 3897: 3892: 3886: 3880: 3875: 3870: 3865: 3860: 3856: 3852: 3849: 3844: 3839: 3834: 3829: 3824: 3819: 3815: 3811: 3808: 3805: 3802: 3799: 3796: 3791: 3786: 3781: 3776: 3771: 3766: 3762: 3758: 3755: 3753: 3751: 3748: 3743: 3737: 3731: 3726: 3721: 3716: 3711: 3707: 3703: 3700: 3695: 3690: 3685: 3680: 3675: 3670: 3666: 3662: 3659: 3656: 3653: 3650: 3647: 3642: 3637: 3632: 3627: 3622: 3617: 3613: 3609: 3606: 3604: 3602: 3599: 3594: 3588: 3582: 3577: 3572: 3567: 3562: 3558: 3554: 3551: 3546: 3541: 3536: 3531: 3526: 3521: 3517: 3513: 3510: 3507: 3504: 3501: 3498: 3493: 3488: 3483: 3478: 3473: 3468: 3464: 3460: 3457: 3455: 3453: 3450: 3449: 3432:ideal sequence 3417: 3412: 3399: 3398: 3387: 3384: 3379: 3373: 3365: 3361: 3357: 3352: 3347: 3344: 3341: 3338: 3335: 3330: 3325: 3322: 3297: 3293: 3281: 3280: 3269: 3264: 3258: 3252: 3249: 3246: 3241: 3237: 3233: 3230: 3225: 3219: 3211: 3207: 3203: 3198: 3193: 3188: 3183: 3179: 3153: 3148: 3143: 3140: 3137: 3134: 3114: 3109: 3103: 3097: 3094: 3091: 3086: 3082: 3061: 3041: 3029: 3026: 3011: 2985: 2965: 2962: 2959: 2939: 2936: 2933: 2928: 2923: 2920: 2917: 2912: 2908: 2887: 2884: 2881: 2861: 2836: 2810: 2787: 2767: 2756: 2755: 2742: 2737: 2734: 2731: 2728: 2722: 2718: 2712: 2708: 2704: 2697: 2693: 2687: 2683: 2679: 2676: 2670: 2667: 2662: 2658: 2654: 2651: 2648: 2643: 2639: 2634: 2631: 2628: 2623: 2619: 2615: 2612: 2609: 2604: 2600: 2595: 2591: 2590: 2587: 2584: 2581: 2578: 2575: 2572: 2570: 2567: 2566: 2563: 2560: 2557: 2554: 2548: 2544: 2538: 2534: 2530: 2523: 2519: 2513: 2509: 2505: 2502: 2496: 2493: 2488: 2484: 2480: 2477: 2474: 2469: 2465: 2460: 2457: 2454: 2449: 2445: 2441: 2438: 2435: 2430: 2426: 2421: 2417: 2416: 2414: 2409: 2406: 2403: 2400: 2397: 2392: 2387: 2382: 2377: 2372: 2367: 2363: 2338: 2335: 2332: 2327: 2303: 2281: 2276: 2254: 2234: 2214: 2185: 2163: 2141: 2137: 2114: 2092: 2087: 2083: 2079: 2055: 2050: 2045: 2042: 2039: 2034: 2030: 2009: 1987: 1965: 1945: 1940: 1936: 1932: 1912: 1897: 1894: 1877: 1872: 1867: 1864: 1861: 1856: 1852: 1831: 1828: 1825: 1820: 1796: 1774: 1771: 1768: 1763: 1737: 1717: 1714: 1711: 1691: 1688: 1685: 1680: 1675: 1672: 1669: 1664: 1660: 1637: 1615: 1590: 1553: 1531: 1526: 1504: 1484: 1481: 1478: 1458: 1455: 1452: 1447: 1442: 1439: 1436: 1431: 1427: 1400: 1378: 1353: 1335: 1332: 1317: 1291: 1271: 1266: 1261: 1258: 1255: 1250: 1246: 1225: 1205: 1185: 1182: 1179: 1174: 1152: 1132: 1127: 1122: 1119: 1116: 1111: 1107: 1086: 1064: 1058: 1046:is a sheaf of 1033: 1020: 1019: 1008: 1005: 1002: 999: 994: 989: 986: 983: 978: 974: 970: 967: 962: 957: 954: 951: 946: 942: 938: 935: 930: 925: 922: 919: 914: 910: 906: 903: 898: 893: 890: 887: 882: 878: 874: 871: 844: 841: 836: 831: 826: 821: 816: 811: 808: 788: 785: 782: 777: 755: 750: 745: 742: 739: 734: 730: 709: 706: 703: 683: 678: 673: 670: 667: 662: 658: 637: 634: 631: 626: 621: 616: 590: 570: 565: 560: 557: 554: 549: 545: 520: 495: 481: 478: 442: 422: 402: 382: 377: 373: 349: 329: 309: 289: 286: 283: 280: 277: 257: 237: 226:tangent bundle 208: 202: 173: 167: 130: 124: 111:sheaf of rings 98: 71:vector bundles 65:Coherent sheaf 63:Main article: 60: 57: 48:from another. 9: 6: 4: 3: 2: 10541: 10530: 10527: 10525: 10522: 10520: 10517: 10515: 10512: 10510: 10507: 10505: 10502: 10501: 10499: 10489: 10488: 10482: 10481: 10471: 10465: 10461: 10457: 10453: 10448: 10445: 10441: 10440: 10435: 10430: 10427: 10423: 10419: 10415: 10411: 10407: 10403: 10399: 10392: 10388: 10384: 10381: 10377: 10373: 10367: 10363: 10359: 10358: 10353: 10349: 10345: 10341: 10337: 10333: 10329: 10325: 10324: 10319: 10315: 10311: 10307: 10304: 10300: 10296: 10290: 10285: 10280: 10276: 10272: 10270: 10264: 10260: 10257: 10253: 10249: 10247:3-540-13178-7 10243: 10239: 10235: 10231: 10227: 10223: 10219: 10218:Grauert, Hans 10215: 10211: 10207: 10203: 10199: 10195: 10190: 10189: 10177: 10173: 10167: 10160: 10154: 10147: 10141: 10134: 10128: 10121: 10115: 10108: 10102: 10095: 10091: 10085: 10077: 10076: 10069: 10058: 10051: 10037: 10033: 10027: 10019: 10015: 10011: 10005: 10001: 9997: 9993: 9989: 9984: 9979: 9975: 9968: 9961: 9955: 9948: 9942: 9934: 9933: 9926: 9918: 9917: 9910: 9908: 9900: 9894: 9890: 9879: 9875: 9854: 9850: 9846: 9843: 9835: 9831: 9822: 9818: 9798: 9794: 9790: 9787: 9779: 9775: 9766: 9765: 9764: 9762: 9758: 9740: 9736: 9728: 9727:tangent sheaf 9724: 9705: 9702: 9699: 9694: 9691: 9688: 9684: 9678: 9674: 9666: 9665: 9664: 9663: 9662:special fiber 9659: 9654: 9650: 9646: 9628: 9624: 9619: 9612: 9606: 9603: 9600: 9592: 9588: 9584: 9581:over a field 9580: 9570: 9552: 9549: 9546: 9542: 9535: 9532: 9523: 9520: 9512: 9500: 9497: 9489: 9485: 9476: 9474: 9470: 9467: 9462: 9460: 9439: 9435: 9428: 9425: 9416: 9413: 9400: 9397: 9389: 9385: 9376: 9374: 9346: 9343:a divisor on 9342: 9338: 9334: 9329: 9327: 9323: 9313: 9311: 9306: 9304: 9300: 9295: 9293: 9289: 9285: 9264: 9261: 9258: 9252: 9241: 9235: 9224: 9218: 9215: 9212: 9206: 9199: 9198: 9197: 9196: 9195: 9193: 9190:over a field 9189: 9185: 9181: 9177: 9173: 9169: 9165: 9164:Chern classes 9161: 9140: 9131: 9128: 9125: 9117: 9113: 9106: 9101: 9097: 9091: 9083: 9080: 9072: 9068: 9064: 9058: 9055: 9052: 9046: 9039: 9038: 9037: 9036: 9035: 9033: 9029: 9025: 9021: 9018:over a field 9017: 9011: 9001: 8987: 8979: 8963: 8933: 8930: 8922: 8918: 8897: 8888: 8886: 8848: 8816: 8796: 8771: 8763: 8755: 8752: 8744: 8741: 8738: 8734: 8728: 8723: 8720: 8717: 8713: 8709: 8698: 8695: 8687: 8683: 8675: 8674: 8673: 8672: 8671: 8657: 8649: 8645: 8639: 8629: 8627: 8611: 8591: 8588: 8585: 8560: 8557: 8551: 8548: 8543: 8539: 8535: 8532: 8524: 8520: 8512: 8511: 8510: 8509: 8508: 8506: 8488: 8484: 8463: 8443: 8423: 8415: 8397: 8393: 8383: 8367: 8364: 8360: 8356: 8327: 8323: 8319: 8316: 8294: 8290: 8269: 8237: 8221: 8201: 8194: 8190: 8181: 8179: 8175: 8171: 8141: 8137: 8128: 8119: 8115: 8105: 8102: 8099: 8091: 8087: 8079: 8078: 8077: 8076: 8075: 8073: 8069: 8065: 8061: 8057: 8053: 8049: 8045: 8041: 8037: 8031: 8024:GAGA theorems 8021: 8002: 7990: 7987: 7979: 7975: 7954: 7934: 7909: 7905: 7901: 7898: 7890: 7886: 7882: 7874: 7866: 7863: 7855: 7851: 7830: 7810: 7801: 7799: 7778: 7774: 7770: 7765: 7761: 7757: 7754: 7746: 7743: 7740: 7736: 7712: 7709: 7706: 7698: 7694: 7673: 7653: 7645: 7624: 7613: 7609: 7605: 7602: 7594: 7590: 7578: 7574: 7570: 7565: 7561: 7557: 7554: 7546: 7543: 7540: 7536: 7532: 7526: 7523: 7520: 7512: 7508: 7500: 7499: 7498: 7497: 7496: 7482: 7462: 7454: 7438: 7418: 7410: 7406: 7390: 7370: 7359: 7355: 7351: 7348: 7340: 7336: 7328: 7312: 7305:over a field 7292: 7285:of dimension 7272: 7264: 7246: 7242: 7234: 7230: 7224: 7223:Serre duality 7217:Serre duality 7198: 7187: 7175: 7172: 7164: 7160: 7153: 7148: 7144: 7138: 7130: 7127: 7119: 7115: 7111: 7103: 7091: 7088: 7082: 7075: 7074: 7073: 7072: 7071: 7069: 7048: 7036: 7033: 7025: 7021: 7000: 6993:of dimension 6980: 6972: 6968: 6950: 6947: 6943: 6939: 6925: 6894: 6887:of the space 6886: 6882: 6866: 6841: 6829: 6826: 6818: 6814: 6793: 6773: 6765: 6749: 6741: 6737: 6721: 6712: 6698: 6669: 6665: 6659: 6655: 6646: 6630: 6586: 6580: 6577: 6574: 6566: 6562: 6558: 6554: 6550: 6546: 6542: 6537: 6535: 6519: 6511: 6495: 6475: 6445: 6442: 6434: 6430: 6409: 6365: 6358:over a field 6345: 6338: 6337:proper scheme 6328: 6312: 6302: 6297: 6280: 6267: 6264: 6261: 6258: 6255: 6252: 6249: 6246: 6243: 6240: 6237: 6234: 6225: 6208: 6205: 6202: 6172: 6152: 6149: 6146: 6143: 6140: 6137: 6134: 6131: 6121: 6108: 6105: 6102: 6099: 6096: 6093: 6090: 6087: 6084: 6078: 6075: 6072: 6063: 6060: 6057: 6051: 6039: 6036: 6033: 6028: 6025: 6022: 6001: 5998: 5995: 5990: 5987: 5984: 5966: 5962: 5943: 5940: 5927: 5922: 5907: 5903: 5897: 5893: 5883: 5880: 5867: 5862: 5847: 5843: 5839: 5830: 5827: 5824: 5821: 5818: 5810: 5798: 5795: 5787: 5783: 5773: 5757: 5753: 5742: 5719: 5716: 5713: 5710: 5707: 5694: 5691: 5683: 5679: 5675: 5673: 5663: 5651: 5648: 5640: 5636: 5618: 5615: 5607: 5603: 5599: 5597: 5587: 5575: 5572: 5564: 5560: 5546: 5542: 5520: 5508: 5505: 5497: 5493: 5476: 5473: 5465: 5461: 5448: 5445: 5442: 5439: 5436: 5423: 5420: 5412: 5408: 5402: 5389: 5377: 5374: 5366: 5362: 5345: 5342: 5334: 5330: 5317: 5314: 5311: 5308: 5305: 5292: 5289: 5281: 5277: 5271: 5258: 5246: 5243: 5235: 5231: 5214: 5211: 5203: 5199: 5186: 5183: 5180: 5177: 5174: 5161: 5158: 5150: 5146: 5140: 5135: 5122: 5118: 5105: 5097: 5080: 5062: 5059: 5056: 5053: 5050: 5042: 5027: 5018: 5004: 4981: 4971: 4950: 4945: 4941: 4933: 4920: 4913: 4903: 4882: 4877: 4873: 4869: 4863: 4860: 4857: 4849: 4818: 4808: 4803: 4793: 4790: 4776: 4762: 4759: 4756: 4736: 4728: 4716: 4712: 4690: 4686: 4682: 4677: 4673: 4662: 4639: 4636: 4628: 4624: 4618: 4614: 4600: 4597: 4589: 4585: 4579: 4576: 4573: 4570: 4567: 4563: 4559: 4544: 4539: 4535: 4527: 4519: 4507: 4503: 4490: 4477: 4472: 4468: 4464: 4461: 4453: 4441: 4437: 4429: 4425: 4415: 4398: 4387: 4357: 4346: 4319: 4299: 4296: 4293: 4285: 4258: 4251: 4248: 4245: 4236: 4233: 4230: 4221: 4209: 4206: 4203: 4198: 4195: 4192: 4176: 4175: 4174: 4158: 4154: 4120: 4117: 4104: 4099: 4084: 4080: 4076: 4074: 4064: 4052: 4049: 4041: 4037: 4019: 4014: 3999: 3995: 3991: 3989: 3979: 3967: 3964: 3956: 3952: 3940: 3939: 3938: 3890: 3878: 3873: 3858: 3854: 3837: 3832: 3817: 3813: 3800: 3797: 3784: 3779: 3764: 3760: 3754: 3741: 3729: 3724: 3709: 3705: 3688: 3683: 3668: 3664: 3651: 3648: 3635: 3630: 3615: 3611: 3605: 3592: 3580: 3575: 3560: 3556: 3539: 3534: 3519: 3515: 3502: 3499: 3486: 3481: 3466: 3462: 3456: 3451: 3440: 3439: 3438: 3436: 3433: 3430:, called the 3415: 3385: 3377: 3363: 3359: 3339: 3336: 3320: 3313: 3312: 3311: 3295: 3291: 3262: 3250: 3247: 3239: 3235: 3231: 3223: 3209: 3205: 3201: 3196: 3181: 3177: 3169: 3168: 3167: 3151: 3138: 3135: 3132: 3107: 3095: 3092: 3084: 3080: 3059: 3039: 3025: 2999: 2983: 2963: 2960: 2957: 2937: 2934: 2921: 2918: 2910: 2906: 2882: 2879: 2872:of dimension 2859: 2852: 2824: 2808: 2799: 2785: 2765: 2735: 2732: 2729: 2720: 2716: 2710: 2706: 2702: 2695: 2691: 2685: 2681: 2677: 2674: 2668: 2665: 2660: 2656: 2652: 2649: 2646: 2641: 2637: 2632: 2629: 2626: 2621: 2617: 2613: 2610: 2607: 2602: 2598: 2593: 2585: 2582: 2579: 2576: 2573: 2568: 2561: 2558: 2555: 2546: 2542: 2536: 2532: 2528: 2521: 2517: 2511: 2507: 2503: 2500: 2494: 2491: 2486: 2482: 2478: 2475: 2472: 2467: 2463: 2458: 2455: 2452: 2447: 2443: 2439: 2436: 2433: 2428: 2424: 2419: 2412: 2407: 2398: 2385: 2380: 2365: 2361: 2353: 2352: 2351: 2350:is given by: 2349: 2333: 2301: 2279: 2252: 2232: 2212: 2204: 2199: 2161: 2139: 2135: 2085: 2081: 2069: 2043: 2040: 2032: 2028: 2007: 1963: 1938: 1934: 1910: 1903: 1893: 1891: 1890:quasi-compact 1865: 1862: 1854: 1850: 1826: 1769: 1751: 1735: 1715: 1712: 1709: 1689: 1686: 1673: 1670: 1662: 1658: 1613: 1606: 1605:affine scheme 1578: 1574: 1570: 1565: 1551: 1529: 1502: 1482: 1479: 1476: 1456: 1453: 1440: 1437: 1429: 1425: 1416: 1376: 1369: 1341: 1331: 1305: 1304:vector spaces 1289: 1259: 1256: 1248: 1244: 1223: 1203: 1180: 1150: 1120: 1117: 1109: 1105: 1084: 1062: 1006: 1003: 987: 984: 976: 972: 955: 952: 944: 940: 923: 920: 912: 908: 891: 888: 880: 876: 869: 862: 861: 860: 858: 855:, there is a 842: 806: 783: 743: 740: 732: 728: 707: 704: 701: 671: 668: 660: 656: 632: 604: 588: 581:for integers 558: 555: 547: 543: 534: 518: 511: 477: 475: 471: 467: 463: 459: 454: 440: 420: 400: 380: 375: 371: 363: 347: 327: 307: 287: 281: 278: 275: 255: 235: 227: 222: 206: 189: 171: 154: 150: 146: 128: 112: 109:comes with a 96: 88: 84: 80: 76: 72: 66: 56: 54: 49: 47: 43: 39: 35: 31: 27: 23: 19: 10514:Sheaf theory 10486: 10451: 10437: 10401: 10397: 10355: 10327: 10321: 10268: 10266: 10225: 10201: 10197: 10175: 10171: 10166: 10153: 10140: 10127: 10114: 10101: 10084: 10074: 10068: 10050: 10039:. Retrieved 10035: 10026: 9973: 9967: 9954: 9941: 9931: 9925: 9915: 9893: 9877: 9873: 9760: 9756: 9722: 9720: 9657: 9652: 9648: 9645:dual numbers 9590: 9582: 9578: 9576: 9573:Applications 9477: 9472: 9468: 9463: 9458: 9377: 9372: 9344: 9340: 9336: 9332: 9330: 9325: 9321: 9319: 9307: 9302: 9298: 9296: 9291: 9283: 9281: 9191: 9187: 9183: 9167: 9159: 9157: 9031: 9027: 9019: 9015: 9013: 8978:Betti number 8889: 8788: 8641: 8638:Hodge theory 8632:Hodge theory 8577: 8384: 8342:, the sheaf 8188: 8187: 8177: 8169: 8167: 8071: 8067: 8063: 8059: 8055: 8051: 8047: 8043: 8035: 8033: 7802: 7641: 7404: 7326: 7226: 6763: 6713: 6538: 6534:Chow's lemma 6334: 6282: 6227: 6123: 5968: 5964: 5775: 5744: 5548: 5544: 5124: 5120: 5020: 4782: 4664: 4417: 4281: 4145: 3914: 3434: 3431: 3400: 3282: 3031: 2822: 2800: 2757: 2316:line bundle 2200: 1899: 1577:Grothendieck 1566: 1337: 1021: 694:is zero for 484:For a sheaf 483: 473: 455: 223: 82: 74: 68: 50: 38:line bundles 29: 15: 10204:: 128–130. 9759:, provided 9466:nef divisor 8040:finite type 7409:base change 6738:projective 1368:Stein space 221:-modules). 18:mathematics 10498:Categories 10210:0050.17701 10186:References 10107:Serre 1955 10041:2020-02-23 9983:1901.07305 9876:over Spec 9656:over Spec 9457:for every 9282:where deg( 8789:for every 7066:, and the 6510:projective 3052:of degree 1750:equivalent 10444:EMS Press 10273:, Paris: 10018:119721183 9703:⁡ 9692:⁡ 9685:× 9625:ϵ 9613:ϵ 9550:− 9242:− 9207:χ 9107:⁡ 9081:− 9069:∑ 9047:χ 8760:Ω 8742:− 8714:⨁ 8710:≅ 8549:⊗ 8365:⊗ 8357:⊗ 8320:≥ 8112:→ 7871:Ω 7779:∗ 7771:⊗ 7744:− 7622:→ 7587:→ 7579:∗ 7571:⊗ 7544:− 7533:× 7453:connected 7368:→ 7327:trace map 7154:⁡ 7128:− 7116:∑ 7083:χ 6670:∗ 6584:→ 6303:× 6265:− 6247:− 6241:− 6150:− 6147:≤ 6141:− 6132:− 6100:− 6094:− 6076:− 6061:− 6037:− 6026:− 5999:− 5988:− 5941:− 5894:⊗ 5881:− 5840:≅ 5828:− 5819:− 5717:− 5708:− 5676:≅ 5600:≅ 5490:→ 5458:→ 5446:− 5437:− 5405:→ 5359:→ 5327:→ 5315:− 5306:− 5274:→ 5228:→ 5196:→ 5184:− 5175:− 5143:→ 5103:→ 5086:→ 5069:→ 5060:− 5051:− 5031:→ 4951:∗ 4942:π 4921:⊗ 4883:∗ 4874:π 4809:× 4717:× 4687:π 4674:π 4615:⊗ 4564:⨁ 4560:≅ 4545:∗ 4536:π 4508:× 4491:⊗ 4478:∗ 4469:π 4442:× 4388:∈ 4347:∈ 4249:− 4234:− 4207:− 4196:− 4118:− 4077:≅ 3992:≅ 3851:→ 3810:→ 3798:− 3757:→ 3702:→ 3661:→ 3649:− 3608:→ 3553:→ 3512:→ 3500:− 3459:→ 3383:→ 3364:∗ 3356:→ 3346:→ 3337:− 3324:→ 3296:∗ 3240:∗ 3232:≅ 3210:∗ 3182:∗ 3142:→ 3085:∗ 2886:∞ 2703:⋯ 2678:⋅ 2650:⋯ 2611:… 2594:⨁ 2577:≠ 2529:⋯ 2504:⋅ 2476:⋯ 2453:≥ 2437:… 2420:⨁ 2408:≅ 2033:∗ 1567:In 1955, 1544:for some 1004:⋯ 1001:→ 969:→ 937:→ 905:→ 873:→ 840:→ 830:→ 820:→ 810:→ 620:↦ 470:cokernels 376:∗ 285:→ 34:functions 10389:(1955), 10354:(1977), 10316:(1961). 10224:(1984), 9178:and the 8578:for all 6647:sheaves 6549:Schwartz 2950:for all 1842:-module 1469:for all 10426:0068874 10418:1969915 10380:0463157 10344:0217085 10303:2017446 10256:0755331 10055:Vakil. 9988:Bibcode 9194:, then 8980:) when 8507:, then 8234:over a 6967:surface 6859:. When 6565:Grauert 6541:compact 5545:giving 1809:to the 1626:, then 1389:, then 535:groups 462:kernels 188:modules 10466:  10424:  10416:  10378:  10368:  10342:  10301:  10291:  10254:  10244:  10208:  10016:  10006:  9316:Growth 9288:degree 9022:, the 8476:, and 6762:, the 6736:smooth 6643:, the 6545:Cartan 6335:For a 5745:Since 4665:where 3283:since 1417:, and 720:, and 531:, the 468:, and 466:images 360:, the 87:scheme 10414:JSTOR 10394:(PDF) 10279:arXiv 10174:. In 10060:(PDF) 10014:S2CID 9978:arXiv 9885:Notes 9823:) in 9375:then 9347:. If 9246:genus 8861:over 8070:over 8042:over 7642:is a 6885:genus 6764:genus 6740:curve 6734:is a 6512:over 2849:on a 2294:over 1569:Serre 85:on a 77:on a 10464:ISBN 10366:ISBN 10289:ISBN 10242:ISBN 10004:ISBN 9700:Spec 9689:Spec 9339:and 9331:Let 8646:(or 8589:> 8030:GAGA 7728:and 6124:for 4722:Spec 4513:Spec 4447:Spec 4373:and 2961:> 2883:< 2627:< 1713:> 1702:for 1480:> 1282:are 705:< 10456:doi 10406:doi 10332:doi 10234:doi 10206:Zbl 10202:237 9996:doi 9643:of 9471:on 9290:of 9229:deg 9166:of 9098:dim 9030:on 8262:on 8038:of 8020:). 7475:on 7451:is 7411:of 7403:is 7145:dim 6766:of 6623:on 6555:in 6551:on 6508:is 6402:on 4783:In 4749:to 4392:Coh 4351:Coh 3401:on 2000:on 1956:of 1748:is 1413:is 1022:If 320:on 248:of 147:or 16:In 10500:: 10462:. 10442:, 10436:, 10422:MR 10420:, 10412:, 10402:61 10400:, 10396:, 10376:MR 10374:, 10360:, 10340:MR 10338:. 10330:. 10328:11 10326:. 10320:. 10312:; 10299:MR 10297:, 10287:, 10277:, 10252:MR 10250:, 10240:, 10232:, 10220:; 10200:. 10196:. 10034:. 10012:. 10002:. 9994:. 9986:. 9906:^ 9604::= 9585:, 9475:; 9461:. 9328:. 9312:. 9294:. 8887:. 8503:a 8178:CP 8146:an 8133:an 6536:. 6327:. 4775:. 2996:a 2898:, 2198:. 464:, 453:. 28:, 10472:. 10458:: 10408:: 10346:. 10334:: 10281:: 10271:) 10269:3 10236:: 10212:. 10157:( 10144:( 10131:( 10118:( 10105:( 10088:( 10079:. 10062:. 10044:. 10020:. 9998:: 9990:: 9980:: 9958:( 9945:( 9936:. 9920:. 9897:( 9878:R 9874:X 9860:) 9855:X 9851:T 9847:, 9844:X 9841:( 9836:2 9832:H 9816:, 9804:) 9799:X 9795:T 9791:, 9788:X 9785:( 9780:1 9776:H 9761:X 9757:X 9741:X 9737:T 9723:X 9706:k 9695:R 9679:R 9675:X 9658:R 9653:R 9649:X 9629:2 9620:/ 9616:] 9610:[ 9607:k 9601:R 9591:X 9583:k 9579:X 9558:) 9553:1 9547:n 9543:m 9539:( 9536:O 9533:= 9530:) 9527:) 9524:D 9521:m 9518:( 9513:X 9507:O 9501:, 9498:X 9495:( 9490:i 9486:h 9473:X 9469:D 9459:i 9445:) 9440:n 9436:m 9432:( 9429:O 9426:= 9423:) 9420:) 9417:D 9414:m 9411:( 9406:F 9401:, 9398:X 9395:( 9390:i 9386:h 9373:X 9357:F 9345:X 9341:D 9337:n 9333:X 9326:n 9322:n 9303:X 9299:X 9292:L 9284:L 9265:, 9262:1 9259:+ 9256:) 9253:X 9250:( 9239:) 9236:L 9233:( 9225:= 9222:) 9219:L 9216:, 9213:X 9210:( 9192:k 9188:X 9184:L 9168:E 9160:E 9141:. 9138:) 9135:) 9132:E 9129:, 9126:X 9123:( 9118:j 9114:H 9110:( 9102:k 9092:j 9088:) 9084:1 9078:( 9073:j 9065:= 9062:) 9059:E 9056:, 9053:X 9050:( 9032:X 9028:E 9020:k 9016:X 8988:k 8964:k 8944:) 8939:O 8934:, 8931:X 8928:( 8923:1 8919:H 8898:X 8870:C 8849:X 8828:) 8824:C 8820:( 8817:X 8797:a 8772:, 8769:) 8764:b 8756:, 8753:X 8750:( 8745:b 8739:a 8735:H 8729:a 8724:0 8721:= 8718:b 8707:) 8703:C 8699:, 8696:X 8693:( 8688:a 8684:H 8658:X 8612:L 8592:0 8586:j 8561:0 8558:= 8555:) 8552:L 8544:X 8540:K 8536:, 8533:X 8530:( 8525:j 8521:H 8489:X 8485:K 8464:X 8444:L 8424:X 8398:0 8394:m 8368:m 8361:L 8352:F 8328:0 8324:m 8317:m 8295:0 8291:m 8270:X 8248:F 8222:X 8202:L 8170:i 8151:) 8142:E 8138:, 8129:X 8125:( 8120:i 8116:H 8109:) 8106:E 8103:, 8100:X 8097:( 8092:i 8088:H 8072:C 8068:X 8064:E 8060:C 8056:X 8052:X 8048:X 8044:C 8036:X 8008:) 8003:X 7997:O 7991:, 7988:X 7985:( 7980:1 7976:H 7955:X 7935:X 7915:) 7910:X 7906:K 7902:, 7899:X 7896:( 7891:0 7887:H 7883:= 7880:) 7875:1 7867:, 7864:X 7861:( 7856:0 7852:H 7831:k 7811:X 7784:) 7775:E 7766:X 7762:K 7758:, 7755:X 7752:( 7747:i 7741:n 7737:H 7716:) 7713:E 7710:, 7707:X 7704:( 7699:i 7695:H 7674:k 7654:i 7625:k 7619:) 7614:X 7610:K 7606:, 7603:X 7600:( 7595:n 7591:H 7584:) 7575:E 7566:X 7562:K 7558:, 7555:X 7552:( 7547:i 7541:n 7537:H 7530:) 7527:E 7524:, 7521:X 7518:( 7513:i 7509:H 7483:X 7463:E 7439:k 7419:X 7391:X 7371:k 7365:) 7360:X 7356:K 7352:, 7349:X 7346:( 7341:n 7337:H 7313:k 7293:n 7273:X 7247:X 7243:K 7199:. 7196:) 7193:) 7188:X 7182:O 7176:, 7173:X 7170:( 7165:j 7161:H 7157:( 7149:k 7139:j 7135:) 7131:1 7125:( 7120:j 7112:= 7109:) 7104:X 7098:O 7092:, 7089:X 7086:( 7054:) 7049:X 7043:O 7037:, 7034:X 7031:( 7026:n 7022:H 7001:n 6981:X 6951:n 6948:a 6944:X 6940:= 6937:) 6933:C 6929:( 6926:X 6906:) 6902:C 6898:( 6895:X 6867:k 6847:) 6842:X 6836:O 6830:, 6827:X 6824:( 6819:1 6815:H 6794:k 6774:X 6750:k 6722:X 6699:Y 6677:F 6666:f 6660:i 6656:R 6631:X 6609:F 6587:Y 6581:X 6578:: 6575:f 6520:k 6496:X 6476:k 6456:) 6451:F 6446:, 6443:X 6440:( 6435:i 6431:H 6410:X 6388:F 6366:k 6346:X 6313:1 6308:P 6298:1 6293:P 6268:1 6262:k 6259:= 6256:1 6253:+ 6250:k 6244:2 6238:k 6235:2 6212:) 6209:k 6206:, 6203:2 6200:( 6195:O 6173:C 6153:2 6144:b 6138:, 6135:a 6109:1 6106:+ 6103:b 6097:a 6091:b 6088:a 6085:= 6082:) 6079:1 6073:b 6070:( 6067:) 6064:1 6058:a 6055:( 6052:= 6046:) 6040:2 6034:b 6029:1 6023:b 6017:( 6008:) 6002:2 5996:a 5991:1 5985:a 5979:( 5950:) 5947:) 5944:b 5938:( 5933:O 5928:, 5923:1 5918:P 5913:( 5908:1 5904:H 5898:k 5890:) 5887:) 5884:a 5878:( 5873:O 5868:, 5863:1 5858:P 5853:( 5848:1 5844:H 5837:) 5834:) 5831:b 5825:, 5822:a 5816:( 5811:X 5805:O 5799:, 5796:X 5793:( 5788:2 5784:H 5758:1 5754:H 5726:) 5723:) 5720:b 5714:, 5711:a 5705:( 5700:O 5695:, 5692:X 5689:( 5684:2 5680:H 5669:) 5664:C 5658:O 5652:, 5649:C 5646:( 5641:1 5637:H 5629:) 5624:O 5619:, 5616:X 5613:( 5608:0 5604:H 5593:) 5588:C 5582:O 5576:, 5573:C 5570:( 5565:0 5561:H 5526:) 5521:C 5515:O 5509:, 5506:X 5503:( 5498:2 5494:H 5487:) 5482:O 5477:, 5474:X 5471:( 5466:2 5462:H 5455:) 5452:) 5449:b 5443:, 5440:a 5434:( 5429:O 5424:, 5421:X 5418:( 5413:2 5409:H 5395:) 5390:C 5384:O 5378:, 5375:X 5372:( 5367:1 5363:H 5356:) 5351:O 5346:, 5343:X 5340:( 5335:1 5331:H 5324:) 5321:) 5318:b 5312:, 5309:a 5303:( 5298:O 5293:, 5290:X 5287:( 5282:1 5278:H 5264:) 5259:C 5253:O 5247:, 5244:X 5241:( 5236:0 5232:H 5225:) 5220:O 5215:, 5212:X 5209:( 5204:0 5200:H 5193:) 5190:) 5187:b 5181:, 5178:a 5172:( 5167:O 5162:, 5159:X 5156:( 5151:0 5147:H 5136:0 5106:0 5098:C 5092:O 5081:X 5075:O 5066:) 5063:b 5057:, 5054:a 5048:( 5043:X 5037:O 5028:0 5005:C 4985:) 4982:b 4979:( 4972:1 4967:P 4959:O 4946:2 4934:X 4928:O 4917:) 4914:a 4911:( 4904:1 4899:P 4891:O 4878:1 4870:= 4867:) 4864:b 4861:, 4858:a 4855:( 4850:X 4844:O 4819:1 4814:P 4804:1 4799:P 4794:= 4791:X 4763:Y 4760:, 4757:X 4737:Y 4732:) 4729:k 4726:( 4713:X 4691:2 4683:, 4678:1 4650:) 4645:G 4640:, 4637:Y 4634:( 4629:j 4625:H 4619:k 4611:) 4606:F 4601:, 4598:X 4595:( 4590:i 4586:H 4580:k 4577:= 4574:j 4571:+ 4568:i 4557:) 4552:G 4540:2 4528:Y 4523:) 4520:k 4517:( 4504:X 4498:O 4485:F 4473:1 4465:, 4462:Y 4457:) 4454:k 4451:( 4438:X 4435:( 4430:k 4426:H 4402:) 4399:Y 4396:( 4383:G 4361:) 4358:X 4355:( 4342:F 4320:k 4300:Y 4297:, 4294:X 4273:. 4259:2 4255:) 4252:2 4246:d 4243:( 4240:) 4237:1 4231:d 4228:( 4222:= 4216:) 4210:3 4204:d 4199:1 4193:d 4187:( 4159:1 4155:H 4127:) 4124:) 4121:d 4115:( 4110:O 4105:, 4100:2 4095:P 4090:( 4085:2 4081:H 4070:) 4065:C 4059:O 4053:, 4050:C 4047:( 4042:1 4038:H 4030:) 4025:O 4020:, 4015:2 4010:P 4005:( 4000:0 3996:H 3985:) 3980:C 3974:O 3968:, 3965:C 3962:( 3957:0 3953:H 3924:C 3896:) 3891:C 3885:O 3879:, 3874:2 3869:P 3864:( 3859:2 3855:H 3848:) 3843:O 3838:, 3833:2 3828:P 3823:( 3818:2 3814:H 3807:) 3804:) 3801:d 3795:( 3790:O 3785:, 3780:2 3775:P 3770:( 3765:2 3761:H 3747:) 3742:C 3736:O 3730:, 3725:2 3720:P 3715:( 3710:1 3706:H 3699:) 3694:O 3689:, 3684:2 3679:P 3674:( 3669:1 3665:H 3658:) 3655:) 3652:d 3646:( 3641:O 3636:, 3631:2 3626:P 3621:( 3616:1 3612:H 3598:) 3593:C 3587:O 3581:, 3576:2 3571:P 3566:( 3561:0 3557:H 3550:) 3545:O 3540:, 3535:2 3530:P 3525:( 3520:0 3516:H 3509:) 3506:) 3503:d 3497:( 3492:O 3487:, 3482:2 3477:P 3472:( 3467:0 3463:H 3452:0 3435:, 3416:2 3411:P 3386:0 3378:C 3372:O 3360:i 3351:O 3343:) 3340:d 3334:( 3329:O 3321:0 3292:i 3268:) 3263:C 3257:O 3251:, 3248:C 3245:( 3236:H 3229:) 3224:C 3218:O 3206:i 3202:, 3197:2 3192:P 3187:( 3178:H 3152:2 3147:P 3139:C 3136:: 3133:i 3113:) 3108:C 3102:O 3096:, 3093:C 3090:( 3081:H 3060:d 3040:C 3010:F 2984:X 2964:n 2958:i 2938:0 2935:= 2932:) 2927:F 2922:, 2919:X 2916:( 2911:i 2907:H 2880:n 2860:X 2835:F 2809:n 2786:k 2766:k 2736:n 2733:= 2730:i 2721:n 2717:a 2711:n 2707:x 2696:0 2692:a 2686:0 2682:x 2675:k 2669:j 2666:= 2661:n 2657:a 2653:+ 2647:+ 2642:0 2638:a 2633:, 2630:0 2622:n 2618:a 2614:, 2608:, 2603:0 2599:a 2586:n 2583:, 2580:0 2574:i 2569:0 2562:0 2559:= 2556:i 2547:n 2543:a 2537:n 2533:x 2522:0 2518:a 2512:0 2508:x 2501:k 2495:j 2492:= 2487:n 2483:a 2479:+ 2473:+ 2468:0 2464:a 2459:, 2456:0 2448:n 2444:a 2440:, 2434:, 2429:0 2425:a 2413:{ 2405:) 2402:) 2399:j 2396:( 2391:O 2386:, 2381:n 2376:P 2371:( 2366:i 2362:H 2337:) 2334:j 2331:( 2326:O 2302:k 2280:n 2275:P 2253:j 2233:n 2213:k 2184:F 2162:X 2140:i 2136:U 2113:F 2091:} 2086:i 2082:U 2078:{ 2054:) 2049:F 2044:, 2041:X 2038:( 2029:H 2008:X 1986:F 1964:X 1944:} 1939:i 1935:U 1931:{ 1911:X 1876:) 1871:F 1866:, 1863:X 1860:( 1855:0 1851:H 1830:) 1827:X 1824:( 1819:O 1795:F 1773:) 1770:X 1767:( 1762:O 1736:X 1716:0 1710:i 1690:0 1687:= 1684:) 1679:F 1674:, 1671:X 1668:( 1663:i 1659:H 1636:F 1614:X 1589:F 1552:n 1530:n 1525:C 1503:X 1483:0 1477:i 1457:0 1454:= 1451:) 1446:F 1441:, 1438:X 1435:( 1430:i 1426:H 1399:F 1377:X 1352:F 1316:F 1302:- 1290:k 1270:) 1265:F 1260:, 1257:X 1254:( 1249:i 1245:H 1224:k 1204:X 1184:) 1181:X 1178:( 1173:O 1151:X 1131:) 1126:F 1121:, 1118:X 1115:( 1110:i 1106:H 1085:X 1063:X 1057:O 1032:F 1007:. 998:) 993:A 988:, 985:X 982:( 977:1 973:H 966:) 961:C 956:, 953:X 950:( 945:0 941:H 934:) 929:B 924:, 921:X 918:( 913:0 909:H 902:) 897:A 892:, 889:X 886:( 881:0 877:H 870:0 843:0 835:C 825:B 815:A 807:0 787:) 784:X 781:( 776:F 754:) 749:F 744:, 741:X 738:( 733:0 729:H 708:0 702:i 682:) 677:F 672:, 669:X 666:( 661:i 657:H 636:) 633:X 630:( 625:F 615:F 589:i 569:) 564:F 559:, 556:X 553:( 548:i 544:H 519:X 494:F 441:X 421:X 401:Y 381:E 372:i 348:X 328:Y 308:E 288:X 282:Y 279:: 276:i 256:X 236:Y 207:X 201:O 186:- 172:X 166:O 129:X 123:O 97:X

Index

mathematics
algebraic geometry
complex manifolds
functions
line bundles
coherent sheaves
algebraic variety
complex analytic geometry
Coherent sheaf
vector bundles
complex analytic space
scheme
sheaf of rings
holomorphic functions
regular functions
full subcategory
modules
tangent bundle
direct image sheaf
abelian category
kernels
images
cokernels
topological space
sheaf cohomology
derived functors
long exact sequence
vector spaces
Cartan's theorems A and B
Stein space

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

↑