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

Рассмотрим квадратичную форму Q от двух переменных с целыми коэффициентами и зададимся вопросом, какие значения она может принимать на целочисленной решетке. В частном случае стандартной евклидовой формы это классический вопрос о том, когда заданное натуральное число представляется как сумма двух квадратов, исследованный Гауссом. Около 20 лет назад английский математик Джон Конвей предложил геометрический подход к этому вопросу, используя плоское бинарное дерево. Получаемое описание называется топографом формы. В случае когда форма принимает как положительные, так и отрицательные значения, они разделяются бесконечным путем на этом дереве, называемым рекой Конвея. Я расскажу, как река Конвея связана с парусом Арнольда из геометрической теории цепных дробей на целочисленной решетке, восходящей к Клейну.

При передаче и хранении информация портится (шум в телефонной трубке, ошибки жесткого диска и так далее). Чтобы восстановить исходное сообщение в систему передачи следует ввести избыточность, иными словами, передавать вместо него более длинное закодированное сообщение. Так возникает понятие корректирующего кода (кода, исправляющего ошибки). Математически это приводит к задаче упаковки шаров в конечномерном векторном пространстве над конечным полем. Эта задача, в свою очередь, оказывается в значительной части эквивалентна проблеме расположения точек в проективном пространстве “в наиболее общем положении”. Здесь уже недалеко и до алгебраической геометрии. Конструкцию кодов по алгебраической кривой нетрудно рассказать, когда эта кривая — прямая.

15 марта стало известно, что премию Абеля в 2016 году получит Эндрю Уайлз за доказательство гипотезы Таниямы-Симуры для полустабильных эллиптических кривых и следующее из этой гипотезы доказательство великой теоремы Ферма. В настоящее время премия составляет 6 миллионов норвежских крон, то есть примерно 50 миллионов рублей. По словам Уайлса, присуждение премии стало для него «полной неожиданностью». Вручение премии — прекрасный повод вспомнить несколько историй, связанных с теоремой Ферма.

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

В школе нам всем прививается ошибочное представление о том, что на множестве рациональных чисел Q имеется единственное естественное расстояние (модуль разности), относительно которого все арифметические операции непрерывны. Однако существует ещё бесконечное множество расстояний, так называемых p-адических, по одному на каждое число p. Согласно теореме Островского, «обычное» расстояние вместе со всеми p-адическими уже действительно исчерпывают все разумные расстояние Q. Термин адельная демократия введен Ю. И. Маниным. Согласно принципу адельной демократии, все разумные расстояния на Q равны перед законами математики (может быть, лишь традиционное «чуть=чуть равнее…». В курсе будет введено кольцо аделей, позволяющее работать со всеми этими расстояниями одновременно.

Ж. Л. Лагранж доказал, что последовательность неполных частных (начиная с некоторого места) периодична, если и только если число x — квадратичная иррациональность. Р. О. Кузьмин доказал, что в последовательности неполных частных почти любого вещественного числа доля d_m равных m неполных частных одинакова (для типичных вещественных чисел). Доля d_m убывает при m→∞ как 1/m^2 и её величина была предсказана Гауссом (ничего не доказавшим). В. И. Арнольда высказал (лет 20 назад) гипотезу, что статистика Гаусса–Кузьмина d_m выполняется также для периодов цепных дробей корней квадратных уравнений x^2+px+q=0 (с целыми p и q): если выписать вместе неполные частные, составляющие периоды всех цепных дробей корней таких уравнений с p^2+q^2≤R^2, то доля неполного частного m среди них будет стремиться к числу d_m при R→∞. В. А. Быковский со своими хабаровскими учениками доказали недавно эту давнюю гипотезу. Несмотря на это, вопрос о статистике не букв, а составленных из них слов [a_k+1, a_k+2,…, a_k+T], которые являются периодами цепных дробей каких-либо корней x уравнений x^2+px+q=0 далеко не решён.

Высшую математическую награду мира, Филдсовскую премию, вручают один раз в четыре года математику не старше 40 лет. Таково было предложение Джона Филдса, президента Математического конгресса в 1924 году. За всю историю математики лишь 8 обладателей этой премии были выходцами из России. Один из них — Андрей Окуньков.

Лекции читает Аносов Дмитрий Викторович, доктор физико-математических наук, профессор, академик РАН. Летняя школа «Современная математика», г. Дубна. 16-18 июля 2002 г.

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