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

Круг бирационалъно эквивалентен линии . Одна бирациональная карта между ними - стереографическая проекция , изображенная здесь.

В математике , бирациональная геометрия является полем алгебраической геометрии , в которой цель состоит в том, чтобы определить , когда две алгебраические многообразия изоморфны за пределами нижнего одномерные подмножеств. Это равносильно изучению отображений, которые задаются рациональными функциями, а не полиномами; карта может не быть определена там, где рациональные функции имеют полюсы.

Бирациональные карты [ править ]

Рациональные карты [ править ]

Рациональное отображение из одного сорта (понимается неприводимым ) к другой разновидности , написанным в виде пунктирной стрелки , определяются как морфизм из непустого открытого подмножества в . По определению топологии Зарисского, используемой в алгебраической геометрии, непустое открытое подмножество всегда плотно в , фактически являясь дополнением подмножества меньшей размерности. Конкретно, рациональную карту можно записать в координатах с использованием рациональных функций.${\ displaystyle X}$${\ displaystyle Y}$${\ displaystyle X - \ to Y}$${\ Displaystyle U \ подмножество X}$${\ displaystyle Y}$${\ displaystyle U}$${\ displaystyle X}$

Бирациональные карты [ править ]

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

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

Бирациональная эквивалентность и рациональность [ править ]

Многообразие X называется рациональным, если оно бирационально аффинному пространству (или, что эквивалентно, проективному пространству ) некоторой размерности. Рациональность - это очень естественное свойство: это означает, что X за вычетом некоторого подмножества более низкой размерности можно отождествить с аффинным пространством за вычетом некоторого подмножества более низкой размерности.

Бирациональная эквивалентность плоской коники [ править ]

Например, окружность с уравнением в аффинной плоскости является рациональной кривой, потому что существует рациональное отображение f : ⇢ X, заданное формулой${\ displaystyle X}$${\ displaystyle x ^ {2} + y ^ {2} -1 = 0}$${\ displaystyle \ mathbb {A} ^ {1}}$

${\displaystyle f(t)=\left({\frac {2t}{1+t^{2}}},{\frac {1-t^{2}}{1+t^{2}}}\right),}$

который имеет рациональный обратный g : X ⇢, заданный формулой${\displaystyle \mathbb {A} ^{1}}$

${\displaystyle g(x,y)={\frac {1-y}{x}}.}$

Применяя отображение п с т а рациональное число дает систематическое построение пифагорейских троек .

Рациональное отображение не определено в геометрическом месте где . Таким образом, на комплексной аффинной прямой , морфизм на открытом подмножестве , . Точно так же рациональное отображение g : X ⇢ не определено в точке in .${\displaystyle f}$${\displaystyle 1+t^{2}=0}$${\displaystyle \mathbb {A} _{\mathbb {C} }^{1}}$${\displaystyle f}$${\displaystyle U=\mathbb {A} _{\mathbb {C} }^{1}-\{i,-i\}}$${\displaystyle f:U\to X}$${\displaystyle \mathbb {A} ^{1}}$${\displaystyle (0,-1)}$${\displaystyle X}$

Бирациональная эквивалентность гладких квадрик и P ⁿ [ править ]

В более общем смысле, гладкая квадрика (степени 2) гиперповерхность X любой размерности n является рациональной посредством стереографической проекции . (Для Й квадрики над полем к , Х следует считать , чтобы иметь K -рациональную точку , это происходит автоматически , если к алгебраически замкнуто.) Для того, чтобы определить стереографическую проекцию, пусть р точка в X . Тогда бирациональное отображение из X в проективное пространство прямых, проходящих через p , задается отправкой точки q в X${\displaystyle \mathbb {P} ^{n}}$к прямой, проходящей через p и q . Это бирациональная эквивалентность, но не изоморфизм многообразий, потому что она не может быть определена там, где q = p (и обратное отображение не может быть определено на тех прямых через p, которые содержатся в X ).

Бирациональная эквивалентность квадратичной поверхности [ править ]

Вложение Сегре дает вложение , данное${\displaystyle \mathbb {P} ^{1}\times \mathbb {P} ^{1}\to \mathbb {P} ^{3}}$

${\displaystyle ([x,y],[z,w])\mapsto [xz,xw,yz,yw].}$

Изображение представляет собой квадратичную поверхность в . Это дает еще одно доказательство того, что эта квадратичная поверхность рациональна, поскольку она, очевидно, рациональна, имея открытое подмножество, изоморфное .${\displaystyle x_{0}x_{3}=x_{1}x_{2}}$${\displaystyle \mathbb {P} ^{3}}$${\displaystyle \mathbb {P} ^{1}\times \mathbb {P} ^{1}}$${\displaystyle \mathbb {A} ^{2}}$

Минимальные модели и разрешение особенностей [ править ]

Каждое алгебраическое многообразие бирационально проективному многообразию ( лемма Чоу ). Итак, для целей бирациональной классификации достаточно работать только с проективными многообразиями, и это обычно наиболее удобная установка.

Гораздо глубже теорема Хиронаки 1964 г. о разрешении особенностей : над полем характеристики 0 (например, комплексными числами) каждое многообразие бирационально гладкому проективному многообразию. При этом достаточно классифицировать гладкие проективные многообразия с точностью до бирациональной эквивалентности.

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

Это приводит к идее минимальных моделей : существует ли единственное простейшее многообразие в каждом классе бирациональной эквивалентности? Современное определение является то , что проективное многообразие X является минимальным , если каноническое линейное расслоение K _X имеет неотрицательное степень на каждой кривой в X ; Другими словами, K _X является неф . Легко убедиться, что раздутые разновидности никогда не бывают минимальными.

Это понятие отлично работает для алгебраических поверхностей (разновидностей размерности 2). В современных условиях, один центральный результат итальянской школы алгебраической геометрии от 1890-1910 гг, часть классификации поверхностей , является то , что каждая поверхность Х бирационально либо к продукту для некоторых кривых C или минимальную поверхность Y . ^[1] Эти два случая являются взаимоисключающими, и Y уникален, если он существует. Когда Y существует, то он называется минимальная модель из  X .${\displaystyle \mathbb {P} ^{1}\times C}$

Бирациональные инварианты [ править ]

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

Plurigenera [ править ]

Один из полезных наборов бирациональных инвариантов - это плюригены . Каноническое расслоение гладкого многообразия X размерности п означает линейное расслоение из п -формы K _X = Q ^п , которая является п - й внешней степени из кокасательного расслоения на X . Для целого д , то д - я тензорной степени K _X есть снова линейное расслоение. При d ≥ 0 векторное пространство глобальных сечений H ⁰ ( X, K _X ^d ) обладает замечательным свойством: бирациональное отображение f : X ⇢ Y между гладкими проективными многообразиями индуцирует изоморфизм H ⁰ ( X , K _X ^d ) ≅ H ⁰ ( Y , K _Y ^d ). ^[2]

Для d ≥ 0 определим d- е множественное число P _d как размерность векторного пространства H ⁰ ( X , K _X ^d ); тогда плюригены являются бирациональными инвариантами гладких проективных многообразий. В частности, если любое множественное число P _d с d > 0 не равно нулю, то X не рационально.

Измерение Кодаира [ править ]

Фундаментальным бирациональным инвариантом является размерность Кодаира , которая измеряет рост плюриродов P _d, когда d стремится к бесконечности. Размерность Кодаира делит все разновидности размерности n на n  + 2 типа, с размерностью Кодаира −∞, 0, 1, ... или n . Это мера сложности многообразия с проективным пространством, имеющим размерность Кодаиры −∞. Самые сложные разновидности - это разновидности, размерность Кодаира которых равна их размерности n , называемые разновидностями общего типа .

Слагаемые ⊗ ^k Ω ¹ и некоторые числа Ходжа [ править ]

В общем, для любого естественного слагаемого

${\displaystyle E(\Omega ^{1})=\bigotimes ^{k}\Omega ^{1}}$

из r- - й тензорной степени кокасательного расслоения Q , ¹ с г ≥ 0, векторное пространство глобальных сечений Н ⁰ ( Х , Е (Ω ¹ )) является бирациональным инвариантом для гладких проективных многообразий. В частности, числа Ходжа

${\displaystyle h^{p,0}=H^{0}(X,\Omega ^{p})}$

бирациональные инварианты X . (Большинство других чисел Ходжа h ^{p, q} не являются бирациональными инвариантами, как показывает раздутие.)

Фундаментальная группа гладких проективных многообразий [ править ]

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

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

Минимальные модели в более высоких измерениях [ править ]

Проективное многообразие X называется минимальной , если каноническое расслоение K _X есть неф . Для X размерности 2 в этом определении достаточно рассматривать гладкие многообразия. В размерностях не менее 3 минимальные разновидности должны иметь определенные мягкие особенности, для которых K _X все еще хорошо себя ведет; они называются терминальными особенностями .

Это , как говорится, то минимальная модель гипотеза подразумевает , что каждое многообразие X либо покрывается рациональными кривыми или бирациональными до минимального многообразия Y . Когда он существует, Y называется минимальная модель из X .

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

Гипотеза была доказана в размерности 3 Мори (1988) . В высших измерениях был достигнут большой прогресс, хотя общая проблема остается открытой. В частности, Биркар, Кашини, Хакон и МакКернан (2010) доказали, что каждое многообразие общего типа над полем нулевой характеристики имеет минимальную модель.

Одноцветные разновидности [ править ]

Многообразие называется однолинейным, если оно покрывается рациональными кривыми. Одноуровневое многообразие не имеет минимальной модели, но есть хорошая замена: Биркар, Кашини, Хакон и МакКернан показали, что всякое однолинейное многообразие над полем нулевой характеристики бирационально для расслоения Фано . ^[3] Это приводит к проблеме бирациональной классификации расслоений Фано и (как наиболее интересный частный случай) многообразий Фано . По определению, проективное многообразие X является Фано , если антиканоническое расслоение является достаточно . Многообразия Фано можно рассматривать как алгебраические многообразия, наиболее похожие на проективное пространство.${\displaystyle K_{X}^{*}}$

В размерности 2 любое многообразие Фано (известное как поверхность Дель Пеццо ) над алгебраически замкнутым полем рационально. Важным открытием 1970-х годов было то, что, начиная с измерения 3, существует много нерациональных разновидностей Фано . В частности, гладкие трехмерные кубические многообразия не рациональны по Клеменсу – Гриффитсу (1972) , а гладкие трехмерные кубики не рациональны по Исковских – Манина (1971) . Тем не менее, проблема определения того, какие именно разновидности Фано рациональны, далека от решения. Например, неизвестно, существует ли какая-нибудь гладкая кубическая гиперповерхность в с n ≥ 4, которая не является рациональной.${\displaystyle \mathbb {P} ^{n+1}}$

Группы бирациональных автоморфизмов [ править ]

Алгебраические многообразия сильно различаются количеством бирациональных автоморфизмов. Всякое многообразие общего типа чрезвычайно жестко в том смысле, что его группа бирациональных автоморфизмов конечна. С другой стороны, группа бирациональных автоморфизмов проективного пространства над полем k , известная как группа Кремоны Cr _n ( k ), велика (в некотором смысле бесконечномерна) при n ≥ 2. При n = 2 группа комплексная группа Кремоны порождается "квадратичным преобразованием"${\displaystyle \mathbb {P} ^{n}}$ ${\displaystyle Cr_{2}(\mathbb {C} )}$

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

вместе с группой автоморфизмов по Макс Нётер и Кастельнуово . Напротив, группа Кремоны в размерностях n ≥ 3 является большой загадкой: явный набор образующих неизвестен.${\displaystyle PGL(3,\mathbb {C} )}$${\displaystyle \mathbb {P} ^{2},}$

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

См. Также [ править ]

• Гипотеза изобилия

Примечания [ править ]

Ссылки [ править ]

• Абрамович, Дан; Кару, Калле; Мацуки, Кендзи; Влодарчик, Ярослав (2002), «Торификация и факторизация бирациональных отображений», Журнал Американского математического общества , 15 (3): 531–572, arXiv : math / 9904135 , doi : 10.1090 / S0894-0347-02-00396- X , Руководство MR  1896232
• Биркар, Кошер ; Кашини, Паоло; Хакон, Кристофер Д .; МакКернан, Джеймс (2010), «Существование минимальных моделей для разновидностей логарифма общего типа», Журнал Американского математического общества , 23 (2): 405–468, arXiv : math.AG/0610203 , Bibcode : 2010JAMS ... 23..405B , DOI : 10,1090 / S0894-0347-09-00649-3 , МР  2601039
• Клеменс, К. Герберт ; Гриффитс, Филлип А. (1972), "Промежуточный якобиан кубики", Анналы математики , второй серии 95 (2): 281-356, CiteSeerX  10.1.1.401.4550 , DOI : 10,2307 / 1970801 , ISSN  0003 -486X , JSTOR  1970801 , Руководство по ремонту  0302652
• Дебарре, Оливье (2001). Многомерная алгебраическая геометрия . Springer-Verlag . ISBN 978-0-387-95227-7. Руководство по ремонту  1841091 .
• Гриффитс, Филипп ; Харрис, Джозеф (1978). Основы алгебраической геометрии . Джон Вили и сыновья. ISBN 978-0-471-32792-9. Руководство по ремонту  0507725 .
• Хартсхорн, Робин (1977). Алгебраическая геометрия . Springer-Verlag. ISBN 978-0-387-90244-9. Руководство по ремонту  0463157 .
• Исковских, В.А.; Манин, Ю. I. (1971), «Трехмерные квартики и контрпримеры к проблеме Люрота», Математический сборник , Новая серия, 86 (1): 140–166, Bibcode : 1971SbMat..15..141I , doi : 10.1070 / SM1971v015n01ABEH001536 , Руководство по ремонту  0291172
• Коллар, Янош ; Мори, Шигефуми (1998), бирациональная геометрия алгебраических многообразий , Cambridge University Press , DOI : 10.1017 / CBO9780511662560 , ISBN 978-0-521-63277-5, MR  1658959
• Мори, Shigefumi (1988), "Флип теорема и существование минимальных моделей 3-складками", журнал Американского математического общества , 1 (1): 117-253, DOI : 10,2307 / 1990969 , ISSN  0894-0347 , JSTOR  1990969 , Руководство по ремонту  0924704