Куда разумнее было бы позволить математической науке развиваться по собственным законам и не ждать от нее немедленной пользы. Не пытайтесь выбирать лучшее, позвольте ей расти свободно. Математики стоят недорого: им, в отличие от физиков-экспериментаторов, не нужно дорогостоящее оборудование (на Большой адронный коллайдер уже потрачено €7,5 млрд, и расходы растут). Кроме того, в качестве компенсации математики обучают студентов. И вряд ли было бы разумно не разрешить некоторым из них работать над гипотезой Ходжа, если эта проблема их захватила.

Я планирую разобрать приведенную формулировку гипотезы Ходжа слово за словом. Простейшая из встречающихся в ней концепций — «алгебраическое многообразие». Это естественное следствие декартова подхода, когда тот при помощи координатной сетки связал геометрию с алгеброй (см. главу 3). При этом крохотный набор инструментов-кривых, введенный Евклидом и его последователями, — прямая, окружность, эллипс, парабола, гипербола — превратился в бездонный рог изобилия. Прямая линия — основа евклидовой геометрии — представляет собой совокупность точек, удовлетворяющих соответствующему алгебраическому уравнению: к примеру, y = 3x + 1. Замените тройку и единицу на другие числа — и получите другие прямые линии. Окружности нуждаются в квадратных уравнениях — как и эллипсы, параболы и гиперболы. В принципе, все, что можно определить геометрически, можно интерпретировать и иначе — алгебраически, — и наоборот. Так что, система координат делает геометрию ненужной? Или, может быть, она делает ненужной алгебру? Зачем пользоваться двумя инструментами, если оба они делают одно и то же?

У меня в гараже в ящике с инструментами есть и молоток, и клещи. Дело молотка — забивать в дерево гвозди. Дело клещей — вытаскивать их оттуда. Хотя, в принципе, гвозди можно забить и клещами, а у молотка с обратной стороны есть раздвоенный конец, предназначенный специально для выдергивания гвоздей. Зачем же мне оба инструмента? Затем, что одни вещи лучше делать молотком, а другие — клещами. Так же обстоит дело с алгеброй и геометрией: одни подходы более естественно реализуются при помощи геометрии, другие — при помощи алгебры. Главное — связь между ними. Если алгебраическое мышление буксует, переключайтесь на геометрию.

Координатная геометрия предлагает новую свободу выдумывать кривые. Просто напишите уравнение — и смотрите на его решения. Если ваше уравнение не слишком глупое, вроде x = x, должна получиться кривая. (Решениями уравнения x = x является вся координатная плоскость.) К примеру, я мог бы записать уравнение x³ + y³ = 3xy, решения которого можно увидеть на рис. 45. Эта кривая — декартов лист, и вы не найдете ее у Евклида. Ассортимент новых кривых, которые может выдумывать каждый, буквально бесконечен.

Математики всегда стремятся к обобщениям — это рефлекс, он включается автоматически. Стоит кому-нибудь натолкнуться на интересную идею, и тут же все задаются вопросом: возможно ли что-нибудь подобное в более общем случае? Идея Декарта, в частности, имеет по крайней мере три серьезных варианта обобщения, или модификации, и все они необходимы для понимании гипотезы Ходжа.

Во-первых, что происходит, если мы работаем с пространствами, отличными от плоскости? Трехмерное евклидово пространство имеет три координаты (x, y, z) вместо двух. В пространстве одно уравнение, как правило, определяет поверхность, а два уравнения — кривую, по которой поверхности пересекаются. Три уравнения, как правило, определяют точку. (Говоря «как правило», я имею в виду, что бывают и исключения, но они очень необычны и удовлетворяют особым условиям. Что-то подобное мы видели на плоскости в случае того самого «глупого» уравнения x = x.)

Здесь мы опять же можем придумывать новые уравнения и тем самым определять новые поверхности или кривые, которых нет у Евклида. В XIX в. это было модным занятием. Можно было даже опубликовать статью про новую поверхность, если у вас было что сказать о ней — что-нибудь по-настоящему интересное. В качестве типичного примера можно вспомнить поверхность, представленную Куммером в 1864 г., с уравнением

На рис. 46 представлен соответствующий график. Самое интересное в нем — 16 «двойных точек», где поверхность напоминает поверхности двух конусов, соединенных вершина к вершине. Как раз 16 — максимально возможное число таких точек для поверхности четвертого порядка, т. е. поверхности, описываемой уравнением четвертой степени. Это обстоятельство показалось достаточно интересным для публикации.

К XIX в. математики успели познать пьянящие радости пространств высоких измерений. Нет нужды останавливаться на трех координатах; почему не попробовать четыре, пять, шесть… миллион? И это не пустопорожние рассуждения. Это алгебра множества уравнений с множеством переменных, а они всплывают то и дело в самых разных точках математического ландшафта. К примеру, они упоминались в главе 5 (гипотеза Кеплера) и главе 8 (задача трех тел). Не идет речь и о пустых искусственных обобщениях: возможность размышлять о подобных вещах не только алгебраически, но и геометрически — мощный инструмент, который нет смысла ограничивать двумя или тремя измерениями просто потому, что только в таких пространствах мы можем рисовать картинки и строить модели.

Слово «измерение» может казаться внушительным и загадочным, но в данном контексте его значение вполне прозрачно: сколько вам нужно координат. К примеру, в четырехмерном пространстве четыре координаты (x, y, z, w), и в математическом смысле этого достаточно для определения. В четырех измерениях единственное уравнение обычно определяет трехмерную «гиперповерхность», два уравнения — поверхность (два измерения), три уравнения — кривую (одно измерение), а четыре — точку (нуль измерений). Каждое новое уравнение расправляется с одним измерением, т. е. с одной переменной. Так что мы можем предсказать, что в пространстве 17 измерений 11 уравнений определяют шестимерный объект, за исключением редких (и легко опознаваемых) случаев, когда некоторые из уравнений избыточны.

Объект, определенный таким образом, называется алгебраическим многообразием. В русском языке слово «многообразие» употребляется и в топологии, и в дифференциальной геометрии (топологии пополам с дифференциальным исчислением), и в алгебраической геометрии. В некоторых других языках традиционно существует два различных термина (в частности, в английском языке используются слова manifold и variety){41}. Конечно, алгебраическое многообразие можно было бы называть «многомерным пространством, определенным системой алгебраических уравнений», но вы сами, вероятно, понимаете, почему так никто не говорит.