Knowledge (XXG)

Fay's trisecant identity

Source 📝

907: 551: 902:{\displaystyle {\begin{aligned}&E(x,v)E(u,y)\theta \left(z+\int _{u}^{x}\omega \right)\theta \left(z+\int _{v}^{y}\omega \right)\\-&E(x,u)E(v,y)\theta \left(z+\int _{v}^{x}\omega \right)\theta \left(z+\int _{u}^{y}\omega \right)\\=&E(x,y)E(u,v)\theta (z)\theta \left(z+\int _{u+v}^{x+y}\omega \right)\end{aligned}}} 1053: 916: 921: 556: 541: 471: 247: 269: 320: 492: 198: 104: 512: 442: 421: 401: 381: 361: 341: 290: 218: 177: 157: 135: 1048:{\displaystyle {\begin{aligned}&\int _{u+v}^{x+y}\omega =\int _{u}^{x}\omega +\int _{v}^{y}\omega =\int _{u}^{y}\omega +\int _{v}^{x}\omega \end{aligned}}} 54:, chapter 3, page 34, formula 45). Fay's identity holds for theta functions of Jacobians of curves, but not for theta functions of general 1147: 1118: 1085: 1183: 1173: 1178: 1188: 517: 447: 223: 1105:(1974), "Prym varieties. I", in Ahlfors, Lars V.; Kra, Irwin; Nirenberg, Louis; et al. (eds.), 252: 73:
Riemann surface, given by the image of the map from the Jacobian to projective space of dimension
31: 299: 1143: 1114: 1081: 477: 183: 76: 1073: 1157: 1128: 1095: 1153: 1124: 1091: 1069: 55: 43: 1110: 497: 427: 406: 386: 366: 346: 326: 275: 203: 162: 142: 120: 66: 47: 39: 1167: 1135: 1102: 106:
induced by theta functions of order 2, has a 4-dimensional space of trisecants.
293: 61:
The name "trisecant identity" refers to the geometric interpretation given by
17: 1107:
Contributions to analysis (a collection of papers dedicated to Lipman Bers)
1142:, Progress in Mathematics, vol. 43, Boston, MA: Birkhäuser Boston, 1077: 1068:, Lecture Notes in Mathematics, vol. 352, Berlin, New York: 27:
An identity between theta functions of Riemann surfaces
919: 554: 520: 500: 480: 450: 430: 409: 389: 369: 349: 329: 302: 278: 255: 226: 206: 186: 165: 145: 123: 79: 1047: 901: 535: 506: 486: 465: 436: 415: 395: 375: 355: 335: 314: 284: 263: 241: 212: 192: 171: 151: 129: 98: 8: 1032: 1027: 1011: 1006: 990: 985: 969: 964: 942: 931: 920: 918: 875: 864: 775: 770: 738: 733: 656: 651: 619: 614: 555: 553: 527: 523: 522: 519: 499: 479: 457: 453: 452: 449: 429: 408: 388: 368: 348: 328: 301: 277: 257: 256: 254: 233: 229: 228: 225: 205: 185: 164: 144: 122: 84: 78: 65:, p.3.219), who used it to show that the 62: 7: 1066:Theta functions on Riemann surfaces 51: 25: 200:is the Riemann theta function of 536:{\displaystyle \mathbb {C} ^{g}} 466:{\displaystyle \mathbb {C} ^{g}} 242:{\displaystyle \mathbb {C} ^{g}} 546:The Fay's identity states that 843: 837: 831: 819: 813: 801: 712: 700: 694: 682: 593: 581: 575: 563: 1: 264:{\displaystyle \mathbb {C} } 137:is a compact Riemann surface 1205: 1140:Tata lectures on theta. II 315:{\displaystyle C\times C} 36:Fay's trisecant identity 1184:Mathematical identities 487:{\displaystyle \omega } 193:{\displaystyle \theta } 99:{\displaystyle 2^{g}-1} 38:is an identity between 1049: 903: 537: 508: 488: 467: 438: 417: 397: 377: 357: 337: 316: 286: 265: 243: 214: 194: 173: 153: 131: 100: 1064:Fay, John D. (1973), 1050: 904: 538: 509: 489: 468: 439: 418: 398: 378: 358: 338: 317: 287: 266: 244: 215: 195: 174: 154: 132: 101: 1113:, pp. 325–350, 917: 552: 518: 498: 478: 448: 428: 407: 387: 367: 347: 327: 300: 276: 253: 224: 204: 184: 163: 143: 121: 77: 1037: 1016: 995: 974: 953: 886: 780: 743: 661: 624: 1078:10.1007/BFb0060090 1045: 1043: 1023: 1002: 981: 960: 927: 899: 897: 860: 766: 729: 647: 610: 533: 504: 484: 463: 434: 413: 393: 373: 353: 333: 312: 282: 261: 239: 220:, a function from 210: 190: 169: 149: 127: 96: 32:algebraic geometry 1174:Abelian varieties 1149:978-0-8176-3110-9 1120:978-0-12-044850-0 1087:978-3-540-06517-3 507:{\displaystyle C} 444:is an element of 437:{\displaystyle z} 416:{\displaystyle C} 396:{\displaystyle y} 376:{\displaystyle x} 356:{\displaystyle v} 336:{\displaystyle u} 285:{\displaystyle E} 213:{\displaystyle C} 172:{\displaystyle C} 152:{\displaystyle g} 130:{\displaystyle C} 56:abelian varieties 16:(Redirected from 1196: 1179:Riemann surfaces 1160: 1131: 1098: 1054: 1052: 1051: 1046: 1044: 1036: 1031: 1015: 1010: 994: 989: 973: 968: 952: 941: 923: 908: 906: 905: 900: 898: 894: 890: 885: 874: 788: 784: 779: 774: 751: 747: 742: 737: 669: 665: 660: 655: 632: 628: 623: 618: 558: 542: 540: 539: 534: 532: 531: 526: 513: 511: 510: 505: 493: 491: 490: 485: 472: 470: 469: 464: 462: 461: 456: 443: 441: 440: 435: 422: 420: 419: 414: 402: 400: 399: 394: 382: 380: 379: 374: 362: 360: 359: 354: 342: 340: 339: 334: 321: 319: 318: 313: 291: 289: 288: 283: 270: 268: 267: 262: 260: 248: 246: 245: 240: 238: 237: 232: 219: 217: 216: 211: 199: 197: 196: 191: 178: 176: 175: 170: 159:is the genus of 158: 156: 155: 150: 136: 134: 133: 128: 105: 103: 102: 97: 89: 88: 44:Riemann surfaces 21: 1204: 1203: 1199: 1198: 1197: 1195: 1194: 1193: 1189:Theta functions 1164: 1163: 1150: 1134: 1121: 1101: 1088: 1070:Springer-Verlag 1063: 1060: 1042: 1041: 915: 914: 896: 895: 853: 849: 796: 790: 789: 759: 755: 722: 718: 677: 671: 670: 640: 636: 603: 599: 550: 549: 521: 516: 515: 514:with values in 496: 495: 494:is a 1-form on 476: 475: 451: 446: 445: 426: 425: 405: 404: 385: 384: 365: 364: 345: 344: 325: 324: 298: 297: 274: 273: 251: 250: 227: 222: 221: 202: 201: 182: 181: 161: 160: 141: 140: 119: 118: 112: 80: 75: 74: 40:theta functions 28: 23: 22: 15: 12: 11: 5: 1202: 1200: 1192: 1191: 1186: 1181: 1176: 1166: 1165: 1162: 1161: 1148: 1136:Mumford, David 1132: 1119: 1111:Academic Press 1109:, Boston, MA: 1103:Mumford, David 1099: 1086: 1059: 1056: 1040: 1035: 1030: 1026: 1022: 1019: 1014: 1009: 1005: 1001: 998: 993: 988: 984: 980: 977: 972: 967: 963: 959: 956: 951: 948: 945: 940: 937: 934: 930: 926: 924: 922: 893: 889: 884: 881: 878: 873: 870: 867: 863: 859: 856: 852: 848: 845: 842: 839: 836: 833: 830: 827: 824: 821: 818: 815: 812: 809: 806: 803: 800: 797: 795: 792: 791: 787: 783: 778: 773: 769: 765: 762: 758: 754: 750: 746: 741: 736: 732: 728: 725: 721: 717: 714: 711: 708: 705: 702: 699: 696: 693: 690: 687: 684: 681: 678: 676: 673: 672: 668: 664: 659: 654: 650: 646: 643: 639: 635: 631: 627: 622: 617: 613: 609: 606: 602: 598: 595: 592: 589: 586: 583: 580: 577: 574: 571: 568: 565: 562: 559: 557: 544: 543: 530: 525: 503: 483: 473: 460: 455: 433: 423: 412: 403:are points of 392: 372: 352: 332: 322: 311: 308: 305: 281: 271: 259: 236: 231: 209: 189: 179: 168: 148: 138: 126: 111: 108: 95: 92: 87: 83: 67:Kummer variety 46:introduced by 26: 24: 18:John David Fay 14: 13: 10: 9: 6: 4: 3: 2: 1201: 1190: 1187: 1185: 1182: 1180: 1177: 1175: 1172: 1171: 1169: 1159: 1155: 1151: 1145: 1141: 1137: 1133: 1130: 1126: 1122: 1116: 1112: 1108: 1104: 1100: 1097: 1093: 1089: 1083: 1079: 1075: 1071: 1067: 1062: 1061: 1057: 1055: 1038: 1033: 1028: 1024: 1020: 1017: 1012: 1007: 1003: 999: 996: 991: 986: 982: 978: 975: 970: 965: 961: 957: 954: 949: 946: 943: 938: 935: 932: 928: 925: 912: 909: 891: 887: 882: 879: 876: 871: 868: 865: 861: 857: 854: 850: 846: 840: 834: 828: 825: 822: 816: 810: 807: 804: 798: 793: 785: 781: 776: 771: 767: 763: 760: 756: 752: 748: 744: 739: 734: 730: 726: 723: 719: 715: 709: 706: 703: 697: 691: 688: 685: 679: 674: 666: 662: 657: 652: 648: 644: 641: 637: 633: 629: 625: 620: 615: 611: 607: 604: 600: 596: 590: 587: 584: 578: 572: 569: 566: 560: 547: 528: 501: 481: 474: 458: 431: 424: 410: 390: 370: 350: 330: 323: 309: 306: 303: 295: 279: 272: 234: 207: 187: 180: 166: 146: 139: 124: 117: 116: 115: 114:Suppose that 109: 107: 93: 90: 85: 81: 72: 68: 64: 63:Mumford (1984 59: 57: 53: 49: 45: 41: 37: 33: 19: 1139: 1106: 1065: 913: 910: 548: 545: 113: 70: 60: 35: 29: 69:of a genus 1168:Categories 1058:References 294:prime form 1039:ω 1025:∫ 1018:ω 1004:∫ 997:ω 983:∫ 976:ω 962:∫ 955:ω 929:∫ 888:ω 862:∫ 847:θ 835:θ 782:ω 768:∫ 753:θ 745:ω 731:∫ 716:θ 675:− 663:ω 649:∫ 634:θ 626:ω 612:∫ 597:θ 482:ω 307:× 188:θ 110:Statement 91:− 1138:(1984), 1158:0742776 1129:0379510 1096:0335789 50: ( 1156:  1146:  1127:  1117:  1094:  1084:  911:with 292:is a 1144:ISBN 1115:ISBN 1082:ISBN 52:1973 1074:doi 296:on 249:to 48:Fay 42:of 30:In 1170:: 1154:MR 1152:, 1125:MR 1123:, 1092:MR 1090:, 1080:, 1072:, 383:, 363:, 343:, 58:. 34:, 1076:: 1034:x 1029:v 1021:+ 1013:y 1008:u 1000:= 992:y 987:v 979:+ 971:x 966:u 958:= 950:y 947:+ 944:x 939:v 936:+ 933:u 892:) 883:y 880:+ 877:x 872:v 869:+ 866:u 858:+ 855:z 851:( 844:) 841:z 838:( 832:) 829:v 826:, 823:u 820:( 817:E 814:) 811:y 808:, 805:x 802:( 799:E 794:= 786:) 777:y 772:u 764:+ 761:z 757:( 749:) 740:x 735:v 727:+ 724:z 720:( 713:) 710:y 707:, 704:v 701:( 698:E 695:) 692:u 689:, 686:x 683:( 680:E 667:) 658:y 653:v 645:+ 642:z 638:( 630:) 621:x 616:u 608:+ 605:z 601:( 594:) 591:y 588:, 585:u 582:( 579:E 576:) 573:v 570:, 567:x 564:( 561:E 529:g 524:C 502:C 459:g 454:C 432:z 411:C 391:y 371:x 351:v 331:u 310:C 304:C 280:E 258:C 235:g 230:C 208:C 167:C 147:g 125:C 94:1 86:g 82:2 71:g 20:)

Index

John David Fay
algebraic geometry
theta functions
Riemann surfaces
Fay
1973
abelian varieties
Mumford (1984
Kummer variety
prime form
Springer-Verlag
doi
10.1007/BFb0060090
ISBN
978-3-540-06517-3
MR
0335789
Mumford, David
Academic Press
ISBN
978-0-12-044850-0
MR
0379510
Mumford, David
ISBN
978-0-8176-3110-9
MR
0742776
Categories
Abelian varieties

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