Зарисская поверхность - Zariski surface
В алгебраическая геометрия, филиал математика, а Зарисская поверхность это поверхность через поле из характеристика п > 0 такое, что существует доминирующее неотделимое отображение степени п от проективная плоскость на поверхность. В частности, все поверхности Зарисского являются унирациональный. Они были названы Петром Блассом в 1977 году в честь Оскар Зариски который использовал их в 1958 г. для получения примеров унирациональных поверхностей в характеристической п > 0, которые не рациональны. (В характеристике 0, напротив, Теорема Кастельнуово следует, что все унирациональные поверхности рациональны.)
Поверхности Зарисского бирациональный к поверхностям в аффинный 3-х местный А3 определяется неприводимые многочлены формы
Следующая задача была поставлена Оскаром Зариски в 1971 году: пусть S - поверхность Зарисского с исчезающей геометрической род. Обязательно ли S рациональная поверхность? За п = 2 и для п = 3 ответ на поставленную выше проблему отрицательный, как показал Петр Бласс в 1977 г. университет Мичигана Кандидат наук. диссертации и Уильяма Э. Лэнга в его докторской диссертации в Гарварде. защитил диссертацию в 1978 г. Кентаро Мицуи (2014 ) объявил о других примерах, дающих отрицательный ответ на вопрос Зарисского в каждой характеристике p> 0. Однако его метод в настоящее время неконструктивен, и у нас нет явных уравнений для p> 3.
Смотрите также
Рекомендации
- Бласс, Петр; Лэнг, Джеффри (1987), Поверхности Зарисского и дифференциальные уравнения в характеристике п>0, Монографии и учебники по чистой и прикладной математике, 106, Нью-Йорк: Marcel Dekker Inc., ISBN 978-0-8247-7637-4, МИСТЕР 0879599
- Мицуи, Кентаро (2014), "К вопросу о Зарисском на поверхностях Зарисского", Математика. Z., 276 (1–2): 237–242, Дои:10.1007 / s00209-013-1195-0, МИСТЕР 3150201
- Зариски, Оскар (1958), "О критерии рациональности Кастельнуово па=п2= 0 алгебраической поверхности ", Иллинойсский журнал математики, 2: 303–315, ISSN 0019-2082, МИСТЕР 0099990