Бирациональная геометрия

Бирациональная геометрия — это раздел алгебраической геометрии, основной задачей которого является классификация алгебраических многообразий с точностью до бирациональной эквивалентности^[1]. Это сводится к изучению отображений, которые задаются рациональными функциями, а не многочленами. Отображение может быть не определено в некоторых точках, являющихся полюсами рациональной функции.

Бирациональное отображение из X в Y — это рациональное отображение f: X ⇢ Y такое, что существует рациональное отображение Y ⇢ X, обратное f. Бирациональное отображение порождает изоморфизм непустого открытого подмножества X в непустое открытое подмножество Y. В этом случае говорят, что X и Y бирационально эквивалентны. В алгебраических терминах два многообразия над полем k бирационально эквивалентны тогда и только тогда, когда их поля функций^[англ.] изоморфны как расширения поля k.

Специальный случай — бирациональный морфизм f: X → Y, означающий морфизм, являющийся бирациональным. Тогда f определена на всём X, но её обратная может быть определена не на всём Y. Обычно это случается, когда бирациональный морфизм сжимает некоторые подмногообразия X в точки в Y.

Говорят, что многообразие X рационально^[англ.], если оно рационально эквивалентно аффинному пространству (или, эквивалентно, проективному пространству) той же размерности. Рациональность является вполне естественным свойством — она означает, что X без некоторого подмножества меньшей размерности может быть отождествлена с аффинным пространством без некоторого подмножества меньшей размерности. Например, окружность, заданная уравнением x² + y² − 1 = 0, является рациональной кривой, поскольку формулы

${\displaystyle x={\frac {2\,t}{1+t^{2}}}}$

${\displaystyle y={\frac {1-t^{2}}{1+t^{2}}}\,,}$

определяют бирациональное отображение прямой в окружность. (Если подставлять вместо t рациональные числа, получим пифагоровы тройки.) Обратное отображение переводит (x,y) в (1 − y)/x.

Более обще, гладкая квадратичная (степени 2) гиперповерхность X любой размерности n является рациональной ввиду стереографической проекции (для квадратичного многообразия X над полем k должно предполагаться, что оно имеет k-рациональную точку^[англ.]. Это выполняется автоматически, если k алгебраически замкнуто.). Чтобы определить стереографическую проекцию, предположим, что p — точка в X. Тогда бирациональное отображение из X в проективное пространство Pⁿ прямых, проходящих через p, задаётся отображением точки q в X в прямую, проходящую через p и q. Это отображение является бирациональной эквивалентностью, но не изоморфизмом многообразий, поскольку оно не определено при q = p (и обратное отображение не определено для прямых, проходящих через p и лежащих в X).

Любое алгебраическое многообразие бирационально эквивалентно

Много глубже, по теореме Хиронаки о разрешении особенностей^[англ.] — над полем характеристики 0 (таком, как комплексные числа) любое многообразие является бирационально эквивалентным гладкому^[англ.] проективному многообразию. С учётом этого достаточно классифицировать гладкие проективные многообразия с точностью до бирациональной эквивалентности.

В размерности 1, если две гладкие проективные кривые бирационально эквивалентны, они изоморфны. Однако это не так в размерности 2 и выше ввиду конструкции раздутия. При раздутии любое гладкое проективное многообразие размерности 2 и выше бирационально эквивалентно бесконечному числу «бо́льших» многообразий, например, с бо́льшими числами Бетти.

Это приводит к идее

В первую очередь, не вполне понятно, как показать, что существует какая-либо нерациональная алгебраическая поверхность. Для того, чтобы это доказать, нужно использовать некоторые инварианты алгебраических многообразий.

Один полезный набор бирациональных инвариантов —

Фундаментальным бирациональным инвариантом является размерность Кодаиры^[англ.], которая измеряет рост плюриродов P_d при d, стремящемся к бесконечности. Размерность Кодаиры делит все многообразия размерности n на n + 2 типа с размерностями Кодаиры −∞, 0, 1, …, n. Этот инвариант показывает сложность многообразия, при этом проективное пространство имеет размерность Кодаиры −∞. Наиболее сложные многообразия — это те, у которых размерность Кодаиры совпадает с размерностью пространства n, и эти многообразия носят название многообразия общего типа^[англ.].

Более обще, любое естественное прямое слагаемое E(Ω¹) r-ой тензорной степени кокасательного пучка Ω¹ с r ≥ 0 векторное пространство глобальных сечений H⁰(X, E(Ω¹)) является бирациональным инвариантом для гладких проективных многообразий. В частности, числа Ходжа h^r,0 = dim H⁰(X, Ω^r) являются бирациональными инвариантами X. (Большинство других чисел Ходжа h^{p, q} не являются бирациональными инвариантами, что показывается раздутием.)

Фундаментальная группа π₁(X) является бирациональным инвариантом для гладких комплексных проективных многообразий.

«Теорема о слабой факторизации», которую доказали Абрамович, Кару, Мацуки и Влодарчик^[4], утверждает, что любое бирациональное отображение между двумя гладкими комплексными проективными многообразиями может быть разложено на конечное число раздутий или сдутий гладких подмногообразий. Это важно знать, однако остаётся трудной задача определения, являются ли два гладких проективных многообразия бирационально эквивалентными.

Проективное многообразие X называется минимальным, если

Минимальные модели не единственны в размерностях 3 и выше, но любые два минимальных бирациональных многообразия очень близки. Например, они изоморфны вне подмножеств с коразмерностью 2 и выше, и, более точно, они связаны последовательностью флипов^[англ.]. Так что гипотеза о минимальной модели давала бы существенную информацию о бирациональной классификации алгебраических многообразий.

Мори доказал гипотезу для размерности 3^[5]. Есть большой прогресс в более высоких размерностях, хотя главная проблема остаётся открытой. В частности, Биркар, Кассини, Хакон и Маккернан^[6] доказали, что любое многообразие общего типа^[англ.] над полем характеристики 0 имеет минимальную модель.

Многообразие называется унинолинейчатым, если оно покрыто рациональными кривыми. Унилинейчатое многообразие не имеет минимальной модели, но существует хорошая замена — Биркар, Кассини, Хакон и Маккернан показали, что любое унилинейчатое многообразие над полем с нулевой характеристикой является бирациональным

В размерности 2 любое многообразие Фано (известное как поверхность дель Пеццо^[англ.]) над алгебраически замкнутым полем рационально. Главным открытием 1970-х годов было то, что, начиная с размерности 3, существует много многообразий Фано, не являющихся рациональными^[англ.]. В частности, гладкие кубические трёхмерные многообразия, согласно Клеменсу и Гриффитсу^[8], не рациональны, а гладкие трёхмерные многообразия четвёртой степени не рациональны согласно Исковских и Манину^[9]. Всё же, задача точного определения, какие многообразия Фано рациональны, далека от решения. Например, неизвестно, существует ли нерациональная гладкая кубическая гиперповерхность в Pⁿ⁺¹ с n ≥ 4.

Алгебраические многообразия значительно отличаются по количеству их бирациональных автоморфизмов. Любое многообразие общего типа^[англ.] очень жёстко в том смысле, что его группа бирациональных автоморфизмов конечна. Другая крайность, группа бирациональных автоморфизмов проективного пространства Pⁿ над полем k, известная как группа Кремоны Cr_n(k), велика (имеет бесконечную размерность) для n ≥ 2. Для n = 2 комплексная группа Кремоны Cr₂(C) порождается «квадратичным преобразованием»

[x,y,z] ↦ [1/x, 1/y, 1/z]

вместе с группой PGL(3,C) автоморфизмов P², согласно Максу Нётеру и Гвидо Кастельнуово. В отличие от этого, группа Кремоны в размерности n ≥ 3 очень таинственна, для неё не известно явного множества генераторов.

Исковских и Манин^[9] показали, что группа бирациональных автоморфизмов гладких гиперповерхностей четвёртого порядка (квартик) трёхмерных многообразий равна её группе автоморфизмов, которая конечна. В этом смысле трёхмерны многообразия четвёртого порядка далеки от рациональности, поскольку группа бирациональных автоморфизмов рационального многообразия^[англ.] огромна. Этот феномен «бирациональной жёсткости» был открыт с тех пор для многих расслоенных пространств Фано.