Knowledge (XXG)

Fay's trisecant identity

Source 📝

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

Index

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
Riemann surfaces

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