|
Эту идею после надлежащего осмысления можно совершенно разумно перевести на язык математики. Результат такого перевода и называется проективной геометрией. Это очень элегантный предмет, и математики XVIII и XIX вв. его обожали. Со временем оказалось, что сказать им по этому вопросу больше нечего — все уже сказано, и в таком состоянии эта область пребывала до тех пор, пока математики XX в. не решили обобщить алгебраическую геометрию на многомерные пространства и использовать комплексные числа. В этот момент стало ясно, что с тем же успехом можно довести дело до логического конца и вместо действительных решений систем алгебраических уравнений в евклидовом пространстве изучать комплексные решения в проективном пространстве.
Позвольте мне суммировать сказанное. Проективное комплексное алгебраическое многообразие похоже на кривую, определенную алгебраическим уравнением, за исключением того, что: • число уравнений и переменных может быть любым по нашему желанию (алгебраическое многообразие); • переменные могут быть комплексными, а не действительными (комплексность); • переменные могут принимать бесконечные значения разумным образом (проективность).
Добавим здесь же, что несложно разобраться и с еще одним термином из формулировки: с невырожденностью. Это слово означает, что многообразие является гладким и не имеет острых гребней или мест, где его форма сложнее, чем просто гладкий кусок пространства. Поверхность Куммера, например, имеет сингулярности в 16 двойных точках. Разумеется, нам нужно еще объяснить, что означает «гладкость», когда переменные комплексны и некоторые из них могут быть бесконечными, но на это есть рутинные общепринятые методики.
Вот мы и добрались почти до середины формулировки гипотезы Ходжа. Мы уже знаем, о чем идет речь, но пока не понимаем, как, по мнению Ходжа, эта штука должна себя вести. Теперь нам нужно разобраться с самыми глубокими и в то же время формальными аспектами: алгебраическими циклами, классами и особенно классами Ходжа. Однако самую суть я могу раскрыть прямо сейчас. Все это технические средства, помогающие получить частичный ответ на фундаментальнейший вопрос о нашей обобщенной кривой: какой она формы? Оставшаяся часть формулировки — «рациональная линейная комбинация» — говорит о том, как в соответствии с общими надеждами следует ответить на этот вопрос. Смотрите, как далеко мы продвинулись. Мы уже понимаем, что примерно представляет собой гипотеза Ходжа. Она говорит о том, что форму любой обобщенной поверхности, задаваемой некими уравнениями, можно определить при помощи каких-то алгебраических манипуляций с вещами, известными как циклы. Я мог бы сказать об этом в самом начале главы, но тогда эта формулировка вряд ли объяснила бы много больше, чем официальная. Теперь же, когда мы знаем, что такое многообразие, все понемногу проясняется. Кроме того, все начинает сильно напоминать топологию. «Определение формы путем алгебраических вычислений» поразительно похоже на идеи Пуанкаре об алгебраических инвариантах топологических пространств. Так что следующий шаг потребует обсуждения алгебраической топологии. В активе Пуанкаре значится открытие трех важных типов инвариантов, определенных в терминах трех концепций: гомотопии, гомологии и когомологии. Нас в данном случае интересует когомология — и конечно (кто бы мог подумать!), именно ее объяснить труднее всего. Я думаю, пора приступать. В трехмерном пространстве с действительными координатами пересечением сферы и плоскости (если они, конечно, вообще пересекаются) является окружность. Сфера — это алгебраическое многообразие; окружность — тоже алгебраическое многообразие и притом входит в состав сферы. Мы называем это подмногообразием. В более общем случае, если взять уравнения (с большим числом переменных, комплексные, проективные), определяющие некое многообразие, и добавить к ним еще несколько уравнений, то некоторые решения — те, что не удовлетворяют новым уравнениям, — как правило, теряются. |
