Чистота (алгебраическая геометрия) - Purity (algebraic geometry)

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

Чистота ветвления локуса

Например, разветвление - явление коразмерности 1 (в геометрии комплексные многообразия, отражая как Римановы поверхности которые разветвляются в отдельных точках, как это происходит в реальной коразмерности два). Классический результат, Зариски – Нагата чистота из Масаёши Нагата и Оскар Зариски,[1][2] называется также чистота ветвления локуса, доказывает, что на неособой алгебраическое многообразие а место ветвления, а именно множество точек разветвления морфизма, должно состоять исключительно из подмногообразий коразмерности 1 (a Дивизор Вейля ). Этот результат неоднократно обобщался на теоремы коммутативная алгебра и теория схем, устанавливая чистоту локуса ветвления в смысле описания ограничений на возможные «открытые подмножества неудач», чтобы быть этальный морфизм.

Когомологическая чистота

Существует также связанное с ним гомологическое понятие чистоты, а именно набор результатов, утверждающих, что группы когомологий из конкретной теории тривиальны, за возможным исключением одного индекса я. Такие результаты были установлены в этальные когомологии к Майкл Артин (включен в SGA 4 ), и были основополагающими для создания теории, содержащей ожидаемые аналоги результатов особые когомологии. Общее заявление Александр Гротендик известный как гипотеза абсолютной когомологической чистоты был доказан Офер Габбер.[3] Это касается закрытое погружение схем (регулярных, нётеровых) чисто коразмерности d, а относительный локальные когомологии в этальной теории. С мод. Коэффициентов п куда п обратима, когомологии должны встречаться только с индексом 2d (и принимают прогнозируемое значение).[4]

Примечания

  1. ^ «О ЧИСТОТЕ ОТРАСЛЕВОГО ЛОКУСА АЛГЕБРАИЧЕСКИХ ФУНКЦИЙ». Proc. Natl. Акад. Sci. СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ. 44 (8): 791–6. Август 1958 г. Дои:10.1073 / пнас.44.8.791. ЧВК  534562. PMID  16590274.
  2. ^ «ЗАМЕЧАНИЯ К ДОКУМЕНТУ ЗАРИСКОГО О ЧИСТОТЕ ОТРАСЛИ-ЛОКИ». Proc. Natl. Акад. Sci. СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ. 44 (8): 796–9. Август 1958 г. Дои:10.1073 / пнас.44.8.796. ЧВК  534563. PMID  16590275.
  3. ^ К. Фудзивара, Доказательство гипотезы об абсолютной чистоте (по Габберу). Алгебраическая геометрия, 2000, Адзумино (Хотака), 153–183.
  4. ^ Как сформулировано в http://www.math.utah.edu/~niziol/icm20062.pdf, п. 4.