Русская Википедия:Бирациональная геометрия
Бирациональная геометрия — это раздел алгебраической геометрии, основной задачей которого является классификация алгебраических многообразий с точностью до бирациональной эквивалентностиШаблон:Sfn. Это сводится к изучению отображений, которые задаются рациональными функциями, а не многочленами. Отображение может быть не определено в некоторых точках, являющихся полюсами рациональной функции.
Бирациональные отображения
Рациональное отображение одного (Шаблон:Не переведено 5) многообразия X в другое многообразие Y (записывается как пунктирная стрелка X ⇢ Y) определяется как морфизм из непустого открытого подмножества U многообразия X в Y. По определению топологии Зарисского, используемой в алгебраической геометрии, непустое открытое подмножество U является всегда дополнением подмножества X меньшей размерности. Конкретно, рациональное отображение можно записать в координатах с использованием рациональных функций.
Бирациональное отображение из X в Y — это рациональное отображение f: X ⇢ Y такое, что существует рациональное отображение Y ⇢ X, обратное f. Бирациональное отображение порождает изоморфизм непустого открытого подмножества X в непустое открытое подмножество Y. В этом случае говорят, что X и Y бирационально эквивалентны. В алгебраических терминах два многообразия над полем k бирационально эквивалентны тогда и только тогда, когда их Шаблон:Не переведено 5 изоморфны как расширения поля k.
Специальный случай — бирациональный морфизм f: X → Y, означающий морфизм, являющийся бирациональным. Тогда f определена на всём X, но её обратная может быть определена не на всём Y. Обычно это случается, когда бирациональный морфизм сжимает некоторые подмногообразия X в точки в Y.
Говорят, что многообразие X Шаблон:Не переведено 5, если оно рационально эквивалентно аффинному пространству (или, эквивалентно, проективному пространству) той же размерности. Рациональность является вполне естественным свойством — она означает, что X без некоторого подмножества меньшей размерности может быть отождествлена с аффинным пространством без некоторого подмножества меньшей размерности. Например, окружность, заданная уравнением x2 + y2 − 1 = 0, является рациональной кривой, поскольку формулы
- <math>x=\frac{2\,t}{1+t^2}</math>
- <math>y=\frac{1-t^2}{1+t^2}\,,</math>
определяют бирациональное отображение прямой в окружность. (Если подставлять вместо t рациональные числа, получим пифагоровы тройки.) Обратное отображение переводит (x,y) в (1 − y)/x.
Более обще, гладкая квадратичная (степени 2) гиперповерхность X любой размерности n является рациональной ввиду cтереографической проекции (для квадратичного многообразия X над полем k должно предполагаться, что оно имеет Шаблон:Не переведено 5. Это выполняется автоматически, если k алгебраически замкнуто.). Чтобы определить стереографическую проекцию, предположим, что p — точка в X. Тогда бирациональное отображение из X в проективное пространство Pn прямых, проходящих через p, задаётся отображением точки q в X в прямую, проходящую через p и q. Это отображение является бирациональной эквивалентностью, но не изоморфизмом многообразий, поскольку оно не определено при q = p (и обратное отображение не определено для прямых, проходящих через p и лежащих в X).
Минимальные модели и разрешение особенностей
Любое алгебраическое многообразие бирационально эквивалентно проективному многообразию (Шаблон:Не переведено 5). Таким образом, для бирациональной классификации достаточно работать лишь с проективными многообразиями, и это наиболее обычное предположение.
Много глубже, по теореме Хиронаки о Шаблон:Не переведено 5 — над полем характеристики 0 (таком, как комплексные числа) любое многообразие является бирационально эквивалентным Шаблон:Не переведено 5 проективному многообразию. С учётом этого достаточно классифицировать гладкие проективные многообразия с точностью до бирациональной эквивалентности.
В размерности 1, если две гладкие проективные кривые бирационально эквивалентны, они изоморфны. Однако это не так в размерности 2 и выше ввиду конструкции раздутия. При раздутии любое гладкое проективное многообразие размерности 2 и выше бирационально эквивалентно бесконечному числу «бо́льших» многообразий, например, с бо́льшими числами Бетти.
Это приводит к идее минимальных моделей — существует ли единственное простейшее многообразие в каждом классе рацинальной эквивалентности? Современное определение минимальной модели — проективное многообразие X минимально, если Шаблон:Не переведено 5 KX имеет неотрицательную степень на любой кривой в X. Другими словами, KX является Шаблон:Не переведено 5. Легко проверить, что раздутые многообразия никогда не бывают минимальными.
Эта идея хорошо работает для алгебраических поверхностей (многообразий размерности 2). В современных терминах центральным результатом итальянской школы алгебраической геометрии в 1890—1910 годах, частью классификации, стал факт, что любая поверхность X бирационально эквивалентна либо произведению P1 × C для некоторой кривой C, либо минимальной поверхности YШаблон:Sfn. Эти два случая взаимно исключают друг друга и Y уникальна, если существует. Если Y существует, она называется минимальной моделью поверхности X.
Бирациональные инварианты
Шаблон:Main В первую очередь, не вполне понятно, как показать, что существует какая-либо нерациональная алгебраическая поверхность. Для того, чтобы это доказать, нужно использовать некоторые инварианты алгебраических многообразий.
Один полезный набор бирациональных инвариантов — Шаблон:Не переведено 5. Шаблон:Не переведено 5 гладкого многообразия X размерности n - это Шаблон:Не переведено 5 n-форм KX = Ωn, которое является n-ой внешней степенью Шаблон:Не переведено 5 многообразия X. Для целого числа d, d-ая тензорная степень KX опять является линейным расслоением. Для d ≥ 0 векторное пространство глобальных сечений H0(X, KXd) имеет замечательное свойство, что бирациональное отображение f: X ⇢ Y между гладкими проективными многообразиями порождает изоморфизм H0(X, KXd) ≅ H0(Y, KYd)Шаблон:Sfn.
Для d ≥ 0 определим d-ый плюрирод Pd как размерность векторного пространства H0(X, KXd). Тогда плюрироды являются бирациональными инвариантами гладких проективных многообразий. В частности, если какой-либо плюрирод Pd при d > 0 не равен нулю, то X не является рациональным многообразием.
Фундаментальным бирациональным инвариантом является Шаблон:Не переведено 5, которая измеряет рост плюриродов Pd при d, стремящемся к бесконечности. Размерность Кодаиры делит все многообразия размерности n на n + 2 типа с размерностями Кодаиры −∞, 0, 1, …, n. Этот инвариант показывает сложность многообразия, при этом проективное пространство имеет размерность Кодаиры −∞. Наиболее сложные многообразия — это те, у которых размерность Кодаиры совпадает с размерностью пространства n, и эти многообразия носят название многообразия Шаблон:Не переведено 5.
Более обще, любое естественное прямое слагаемое E(Ω1) r-ой тензорной степени кокасательного пучка Ω1 с r ≥ 0 векторное пространство глобальных сечений H0(X, E(Ω1)) является бирациональным инвариантом для гладких проективных многообразий. В частности, числа Ходжа hr,0 = dim H0(X, Ωr) являются бирациональными инвариантами X. (Большинство других чисел Ходжа hp, q не являются бирациональными инвариантами, что показывается раздутием.)
Фундаментальная группа π1(X) является бирациональным инвариантом для гладких комплексных проективных многообразий.
«Теорема о слабой факторизации», которую доказали Абрамович, Кару, Мацуки и ВлодарчикШаблон:Sfn, утверждает, что любое бирациональное отображение между двумя гладкими комплексными проективными многообразиями может быть разложено на конечное число раздутий или сдутий гладких подмногообразий. Это важно знать, однако остаётся трудной задача определения, являются ли два гладких проективных многообразия бирационально эквивалентными.
Минимальные модели в высоких размерностях
Шаблон:Main Проективное многообразие X называется минимальным, если Шаблон:Не переведено 5 KX является Шаблон:Не переведено 5. Для X размерности 2 достаточно рассматривать гладкие многообразия. В размерностях 3 и выше минимальным многообразиям должно быть разрешено иметь некоторые слабые особенности, для которых KX остаётся имеющим хорошее поведение. Они называются Шаблон:Не переведено 5.
Тем не менее, из верности гипотезы о минимальной модели следовало бы, что любое многообразие X либо покрывается рациональными кривыми, либо бирационально эквивалентно минимальному многообразию Y. Если таковое существует, Y называется минимальной моделью многообразия X.
Минимальные модели не единственны в размерностях 3 и выше, но любые два минимальных бирациональных многообразия очень близки. Например, они изоморфны вне подмножеств с коразмерностью 2 и выше, и, более точно, они связаны последовательностью Шаблон:Не переведено 5. Так что гипотеза о минимальной модели давала бы существенную информацию о бирациональной классификации алгебраических многообразий.
Мори доказал гипотезу для размерности 3Шаблон:Sfn. Есть большой прогресс в более высоких размерностях, хотя главная проблема остаётся открытой. В частности, Биркар, Кассини, Хакон и МаккернанШаблон:Sfn доказали, что любое многообразие Шаблон:Не переведено 5 над полем характеристики 0 имеет минимальную модель.
Унилинейчатые многообразия
Шаблон:Main Многообразие называется унинолинейчатым, если оно покрыто рациональными кривыми. Унилинейчатое многообразие не имеет минимальной модели, но существует хорошая замена — Биркар, Кассини, Хакон и Маккернан показали, что любое унилинейчатое многообразие над полем с нулевой характеристикой является бирациональным расслоению Фано[1]. Это ведёт к задаче бирациональной классификации расслоений Фано и (как наиболее интересный случай) Шаблон:Не переведено 5. По определению, проективное многообразие X является многообразием Фано, если антиканонический пучок KX* является обильным. Многообразия Фано можно рассматривать как наиболее близкие к проективным пространствам.
В размерности 2 любое многообразие Фано (известное как Шаблон:Не переведено 5) над алгебраически замкнутым полем рационально. Главным открытием 1970-х годов было то, что, начиная с размерности 3, существует много многообразий Фано, не являющихся Шаблон:Не переведено 5. В частности, гладкие кубические трёхмерные многообразия, согласно Клеменсу и ГриффитсуШаблон:Sfn, не рациональны, а гладкие трёхмерные многообразия четвёртой степени не рациональны согласно Исковских и МанинуШаблон:Sfn. Всё же, задача точного определения, какие многообразия Фано рациональны, далека от решения. Например, неизвестно, существует ли нерациональная гладкая кубическая гиперповерхность в Pn+1 с n ≥ 4.
Группы бирациональных автоморфизмов
Алгебраические многообразия значительно отличаются по количеству их бирациональных автоморфизмов. Любое многообразие Шаблон:Не переведено 5 очень жёстко в том смысле, что его группа бирациональных автоморфизмов конечна. Другая крайность, группа бирациональных автоморфизмов проективного пространства Pn над полем k, известная как группа Кремоны Crn(k), велика (имеет бесконечную размерность) для n ≥ 2. Для n = 2 комплексная группа Кремоны Cr2(C) порождается «квадратичным преобразованием»
- [x,y,z] ↦ [1/x, 1/y, 1/z]
вместе с группой PGL(3,C) автоморфизмов P2, согласно Максу Нётеру и Гвидо Кастельнуово. В отличие от этого, группа Кремоны в размерности n ≥ 3 очень таинственна, для неё не известно явного множества генераторов.
Исковских и МанинШаблон:Sfn показали, что группа бирациональных автоморфизмов гладких гиперповерхностей четвёртого порядка (квартик) трёхмерных многообразий равна её группе автоморфизмов, которая конечна. В этом смысле трёхмерны многообразия четвёртого порядка далеки от рациональности, поскольку группа бирациональных автоморфизмов Шаблон:Не переведено 5 огромна. Этот феномен «бирациональной жёсткости» был открыт с тех пор для многих расслоенных пространств Фано.
Примечания
Литература
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Статья
- ↑ Шаблон:Harv; Из следствия 1.3.3 вытекает, что любое унилинейчатое многообразие в нулевой характеристике является бирациональным расслоению Фано, если использовать простой факт, что унилинейчатое многообразие X покрывается семейством кривых, для которых KX имеет отрицательную степень. Указанное утвержение можно найти в книге Дебарре Шаблон:Harv, Следствие 4.11 и Пример 4.7(1).
