Гіпотеза Берча і Свіннертона-Даєра

Матеріал з testwiki
Перейти до навігації Перейти до пошуку

Шаблон:Проблеми тисячоліття

Синій графік pXNpp для рівняння y2=x35x.
X знаходиться в межах перших 100000 простих чисел. Шкала абсцис — log(log(X)); шкала ординат знаходиться в логарифмічному масштабі. Гіпотеза передбачає, що графік повинен утворювати лінію нахилу, що дорівнює за рангом кривої, рівняння для якого він утворений. В разі y2=x35x ранг кривої дорівнює 1. Червоним кольором, для прикладу, намальована лінія з рангом кривизни 1.

Гіпотеза Берча — Свіннертона-Даєра описує множину раціональних розв'язків рівнянь, які визначають еліптичною кривою. Це є відкритою проблемою у теорії чисел і широко визнана як одна з найскладніших математичних проблем. Гіпотеза була вибрана в якості однієї з семи проблем тисячоліття, включених Математичним інститутом Клея до списку задач за які запропонована премію в розмірі 1 000 000 доларів за перше правильне доведення.[1] Гіпотеза названа на честь математиків Шаблон:Нп та Пітера Свіннертона-Даєра, які сформулювали гіпотезу в першій половині 1960-х років за допомогою машинних обчислень. Станом на 2016 рік доведено лише окремі випадки гіпотези.

У пошуках відповіді на питання — за яких умов діофантови рівняння у вигляді алгебраїчних рівнянь мають рішення в цілих і раціональних числах, Брайан Берч і Пітер Свіннертона-Даєр на початку 1960-х років припустили, що ранг r еліптичної кривої E над рішень дорівнює порядку нуля дзета-функції Хассе — Вейля E(L,s) в точці s=1. Більш детально, гіпотеза стверджує, що існує ненульова межаBE=lim\limits s1E(L,s)(s1)r, де значення BE залежить від тонких арифметичних інваріантів кривих.

Найважливішим частковим результатом станом на 2011 рік залишається доведене в 1977 році Джоном Коутсом і Ендрю Вайлзом твердження, справедливе для великого класу еліптичних кривих про те, що якщо крива E містить нескінченно багато раціональних точок, то E(L,1)=0E(L,1)=0.

Гіпотеза є єдиним відносно простим загальним способом обчислення рангу еліптичних кривих.

Примітки

Шаблон:Reflist

Література

Шаблон:Розділи математики

Шаблон:Rq