Knowledge (XXG)

Grothendieck–Riemann–Roch theorem

Source 📝

2870: 2505: 35: 2865:{\displaystyle {\begin{aligned}K_{{\overline {\mathcal {C}}}_{g}/{\overline {\mathcal {M}}}_{g}}&=c_{1}(\omega _{{\overline {\mathcal {C}}}_{g}/{\overline {\mathcal {M}}}_{g}})\\\kappa _{l}&=\pi _{*}(K_{{\overline {\mathcal {C}}}_{g}/{\overline {\mathcal {M}}}_{g}}^{l+1})\\\mathbb {E} &=\pi _{*}(\omega _{{\overline {\mathcal {C}}}_{g}/{\overline {\mathcal {M}}}_{g}})\\\lambda _{l}&=c_{l}(\mathbb {E} )\end{aligned}}} 2074: 6579: 3763: 4081: 1579: 157:, or more generally their characteristic classes in (co)homology or algebraic analogues thereof. The classical Riemann–Roch theorem does this for curves and line bundles, whereas the Hirzebruch–Riemann–Roch theorem generalises this to vector bundles over manifolds. The Grothendieck–Riemann–Roch theorem sets both theorems in a relative situation of a 3542: 4503: 3897: 944: 2069:{\displaystyle {\begin{aligned}\mathrm {ch} (f_{!}E)&=h^{0}(C,E)-h^{1}(C,E)\\f_{*}(\mathrm {ch} (E)\mathrm {td} (X))&=f_{*}((n+c_{1}(E))(1+(1/2)c_{1}(T_{C})))\\&=f_{*}(n+c_{1}(E)+(n/2)c_{1}(T_{C}))\\&=f_{*}(c_{1}(E)+(n/2)c_{1}(T_{C}))\\&=d+n(1-g);\end{aligned}}} 3908: 1138: 3758:{\displaystyle \mathrm {ch} (\pi _{!}(\omega _{{\tilde {\mathcal {C}}}/{\tilde {\mathcal {M}}}}))=\pi _{*}(\mathrm {ch} (\omega _{{\tilde {\mathcal {C}}}/{\tilde {\mathcal {M}}}})\mathrm {Td} ^{\vee }(\Omega _{{\tilde {\mathcal {C}}}/{\tilde {\mathcal {M}}}}^{1}))} 4378: 5665: 2410: 5444: 4836: 3039: 2972: 4290: 5037: 3534: 5741:, whereas Grothendieck saw it as a theorem about a morphism between varieties. By finding the right generalization, the proof became simpler while the conclusion became more general. In short, Grothendieck applied a strong 2474: 3369: 1407:
A version of Riemann–Roch theorem for oriented cohomology theories was proven by Ivan Panin and Alexander Smirnov. It is concerned with multiplicative operations between algebraic oriented cohomology theories (such as
728: 5559: 3774: 810: 4076:{\displaystyle \mathrm {ch} (\mathbb {E} )=1+\pi _{*}({\text{ch}}(\omega _{{\tilde {\mathcal {C}}}/{\tilde {\mathcal {M}}}}){\text{Td}}^{\vee }(\Omega _{{\tilde {\mathcal {C}}}/{\tilde {\mathcal {M}}}}^{1})).} 352: 4753: 1014: 996:. Thus the theorem gives a precise measure for the lack of commutativity of taking the push forwards in the above senses and the Chern character and shows that the needed correction factors depend on 4939: 4383: 2510: 1584: 3087: 4195: 1376: 509: 3443: 5295: 3305: 2346: 5224: 4120: 580: 5737:
The significance of Grothendieck's approach rests on several points. First, Grothendieck changed the statement itself: the theorem was, at the time, understood to be a theorem about a
3269: 798: 2198:
One of the advantages of the Grothendieck–Riemann–Roch formula is it can be interpreted as a relative version of the Hirzebruch–Riemann–Roch formula. For example, a smooth morphism
6148: 5808: 399: 2145: 4370: 5330: 6044: 982: 4568: 2274: 2228: 547: 2905: 6605: 4528: 3195: 3141: 2250: 1220: 5325: 4498:{\displaystyle {\begin{aligned}\lambda _{1}&={\frac {1}{12}}\kappa _{1}\\\lambda _{2}&={\frac {\lambda _{1}^{2}}{2}}={\frac {\kappa _{1}^{2}}{288}}\end{aligned}}} 3222: 3168: 3114: 6194: 1256: 256: 6002: 5705: 5163: 5106: 4313: 1571: 5567: 1449: 1291: 1168: 4339: 1539: 6539: 4143: 2351: 603: 5130: 5070: 4648: 4628: 4608: 4588: 3463: 2494: 2310: 2188: 2168: 1509: 1489: 1469: 4764: 5449: 2977: 2910: 4206: 6102:
Séminaire de Géométrie Algébrique du Bois Marie - 1966-67 - Théorie des intersections et théorème de Riemann-Roch - (SGA 6) (Lecture notes in mathematics
6359: 4947: 4570:
have a description using the Grothendieck–Riemann–Roch formula as well, showing another non-trivial case where the formula holds. For a smooth variety
3468: 2415: 6399: 1397: 119: 86: 3314: 6610: 5766: 3892:{\displaystyle \mathbf {R} ^{1}\pi _{!}({\omega _{{\tilde {\mathcal {C}}}_{g}/{\tilde {\mathcal {M}}}_{g}}})\cong {\mathcal {O}}_{\tilde {M}},} 939:{\displaystyle \mathrm {ch} (f_{!}{\mathcal {F}}^{\bullet })\mathrm {td} (Y)=f_{*}(\mathrm {ch} ({\mathcal {F}}^{\bullet })\mathrm {td} (X)).} 617: 90: 6129: 5935: 266:
is canonically isomorphic to the Grothendieck group of bounded complexes of finite-rank vector bundles. Using this isomorphism, consider the
1491:(defined as the degree of its determinant; or equivalently the degree of its first Chern class) on a smooth projective curve over a field 1386: 284: 6514: 6504: 6489: 6409: 6549: 196:
wrote up and published Grothendieck's proof in 1958. Later, Grothendieck and his collaborators simplified and generalized the proof.
6283: 6206: 6564: 6113: 1412:). The Grothendieck-Riemann-Roch is a particular case of this result, and the Chern character comes up naturally in this setting. 1327:
Generalisations of the theorem can be made to the non-smooth case by considering an appropriate generalisation of the combination
1133:{\displaystyle \mathrm {ch} (f_{!}{\mathcal {F}}^{\bullet })=f_{*}(\mathrm {ch} ({\mathcal {F}}^{\bullet })\mathrm {td} (T_{f})),} 4656: 177: 76: 1379: 6559: 6554: 6529: 4848: 6384: 6352: 6186: 5785:
A. Grothendieck. Classes de faisceaux et théorème de Riemann–Roch (1957). Published in SGA 6, Springer-Verlag (1971), 20-71.
6379: 6494: 6109: 3044: 6519: 4151: 1330: 443: 6544: 6524: 6305: 3374: 5235: 3274: 2315: 5171: 5073: 2281: 3308: 6615: 6583: 6345: 4089: 552: 6534: 127: 94: 6424: 6389: 5109: 3227: 743: 6444: 212: 135: 360: 6459: 6093: 5715: 2085: 185: 58: 6484: 5746: 4344: 184:
analogues of the Grothendieck–Riemann–Roch theorem can be proved using the index theorem for families.
6007: 2230:
has fibers which are all equi-dimensional (and isomorphic as topological spaces when base changing to
953: 6246: 5731: 734: 162: 142: 4541: 2255: 2201: 520: 6509: 6419: 6404: 2878: 1409: 216: 170: 115: 4511: 3173: 3119: 2233: 1512: 1177: 6429: 6236: 5915: 5754: 5750: 5723: 5303: 3200: 3146: 3092: 1301: 220: 154: 107: 48: 17: 5660:{\displaystyle \Lambda _{g,n}(\pi )\otimes \left(\bigotimes _{i=1}^{n}\chi _{g,n}^{(i)}\right)} 6499: 6439: 6279: 6202: 6167: 6143: 6125: 6067: 5931: 5799: 5738: 5719: 5671: 1390: 1225: 225: 193: 5974: 5677: 5135: 5078: 4298: 1544: 6434: 6414: 6368: 6299: 6271: 6220: 6157: 6117: 6089: 6057: 5923: 5817: 1428: 434: 181: 123: 6216: 6179: 5831: 2405:{\displaystyle \pi \colon {\overline {\mathcal {C}}}_{g}\to {\overline {\mathcal {M}}}_{g}} 1269: 1146: 34: 6479: 6454: 6224: 6212: 6198: 6175: 5873: 5827: 5742: 5439:{\displaystyle \Lambda _{g,n}(\pi )=\det(\mathbf {R} \pi _{*}(\omega _{C_{g,n}/M_{g,n}}))} 1263: 515: 422: 267: 259: 4318: 1518: 6250: 4831:{\displaystyle 0\to {\mathcal {I}}_{Y}\to {\mathcal {O}}_{X}\to {\mathcal {O}}_{Y}\to 0} 4125: 585: 6469: 6464: 6331: 5115: 5055: 4633: 4613: 4593: 4573: 3448: 3034:{\displaystyle \omega _{{\overline {\mathcal {C}}}_{g}/{\overline {\mathcal {M}}}_{g}}} 2967:{\displaystyle \omega _{{\overline {\mathcal {C}}}_{g}/{\overline {\mathcal {M}}}_{g}}} 2479: 2295: 2173: 2153: 1494: 1474: 1454: 1005: 989: 430: 418: 263: 5734:
to understand it. The final published paper was in effect the Borel–Serre exposition.
4285:{\displaystyle \lambda _{1}=c_{1}(\mathbb {E} )={\frac {1}{12}}(\kappa _{1}+\delta ),} 6599: 5911: 2277: 271: 209: 166: 165:) and changes the theorem from a statement about a single bundle, to one applying to 150: 5803: 6449: 6320: 6309: 6139: 5869: 5795: 5727: 189: 5032:{\displaystyle 1=c({\mathcal {O}}_{X})=c({\mathcal {O}}_{Y})c({\mathcal {I}}_{Y})} 6275: 5971:"The projectivity of the moduli space of stable curves, III: The line bundles on 5927: 3529:{\displaystyle \omega _{{\tilde {\mathcal {C}}}_{g}/{\tilde {\mathcal {M}}}_{g}}} 6474: 6097: 131: 103: 6062: 2469:{\displaystyle {\overline {\mathcal {C}}}_{g}={\overline {\mathcal {M}}}_{g,1}} 5718:'s version of the Riemann–Roch theorem was originally conveyed in a letter to 5300:
corresponding to the marked points. Since each fiber has the canonical bundle
1316: 985: 146: 6171: 6071: 3364:{\displaystyle {\tilde {\mathcal {M}}}_{g}\to {\overline {\mathcal {M}}}_{g}} 5052:
Grothendieck–Riemann–Roch can be used in proving that a coarse moduli space
414: 402: 176:
The theorem has been very influential, not least for the development of the
6327: 5970: 5112:. This can be accomplished by looking at canonically associated sheaves on 1293:
is simply a vector bundle, known as the tangent bundle along the fibers of
6258: 5855: 549:
between smooth quasi-projective schemes and a bounded complex of sheaves
158: 2252:). This fact is useful in moduli-theory when considering a moduli space 1004:
only. In fact, since the Todd genus is functorial and multiplicative in
723:{\displaystyle f_{!}=\sum (-1)^{i}R^{i}f_{*}\colon K_{0}(X)\to K_{0}(Y)} 6162: 6121: 5822: 5554:{\displaystyle \chi _{g,n}^{(i)}=s_{i}^{*}(\omega _{C_{g,n}/M_{g,n}}).} 275: 6259:"Push-forwards in oriented cohomology theories of algebraic varieties" 5856:"Push-forwards in oriented cohomology theories of algebraic varieties" 6337: 6316: 6241: 1573:
a point, then the Grothendieck–Riemann–Roch formula can be read as
5132:
and studying the degree of associated line bundles. For instance,
2280:
used this formula to deduce relationships of the Chow ring on the
347:{\displaystyle \mathrm {ch} \colon K_{0}(X)\to A(X,\mathbb {Q} ),} 6341: 5916:"Towards an Enumerative Geometry of the Moduli Space of Curves" 39:
Grothendieck's comment on the Grothendieck–Riemann–Roch theorem
6319:"how does one understand GRR? (Grothendieck Riemann Roch)" on 3271:
of the smooth locus using Grothendieck–Riemann–Roch. Because
1307:, the Grothendieck–Riemann–Roch theorem has been extended by 5015: 4992: 4966: 4868: 4811: 4794: 4777: 4676: 4351: 4047: 4028: 3989: 3970: 3868: 3840: 3814: 3732: 3713: 3671: 3652: 3598: 3579: 3508: 3482: 3408: 3382: 3346: 3323: 3282: 3247: 3064: 3014: 2990: 2947: 2923: 2796: 2772: 2703: 2679: 2616: 2592: 2546: 2522: 2445: 2423: 2387: 2365: 2323: 2261: 1086: 1042: 899: 838: 560: 6197:. 3. Folge., vol. 2 (2nd ed.), Berlin, New York: 5108:, admits an embedding into a projective space, hence is a 4748:{\displaystyle c_{k}({\mathcal {O}}_{Y})=(-1)^{k-1}(k-1)!} 1404:
is a point and the field is the field of complex numbers.
1008:, we can rewrite the Grothendieck–Riemann–Roch formula as 188:
gave a first proof in a 1957 manuscript, later published.
6233:
On the Riemann-Roch formula without projective hypothesis
4508:
which can be deduced by analyzing the Chern character of
4934:{\displaystyle c_{k}({\mathcal {I}}_{Y})=(-1)^{k}(k-1)!} 808: 6010: 5977: 5680: 5570: 5452: 5333: 5306: 5238: 5174: 5138: 5118: 5081: 5058: 4950: 4851: 4767: 4659: 4636: 4616: 4596: 4576: 4544: 4514: 4381: 4347: 4321: 4301: 4209: 4154: 4128: 4122:
can then be reduced even further. In even dimensions
4092: 3911: 3777: 3545: 3471: 3451: 3377: 3317: 3277: 3230: 3203: 3176: 3149: 3122: 3095: 3047: 2980: 2913: 2881: 2508: 2482: 2418: 2354: 2318: 2298: 2258: 2236: 2204: 2176: 2156: 2150:
This formula also holds for coherent sheaves of rank
2088: 1582: 1547: 1521: 1497: 1477: 1457: 1431: 1333: 1272: 1228: 1180: 1149: 1017: 956: 813: 746: 620: 588: 555: 523: 446: 363: 287: 228: 5722:
around 1956–1957. It was made public at the initial
126:, which is itself a generalisation of the classical 2974:is the relative dualizing sheaf. Note the fiber of 82: 72: 64: 54: 44: 6038: 5996: 5699: 5659: 5553: 5438: 5319: 5289: 5218: 5157: 5124: 5100: 5064: 5031: 4933: 4830: 4747: 4642: 4622: 4602: 4582: 4562: 4522: 4497: 4364: 4333: 4307: 4284: 4189: 4137: 4114: 4075: 3891: 3757: 3528: 3457: 3437: 3363: 3299: 3263: 3216: 3189: 3162: 3135: 3108: 3082:{\displaystyle \in {\overline {\mathcal {M}}}_{g}} 3081: 3033: 2966: 2899: 2864: 2488: 2468: 2404: 2340: 2304: 2276:parameterizing smooth proper spaces. For example, 2268: 2244: 2222: 2182: 2162: 2139: 2068: 1565: 1533: 1503: 1483: 1463: 1443: 1370: 1285: 1250: 1214: 1162: 1132: 976: 938: 792: 722: 597: 574: 541: 503: 393: 346: 250: 4190:{\displaystyle {\text{ch}}(\mathbb {E} )_{2k}=0.} 1389:extends the Grothendieck–Riemann–Roch theorem to 6308:"Applications of Grothendieck-Riemann-Roch?" on 6195:Ergebnisse der Mathematik und ihrer Grenzgebiete 5362: 1371:{\displaystyle \mathrm {ch} (-)\mathrm {td} (X)} 504:{\displaystyle H^{2\dim(X)-2d}(X,\mathbb {Q} ).} 3438:{\displaystyle {\overline {\mathcal {M}}}_{g}=} 6112:(in French). Vol. 225. Berlin; New York: 5753:, as discussed above, which paved the way for 5290:{\displaystyle s_{i}\colon M_{g,n}\to C_{g,n}} 3300:{\displaystyle {\overline {\mathcal {M}}}_{g}} 2341:{\displaystyle {\overline {\mathcal {M}}}_{g}} 1308: 6353: 6149:Bulletin de la Société Mathématique de France 5809:Bulletin de la Société Mathématique de France 5219:{\displaystyle \pi \colon C_{g,n}\to M_{g,n}} 8: 6395:Grothendieck–Hirzebruch–Riemann–Roch theorem 3116:. He was able to find relations between the 1560: 1554: 27: 4115:{\displaystyle \mathrm {ch} (\mathbb {E} )} 2496:and one marked point. Then, he defines the 575:{\displaystyle {{\mathcal {F}}^{\bullet }}} 433:, the latter group maps to the topological 6360: 6346: 6338: 1378:and to the non-proper case by considering 33: 26: 6606:Topological methods of algebraic geometry 6540:Riemann–Roch theorem for smooth manifolds 6266:"The Grothendieck Riemann–Roch theorem". 6240: 6161: 6061: 6024: 6013: 6012: 6009: 5982: 5976: 5821: 5685: 5679: 5640: 5629: 5619: 5608: 5575: 5569: 5531: 5522: 5510: 5505: 5492: 5487: 5468: 5457: 5451: 5416: 5407: 5395: 5390: 5377: 5368: 5338: 5332: 5311: 5305: 5275: 5256: 5243: 5237: 5204: 5185: 5173: 5143: 5137: 5117: 5086: 5080: 5057: 5020: 5014: 5013: 4997: 4991: 4990: 4971: 4965: 4964: 4949: 4898: 4873: 4867: 4866: 4856: 4850: 4816: 4810: 4809: 4799: 4793: 4792: 4782: 4776: 4775: 4766: 4706: 4681: 4675: 4674: 4664: 4658: 4635: 4615: 4595: 4575: 4543: 4516: 4515: 4513: 4480: 4475: 4469: 4455: 4450: 4444: 4431: 4417: 4403: 4390: 4382: 4380: 4356: 4350: 4349: 4346: 4320: 4300: 4264: 4247: 4237: 4236: 4227: 4214: 4208: 4172: 4164: 4163: 4155: 4153: 4127: 4105: 4104: 4093: 4091: 4058: 4046: 4044: 4043: 4038: 4027: 4025: 4024: 4023: 4010: 4005: 3988: 3986: 3985: 3980: 3969: 3967: 3966: 3965: 3953: 3944: 3924: 3923: 3912: 3910: 3874: 3873: 3867: 3866: 3850: 3839: 3837: 3836: 3830: 3824: 3813: 3811: 3810: 3808: 3803: 3794: 3784: 3779: 3776: 3743: 3731: 3729: 3728: 3723: 3712: 3710: 3709: 3708: 3695: 3687: 3670: 3668: 3667: 3662: 3651: 3649: 3648: 3647: 3632: 3623: 3597: 3595: 3594: 3589: 3578: 3576: 3575: 3574: 3561: 3546: 3544: 3518: 3507: 3505: 3504: 3498: 3492: 3481: 3479: 3478: 3476: 3470: 3450: 3424: 3418: 3407: 3405: 3404: 3391: 3381: 3379: 3376: 3355: 3345: 3343: 3333: 3322: 3320: 3319: 3316: 3291: 3281: 3279: 3276: 3264:{\displaystyle A^{*}({\mathcal {M}}_{g})} 3252: 3246: 3245: 3235: 3229: 3208: 3202: 3181: 3175: 3154: 3148: 3127: 3121: 3100: 3094: 3073: 3063: 3061: 3046: 3023: 3013: 3011: 3005: 2999: 2989: 2987: 2985: 2979: 2956: 2946: 2944: 2938: 2932: 2922: 2920: 2918: 2912: 2880: 2851: 2850: 2841: 2824: 2805: 2795: 2793: 2787: 2781: 2771: 2769: 2767: 2754: 2739: 2738: 2719: 2712: 2702: 2700: 2694: 2688: 2678: 2676: 2674: 2661: 2644: 2625: 2615: 2613: 2607: 2601: 2591: 2589: 2587: 2574: 2555: 2545: 2543: 2537: 2531: 2521: 2519: 2517: 2509: 2507: 2481: 2454: 2444: 2442: 2432: 2422: 2420: 2417: 2396: 2386: 2384: 2374: 2364: 2362: 2353: 2332: 2322: 2320: 2317: 2297: 2260: 2259: 2257: 2238: 2237: 2235: 2203: 2175: 2155: 2087: 2013: 2000: 1985: 1961: 1948: 1922: 1909: 1894: 1870: 1851: 1822: 1809: 1794: 1761: 1739: 1708: 1691: 1682: 1653: 1625: 1602: 1587: 1583: 1581: 1546: 1520: 1496: 1476: 1456: 1430: 1351: 1334: 1332: 1277: 1271: 1233: 1227: 1194: 1179: 1154: 1148: 1115: 1100: 1091: 1085: 1084: 1072: 1063: 1047: 1041: 1040: 1033: 1018: 1016: 957: 955: 913: 904: 898: 897: 885: 876: 852: 843: 837: 836: 829: 814: 812: 793:{\displaystyle f_{*}\colon A(X)\to A(Y),} 751: 745: 705: 683: 670: 660: 650: 625: 619: 587: 565: 559: 558: 556: 554: 522: 491: 490: 451: 445: 384: 383: 368: 362: 334: 333: 303: 288: 286: 233: 227: 6257:Panin, Ivan; Smirnov, Alexander (2000). 6231:Navarro, Alberto; Navarro, José (2017), 5854:Panin, Ivan; Smirnov, Alexander (2002). 5327:, there are the associated line bundles 5074:moduli space of pointed algebraic curves 4315:is a class on the boundary. In the case 1400:is (essentially) the special case where 6146:(1958), "Le théorème de Riemann–Roch", 5778: 3465:. He uses Grothendieck–Riemann–Roch on 3311:, he considered a covering by a scheme 2476:is the moduli stack of curves of genus 161:between two manifolds (or more general 6300:The Grothendieck-Riemann-Roch Theorem 6004:, and a proof of the projectivity of 394:{\displaystyle A_{d}(X,\mathbb {Q} )} 7: 5964: 5962: 5906: 5904: 5749:. Moreover, Grothendieck introduced 5730:subsequently organized a seminar at 2140:{\displaystyle \chi (C,E)=d+n(1-g).} 5048:Quasi-projectivity of moduli spaces 6505:Riemannian connection on a surface 6410:Measurable Riemann mapping theorem 5572: 5335: 4365:{\displaystyle {\mathcal {M}}_{g}} 4097: 4094: 4020: 3916: 3913: 3705: 3691: 3688: 3636: 3633: 3550: 3547: 1712: 1709: 1695: 1692: 1591: 1588: 1355: 1352: 1338: 1335: 1104: 1101: 1076: 1073: 1022: 1019: 961: 958: 917: 914: 889: 886: 856: 853: 818: 815: 292: 289: 141:Riemann–Roch type theorems relate 25: 3224:(corollary 6.2) on the chow ring 1170:is the relative tangent sheaf of 609:Grothendieck–Riemann–Roch theorem 112:Grothendieck–Riemann–Roch theorem 91:Riemann–Roch theorem for surfaces 28:Grothendieck–Riemann–Roch theorem 18:Grothendieck–Riemann–Roch formula 6578: 6577: 6330:"Chern class of ideal sheaf" on 6039:{\displaystyle {\bar {M}}_{g,n}} 5674:, hence the coarse moduli space 5369: 3780: 2282:moduli space of algebraic curves 977:{\displaystyle \mathrm {td} (X)} 118:. It is a generalisation of the 6490:Riemann's differential equation 6400:Hirzebruch–Riemann–Roch theorem 5969:Knudsen, Finn F. (1983-12-01). 5767:Kawasaki's Riemann–Roch formula 4758:Using the short exact sequence 1398:Hirzebruch–Riemann–Roch theorem 1387:arithmetic Riemann–Roch theorem 1380:cohomology with compact support 219:. Under these assumptions, the 120:Hirzebruch–Riemann–Roch theorem 87:Hirzebruch–Riemann–Roch theorem 6611:Theorems in algebraic geometry 6515:Riemann–Hilbert correspondence 6385:Generalized Riemann hypothesis 6018: 5844:SGA 6, Springer-Verlag (1971). 5647: 5641: 5593: 5587: 5545: 5498: 5475: 5469: 5433: 5430: 5383: 5365: 5356: 5350: 5268: 5197: 5026: 5009: 5003: 4986: 4977: 4960: 4928: 4922: 4916: 4904: 4895: 4885: 4879: 4862: 4822: 4805: 4788: 4771: 4742: 4736: 4730: 4718: 4703: 4693: 4687: 4670: 4563:{\displaystyle f\colon Y\to X} 4554: 4276: 4257: 4241: 4233: 4169: 4160: 4109: 4101: 4067: 4064: 4051: 4032: 4016: 4001: 3993: 3974: 3958: 3950: 3928: 3920: 3879: 3859: 3844: 3818: 3800: 3752: 3749: 3736: 3717: 3701: 3683: 3675: 3656: 3640: 3629: 3613: 3610: 3602: 3583: 3567: 3554: 3512: 3486: 3432: 3412: 3400: 3339: 3327: 3258: 3241: 3054: 3048: 2855: 2847: 2813: 2760: 2731: 2667: 2633: 2580: 2380: 2312:curves (and no marked points) 2292:For the moduli stack of genus 2269:{\displaystyle {\mathcal {M}}} 2223:{\displaystyle f\colon X\to Y} 2214: 2131: 2119: 2104: 2092: 2056: 2044: 2022: 2019: 2006: 1993: 1979: 1973: 1967: 1954: 1931: 1928: 1915: 1902: 1888: 1882: 1876: 1857: 1834: 1831: 1828: 1815: 1802: 1788: 1779: 1776: 1773: 1767: 1748: 1745: 1725: 1722: 1716: 1705: 1699: 1688: 1671: 1659: 1643: 1631: 1611: 1595: 1435: 1365: 1359: 1348: 1342: 1245: 1239: 1209: 1200: 1124: 1121: 1108: 1097: 1080: 1069: 1053: 1026: 971: 965: 930: 927: 921: 910: 893: 882: 866: 860: 849: 822: 784: 778: 772: 769: 763: 717: 711: 698: 695: 689: 647: 637: 542:{\displaystyle f\colon X\to Y} 533: 495: 481: 467: 461: 388: 374: 338: 324: 318: 315: 309: 245: 239: 1: 6550:Riemann–Siegel theta function 5804:"Le théorème de Riemann-Roch" 2900:{\displaystyle 1\leq l\leq g} 1515:for line bundles. If we take 1323:Generalising and specialising 6565:Riemann–von Mangoldt formula 6276:10.1017/CBO9781139062046.016 6110:Lecture Notes in Mathematics 5928:10.1007/978-1-4757-9286-7_12 5745:approach to a hard piece of 4523:{\displaystyle \mathbb {E} } 3386: 3350: 3286: 3190:{\displaystyle \lambda _{i}} 3136:{\displaystyle \lambda _{i}} 3089:this is the dualizing sheaf 3068: 3018: 2994: 2951: 2927: 2800: 2776: 2707: 2683: 2620: 2596: 2550: 2526: 2449: 2427: 2391: 2369: 2327: 2245:{\displaystyle \mathbb {C} } 1319:between two smooth schemes. 1309:Navarro & Navarro (2017) 1215:{\displaystyle TX-f^{*}(TY)} 611:relates the pushforward map 114:is a far-reaching result on 5320:{\displaystyle \omega _{C}} 3217:{\displaystyle \kappa _{i}} 3163:{\displaystyle \kappa _{i}} 3109:{\displaystyle \omega _{C}} 2348:there is a universal curve 270:(a rational combination of 178:Atiyah–Singer index theorem 77:Atiyah–Singer index theorem 6632: 6560:Riemann–Stieltjes integral 6555:Riemann–Silberstein vector 6530:Riemann–Liouville integral 6270:. 2016. pp. 481–510. 6063:10.7146/math.scand.a-12002 4944:for the ideal sheaf since 6573: 6495:Riemann's minimal surface 6375: 5165:has the family of curves 1511:has a formula similar to 1421:Vector bundles on a curve 1174:, defined as the element 32: 6520:Riemann–Hilbert problems 6425:Riemann curvature tensor 6390:Grand Riemann hypothesis 6380:Cauchy–Riemann equations 6050:Mathematica Scandinavica 5110:quasi-projective variety 4372:there are the relations 4341:and on the smooth locus 1251:{\displaystyle K_{0}(X)} 251:{\displaystyle K_{0}(X)} 136:compact Riemann surfaces 6445:Riemann mapping theorem 5997:{\displaystyle M_{g,n}} 5920:Arithmetic and Geometry 5883:, see 4.2.10 and 4.2.11 5700:{\displaystyle M_{g,n}} 5158:{\displaystyle M_{g,n}} 5101:{\displaystyle M_{g,n}} 4650:, there is the formula 4308:{\displaystyle \delta } 3902:this gives the formula 1566:{\displaystyle Y=\{*\}} 1311:to the situation where 213:quasi-projective scheme 6545:Riemann–Siegel formula 6525:Riemann–Lebesgue lemma 6460:Riemann series theorem 6094:Alexandre Grothendieck 6040: 5998: 5716:Alexander Grothendieck 5701: 5661: 5624: 5555: 5440: 5321: 5291: 5220: 5159: 5126: 5102: 5066: 5033: 4935: 4832: 4749: 4644: 4624: 4604: 4584: 4564: 4524: 4499: 4366: 4335: 4309: 4286: 4200:Also, on dimension 1, 4191: 4139: 4116: 4077: 3893: 3759: 3530: 3459: 3445:for some finite group 3439: 3365: 3301: 3265: 3218: 3191: 3164: 3137: 3110: 3083: 3035: 2968: 2901: 2866: 2490: 2470: 2406: 2342: 2306: 2270: 2246: 2224: 2184: 2164: 2141: 2070: 1567: 1535: 1505: 1485: 1465: 1445: 1444:{\displaystyle E\to C} 1372: 1287: 1252: 1216: 1164: 1134: 978: 940: 794: 737:) and the pushforward 724: 599: 576: 543: 505: 395: 348: 252: 186:Alexander Grothendieck 59:Alexander Grothendieck 6485:Riemann zeta function 6041: 5999: 5726:, in 1957. Serre and 5707:is quasi-projective. 5702: 5662: 5604: 5556: 5441: 5322: 5292: 5221: 5160: 5127: 5103: 5067: 5034: 4936: 4842:there is the formula 4833: 4750: 4645: 4625: 4605: 4585: 4565: 4525: 4500: 4367: 4336: 4310: 4287: 4192: 4140: 4117: 4078: 3894: 3760: 3531: 3460: 3440: 3366: 3309:Deligne–Mumford stack 3302: 3266: 3219: 3197:in terms of a sum of 3192: 3165: 3138: 3111: 3084: 3036: 2969: 2902: 2867: 2491: 2471: 2407: 2343: 2307: 2271: 2247: 2225: 2185: 2165: 2142: 2071: 1568: 1536: 1506: 1486: 1466: 1446: 1373: 1288: 1286:{\displaystyle T_{f}} 1253: 1217: 1165: 1163:{\displaystyle T_{f}} 1135: 979: 941: 795: 725: 600: 577: 544: 506: 396: 349: 253: 143:Euler characteristics 6535:Riemann–Roch theorem 6046:in characteristic 0" 6008: 5975: 5922:. pp. 271–328. 5732:Princeton University 5678: 5568: 5450: 5331: 5304: 5236: 5172: 5136: 5116: 5079: 5056: 4948: 4849: 4765: 4657: 4634: 4614: 4594: 4574: 4542: 4512: 4379: 4345: 4319: 4299: 4207: 4152: 4126: 4090: 3909: 3775: 3543: 3469: 3449: 3375: 3315: 3275: 3228: 3201: 3174: 3147: 3120: 3093: 3045: 2978: 2911: 2879: 2506: 2498:tautological classes 2480: 2416: 2352: 2316: 2296: 2256: 2234: 2202: 2174: 2154: 2086: 1580: 1545: 1519: 1495: 1475: 1455: 1429: 1331: 1270: 1258:. For example, when 1226: 1178: 1147: 1015: 954: 811: 744: 735:higher direct images 733:(alternating sum of 618: 586: 553: 521: 444: 429:is defined over the 415:rational equivalence 361: 285: 226: 128:Riemann–Roch theorem 95:Riemann–Roch theorem 6510:Riemannian geometry 6420:Riemann Xi function 6405:Local zeta function 6251:2017arXiv170510769N 6191:Intersection theory 5953:Intersection Theory 5875:Algebraic cobordism 5651: 5497: 5479: 4485: 4460: 4334:{\displaystyle g=2} 4086:The computation of 4063: 3748: 2730: 1534:{\displaystyle X=C} 1410:algebraic cobordism 155:topological degrees 116:coherent cohomology 29: 6430:Riemann hypothesis 6163:10.24033/bsmf.1500 6144:Serre, Jean-Pierre 6122:10.1007/BFb0066283 6036: 5994: 5893:Morrison; Harris. 5823:10.24033/bsmf.1500 5800:Serre, Jean-Pierre 5755:algebraic K-theory 5724:Bonn Arbeitstagung 5697: 5657: 5625: 5561:It turns out that 5551: 5483: 5453: 5436: 5317: 5287: 5216: 5155: 5122: 5098: 5062: 5029: 4931: 4828: 4745: 4640: 4620: 4600: 4580: 4560: 4538:Closed embeddings 4520: 4495: 4493: 4471: 4446: 4362: 4331: 4305: 4282: 4187: 4138:{\displaystyle 2k} 4135: 4112: 4073: 4019: 3889: 3755: 3704: 3526: 3455: 3435: 3361: 3297: 3261: 3214: 3187: 3160: 3133: 3106: 3079: 3031: 2964: 2897: 2862: 2860: 2670: 2486: 2466: 2402: 2338: 2302: 2266: 2242: 2220: 2194:Smooth proper maps 2180: 2160: 2137: 2066: 2064: 1563: 1531: 1501: 1481: 1461: 1441: 1391:arithmetic schemes 1368: 1283: 1248: 1212: 1160: 1130: 974: 936: 790: 720: 598:{\displaystyle X.} 595: 572: 539: 501: 391: 344: 248: 221:Grothendieck group 108:algebraic geometry 106:, specifically in 49:Algebraic geometry 6593: 6592: 6500:Riemannian circle 6440:Riemann invariant 6268:3264 and All That 6131:978-3-540-05647-8 6090:Berthelot, Pierre 6021: 5937:978-0-8176-3133-8 5720:Jean-Pierre Serre 5672:ample line bundle 5125:{\displaystyle M} 5065:{\displaystyle M} 4643:{\displaystyle k} 4623:{\displaystyle Y} 4610:and a subvariety 4603:{\displaystyle n} 4583:{\displaystyle X} 4489: 4464: 4411: 4255: 4158: 4054: 4035: 4008: 3996: 3977: 3956: 3882: 3847: 3821: 3739: 3720: 3678: 3659: 3605: 3586: 3515: 3489: 3458:{\displaystyle G} 3415: 3389: 3353: 3330: 3289: 3071: 3021: 2997: 2954: 2930: 2803: 2779: 2710: 2686: 2623: 2599: 2553: 2529: 2489:{\displaystyle g} 2452: 2430: 2394: 2372: 2330: 2305:{\displaystyle g} 2183:{\displaystyle d} 2163:{\displaystyle n} 1504:{\displaystyle k} 1484:{\displaystyle d} 1464:{\displaystyle n} 260:bounded complexes 194:Jean-Pierre Serre 124:complex manifolds 100: 99: 16:(Redirected from 6623: 6616:Bernhard Riemann 6581: 6580: 6435:Riemann integral 6415:Riemann (crater) 6369:Bernhard Riemann 6362: 6355: 6348: 6339: 6289: 6262: 6253: 6244: 6227: 6182: 6165: 6135: 6076: 6075: 6065: 6045: 6043: 6042: 6037: 6035: 6034: 6023: 6022: 6014: 6003: 6001: 6000: 5995: 5993: 5992: 5966: 5957: 5956: 5948: 5942: 5941: 5908: 5899: 5898: 5895:Moduli of curves 5890: 5884: 5882: 5880: 5872:; Levine, Marc, 5866: 5860: 5859: 5851: 5845: 5842: 5836: 5835: 5825: 5792: 5786: 5783: 5706: 5704: 5703: 5698: 5696: 5695: 5666: 5664: 5663: 5658: 5656: 5652: 5650: 5639: 5623: 5618: 5586: 5585: 5560: 5558: 5557: 5552: 5544: 5543: 5542: 5541: 5526: 5521: 5520: 5496: 5491: 5478: 5467: 5445: 5443: 5442: 5437: 5429: 5428: 5427: 5426: 5411: 5406: 5405: 5382: 5381: 5372: 5349: 5348: 5326: 5324: 5323: 5318: 5316: 5315: 5296: 5294: 5293: 5288: 5286: 5285: 5267: 5266: 5248: 5247: 5225: 5223: 5222: 5217: 5215: 5214: 5196: 5195: 5164: 5162: 5161: 5156: 5154: 5153: 5131: 5129: 5128: 5123: 5107: 5105: 5104: 5099: 5097: 5096: 5071: 5069: 5068: 5063: 5038: 5036: 5035: 5030: 5025: 5024: 5019: 5018: 5002: 5001: 4996: 4995: 4976: 4975: 4970: 4969: 4940: 4938: 4937: 4932: 4903: 4902: 4878: 4877: 4872: 4871: 4861: 4860: 4837: 4835: 4834: 4829: 4821: 4820: 4815: 4814: 4804: 4803: 4798: 4797: 4787: 4786: 4781: 4780: 4754: 4752: 4751: 4746: 4717: 4716: 4686: 4685: 4680: 4679: 4669: 4668: 4649: 4647: 4646: 4641: 4629: 4627: 4626: 4621: 4609: 4607: 4606: 4601: 4589: 4587: 4586: 4581: 4569: 4567: 4566: 4561: 4534:Closed embedding 4529: 4527: 4526: 4521: 4519: 4504: 4502: 4501: 4496: 4494: 4490: 4484: 4479: 4470: 4465: 4459: 4454: 4445: 4436: 4435: 4422: 4421: 4412: 4404: 4395: 4394: 4371: 4369: 4368: 4363: 4361: 4360: 4355: 4354: 4340: 4338: 4337: 4332: 4314: 4312: 4311: 4306: 4291: 4289: 4288: 4283: 4269: 4268: 4256: 4248: 4240: 4232: 4231: 4219: 4218: 4196: 4194: 4193: 4188: 4180: 4179: 4167: 4159: 4156: 4144: 4142: 4141: 4136: 4121: 4119: 4118: 4113: 4108: 4100: 4082: 4080: 4079: 4074: 4062: 4057: 4056: 4055: 4050: 4045: 4042: 4037: 4036: 4031: 4026: 4015: 4014: 4009: 4006: 4000: 3999: 3998: 3997: 3992: 3987: 3984: 3979: 3978: 3973: 3968: 3957: 3954: 3949: 3948: 3927: 3919: 3898: 3896: 3895: 3890: 3885: 3884: 3883: 3875: 3872: 3871: 3858: 3857: 3856: 3855: 3854: 3849: 3848: 3843: 3838: 3834: 3829: 3828: 3823: 3822: 3817: 3812: 3799: 3798: 3789: 3788: 3783: 3764: 3762: 3761: 3756: 3747: 3742: 3741: 3740: 3735: 3730: 3727: 3722: 3721: 3716: 3711: 3700: 3699: 3694: 3682: 3681: 3680: 3679: 3674: 3669: 3666: 3661: 3660: 3655: 3650: 3639: 3628: 3627: 3609: 3608: 3607: 3606: 3601: 3596: 3593: 3588: 3587: 3582: 3577: 3566: 3565: 3553: 3535: 3533: 3532: 3527: 3525: 3524: 3523: 3522: 3517: 3516: 3511: 3506: 3502: 3497: 3496: 3491: 3490: 3485: 3480: 3464: 3462: 3461: 3456: 3444: 3442: 3441: 3436: 3428: 3423: 3422: 3417: 3416: 3411: 3406: 3396: 3395: 3390: 3385: 3380: 3370: 3368: 3367: 3362: 3360: 3359: 3354: 3349: 3344: 3338: 3337: 3332: 3331: 3326: 3321: 3306: 3304: 3303: 3298: 3296: 3295: 3290: 3285: 3280: 3270: 3268: 3267: 3262: 3257: 3256: 3251: 3250: 3240: 3239: 3223: 3221: 3220: 3215: 3213: 3212: 3196: 3194: 3193: 3188: 3186: 3185: 3169: 3167: 3166: 3161: 3159: 3158: 3142: 3140: 3139: 3134: 3132: 3131: 3115: 3113: 3112: 3107: 3105: 3104: 3088: 3086: 3085: 3080: 3078: 3077: 3072: 3067: 3062: 3040: 3038: 3037: 3032: 3030: 3029: 3028: 3027: 3022: 3017: 3012: 3009: 3004: 3003: 2998: 2993: 2988: 2973: 2971: 2970: 2965: 2963: 2962: 2961: 2960: 2955: 2950: 2945: 2942: 2937: 2936: 2931: 2926: 2921: 2906: 2904: 2903: 2898: 2871: 2869: 2868: 2863: 2861: 2854: 2846: 2845: 2829: 2828: 2812: 2811: 2810: 2809: 2804: 2799: 2794: 2791: 2786: 2785: 2780: 2775: 2770: 2759: 2758: 2742: 2729: 2718: 2717: 2716: 2711: 2706: 2701: 2698: 2693: 2692: 2687: 2682: 2677: 2666: 2665: 2649: 2648: 2632: 2631: 2630: 2629: 2624: 2619: 2614: 2611: 2606: 2605: 2600: 2595: 2590: 2579: 2578: 2562: 2561: 2560: 2559: 2554: 2549: 2544: 2541: 2536: 2535: 2530: 2525: 2520: 2495: 2493: 2492: 2487: 2475: 2473: 2472: 2467: 2465: 2464: 2453: 2448: 2443: 2437: 2436: 2431: 2426: 2421: 2411: 2409: 2408: 2403: 2401: 2400: 2395: 2390: 2385: 2379: 2378: 2373: 2368: 2363: 2347: 2345: 2344: 2339: 2337: 2336: 2331: 2326: 2321: 2311: 2309: 2308: 2303: 2288:Moduli of curves 2275: 2273: 2272: 2267: 2265: 2264: 2251: 2249: 2248: 2243: 2241: 2229: 2227: 2226: 2221: 2189: 2187: 2186: 2181: 2169: 2167: 2166: 2161: 2146: 2144: 2143: 2138: 2075: 2073: 2072: 2067: 2065: 2028: 2018: 2017: 2005: 2004: 1989: 1966: 1965: 1953: 1952: 1937: 1927: 1926: 1914: 1913: 1898: 1875: 1874: 1856: 1855: 1840: 1827: 1826: 1814: 1813: 1798: 1766: 1765: 1744: 1743: 1715: 1698: 1687: 1686: 1658: 1657: 1630: 1629: 1607: 1606: 1594: 1572: 1570: 1569: 1564: 1540: 1538: 1537: 1532: 1510: 1508: 1507: 1502: 1490: 1488: 1487: 1482: 1470: 1468: 1467: 1462: 1450: 1448: 1447: 1442: 1425:A vector bundle 1377: 1375: 1374: 1369: 1358: 1341: 1305:-homotopy theory 1292: 1290: 1289: 1284: 1282: 1281: 1257: 1255: 1254: 1249: 1238: 1237: 1221: 1219: 1218: 1213: 1199: 1198: 1169: 1167: 1166: 1161: 1159: 1158: 1139: 1137: 1136: 1131: 1120: 1119: 1107: 1096: 1095: 1090: 1089: 1079: 1068: 1067: 1052: 1051: 1046: 1045: 1038: 1037: 1025: 983: 981: 980: 975: 964: 946: 943: 942: 937: 920: 909: 908: 903: 902: 892: 881: 880: 859: 848: 847: 842: 841: 834: 833: 821: 799: 797: 796: 791: 756: 755: 729: 727: 726: 721: 710: 709: 688: 687: 675: 674: 665: 664: 655: 654: 630: 629: 604: 602: 601: 596: 581: 579: 578: 573: 571: 570: 569: 564: 563: 548: 546: 545: 540: 510: 508: 507: 502: 494: 480: 479: 435:cohomology group 423:rational numbers 400: 398: 397: 392: 387: 373: 372: 353: 351: 350: 345: 337: 308: 307: 295: 278:transformation: 264:coherent sheaves 257: 255: 254: 249: 238: 237: 182:complex analytic 37: 30: 21: 6631: 6630: 6626: 6625: 6624: 6622: 6621: 6620: 6596: 6595: 6594: 6589: 6569: 6480:Riemann surface 6455:Riemann problem 6371: 6366: 6296: 6286: 6265: 6256: 6230: 6209: 6199:Springer-Verlag 6187:Fulton, William 6185: 6138: 6132: 6114:Springer-Verlag 6088: 6085: 6080: 6079: 6011: 6006: 6005: 5978: 5973: 5972: 5968: 5967: 5960: 5950: 5949: 5945: 5938: 5910: 5909: 5902: 5892: 5891: 5887: 5878: 5868: 5867: 5863: 5853: 5852: 5848: 5843: 5839: 5794: 5793: 5789: 5784: 5780: 5775: 5763: 5713: 5681: 5676: 5675: 5603: 5599: 5571: 5566: 5565: 5527: 5506: 5501: 5448: 5447: 5412: 5391: 5386: 5373: 5334: 5329: 5328: 5307: 5302: 5301: 5271: 5252: 5239: 5234: 5233: 5200: 5181: 5170: 5169: 5139: 5134: 5133: 5114: 5113: 5082: 5077: 5076: 5054: 5053: 5050: 5045: 5012: 4989: 4963: 4946: 4945: 4894: 4865: 4852: 4847: 4846: 4808: 4791: 4774: 4763: 4762: 4702: 4673: 4660: 4655: 4654: 4632: 4631: 4630:of codimension 4612: 4611: 4592: 4591: 4572: 4571: 4540: 4539: 4536: 4510: 4509: 4492: 4491: 4437: 4427: 4424: 4423: 4413: 4396: 4386: 4377: 4376: 4348: 4343: 4342: 4317: 4316: 4297: 4296: 4260: 4223: 4210: 4205: 4204: 4168: 4150: 4149: 4124: 4123: 4088: 4087: 4004: 3961: 3940: 3907: 3906: 3865: 3835: 3809: 3804: 3790: 3778: 3773: 3772: 3686: 3643: 3619: 3570: 3557: 3541: 3540: 3503: 3477: 3472: 3467: 3466: 3447: 3446: 3403: 3378: 3373: 3372: 3371:which presents 3342: 3318: 3313: 3312: 3278: 3273: 3272: 3244: 3231: 3226: 3225: 3204: 3199: 3198: 3177: 3172: 3171: 3170:describing the 3150: 3145: 3144: 3123: 3118: 3117: 3096: 3091: 3090: 3060: 3043: 3042: 3010: 2986: 2981: 2976: 2975: 2943: 2919: 2914: 2909: 2908: 2877: 2876: 2859: 2858: 2837: 2830: 2820: 2817: 2816: 2792: 2768: 2763: 2750: 2743: 2735: 2734: 2699: 2675: 2657: 2650: 2640: 2637: 2636: 2612: 2588: 2583: 2570: 2563: 2542: 2518: 2513: 2504: 2503: 2478: 2477: 2441: 2419: 2414: 2413: 2383: 2361: 2350: 2349: 2319: 2314: 2313: 2294: 2293: 2290: 2254: 2253: 2232: 2231: 2200: 2199: 2196: 2172: 2171: 2152: 2151: 2084: 2083: 2063: 2062: 2026: 2025: 2009: 1996: 1957: 1944: 1935: 1934: 1918: 1905: 1866: 1847: 1838: 1837: 1818: 1805: 1757: 1735: 1728: 1678: 1675: 1674: 1649: 1621: 1614: 1598: 1578: 1577: 1543: 1542: 1517: 1516: 1493: 1492: 1473: 1472: 1453: 1452: 1427: 1426: 1423: 1418: 1329: 1328: 1325: 1273: 1268: 1267: 1264:smooth morphism 1229: 1224: 1223: 1190: 1176: 1175: 1150: 1145: 1144: 1111: 1083: 1059: 1039: 1029: 1013: 1012: 1006:exact sequences 952: 951: 896: 872: 835: 825: 809: 807: 803:by the formula 747: 742: 741: 701: 679: 666: 656: 646: 621: 616: 615: 584: 583: 557: 551: 550: 519: 518: 516:proper morphism 514:Now consider a 447: 442: 441: 431:complex numbers 364: 359: 358: 299: 283: 282: 268:Chern character 229: 224: 223: 202: 167:chain complexes 93: 89: 73:Generalizations 40: 23: 22: 15: 12: 11: 5: 6629: 6627: 6619: 6618: 6613: 6608: 6598: 6597: 6591: 6590: 6588: 6587: 6574: 6571: 6570: 6568: 6567: 6562: 6557: 6552: 6547: 6542: 6537: 6532: 6527: 6522: 6517: 6512: 6507: 6502: 6497: 6492: 6487: 6482: 6477: 6472: 6470:Riemann sphere 6467: 6465:Riemann solver 6462: 6457: 6452: 6447: 6442: 6437: 6432: 6427: 6422: 6417: 6412: 6407: 6402: 6397: 6392: 6387: 6382: 6376: 6373: 6372: 6367: 6365: 6364: 6357: 6350: 6342: 6336: 6335: 6332:Stack Exchange 6324: 6313: 6302: 6295: 6294:External links 6292: 6291: 6290: 6284: 6263: 6254: 6228: 6207: 6183: 6136: 6130: 6084: 6081: 6078: 6077: 6033: 6030: 6027: 6020: 6017: 5991: 5988: 5985: 5981: 5958: 5955:. p. 297. 5943: 5936: 5912:Mumford, David 5900: 5897:. p. 154. 5885: 5861: 5846: 5837: 5787: 5777: 5776: 5774: 5771: 5770: 5769: 5762: 5759: 5712: 5709: 5694: 5691: 5688: 5684: 5668: 5667: 5655: 5649: 5646: 5643: 5638: 5635: 5632: 5628: 5622: 5617: 5614: 5611: 5607: 5602: 5598: 5595: 5592: 5589: 5584: 5581: 5578: 5574: 5550: 5547: 5540: 5537: 5534: 5530: 5525: 5519: 5516: 5513: 5509: 5504: 5500: 5495: 5490: 5486: 5482: 5477: 5474: 5471: 5466: 5463: 5460: 5456: 5435: 5432: 5425: 5422: 5419: 5415: 5410: 5404: 5401: 5398: 5394: 5389: 5385: 5380: 5376: 5371: 5367: 5364: 5361: 5358: 5355: 5352: 5347: 5344: 5341: 5337: 5314: 5310: 5298: 5297: 5284: 5281: 5278: 5274: 5270: 5265: 5262: 5259: 5255: 5251: 5246: 5242: 5229:with sections 5227: 5226: 5213: 5210: 5207: 5203: 5199: 5194: 5191: 5188: 5184: 5180: 5177: 5152: 5149: 5146: 5142: 5121: 5095: 5092: 5089: 5085: 5072:, such as the 5061: 5049: 5046: 5044: 5041: 5028: 5023: 5017: 5011: 5008: 5005: 5000: 4994: 4988: 4985: 4982: 4979: 4974: 4968: 4962: 4959: 4956: 4953: 4942: 4941: 4930: 4927: 4924: 4921: 4918: 4915: 4912: 4909: 4906: 4901: 4897: 4893: 4890: 4887: 4884: 4881: 4876: 4870: 4864: 4859: 4855: 4840: 4839: 4827: 4824: 4819: 4813: 4807: 4802: 4796: 4790: 4785: 4779: 4773: 4770: 4756: 4755: 4744: 4741: 4738: 4735: 4732: 4729: 4726: 4723: 4720: 4715: 4712: 4709: 4705: 4701: 4698: 4695: 4692: 4689: 4684: 4678: 4672: 4667: 4663: 4639: 4619: 4599: 4579: 4559: 4556: 4553: 4550: 4547: 4535: 4532: 4518: 4506: 4505: 4488: 4483: 4478: 4474: 4468: 4463: 4458: 4453: 4449: 4443: 4440: 4438: 4434: 4430: 4426: 4425: 4420: 4416: 4410: 4407: 4402: 4399: 4397: 4393: 4389: 4385: 4384: 4359: 4353: 4330: 4327: 4324: 4304: 4293: 4292: 4281: 4278: 4275: 4272: 4267: 4263: 4259: 4254: 4251: 4246: 4243: 4239: 4235: 4230: 4226: 4222: 4217: 4213: 4198: 4197: 4186: 4183: 4178: 4175: 4171: 4166: 4162: 4134: 4131: 4111: 4107: 4103: 4099: 4096: 4084: 4083: 4072: 4069: 4066: 4061: 4053: 4049: 4041: 4034: 4030: 4022: 4018: 4013: 4003: 3995: 3991: 3983: 3976: 3972: 3964: 3960: 3952: 3947: 3943: 3939: 3936: 3933: 3930: 3926: 3922: 3918: 3915: 3900: 3899: 3888: 3881: 3878: 3870: 3864: 3861: 3853: 3846: 3842: 3833: 3827: 3820: 3816: 3807: 3802: 3797: 3793: 3787: 3782: 3766: 3765: 3754: 3751: 3746: 3738: 3734: 3726: 3719: 3715: 3707: 3703: 3698: 3693: 3690: 3685: 3677: 3673: 3665: 3658: 3654: 3646: 3642: 3638: 3635: 3631: 3626: 3622: 3618: 3615: 3612: 3604: 3600: 3592: 3585: 3581: 3573: 3569: 3564: 3560: 3556: 3552: 3549: 3521: 3514: 3510: 3501: 3495: 3488: 3484: 3475: 3454: 3434: 3431: 3427: 3421: 3414: 3410: 3402: 3399: 3394: 3388: 3384: 3358: 3352: 3348: 3341: 3336: 3329: 3325: 3294: 3288: 3284: 3260: 3255: 3249: 3243: 3238: 3234: 3211: 3207: 3184: 3180: 3157: 3153: 3130: 3126: 3103: 3099: 3076: 3070: 3066: 3059: 3056: 3053: 3050: 3026: 3020: 3016: 3008: 3002: 2996: 2992: 2984: 2959: 2953: 2949: 2941: 2935: 2929: 2925: 2917: 2896: 2893: 2890: 2887: 2884: 2873: 2872: 2857: 2853: 2849: 2844: 2840: 2836: 2833: 2831: 2827: 2823: 2819: 2818: 2815: 2808: 2802: 2798: 2790: 2784: 2778: 2774: 2766: 2762: 2757: 2753: 2749: 2746: 2744: 2741: 2737: 2736: 2733: 2728: 2725: 2722: 2715: 2709: 2705: 2697: 2691: 2685: 2681: 2673: 2669: 2664: 2660: 2656: 2653: 2651: 2647: 2643: 2639: 2638: 2635: 2628: 2622: 2618: 2610: 2604: 2598: 2594: 2586: 2582: 2577: 2573: 2569: 2566: 2564: 2558: 2552: 2548: 2540: 2534: 2528: 2524: 2516: 2512: 2511: 2485: 2463: 2460: 2457: 2451: 2447: 2440: 2435: 2429: 2425: 2399: 2393: 2389: 2382: 2377: 2371: 2367: 2360: 2357: 2335: 2329: 2325: 2301: 2289: 2286: 2263: 2240: 2219: 2216: 2213: 2210: 2207: 2195: 2192: 2179: 2159: 2148: 2147: 2136: 2133: 2130: 2127: 2124: 2121: 2118: 2115: 2112: 2109: 2106: 2103: 2100: 2097: 2094: 2091: 2077: 2076: 2061: 2058: 2055: 2052: 2049: 2046: 2043: 2040: 2037: 2034: 2031: 2029: 2027: 2024: 2021: 2016: 2012: 2008: 2003: 1999: 1995: 1992: 1988: 1984: 1981: 1978: 1975: 1972: 1969: 1964: 1960: 1956: 1951: 1947: 1943: 1940: 1938: 1936: 1933: 1930: 1925: 1921: 1917: 1912: 1908: 1904: 1901: 1897: 1893: 1890: 1887: 1884: 1881: 1878: 1873: 1869: 1865: 1862: 1859: 1854: 1850: 1846: 1843: 1841: 1839: 1836: 1833: 1830: 1825: 1821: 1817: 1812: 1808: 1804: 1801: 1797: 1793: 1790: 1787: 1784: 1781: 1778: 1775: 1772: 1769: 1764: 1760: 1756: 1753: 1750: 1747: 1742: 1738: 1734: 1731: 1729: 1727: 1724: 1721: 1718: 1714: 1711: 1707: 1704: 1701: 1697: 1694: 1690: 1685: 1681: 1677: 1676: 1673: 1670: 1667: 1664: 1661: 1656: 1652: 1648: 1645: 1642: 1639: 1636: 1633: 1628: 1624: 1620: 1617: 1615: 1613: 1610: 1605: 1601: 1597: 1593: 1590: 1586: 1585: 1562: 1559: 1556: 1553: 1550: 1530: 1527: 1524: 1500: 1480: 1460: 1440: 1437: 1434: 1422: 1419: 1417: 1414: 1367: 1364: 1361: 1357: 1354: 1350: 1347: 1344: 1340: 1337: 1324: 1321: 1280: 1276: 1247: 1244: 1241: 1236: 1232: 1211: 1208: 1205: 1202: 1197: 1193: 1189: 1186: 1183: 1157: 1153: 1141: 1140: 1129: 1126: 1123: 1118: 1114: 1110: 1106: 1103: 1099: 1094: 1088: 1082: 1078: 1075: 1071: 1066: 1062: 1058: 1055: 1050: 1044: 1036: 1032: 1028: 1024: 1021: 990:tangent bundle 973: 970: 967: 963: 960: 948: 947: 935: 932: 929: 926: 923: 919: 916: 912: 907: 901: 895: 891: 888: 884: 879: 875: 871: 868: 865: 862: 858: 855: 851: 846: 840: 832: 828: 824: 820: 817: 801: 800: 789: 786: 783: 780: 777: 774: 771: 768: 765: 762: 759: 754: 750: 731: 730: 719: 716: 713: 708: 704: 700: 697: 694: 691: 686: 682: 678: 673: 669: 663: 659: 653: 649: 645: 642: 639: 636: 633: 628: 624: 594: 591: 568: 562: 538: 535: 532: 529: 526: 512: 511: 500: 497: 493: 489: 486: 483: 478: 475: 472: 469: 466: 463: 460: 457: 454: 450: 390: 386: 382: 379: 376: 371: 367: 355: 354: 343: 340: 336: 332: 329: 326: 323: 320: 317: 314: 311: 306: 302: 298: 294: 291: 247: 244: 241: 236: 232: 201: 198: 180:. Conversely, 98: 97: 84: 80: 79: 74: 70: 69: 66: 65:First proof in 62: 61: 56: 55:First proof by 52: 51: 46: 42: 41: 38: 24: 14: 13: 10: 9: 6: 4: 3: 2: 6628: 6617: 6614: 6612: 6609: 6607: 6604: 6603: 6601: 6586: 6585: 6576: 6575: 6572: 6566: 6563: 6561: 6558: 6556: 6553: 6551: 6548: 6546: 6543: 6541: 6538: 6536: 6533: 6531: 6528: 6526: 6523: 6521: 6518: 6516: 6513: 6511: 6508: 6506: 6503: 6501: 6498: 6496: 6493: 6491: 6488: 6486: 6483: 6481: 6478: 6476: 6473: 6471: 6468: 6466: 6463: 6461: 6458: 6456: 6453: 6451: 6448: 6446: 6443: 6441: 6438: 6436: 6433: 6431: 6428: 6426: 6423: 6421: 6418: 6416: 6413: 6411: 6408: 6406: 6403: 6401: 6398: 6396: 6393: 6391: 6388: 6386: 6383: 6381: 6378: 6377: 6374: 6370: 6363: 6358: 6356: 6351: 6349: 6344: 6343: 6340: 6333: 6329: 6325: 6322: 6318: 6314: 6311: 6307: 6303: 6301: 6298: 6297: 6293: 6287: 6285:9781107017085 6281: 6277: 6273: 6269: 6264: 6260: 6255: 6252: 6248: 6243: 6238: 6234: 6229: 6226: 6222: 6218: 6214: 6210: 6208:3-540-62046-X 6204: 6200: 6196: 6192: 6188: 6184: 6181: 6177: 6173: 6169: 6164: 6159: 6155: 6152:(in French), 6151: 6150: 6145: 6141: 6140:Borel, Armand 6137: 6133: 6127: 6123: 6119: 6115: 6111: 6107: 6105: 6099: 6095: 6091: 6087: 6086: 6082: 6073: 6069: 6064: 6059: 6055: 6051: 6047: 6031: 6028: 6025: 6015: 5989: 5986: 5983: 5979: 5965: 5963: 5959: 5954: 5947: 5944: 5939: 5933: 5929: 5925: 5921: 5917: 5913: 5907: 5905: 5901: 5896: 5889: 5886: 5877: 5876: 5871: 5870:Morel, Fabien 5865: 5862: 5857: 5850: 5847: 5841: 5838: 5833: 5829: 5824: 5819: 5815: 5811: 5810: 5805: 5801: 5797: 5796:Borel, Armand 5791: 5788: 5782: 5779: 5772: 5768: 5765: 5764: 5760: 5758: 5756: 5752: 5748: 5744: 5740: 5735: 5733: 5729: 5725: 5721: 5717: 5710: 5708: 5692: 5689: 5686: 5682: 5673: 5653: 5644: 5636: 5633: 5630: 5626: 5620: 5615: 5612: 5609: 5605: 5600: 5596: 5590: 5582: 5579: 5576: 5564: 5563: 5562: 5548: 5538: 5535: 5532: 5528: 5523: 5517: 5514: 5511: 5507: 5502: 5493: 5488: 5484: 5480: 5472: 5464: 5461: 5458: 5454: 5423: 5420: 5417: 5413: 5408: 5402: 5399: 5396: 5392: 5387: 5378: 5374: 5359: 5353: 5345: 5342: 5339: 5312: 5308: 5282: 5279: 5276: 5272: 5263: 5260: 5257: 5253: 5249: 5244: 5240: 5232: 5231: 5230: 5211: 5208: 5205: 5201: 5192: 5189: 5186: 5182: 5178: 5175: 5168: 5167: 5166: 5150: 5147: 5144: 5140: 5119: 5111: 5093: 5090: 5087: 5083: 5075: 5059: 5047: 5042: 5040: 5021: 5006: 4998: 4983: 4980: 4972: 4957: 4954: 4951: 4925: 4919: 4913: 4910: 4907: 4899: 4891: 4888: 4882: 4874: 4857: 4853: 4845: 4844: 4843: 4825: 4817: 4800: 4783: 4768: 4761: 4760: 4759: 4739: 4733: 4727: 4724: 4721: 4713: 4710: 4707: 4699: 4696: 4690: 4682: 4665: 4661: 4653: 4652: 4651: 4637: 4617: 4597: 4590:of dimension 4577: 4557: 4551: 4548: 4545: 4533: 4531: 4486: 4481: 4476: 4472: 4466: 4461: 4456: 4451: 4447: 4441: 4439: 4432: 4428: 4418: 4414: 4408: 4405: 4400: 4398: 4391: 4387: 4375: 4374: 4373: 4357: 4328: 4325: 4322: 4302: 4279: 4273: 4270: 4265: 4261: 4252: 4249: 4244: 4228: 4224: 4220: 4215: 4211: 4203: 4202: 4201: 4184: 4181: 4176: 4173: 4148: 4147: 4146: 4132: 4129: 4070: 4059: 4039: 4011: 3981: 3962: 3945: 3941: 3937: 3934: 3931: 3905: 3904: 3903: 3886: 3876: 3862: 3851: 3831: 3825: 3805: 3795: 3791: 3785: 3771: 3770: 3769: 3744: 3724: 3696: 3663: 3644: 3624: 3620: 3616: 3590: 3571: 3562: 3558: 3539: 3538: 3537: 3519: 3499: 3493: 3473: 3452: 3429: 3425: 3419: 3397: 3392: 3356: 3334: 3310: 3292: 3253: 3236: 3232: 3209: 3205: 3182: 3178: 3155: 3151: 3128: 3124: 3101: 3097: 3074: 3057: 3051: 3041:over a point 3024: 3006: 3000: 2982: 2957: 2939: 2933: 2915: 2894: 2891: 2888: 2885: 2882: 2842: 2838: 2834: 2832: 2825: 2821: 2806: 2788: 2782: 2764: 2755: 2751: 2747: 2745: 2726: 2723: 2720: 2713: 2695: 2689: 2671: 2662: 2658: 2654: 2652: 2645: 2641: 2626: 2608: 2602: 2584: 2575: 2571: 2567: 2565: 2556: 2538: 2532: 2514: 2502: 2501: 2500: 2499: 2483: 2461: 2458: 2455: 2438: 2433: 2397: 2375: 2358: 2355: 2333: 2299: 2287: 2285: 2283: 2279: 2278:David Mumford 2217: 2211: 2208: 2205: 2193: 2191: 2177: 2157: 2134: 2128: 2125: 2122: 2116: 2113: 2110: 2107: 2101: 2098: 2095: 2089: 2082: 2081: 2080: 2059: 2053: 2050: 2047: 2041: 2038: 2035: 2032: 2030: 2014: 2010: 2001: 1997: 1990: 1986: 1982: 1976: 1970: 1962: 1958: 1949: 1945: 1941: 1939: 1923: 1919: 1910: 1906: 1899: 1895: 1891: 1885: 1879: 1871: 1867: 1863: 1860: 1852: 1848: 1844: 1842: 1823: 1819: 1810: 1806: 1799: 1795: 1791: 1785: 1782: 1770: 1762: 1758: 1754: 1751: 1740: 1736: 1732: 1730: 1719: 1702: 1683: 1679: 1668: 1665: 1662: 1654: 1650: 1646: 1640: 1637: 1634: 1626: 1622: 1618: 1616: 1608: 1603: 1599: 1576: 1575: 1574: 1557: 1551: 1548: 1528: 1525: 1522: 1514: 1498: 1478: 1458: 1438: 1432: 1420: 1415: 1413: 1411: 1405: 1403: 1399: 1394: 1392: 1388: 1383: 1381: 1362: 1345: 1322: 1320: 1318: 1314: 1310: 1306: 1304: 1298: 1296: 1278: 1274: 1265: 1261: 1242: 1234: 1230: 1206: 1203: 1195: 1191: 1187: 1184: 1181: 1173: 1155: 1151: 1127: 1116: 1112: 1092: 1064: 1060: 1056: 1048: 1034: 1030: 1011: 1010: 1009: 1007: 1003: 999: 995: 991: 987: 968: 945: 933: 924: 905: 877: 873: 869: 863: 844: 830: 826: 806: 805: 804: 787: 781: 775: 766: 760: 757: 752: 748: 740: 739: 738: 736: 714: 706: 702: 692: 684: 680: 676: 671: 667: 661: 657: 651: 643: 640: 634: 631: 626: 622: 614: 613: 612: 610: 605: 592: 589: 566: 536: 530: 527: 524: 517: 498: 487: 484: 476: 473: 470: 464: 458: 455: 452: 448: 440: 439: 438: 436: 432: 428: 424: 420: 416: 412: 409:of dimension 408: 405:of cycles on 404: 380: 377: 369: 365: 341: 330: 327: 321: 312: 304: 300: 296: 281: 280: 279: 277: 273: 272:Chern classes 269: 265: 261: 242: 234: 230: 222: 218: 214: 211: 207: 199: 197: 195: 191: 187: 183: 179: 174: 172: 168: 164: 160: 156: 152: 151:vector bundle 148: 144: 139: 137: 133: 129: 125: 121: 117: 113: 109: 105: 96: 92: 88: 85: 81: 78: 75: 71: 67: 63: 60: 57: 53: 50: 47: 43: 36: 31: 19: 6582: 6450:Riemann form 6394: 6321:MathOverflow 6310:MathOverflow 6267: 6232: 6190: 6153: 6147: 6103: 6101: 6053: 6049: 5952: 5946: 5919: 5894: 5888: 5874: 5864: 5849: 5840: 5813: 5807: 5790: 5781: 5736: 5728:Armand Borel 5714: 5669: 5299: 5228: 5051: 5043:Applications 4943: 4841: 4757: 4537: 4507: 4294: 4199: 4085: 3901: 3767: 3307:is a smooth 2874: 2497: 2291: 2197: 2149: 2078: 1513:Riemann–Roch 1424: 1406: 1401: 1395: 1384: 1326: 1312: 1302: 1299: 1294: 1259: 1171: 1142: 1001: 997: 993: 949: 802: 732: 608: 606: 513: 426: 410: 406: 356: 205: 203: 190:Armand Borel 175: 140: 132:line bundles 111: 101: 83:Consequences 6475:Riemann sum 6116:. xii+700. 6098:Luc Illusie 6056:: 200–212. 5743:categorical 2170:and degree 1471:and degree 200:Formulation 153:with their 104:mathematics 6600:Categories 6242:1705.10769 6225:0885.14002 6156:: 97–136, 6083:References 5881:, Springer 5816:: 97–136. 1317:proper map 986:Todd genus 425:. In case 403:Chow group 276:functorial 147:cohomology 6172:0037-9484 6072:1903-1807 6019:¯ 5627:χ 5606:⨂ 5597:⊗ 5591:π 5573:Λ 5503:ω 5494:∗ 5455:χ 5388:ω 5379:∗ 5375:π 5354:π 5336:Λ 5309:ω 5269:→ 5250:: 5198:→ 5179:: 5176:π 4911:− 4889:− 4823:→ 4806:→ 4789:→ 4772:→ 4725:− 4711:− 4697:− 4555:→ 4549:: 4473:κ 4448:λ 4429:λ 4415:κ 4388:λ 4303:δ 4274:δ 4262:κ 4212:λ 4052:~ 4033:~ 4021:Ω 4012:∨ 3994:~ 3975:~ 3963:ω 3946:∗ 3942:π 3880:~ 3863:≅ 3845:~ 3819:~ 3806:ω 3792:π 3737:~ 3718:~ 3706:Ω 3697:∨ 3676:~ 3657:~ 3645:ω 3625:∗ 3621:π 3603:~ 3584:~ 3572:ω 3559:π 3513:~ 3487:~ 3474:ω 3413:~ 3387:¯ 3351:¯ 3340:→ 3328:~ 3287:¯ 3237:∗ 3206:κ 3179:λ 3152:κ 3125:λ 3098:ω 3069:¯ 3058:∈ 3019:¯ 2995:¯ 2983:ω 2952:¯ 2928:¯ 2916:ω 2892:≤ 2886:≤ 2822:λ 2801:¯ 2777:¯ 2765:ω 2756:∗ 2752:π 2708:¯ 2684:¯ 2663:∗ 2659:π 2642:κ 2621:¯ 2597:¯ 2585:ω 2551:¯ 2527:¯ 2450:¯ 2428:¯ 2392:¯ 2381:→ 2370:¯ 2359:: 2356:π 2328:¯ 2215:→ 2209:: 2126:− 2090:χ 2051:− 1950:∗ 1853:∗ 1741:∗ 1684:∗ 1647:− 1558:∗ 1436:→ 1346:− 1196:∗ 1188:− 1093:∙ 1065:∗ 1049:∙ 906:∙ 878:∗ 845:∙ 773:→ 758:: 753:∗ 699:→ 677:: 672:∗ 641:− 635:∑ 567:∙ 534:→ 528:: 471:− 459:⁡ 421:with the 319:→ 297:: 6584:Category 6189:(1998), 6100:(eds.). 6092:(1971). 5951:Fulton. 5914:(1983). 5802:(1958). 5761:See also 5751:K-groups 5747:analysis 3768:Because 1451:of rank 1416:Examples 988:of (the 419:tensored 159:morphism 122:, about 6247:Bibcode 6217:1644323 6180:0116022 5832:0116022 5739:variety 5711:History 3536:to get 2079:hence, 984:is the 413:modulo 401:is the 274:) as a 215:over a 171:sheaves 163:schemes 145:of the 6328:thread 6317:thread 6306:thread 6282:  6223:  6215:  6205:  6178:  6170:  6128:  6070:  5934:  5830:  5670:is an 4295:where 2875:where 2412:where 1300:Using 1143:where 357:where 210:smooth 110:, the 6237:arXiv 5879:(PDF) 5773:Notes 1315:is a 1262:is a 950:Here 217:field 208:be a 149:of a 45:Field 6326:The 6315:The 6304:The 6280:ISBN 6203:ISBN 6168:ISSN 6126:ISBN 6068:ISSN 5932:ISBN 5446:and 3143:and 2907:and 1541:and 1396:The 1385:The 1000:and 992:of) 607:The 204:Let 192:and 130:for 68:1957 6272:doi 6221:Zbl 6158:doi 6118:doi 6104:225 6058:doi 5924:doi 5818:doi 5363:det 4487:288 1382:. 1222:in 582:on 456:dim 262:of 258:of 169:of 134:on 102:In 6602:: 6278:. 6245:, 6235:, 6219:, 6213:MR 6211:, 6201:, 6193:, 6176:MR 6174:, 6166:, 6154:86 6142:; 6124:. 6108:. 6096:; 6066:. 6054:52 6052:. 6048:. 5961:^ 5930:. 5918:. 5903:^ 5828:MR 5826:. 5814:86 5812:. 5806:. 5798:; 5757:. 5039:. 4530:. 4409:12 4253:12 4185:0. 4157:ch 4145:, 4007:Td 3955:ch 2284:. 2190:. 1393:. 1297:. 1266:, 437:: 417:, 173:. 138:. 6361:e 6354:t 6347:v 6334:. 6323:. 6312:. 6288:. 6274:: 6261:. 6249:: 6239:: 6160:: 6134:. 6120:: 6106:) 6074:. 6060:: 6032:n 6029:, 6026:g 6016:M 5990:n 5987:, 5984:g 5980:M 5940:. 5926:: 5858:. 5834:. 5820:: 5693:n 5690:, 5687:g 5683:M 5654:) 5648:) 5645:i 5642:( 5637:n 5634:, 5631:g 5621:n 5616:1 5613:= 5610:i 5601:( 5594:) 5588:( 5583:n 5580:, 5577:g 5549:. 5546:) 5539:n 5536:, 5533:g 5529:M 5524:/ 5518:n 5515:, 5512:g 5508:C 5499:( 5489:i 5485:s 5481:= 5476:) 5473:i 5470:( 5465:n 5462:, 5459:g 5434:) 5431:) 5424:n 5421:, 5418:g 5414:M 5409:/ 5403:n 5400:, 5397:g 5393:C 5384:( 5370:R 5366:( 5360:= 5357:) 5351:( 5346:n 5343:, 5340:g 5313:C 5283:n 5280:, 5277:g 5273:C 5264:n 5261:, 5258:g 5254:M 5245:i 5241:s 5212:n 5209:, 5206:g 5202:M 5193:n 5190:, 5187:g 5183:C 5151:n 5148:, 5145:g 5141:M 5120:M 5094:n 5091:, 5088:g 5084:M 5060:M 5027:) 5022:Y 5016:I 5010:( 5007:c 5004:) 4999:Y 4993:O 4987:( 4984:c 4981:= 4978:) 4973:X 4967:O 4961:( 4958:c 4955:= 4952:1 4929:] 4926:Y 4923:[ 4920:! 4917:) 4914:1 4908:k 4905:( 4900:k 4896:) 4892:1 4886:( 4883:= 4880:) 4875:Y 4869:I 4863:( 4858:k 4854:c 4838:, 4826:0 4818:Y 4812:O 4801:X 4795:O 4784:Y 4778:I 4769:0 4743:] 4740:Y 4737:[ 4734:! 4731:) 4728:1 4722:k 4719:( 4714:1 4708:k 4704:) 4700:1 4694:( 4691:= 4688:) 4683:Y 4677:O 4671:( 4666:k 4662:c 4638:k 4618:Y 4598:n 4578:X 4558:X 4552:Y 4546:f 4517:E 4482:2 4477:1 4467:= 4462:2 4457:2 4452:1 4442:= 4433:2 4419:1 4406:1 4401:= 4392:1 4358:g 4352:M 4329:2 4326:= 4323:g 4280:, 4277:) 4271:+ 4266:1 4258:( 4250:1 4245:= 4242:) 4238:E 4234:( 4229:1 4225:c 4221:= 4216:1 4182:= 4177:k 4174:2 4170:) 4165:E 4161:( 4133:k 4130:2 4110:) 4106:E 4102:( 4098:h 4095:c 4071:. 4068:) 4065:) 4060:1 4048:M 4040:/ 4029:C 4017:( 4002:) 3990:M 3982:/ 3971:C 3959:( 3951:( 3938:+ 3935:1 3932:= 3929:) 3925:E 3921:( 3917:h 3914:c 3887:, 3877:M 3869:O 3860:) 3852:g 3841:M 3832:/ 3826:g 3815:C 3801:( 3796:! 3786:1 3781:R 3753:) 3750:) 3745:1 3733:M 3725:/ 3714:C 3702:( 3692:d 3689:T 3684:) 3672:M 3664:/ 3653:C 3641:( 3637:h 3634:c 3630:( 3617:= 3614:) 3611:) 3599:M 3591:/ 3580:C 3568:( 3563:! 3555:( 3551:h 3548:c 3520:g 3509:M 3500:/ 3494:g 3483:C 3453:G 3433:] 3430:G 3426:/ 3420:g 3409:M 3401:[ 3398:= 3393:g 3383:M 3357:g 3347:M 3335:g 3324:M 3293:g 3283:M 3259:) 3254:g 3248:M 3242:( 3233:A 3210:i 3183:i 3156:i 3129:i 3102:C 3075:g 3065:M 3055:] 3052:C 3049:[ 3025:g 3015:M 3007:/ 3001:g 2991:C 2958:g 2948:M 2940:/ 2934:g 2924:C 2895:g 2889:l 2883:1 2856:) 2852:E 2848:( 2843:l 2839:c 2835:= 2826:l 2814:) 2807:g 2797:M 2789:/ 2783:g 2773:C 2761:( 2748:= 2740:E 2732:) 2727:1 2724:+ 2721:l 2714:g 2704:M 2696:/ 2690:g 2680:C 2672:K 2668:( 2655:= 2646:l 2634:) 2627:g 2617:M 2609:/ 2603:g 2593:C 2581:( 2576:1 2572:c 2568:= 2557:g 2547:M 2539:/ 2533:g 2523:C 2515:K 2484:g 2462:1 2459:, 2456:g 2446:M 2439:= 2434:g 2424:C 2398:g 2388:M 2376:g 2366:C 2334:g 2324:M 2300:g 2262:M 2239:C 2218:Y 2212:X 2206:f 2178:d 2158:n 2135:. 2132:) 2129:g 2123:1 2120:( 2117:n 2114:+ 2111:d 2108:= 2105:) 2102:E 2099:, 2096:C 2093:( 2060:; 2057:) 2054:g 2048:1 2045:( 2042:n 2039:+ 2036:d 2033:= 2023:) 2020:) 2015:C 2011:T 2007:( 2002:1 1998:c 1994:) 1991:2 1987:/ 1983:n 1980:( 1977:+ 1974:) 1971:E 1968:( 1963:1 1959:c 1955:( 1946:f 1942:= 1932:) 1929:) 1924:C 1920:T 1916:( 1911:1 1907:c 1903:) 1900:2 1896:/ 1892:n 1889:( 1886:+ 1883:) 1880:E 1877:( 1872:1 1868:c 1864:+ 1861:n 1858:( 1849:f 1845:= 1835:) 1832:) 1829:) 1824:C 1820:T 1816:( 1811:1 1807:c 1803:) 1800:2 1796:/ 1792:1 1789:( 1786:+ 1783:1 1780:( 1777:) 1774:) 1771:E 1768:( 1763:1 1759:c 1755:+ 1752:n 1749:( 1746:( 1737:f 1733:= 1726:) 1723:) 1720:X 1717:( 1713:d 1710:t 1706:) 1703:E 1700:( 1696:h 1693:c 1689:( 1680:f 1672:) 1669:E 1666:, 1663:C 1660:( 1655:1 1651:h 1644:) 1641:E 1638:, 1635:C 1632:( 1627:0 1623:h 1619:= 1612:) 1609:E 1604:! 1600:f 1596:( 1592:h 1589:c 1561:} 1555:{ 1552:= 1549:Y 1529:C 1526:= 1523:X 1499:k 1479:d 1459:n 1439:C 1433:E 1402:Y 1366:) 1363:X 1360:( 1356:d 1353:t 1349:) 1343:( 1339:h 1336:c 1313:f 1303:A 1295:f 1279:f 1275:T 1260:f 1246:) 1243:X 1240:( 1235:0 1231:K 1210:) 1207:Y 1204:T 1201:( 1192:f 1185:X 1182:T 1172:f 1156:f 1152:T 1128:, 1125:) 1122:) 1117:f 1113:T 1109:( 1105:d 1102:t 1098:) 1087:F 1081:( 1077:h 1074:c 1070:( 1061:f 1057:= 1054:) 1043:F 1035:! 1031:f 1027:( 1023:h 1020:c 1002:Y 998:X 994:X 972:) 969:X 966:( 962:d 959:t 934:. 931:) 928:) 925:X 922:( 918:d 915:t 911:) 900:F 894:( 890:h 887:c 883:( 874:f 870:= 867:) 864:Y 861:( 857:d 854:t 850:) 839:F 831:! 827:f 823:( 819:h 816:c 788:, 785:) 782:Y 779:( 776:A 770:) 767:X 764:( 761:A 749:f 718:) 715:Y 712:( 707:0 703:K 696:) 693:X 690:( 685:0 681:K 668:f 662:i 658:R 652:i 648:) 644:1 638:( 632:= 627:! 623:f 593:. 590:X 561:F 537:Y 531:X 525:f 499:. 496:) 492:Q 488:, 485:X 482:( 477:d 474:2 468:) 465:X 462:( 453:2 449:H 427:X 411:d 407:X 389:) 385:Q 381:, 378:X 375:( 370:d 366:A 342:, 339:) 335:Q 331:, 328:X 325:( 322:A 316:) 313:X 310:( 305:0 301:K 293:h 290:c 246:) 243:X 240:( 235:0 231:K 206:X 20:)

Index

Grothendieck–Riemann–Roch formula

Algebraic geometry
Alexander Grothendieck
Atiyah–Singer index theorem
Hirzebruch–Riemann–Roch theorem
Riemann–Roch theorem for surfaces
Riemann–Roch theorem
mathematics
algebraic geometry
coherent cohomology
Hirzebruch–Riemann–Roch theorem
complex manifolds
Riemann–Roch theorem
line bundles
compact Riemann surfaces
Euler characteristics
cohomology
vector bundle
topological degrees
morphism
schemes
chain complexes
sheaves
Atiyah–Singer index theorem
complex analytic
Alexander Grothendieck
Armand Borel
Jean-Pierre Serre
smooth

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