Knowledge (XXG)

Bogomolov conjecture

Source đź“ť

717: 558: 282: 670:
Tropical and non-Archimedean geometry. Bellairs workshop in number theory, tropical and non-Archimedean geometry, Bellairs Research Institute, Holetown, Barbados, USA, May 6–13, 2011
330: 115: 477: 201: 705: 758: 439: 406: 163: 787: 751: 681: 485: 209: 792: 744: 668:
Chambert-Loir, Antoine (2013). "Diophantine geometry and analytic spaces". In Amini, Omid; Baker, Matthew; Faber, Xander (eds.).
782: 673: 777: 341: 37: 638: 588: 291: 166: 93: 456: 180: 41: 29: 724: 597: 418: 382: 139: 677: 118: 728: 687: 647: 615: 607: 130: 691: 619: 372: 353: 73: 57: 53: 33: 25: 586:
Ullmo, Emmanuel (1998), "Positivité et Discrétion des Points Algébriques des Courbes",
352:
The original Bogomolov conjecture was proved by Emmanuel Ullmo and Shou-Wu Zhang using
45: 771: 561: 337: 174: 77: 49: 84: 716: 17: 636:
Zhang, S.-W. (1998), "Equidistribution of small points on abelian varieties",
413: 602: 553:{\displaystyle \{P\in X({\overline {K}}):{\hat {h}}(P)<\epsilon \}} 277:{\displaystyle \{P\in C({\overline {K}}):{\hat {h}}(P)<\epsilon \}} 651: 611: 706:
The Manin-Mumford conjecture: a brief survey, by Pavlos Tzermias
672:. Contemporary Mathematics. Vol. 605. Providence, RI: 732: 488: 459: 421: 385: 294: 212: 183: 142: 96: 364:
In 1998, Zhang proved the following generalization:
445:if it is the translate of an abelian subvariety of 552: 471: 433: 400: 324: 276: 195: 157: 109: 453:is not a torsion subvariety, then there is an 752: 8: 631: 629: 547: 489: 412:associated to an ample symmetric divisor. A 271: 213: 340:, the Bogomolov conjecture generalises the 759: 745: 601: 521: 520: 504: 487: 458: 420: 387: 386: 384: 296: 295: 293: 245: 244: 228: 211: 182: 144: 143: 141: 97: 95: 578: 56:. A further generalization to general 7: 713: 711: 731:. You can help Knowledge (XXG) by 60:was also proved by Zhang in 1998. 14: 788:Conjectures that have been proved 715: 325:{\displaystyle {\hat {h}}(P)=0} 110:{\displaystyle {\overline {K}}} 44:. The conjecture was proven by 538: 532: 526: 514: 501: 472:{\displaystyle \epsilon >0} 392: 313: 307: 301: 262: 256: 250: 238: 225: 196:{\displaystyle \epsilon >0} 149: 1: 674:American Mathematical Society 24:is a conjecture, named after 509: 408:be the NĂ©ron-Tate height on 233: 102: 83:at least two defined over a 809: 710: 434:{\displaystyle X\subset A} 401:{\displaystyle {\hat {h}}} 158:{\displaystyle {\hat {h}}} 793:Algebraic geometry stubs 342:Manin-Mumford conjecture 38:Manin-Mumford conjecture 449:by a torsion point. If 177:. Then there exists an 175:ample symmetric divisor 727:–related article is a 554: 473: 435: 402: 326: 278: 197: 159: 125:, fix an embedding of 111: 639:Annals of Mathematics 589:Annals of Mathematics 555: 474: 436: 403: 327: 279: 198: 160: 112: 36:that generalizes the 783:Diophantine geometry 676:. pp. 161–179. 486: 457: 419: 383: 292: 210: 181: 140: 94: 22:Bogomolov conjecture 42:arithmetic geometry 30:arithmetic geometry 725:algebraic geometry 550: 479:such that the set 469: 443:torsion subvariety 431: 398: 322: 274: 203:such that the set 193: 155: 107: 778:Abelian varieties 740: 739: 683:978-1-4704-1021-6 529: 512: 395: 304: 284:  is finite. 253: 236: 173:associated to an 167:NĂ©ron-Tate height 152: 119:algebraic closure 105: 58:abelian varieties 800: 761: 754: 747: 719: 712: 695: 655: 654: 633: 624: 622: 605: 603:alg-geom/9606017 583: 559: 557: 556: 551: 531: 530: 522: 513: 505: 478: 476: 475: 470: 440: 438: 437: 432: 407: 405: 404: 399: 397: 396: 388: 331: 329: 328: 323: 306: 305: 297: 283: 281: 280: 275: 255: 254: 246: 237: 229: 202: 200: 199: 194: 164: 162: 161: 156: 154: 153: 145: 131:Jacobian variety 116: 114: 113: 108: 106: 98: 34:algebraic curves 808: 807: 803: 802: 801: 799: 798: 797: 768: 767: 766: 765: 702: 700:Further reading 684: 667: 664: 659: 658: 635: 634: 627: 585: 584: 580: 575: 484: 483: 455: 454: 417: 416: 381: 380: 373:abelian variety 362: 354:Arakelov theory 350: 332:if and only if 290: 289: 208: 207: 179: 178: 138: 137: 92: 91: 74:algebraic curve 66: 54:Arakelov theory 26:Fedor Bogomolov 12: 11: 5: 806: 804: 796: 795: 790: 785: 780: 770: 769: 764: 763: 756: 749: 741: 738: 737: 720: 709: 708: 701: 698: 697: 696: 682: 663: 660: 657: 656: 652:10.2307/120986 646:(1): 159–165, 625: 612:10.2307/120987 596:(1): 167–179, 577: 576: 574: 571: 570: 569: 560:  is not 549: 546: 543: 540: 537: 534: 528: 525: 519: 516: 511: 508: 503: 500: 497: 494: 491: 468: 465: 462: 430: 427: 424: 394: 391: 361: 360:Generalization 358: 349: 346: 321: 318: 315: 312: 309: 303: 300: 286: 285: 273: 270: 267: 264: 261: 258: 252: 249: 243: 240: 235: 232: 227: 224: 221: 218: 215: 192: 189: 186: 151: 148: 104: 101: 65: 62: 52:in 1998 using 46:Emmanuel Ullmo 13: 10: 9: 6: 4: 3: 2: 805: 794: 791: 789: 786: 784: 781: 779: 776: 775: 773: 762: 757: 755: 750: 748: 743: 742: 736: 734: 730: 726: 721: 718: 714: 707: 704: 703: 699: 693: 689: 685: 679: 675: 671: 666: 665: 662:Other sources 661: 653: 649: 645: 641: 640: 632: 630: 626: 621: 617: 613: 609: 604: 599: 595: 591: 590: 582: 579: 572: 567: 563: 562:Zariski dense 544: 541: 535: 523: 517: 506: 498: 495: 492: 482: 481: 480: 466: 463: 460: 452: 448: 444: 428: 425: 422: 415: 411: 389: 378: 375:defined over 374: 370: 365: 359: 357: 355: 347: 345: 343: 339: 338:torsion point 335: 319: 316: 310: 298: 268: 265: 259: 247: 241: 230: 222: 219: 216: 206: 205: 204: 190: 187: 184: 176: 172: 168: 146: 135: 132: 128: 124: 120: 99: 89: 86: 82: 79: 75: 71: 63: 61: 59: 55: 51: 50:Shou-Wu Zhang 47: 43: 39: 35: 31: 27: 23: 19: 733:expanding it 722: 669: 643: 637: 593: 587: 581: 565: 450: 446: 442: 441:is called a 409: 376: 368: 366: 363: 351: 333: 287: 170: 133: 126: 122: 87: 85:number field 80: 69: 67: 21: 15: 165:denote the 117:denote the 18:mathematics 772:Categories 692:1281.14002 620:0934.14013 573:References 414:subvariety 379:, and let 136:, and let 545:ϵ 527:^ 510:¯ 496:∈ 461:ϵ 426:⊂ 393:^ 356:in 1998. 302:^ 269:ϵ 251:^ 234:¯ 220:∈ 185:ϵ 150:^ 129:into its 103:¯ 64:Statement 690:  680:  618:  371:be an 288:Since 90:, let 72:be an 32:about 20:, the 723:This 598:arXiv 348:Proof 336:is a 78:genus 28:, in 729:stub 678:ISBN 542:< 464:> 367:Let 266:< 188:> 68:Let 48:and 688:Zbl 648:doi 644:147 616:Zbl 608:doi 594:147 564:in 169:on 121:of 76:of 40:in 16:In 774:: 686:. 642:, 628:^ 614:, 606:, 592:, 344:. 760:e 753:t 746:v 735:. 694:. 650:: 623:. 610:: 600:: 568:. 566:X 548:} 539:) 536:P 533:( 524:h 518:: 515:) 507:K 502:( 499:X 493:P 490:{ 467:0 451:X 447:A 429:A 423:X 410:A 390:h 377:K 369:A 334:P 320:0 317:= 314:) 311:P 308:( 299:h 272:} 263:) 260:P 257:( 248:h 242:: 239:) 231:K 226:( 223:C 217:P 214:{ 191:0 171:J 147:h 134:J 127:C 123:K 100:K 88:K 81:g 70:C

Index

mathematics
Fedor Bogomolov
arithmetic geometry
algebraic curves
Manin-Mumford conjecture
arithmetic geometry
Emmanuel Ullmo
Shou-Wu Zhang
Arakelov theory
abelian varieties
algebraic curve
genus
number field
algebraic closure
Jacobian variety
NĂ©ron-Tate height
ample symmetric divisor
torsion point
Manin-Mumford conjecture
Arakelov theory
abelian variety
subvariety
Zariski dense
Annals of Mathematics
arXiv
alg-geom/9606017
doi
10.2307/120987
Zbl
0934.14013

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

↑