И целые числа, и многочлены (от одной переменной с коэффициентами в Q, R или Z/pZ) можно делить с остатком. Эта и подобные аналогии в структуре целых чисел и многочленов играли и продолжают играть важную роль в математике, особенно в теории чисел. В этом курсе мы исследуем такие аналогии в контексте теории чисел: на примере непрерывных дробей, уравнения Пелля, квадратичных вычетов, и abc-гипотезы. От слушателей требуется знакомство с пределами и арифметикой вычетов.

Для каждого простого p существует нормирование на поле рациональных чисел, пополнение относительно которого называется p-адическими числами. Эти пополнения играют важную роль в теории чисел и смежных областях математики. В этом курсе мы узнаем, что такое p-адические числа, и обсудим несколько элементарных применений к задачам алгебры и теории чисел. От слушателей потребуется знакомство с арифметикой вычетов и пополнением метрического пространствa.

Когда Гаусс написал в 1801 г., что «Проблема различения простых и составных чисел и разложения последних на простые сомножители, как известно, является одной из самых важных и полезных в арифметике» он не знал, что 200 лет спустя эта проблема будет иметь огромное значение для криптографии: ее приложениями каждый день пользуются миллионы людей. Мы обсудим, как проверить простоту целых чисел детерминированными и вероятностными алгоритмами. От слушателей потребуется знакомство с арифметикой вычетов, включая малую теорему Ферма.

В прошлом двадцатом веке случилось событие, равного по масштабу которого в математике не было за всю ее историю. 19-го сентября 1994 года была доказана теорема, сформулированная Пьером де Ферма (1601-1665) более 350-ти лет назад в 1637 году. Она известна также как «последняя теорема Ферма» или как «большая теорема Ферма», поскольку есть еще так называемая "малая теорема Ферма". Ее доказал 41-летний, до этого момента в математическом сообществе ничем особо непримечательный, и по математическим меркам уже немолодой, профессор Принстонского университета Эндрю Уайлс. Удивительно, что про это событие толком не знают не только наши обычные российские обыватели, но и многие интересующиеся наукой люди, включая даже немалое число ученых в России, так или иначе использующих математику.

Начав с основной теоремы арифметики, мы расскажем про АВС-гипотезу, которая была сформулирована в 1985 году и быстро стала одной из центральных проблем в теории чисел из-за её связей с другими нерешёнными задачами, а также из-за того, что многие уже доказанные известные результаты были бы её следствиями.

Как известно, ежа нельзя причесать. Иными словами, на двумерной сфере нет касательного векторного поля, нигде не обращающегося в нуль. Трехмерная сфера ведет себя в этом отношении совсем иначе: на ней можно построить три касательных векторных поля, линейно независимых в каждой точке. Это означает, что трехмерная сфера параллелизуема. Возникает вопрос, для каких n сфера размерности n–1 параллелизуема. С этим вопросом тесно связан другой: для каких n на n-мерном эвклидовом пространстве можно ввести билинейное умножение, при котором произведение любых двух ненулевых векторов ненулевое. Рассматривая вещественные числа, комплексные числа, кватернионы или октонионы, мы видим, что это можно сделать, если n принимает одно из значений 1, 2, 4, 8. Оказывается, что этот список значений и является ответом на оба поставленных выше вопроса. Это трудная теорема. Ее можно доказать методами К-теории. Курс будет посвящен объяснению основных идей доказательства.

Числа Гурвица были введены А. Гурвицем в конце 19 века. Они перечисляют разветвленные накрытия двумерных поверхностей и имеют множество других проявлений — перечисляют разнообразные классы графов, являются коэффициентами связи в симметрических группах, представляют собой инварианты Громова–Виттена комплексных кривых.

Предлагаются наброски элементарных доказательств: теоремы Гаусса о построимости правильных многоугольников; теоремы о неразрешимости уравнений в вещественных радикалах; теорем Руффини-Абеля и Галуа о неразрешимости уравнений в комплексных радикалах. Приводимые доказательства не используют термина «группа Галуа» (даже термина «группа»). Несмотря на отсутствие этого термина, идеи приводимых доказательств являются отправными для теории Галуа (которая вместе с теорией групп развилась из опыта группировки корней многочлена, с помощью которой их можно выразить через радикалы). Приводимые идеи являются отправными также для конструктивной теории Галуа, активно развивающейся в настоящее время.

Задача о конгруэнтных числах, упоминавшаяся еще в арабских математических текстах X века, состоит в следующем: для каких рациональных чисел s найдется прямоугольный треугольник с рациональными сторонами и площадью s? Удивительным образом эта проблема оказывается связанной с самой современной математикой — ее решение может быть получено по модулю так называемой гипотезы Берча и Свиннертона-Дайра, входящей в список «Проблем тысячелетия» института Клэя и за решение которой предлагается миллион долларов. Я попытаюсь рассказать о том, откуда берется такая связь. По пути нам встретится множество объектов и теорем, имеющих огромную важность в современной арифметической геометрии и теории чисел. Мы обсудим эллиптические кривые и закон сложения на них, теорему Морделла–Вейля, поговорим о том, как полезно смотреть на решения уравнений по модулю простого числа pp и упомянем теорему Минковского–Хассе о квадратичных формах, по пути нам понадобятся такие классические утверждения как теорема Дирихле о простых числах в арифметических прогрессиях и квадратичный закон взаимности. Наконец, если останется время, мы упомянем об L-функциях эллиптических кривых и модулярных формах, — то без чего невозможно представить современную теорию чисел.

Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры (особенно коммутативной) для решения задач, возникающих в геометрии.