В математике, в частности подполе алгебраической геометрии, рациональное отображение или рациональное отображение является разновидностью частичной функции между алгебраическими разновидностями. В этой статье используется соглашение о том, что многообразия неприводимы.
Формально, рациональное отображение между двумя разновидностями является классом эквивалентности пары , в которых - морфизм разновидностей из непустого открытого множества в и две такие пары и считаются эквивалентными если и совпадают на пересечение (это, в частности, пусто истинно, если пересечение пусто, но поскольку считается несократимым, это невозможно). Доказательство того, что это определяет отношение эквивалентности, основывается на следующей лемме:
называется бирациональным, если существует рациональное отображение что является его обратным, где композиция понимается в указанном выше смысле.
Важность рациональных отображений для алгебраической геометрии заключается в связи между такими картами и отображениями между полями функций в и . Даже беглое рассмотрение определений обнаруживает сходство между понятиями рационального отображения и рациональной функции; на самом деле рациональная функция - это просто рациональное отображение, диапазон которого - проективная линия. Затем композиция функций позволяет нам «отодвинуть» рациональные функции вдоль рационального отображения, так что одно рациональное отображение индуцирует a гомоморфизм полей . В частности, центральной является следующая теорема: функтор из категории проективных многообразий с доминирующими рациональными отображениями (над фиксированным базовым полем, например ) в категорию конечно порожденных расширений поля основного поля с обратным включением расширений как морфизмов, что связывает каждое разнообразие со своим функциональное поле и каждое отображение на связанную карту функциональных полей, является эквивалентом категорий.
Имеется рациональная карта отправка отношения . Поскольку точка не может иметь изображения, это отображение является только рациональным, а не морфизмом разновидностей. В более общем смысле существуют рациональные карты , отправляющие отправив -кортецу -кортецу, забыв последнюю координаты.
На связном многообразии включение любого открытого подмногообразия является бирациональной эквивалентностью, поскольку у этих двух разновидностей есть эквивалентные функциональные поля. То есть каждая рациональная функция может быть ограничено рациональной функцией и, наоборот, рациональная функция определяет класс рациональной эквивалентности на . Прекрасным примером этого явления является бирациональная эквивалентность и , следовательно, .
Накрывающие пространства на открытых подмножествах разнообразия дают обширные примеры рациональных отображений, которые не являются бирациональными. Например, теорема Белого утверждает, что каждая алгебраическая кривая допускает отображение который разветвляется в трех точках. Тогда существует соответствующее накрывающее пространство , который определяет доминирующий рациональный морфизм, который не является бирациональным. Другой класс примеров взят из Гиперэллиптических кривых, которые являются двойными покрытиями , разветвленных в конечном числе точек.. Другой класс примеров - это взятие гиперповерхности и ограничение рационального отображения до . Это дает разветвленное покрытие. Например, Кубическая поверхность, заданная местом исчезновения имеет рациональную карту для отправка . Эта рациональная карта может быть выражена как степень расширение поля
Одним из канонических примеров бирационального отображения является Разрешение особенностей. Над полем характеристики 0 каждое сингулярное многообразие имеет ассоциированное неособое многообразие с бирациональным отображением . Эта карта обладает тем свойством, что она является изоморфизмом на и на слое над - нормальный делитель пересечения. Например, узловая кривая, такая как является бирациональным по отношению к поскольку топологически это эллиптическая кривая с одной из сжатых окружностей. Тогда бирациональное отображение задается посредством нормализации.
Два многообразия называются бирационально эквивалентными, если между ними существует бирациональное отображение; эта теорема утверждает, что бирациональная эквивалентность многообразий тождественна изоморфизму их функциональных полей как расширений основного поля. Это несколько более либерально, чем понятие изоморфизма многообразий (которое требует глобально определенного морфизма, чтобы засвидетельствовать изоморфизм, а не просто рационального отображения), поскольку существуют многообразия, которые являются бирациональными, но не изоморфными.
Обычный пример: бирационально по отношению к разнообразию содержится в , состоящий из набора проективных точек такой, что , но не изоморфен. Действительно, любые две строки в пересекаются, но линии в определяется как и не могут пересекаться, поскольку их пересечение будет иметь нулевые координаты. Чтобы вычислить функциональное поле , мы переходим к аффинному подмножеству (которое не меняет поле, что является проявлением того факта, что рациональное отображение зависит только от его поведения в любое открытое подмножество своего домена), в котором ; в проективном пространстве это означает, что мы можем взять и, следовательно, идентифицировать это подмножество с аффинным -самолет. Здесь координатное кольцо равно
через карту . И поле дробей последнего равно , изоморфно полю . Обратите внимание, что мы никогда не производили рациональную карту, хотя, проследив за доказательством теоремы, это возможно.