WikiDer > Суперсингулярная поверхность K3

Supersingular K3 surface

В алгебраическая геометрия, а суперсингулярная поверхность K3 это K3 поверхность над полем k из характеристика п > 0 такой, что склоны Фробениуса на кристаллические когомологии ЧАС2(Икс,W(k)) все равны 1.[1] Их также называли Артин суперсингулярный К3 поверхности. Суперсингулярные K3-поверхности можно считать наиболее частными и интересными из всех K3-поверхностей.

Определения и основные результаты

В более общем смысле, гладкое проективное многообразие Икс над полем характеристики п > 0 называется суперсингулярный если все наклоны Фробениуса на кристаллических когомологиях ЧАСа(Икс,W(k)) равны а/ 2, для всех а. В частности, это дает стандартное понятие суперсингулярное абелево многообразие. Для разнообразия Икс над конечным полем Fq, это эквивалентно сказать, что собственные значения Фробениуса на l-адические когомологии ЧАСа(Икс,Qл) равны qа/2 раз корни единства. Отсюда следует, что любое многообразие положительной характеристики, л-адические когомологии порождаются алгебраические циклы суперсингулярно.

Поверхность K3, л-адические когомологии, порожденные алгебраическими циклами, иногда называют Сиода суперсингулярная Поверхность К3. Со второго Бетти число поверхности K3 всегда равно 22, это свойство означает, что поверхность имеет 22 независимых элемента в своем Группа Пикард (ρ = 22). Из того, что мы сказали, поверхность K3 с числом Пикара 22 должна быть суперсингулярной.

И наоборот, Гипотеза Тейта означало бы, что каждая суперсингулярная поверхность K3 над алгебраически замкнутым полем имеет число Пикара 22. Теперь это известно для каждой характеристики. п кроме 2, поскольку гипотеза Тейта доказана для всех K3 поверхностей в характеристике п не менее 3 Найгаард-Огус (1985), Маулик (2014), Чарльз (2013), и Мадапуси Пера (2013).

Чтобы увидеть, что поверхности K3 с числом Пикара 22 существуют только в положительной характеристике, можно использовать Теория Ходжа чтобы доказать, что число Пикара поверхности K3 в нулевой характеристике не превосходит 20. На самом деле Ходжа алмаз для любой комплексной поверхности K3 одинакова (см. классификация), а в средней строке - 1, 20, 1. Другими словами, час2,0 и час0,2 оба принимают значение 1, с час1,1 = 20. Следовательно, размерность пространства, натянутого на алгебраические циклы, не превосходит 20 в нулевой характеристике; поверхности с этим максимальным значением иногда называют особые поверхности K3.

Другое явление, которое может иметь место только при положительной характеристике, заключается в том, что поверхность K3 может быть унирациональный. Майкл Артин заметил, что каждая унирациональная поверхность K3 над алгебраически замкнутым полем должна иметь число Пикара 22. (В частности, унирациональная поверхность K3 должна быть суперсингулярной). Напротив, Артин предположил, что каждая поверхность K3 с числом Пикара 22 должна быть унирациональной.[2] Гипотеза Артина была доказана в характеристике 2 Рудаков и Шафаревич (1978). Доказательства в каждой характеристике п не менее 5 заявили Лидтке (2013) и Либлих (2014), но позже опровергнуты Брэгг и Либлих (2019).

История

Первый пример поверхности K3 с числом Пикара 22 был дан Тейт (1965), который заметил, что квартика Ферма

ш4 + Икс4 + у4 + z4 = 0

имеет число Пикара 22 над алгебраически замкнутыми полями характеристики 3 по модулю 4. Тогда Шиода показал, что эллиптическая модульная поверхность уровня 4 (универсальная обобщенная эллиптическая кривая E(4) → Икс(4)) в характеристике 3 mod 4 является поверхностью K3 с числом Пикара 22, как и Куммер поверхность продукта двух суперсингулярные эллиптические кривые в нечетной характеристике. Шимада (2004, 2004b) показал, что все поверхности K3 с числом Пикара 22 являются двойные обложки из проективная плоскость. В случае характеристики 2 может потребоваться двойная крышка. неотделимое покрытие.

В дискриминант из форма пересечения на группе Пикара поверхности K3 с числом Пикара 22 - четная степень

п2е

характеристики п, как показали Артин и Milne. Здесь е называется Инвариант Артина поверхности К3. Артин показал, что

1 ≤ е ≤ 10.

Соответствующая стратификация Артина пространств модулей суперсингулярных K3-поверхностей имеет размерность 9. Подпространство суперсингулярных K3-поверхностей с инвариантом Артина е имеет размер е − 1.

Примеры

В характеристике 2

z2 = ж(Икс, у) ,

для достаточно общего многочлена ж(Икс, у) степени 6, определяет поверхность с 21 изолированной особенностью. Гладкая проективная минимальная модель такой поверхности является унирациональной поверхностью K3 и, следовательно, поверхностью K3 с числом Пикара 22. Наибольший инвариант Артина здесь равен 10.

Аналогично в характеристике 3

z3 = грамм(Икс, у) ,

для достаточно общего многочлена грамм(Икс, у) степени 4, определяет поверхность с 9 изолированными особенностями. Гладкая проективная минимальная модель такой поверхности снова является унирациональной поверхностью K3 и, следовательно, поверхностью K3 с числом Пикара 22. Наивысший инвариант Артина в этом семействе равен 6.

Долгачев и Кондо (2003) подробно описал суперсингулярную поверхность K3 в характеристике 2 с числом Артина 1.

Куммер поверхности

Если характеристика п больше 2, Огус (1979) показал, что каждая поверхность K3 S с числом Пикара 22 и инвариантом Артина не более 2 является куммеровой поверхностью, что означает минимальное разрешение частного абелева поверхность А отображением Икс ↦ − Икс. Точнее, А - суперсингулярная абелева поверхность, изогенный к произведению двух суперсингулярных эллиптических кривых.

Смотрите также

Примечания

  1. ^ М. Артин и Б. Мазур. Анна. Sci. École Normale Supérieure 10 (1977), 87–131. С. 90.
  2. ^ М. Артин. Анна. Sci. École Normale Supérieure 7 (1974), 543-567. С. 552.

Рекомендации