15.102. Топология комплексных проективных кривых
Для того, чтобы понять полную структуру комплексной проективной кривой, определенной нам необходимо знать ее поведение в бесконечности. В есть еще одна точка ветвления, похожая на точку в (просто замените х на на и заметьте, что мы смотрим на близко от ситуация такая же, как прежде). Топологическую природу зависимости между можно тогда понять с помощью модели, видимой на рисунке 15.9. Сфера (сфера покрыта двумя сферами (как луковичной шелухой), разрезанными вдоль линии от до и поперечно соединенными. Разрез от до произволен, но поперечное соединение необходимо, чтобы создать структуру точки ветвления в и
Рисунок 15.9: Покрытие сферы
Покрытие сферы х этими двумя листовыми поверхностями выражает «покрытие проективного отображения» общей точки на кривой до ее х координаты и показывает, что оно двукратное, исключая точки ветвления Сама двулистная поверхность захватывает внутреннюю топологическую структуру кривой, и эту структуру можно гораздо легче увидеть, отделяя две кожицы от сферы х и друг от друга, затем соединяя требуемые края (рисунок 15.10). Края, которые следует соединить, обозначены теми же буквами, и мы видим, что результирующая поверхность топологически является сферой.
Рисунок 15.10: Соединение отдельных листов
Этот результат можно скорее получить, проектируя каждую точку (х,у) на кривой в у, поскольку это взаимно однозначное непрерывное отображение между кривой и у-осью, которое, как мы знаем, топологически является сферой (когда включена Кривая здесь была смоделирована разрезанием и соединением листов на сфере, потому что этот метод распространяется на все алгебраические кривые. Теория Ньютона Пюизе означает, что любую алгебраическую зависимость можно моделировать конечнолистным покрытием сферы, с конечным множеством точек ветвления. Самая общая структура точки ветвления определена предписанием для поперечного соединения (перестановки) листов, и разрезая листы между точками ветвления (или, если необходимо, до дополнительной точки) их можно вновь соединить, чтобы создать предписанное поведение ветвления.
Самый интересный случай этого метода — кубическая кривая
Эта зависимость определяет покрытие в сфере х, которое двулистное, поскольку для каждой х имеются положительное и отрицательное значения для у, с точками ветвления в (Точка ветвления в объясняется в нижеследующих упражнениях.) Тагам образом, если мы разрезаем листы от до а и от до требуемое соединение похоже на показанное на рисунке 15.11. Мы находим, как сделал Риман, что эта поверхность — тор, и, следовательно, топологически не такая, как сфера. Оказалось, что это открытие было открытием понимания кубических кривых и эллиптических функций, как мы увидим в следующей главе.
Рисунок 15.11: Соединение листов кубической кривой
Сразу видно, что рассматривая отношения вида
можно получить римановы поверхности формы, показанной на рисунке 15.12. Эти поверхности топологически отличаются друг от друга количеством «дыр»: для сферы, 1 для тора и т.д. Этот простой топологический инвариант оказывается родом, который также определяет тип функций, которые могут параметризовать соответствующую комплексную кривую. Другие геометрические и аналитические свойства рода будут раскрываться в следующих нескольких главах. Топологическое значение рода было установлено Мёбиусом (1863), когда он показал, что любая замкнутая поверхность в обыкновенном пространстве топологически эквивалентна одной из форм, видимых на рисунке 15.12.
Рисунок 15.12: Общая риманова поверхность
Упражнения
(см. скан)