Knowledge (XXG)

Weil reciprocity law

Source 📝

127:; and a function applied to a formal sum means the product (with multiplicities, poles counting as a negative multiplicity) of the values of the function at the points of the divisor. With this definition there must be the side-condition, that the divisors of 367:
Arbarello, E.; De Concini, C.; Kac, V.G. (1989). "The infinite wedge representation and the reciprocity law for algebraic curves". In Ehrenpreis, Leon; Gunning, Robert C. (eds.).
453: 876: 1064: 605: 40: 968: 565: 446: 1034: 656: 555: 1024: 414: 380: 344: 734: 439: 369:
Theta functions, Bowdoin 1987. (Proceedings of the 35th Summer Research Institute, Bowdoin Coll., Brunswick/ME July 6-24, 1987)
881: 792: 802: 729: 479: 372: 699: 595: 112: 958: 922: 621: 534: 932: 570: 124: 58: 1059: 978: 891: 871: 807: 724: 585: 626: 590: 291:, pp. 44–46, for this as a special case of a theory on mapping algebraic curves into commutative groups. 782: 575: 953: 689: 405:. Graduate Texts in Mathematics. Vol. 117 (Translation of the French 2nd ed.). New York, etc.: 489: 198: 651: 600: 1029: 812: 560: 181:
is defined, in such a way that the statement given is equivalent to saying that the product over all
866: 744: 709: 666: 646: 996: 580: 787: 767: 739: 896: 843: 714: 529: 524: 410: 398: 376: 340: 299: 284: 886: 772: 749: 420: 386: 350: 1001: 817: 759: 661: 484: 463: 424: 406: 390: 360: 354: 139: 51: 684: 509: 494: 471: 1053: 1016: 797: 777: 704: 499: 36: 963: 937: 927: 917: 719: 539: 339:. Wiley Classics Library. New York, NY: John Wiley & Sons Ltd. pp. 242–3. 838: 676: 28: 17: 833: 295: 120: 431: 371:. Proceedings of Symposia in Pure Mathematics. Vol. 49. Providence, RI: 694: 143: 1006: 991: 986: 435: 149:
To remove the condition of disjoint support, for each point
329:
Sur les fonctions algébriques à corps de constantes finis
222:
such that the function has neither a zero nor a pole at
1015: 977: 946: 910: 859: 852: 826: 758: 675: 639: 614: 548: 517: 508: 470: 197:, the definition is essentially in limiting or 142:, this can be proved by manipulations with the 323:, a 1942 letter to Artin, explaining the 1940 135:have disjoint support (which can be removed). 447: 8: 335:Griffiths, Phillip; Harris, Joseph (1994). 856: 514: 454: 440: 432: 289:Groupes algĂ©briques et corps de classes 877:Clifford's theorem on special divisors 107:where the notation has this meaning: ( 123:of its zeroes and poles counted with 7: 201:terms, by considering (up to sign) 1035:Vector bundles on algebraic curves 969:Weber's theorem (Algebraic curves) 566:Hasse's theorem on elliptic curves 556:Counting points on elliptic curves 25: 403:Algebraic groups and class fields 337:Principles of Algebraic Geometry 185:of the local symbols is 1. When 657:Hurwitz's automorphisms theorem 193:both take the values 0 or ∞ at 1065:Theorems in algebraic geometry 882:Gonality of an algebraic curve 793:Differential of the first kind 80:), i.e. rational functions on 1: 1025:Birkhoff–Grothendieck theorem 735:Nagata's conjecture on curves 606:Schoof–Elkies–Atkin algorithm 480:Five points determine a conic 373:American Mathematical Society 294:There is a generalisation of 226:. This is achieved by taking 596:Supersingular elliptic curve 803:Riemann's existence theorem 730:Hilbert's sixteenth problem 622:Elliptic curve cryptography 535:Fundamental pair of periods 1081: 933:Moduli of algebraic curves 230:to be the multiplicity of 59:algebraically closed field 250:. The definition is then 700:Cayley–Bacharach theorem 627:Elliptic curve primality 119:, or in other words the 959:Riemann–Hurwitz formula 923:Gromov–Witten invariant 783:Compact Riemann surface 571:Mazur's torsion theorem 317:Oeuvres Scientifiques I 576:Modular elliptic curve 490:Rational normal curve 199:removable singularity 1030:Stable vector bundle 902:Weil reciprocity law 892:Riemann–Roch theorem 872:Brill–Noether theory 808:Riemann–Roch theorem 725:Genus–degree formula 586:Mordell–Weil theorem 561:Division polynomials 375:. pp. 171–190. 242:the multiplicity of 33:Weil reciprocity law 853:Structure of curves 745:Quartic plane curve 667:Hyperelliptic curve 647:De Franchis theorem 591:Nagell–Lutz theorem 359:for a proof in the 138:In the case of the 860:Divisors on curves 652:Faltings's theorem 601:Schoof's algorithm 581:Modularity theorem 399:Serre, Jean-Pierre 319:, p. 291 (in 64:. Given functions 1047: 1046: 1043: 1042: 954:Hasse–Witt matrix 897:Weierstrass point 844:Smooth completion 813:TeichmĂŒller space 715:Cubic plane curve 635: 634: 549:Arithmetic theory 530:Elliptic integral 525:Elliptic function 304:Abelian Varieties 300:abelian varieties 285:Jean-Pierre Serre 16:(Redirected from 1072: 1060:Algebraic curves 887:Jacobian variety 857: 760:Riemann surfaces 750:Real plane curve 710:Cramer's paradox 690:BĂ©zout's theorem 515: 464:algebraic curves 456: 449: 442: 433: 428: 394: 358: 283:See for example 146:of polynomials. 115:of the function 21: 18:Weil reciprocity 1080: 1079: 1075: 1074: 1073: 1071: 1070: 1069: 1050: 1049: 1048: 1039: 1011: 1002:Delta invariant 973: 942: 906: 867:Abel–Jacobi map 848: 822: 818:Torelli theorem 788:Dessin d'enfant 768:Belyi's theorem 754: 740:PlĂŒcker formula 671: 662:Hurwitz surface 631: 610: 544: 518:Analytic theory 510:Elliptic curves 504: 485:Projective line 472:Rational curves 466: 460: 417: 407:Springer-Verlag 397: 383: 366: 361:Riemann surface 347: 334: 312: 269: 177: 140:projective line 52:algebraic curve 39:holding in the 35:is a result of 23: 22: 15: 12: 11: 5: 1078: 1076: 1068: 1067: 1062: 1052: 1051: 1045: 1044: 1041: 1040: 1038: 1037: 1032: 1027: 1021: 1019: 1017:Vector bundles 1013: 1012: 1010: 1009: 1004: 999: 994: 989: 983: 981: 975: 974: 972: 971: 966: 961: 956: 950: 948: 944: 943: 941: 940: 935: 930: 925: 920: 914: 912: 908: 907: 905: 904: 899: 894: 889: 884: 879: 874: 869: 863: 861: 854: 850: 849: 847: 846: 841: 836: 830: 828: 824: 823: 821: 820: 815: 810: 805: 800: 795: 790: 785: 780: 775: 770: 764: 762: 756: 755: 753: 752: 747: 742: 737: 732: 727: 722: 717: 712: 707: 702: 697: 692: 687: 681: 679: 673: 672: 670: 669: 664: 659: 654: 649: 643: 641: 637: 636: 633: 632: 630: 629: 624: 618: 616: 612: 611: 609: 608: 603: 598: 593: 588: 583: 578: 573: 568: 563: 558: 552: 550: 546: 545: 543: 542: 537: 532: 527: 521: 519: 512: 506: 505: 503: 502: 497: 495:Riemann sphere 492: 487: 482: 476: 474: 468: 467: 461: 459: 458: 451: 444: 436: 430: 429: 415: 395: 381: 364: 345: 332: 325:Comptes Rendus 321:Lettre Ă  Artin 311: 308: 281: 280: 279: 278: 270:= (−1) 265: 212: 211: 179: 178: 173: 105: 104: 41:function field 24: 14: 13: 10: 9: 6: 4: 3: 2: 1077: 1066: 1063: 1061: 1058: 1057: 1055: 1036: 1033: 1031: 1028: 1026: 1023: 1022: 1020: 1018: 1014: 1008: 1005: 1003: 1000: 998: 995: 993: 990: 988: 985: 984: 982: 980: 979:Singularities 976: 970: 967: 965: 962: 960: 957: 955: 952: 951: 949: 945: 939: 936: 934: 931: 929: 926: 924: 921: 919: 916: 915: 913: 909: 903: 900: 898: 895: 893: 890: 888: 885: 883: 880: 878: 875: 873: 870: 868: 865: 864: 862: 858: 855: 851: 845: 842: 840: 837: 835: 832: 831: 829: 827:Constructions 825: 819: 816: 814: 811: 809: 806: 804: 801: 799: 798:Klein quartic 796: 794: 791: 789: 786: 784: 781: 779: 778:Bolza surface 776: 774: 773:Bring's curve 771: 769: 766: 765: 763: 761: 757: 751: 748: 746: 743: 741: 738: 736: 733: 731: 728: 726: 723: 721: 718: 716: 713: 711: 708: 706: 705:Conic section 703: 701: 698: 696: 693: 691: 688: 686: 685:AF+BG theorem 683: 682: 680: 678: 674: 668: 665: 663: 660: 658: 655: 653: 650: 648: 645: 644: 642: 638: 628: 625: 623: 620: 619: 617: 613: 607: 604: 602: 599: 597: 594: 592: 589: 587: 584: 582: 579: 577: 574: 572: 569: 567: 564: 562: 559: 557: 554: 553: 551: 547: 541: 538: 536: 533: 531: 528: 526: 523: 522: 520: 516: 513: 511: 507: 501: 500:Twisted cubic 498: 496: 493: 491: 488: 486: 483: 481: 478: 477: 475: 473: 469: 465: 457: 452: 450: 445: 443: 438: 437: 434: 426: 422: 418: 416:3-540-96648-X 412: 408: 404: 400: 396: 392: 388: 384: 382:0-8218-1483-4 378: 374: 370: 365: 362: 356: 352: 348: 346:0-471-05059-8 342: 338: 333: 330: 326: 322: 318: 314: 313: 309: 307: 305: 301: 297: 292: 290: 286: 276: 273: 268: 263: 259: 255: 254: 253: 252: 251: 249: 245: 241: 238:, and − 237: 233: 229: 225: 221: 217: 210: 207: 204: 203: 202: 200: 196: 192: 188: 184: 176: 171: 167: 163: 162: 161: 160: 156: 152: 147: 145: 141: 136: 134: 130: 126: 122: 118: 114: 110: 102: 98: 94: 90: 87: 86: 85: 83: 79: 75: 71: 67: 63: 60: 56: 53: 49: 45: 42: 38: 34: 30: 19: 964:Prym variety 938:Stable curve 928:Hodge bundle 918:ELSV formula 901: 720:Fermat curve 677:Plane curves 640:Higher genus 615:Applications 540:Modular form 402: 368: 336: 328: 324: 320: 316: 315:AndrĂ© Weil, 303: 293: 288: 282: 274: 271: 266: 261: 257: 247: 243: 239: 235: 231: 227: 223: 219: 215: 213: 208: 205: 194: 190: 186: 182: 180: 174: 169: 165: 159:local symbol 158: 154: 150: 148: 137: 132: 128: 125:multiplicity 116: 108: 106: 100: 96: 92: 88: 81: 77: 73: 69: 65: 61: 54: 47: 43: 32: 26: 839:Polar curve 29:mathematics 1054:Categories 834:Dual curve 462:Topics in 425:0703.14001 391:0699.22028 355:0836.14001 310:References 296:Serge Lang 121:formal sum 37:AndrĂ© Weil 947:Morphisms 695:Bitangent 144:resultant 111:) is the 401:(1988). 57:over an 50:) of an 1007:Tacnode 992:Crunode 302:(Lang, 113:divisor 84:, then 987:Acnode 911:Moduli 423:  413:  389:  379:  353:  343:  31:, the 327:note 214:with 95:)) = 997:Cusp 411:ISBN 377:ISBN 363:case 341:ISBN 218:and 189:and 131:and 68:and 421:Zbl 387:Zbl 351:Zbl 306:). 298:to 246:at 234:at 153:on 72:in 27:In 1056:: 419:. 409:. 385:. 349:. 287:, 260:, 168:, 157:a 103:)) 99:(( 91:(( 455:e 448:t 441:v 427:. 393:. 357:. 331:) 277:. 275:g 272:f 267:P 264:) 262:g 258:f 256:( 248:P 244:f 240:b 236:P 232:g 228:a 224:P 220:b 216:a 209:g 206:f 195:P 191:g 187:f 183:P 175:P 172:) 170:g 166:f 164:( 155:C 151:P 133:g 129:f 117:h 109:h 101:f 97:g 93:g 89:f 82:C 78:C 76:( 74:K 70:g 66:f 62:K 55:C 48:C 46:( 44:K 20:)

Index

Weil reciprocity
mathematics
André Weil
function field
algebraic curve
algebraically closed field
divisor
formal sum
multiplicity
projective line
resultant
removable singularity
Jean-Pierre Serre
Serge Lang
abelian varieties
ISBN
0-471-05059-8
Zbl
0836.14001
Riemann surface
American Mathematical Society
ISBN
0-8218-1483-4
Zbl
0699.22028
Serre, Jean-Pierre
Springer-Verlag
ISBN
3-540-96648-X
Zbl

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

↑