Этальные когомологии

редактировать

В математике, то этальные группы когомологий А.Н. алгебраического многообразия или схемы являются алгебраическими аналогами обычных когомологий групп с конечными коэффициентами в топологическом пространстве, введенном Гротендик для того, чтобы доказать гипотезы Вейля. Теория этальных когомологий может быть использована для построения ℓ-адических когомологий, которая является примером теории когомологий Вейля в алгебраической геометрии. Это имеет много приложений, таких как доказательство гипотез Вейля и построение представлений конечных групп лиева типа.

СОДЕРЖАНИЕ

  • 1 История
  • 2 Мотивация
  • 3 Определения
  • 4 ℓ-адические группы когомологий
  • 5 Недвижимость
  • 6 Вычисление групп этальных когомологий алгебраических кривых
    • 6.1 Расчет H 1 ( X, G m)
    • 6.2 Расчет H i ( X, G m)
    • 6.3 Расчет H i ( X, μ n)
    • 6.4 Расчет H  i ( X, Z / n Z)
    • 6.5 Расчет H i ( X, Z / p Z)
  • 7 Примеры этальных групп когомологий
  • 8 Двойственность Пуанкаре и когомологии с компактным носителем
  • 9 Приложение к кривым
    • 9.1 Идея доказательства
  • 10 См. Также
  • 11 Источники
  • 12 Внешние ссылки

История

Этальные когомологии были введены Александром Гротендиком  ( 1960) с использованием некоторых предложений Жан-Пьера Серра и были мотивированы попыткой построить теорию когомологий Вейля для доказательства гипотез Вейля. Основы были вскоре разработаны Гротендиком вместе с Майклом Артином и опубликованы как ( Artin 1962) и SGA 4. Гротендик использовал этальные когомологии для доказательства некоторых гипотез Вейля ( Бернарду Дворку уже удалось доказать часть гипотез о рациональности в 1960 году с помощью p-адических методов), а оставшаяся гипотеза, аналог гипотезы Римана, была доказана Пьером Делинем. (1974) с использованием ℓ-адических когомологий.

Дальнейший контакт с классической теорией был обнаружен в форме версии группы Брауэра Гротендика ; это был применен в короткие сроки, чтобы диофантовой геометрии, с помощью Юрия Манина. Бремя и успех общей теории, безусловно, заключался как в интеграции всей этой информации, так и в доказательстве общих результатов, таких как двойственность Пуанкаре и теорема Лефшеца о неподвижной точке в этом контексте.

Гротендик первоначально разработан этальная когомология в чрезвычайно общей постановке, работе с такими понятиями, как гротендиковы топосы и гротендиковыми вселенные. Оглядываясь назад, можно сказать, что большая часть этого механизма оказалась ненужной для большинства практических приложений этальной теории, и Делинь (1977) дал упрощенное изложение теории этальных когомологий. Использование Гротендиком этих вселенных (существование которых не может быть доказано в теории множеств Цермело – Френкеля ) привело к некоторым предположениям о том, что этальные когомологии и их приложения (такие как доказательство Великой теоремы Ферма ) требуют аксиом, выходящих за рамки ZFC. Однако на практике этальные когомологии используются в основном в случае конструктивных пучков над схемами конечного типа над целыми числами, и это не требует глубоких аксиом теории множеств: с осторожностью необходимые объекты могут быть построены без использования каких-либо несчетных множеств, а это можно сделать в ZFC и даже в гораздо более слабых теориях.

Этальные когомологии быстро нашли другие приложения, например, Делинь и Джордж Люстиг использовали их для построения представлений конечных групп лиева типа ; см. теорию Делиня – Люстига.

Мотивация

Для сложных алгебраических многообразий очень полезны инварианты алгебраической топологии, такие как фундаментальная группа и группы когомологий, и хотелось бы иметь их аналоги для многообразий над другими полями, такими как конечные поля. (Одна из причин этого состоит в том, что Вейль предположил, что гипотезы Вейля могут быть доказаны с использованием такой теории когомологий.) В случае когомологий когерентных пучков Серр показал, что можно получить удовлетворительную теорию, просто используя топологию Зарисского алгебраической теории. многообразие, а в случае комплексных многообразий это дает те же группы когомологий (для когерентных пучков), что и гораздо более тонкая комплексная топология. Однако для постоянных пучков, таких как пучок целых чисел, это не работает: группы когомологий, определенные с использованием топологии Зарисского, плохо себя ведут. Например, Вейль представил теорию когомологий для многообразий над конечными полями с такой же мощностью, что и обычные особые когомологии топологических пространств, но на самом деле любой постоянный пучок на неприводимом многообразии имеет тривиальные когомологии (все высшие группы когомологий равны нулю).

Причина того, что топология Зарисского не работает, в том, что она слишком грубая: в ней слишком мало открытых множеств. Кажется, нет хорошего способа исправить это, используя более тонкую топологию на общем алгебраическом многообразии. Ключевой идеей Гротендика было осознание того, что нет причин, по которым более общие открытые множества должны быть подмножествами алгебраического разнообразия: определение пучка отлично работает для любой категории, а не только для категории открытых подмножеств пространства. Он определил этальные когомологии, заменив категорию открытых подмножеств пространства категорией этальных отображений в пространство: грубо говоря, их можно рассматривать как открытые подмножества конечных неразветвленных покрытий пространства. Оказывается (после большой работы) они дают ровно столько дополнительных открытых множеств, что можно получить разумные группы когомологий для некоторых постоянных коэффициентов, в частности для коэффициентов Z / n Z, когда n взаимно просто с характеристикой поля, с которым работаете над.

Вот некоторые основные интуитивные догадки теории:

  • Этальна требованием является условие, которое позволило бы применить теорему о неявной функции, если бы это было правдой в алгебраической геометрии (но это не является - неявные алгебраические функции называются алгеброид в старой литературе).
  • Существуют определенные базовые случаи размерности 0 и 1, а также для абелевого многообразия, когда ответы с постоянными пучками коэффициентов могут быть предсказаны (с помощью когомологий Галуа и модулей Тейта ).

Определения

Для любой схемы X категории Et ( X) является категорией всех этальных морфизмов из схемы к X. Это аналог категории открытых подмножеств топологического пространства, и его объекты можно рассматривать неформально как «этальные открытые подмножества» в X. Пересечение двух открытых множеств топологического пространства соответствует откату двух этальных сопоставляется X. Здесь возникает довольно незначительная теоретико-множественная проблема, поскольку Et ( X) является «большой» категорией: ее объекты не образуют множество.

Предпучок на топологическом пространстве X является контравариантным функтор из категории открытых подмножеств в множествах. По аналогии мы определяем этальный предпучок на схеме X как контравариантный функтор из Et ( X) в множества.

Предпучок F на топологическом пространстве называется пучком, если он удовлетворяет условию пучка: всякий раз, когда открытое подмножество покрывается открытыми подмножествами U i, и нам даны элементы F ( U i) для всех i, ограничения которых на U i ∩ U j согласованы для всех i, j, тогда они являются образами единственного элемента F ( U). По аналогии, этальный предпучок называется пучком, если он удовлетворяет тому же условию (с пересечениями открытых множеств, замененными обратными образами этальных морфизмов, и где набор этальных отображений в U называется покрывающим U, если топологическое пространство, лежащее в основе U, является объединение их образов). В более общем смысле, можно определить пучок для любой топологии Гротендика в категории аналогичным образом.

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

F Γ ( F ) {\ Displaystyle F \ to \ Gamma (F)}

(где пространство сечений Γ ( F) F есть F ( X)). Сечения пучка можно представить как Hom ( Z, F), где Z - пучок, который возвращает целые числа как абелеву группу. Идея производного функтора здесь заключается в том, что функтор секций не учитывает точные последовательности, поскольку он не является точным; согласно общим принципам гомологической алгебры будет последовательность функторов H  0, H  1,..., которые представляют собой `` компенсации '', которые должны быть сделаны, чтобы восстановить некоторую меру точности (длинные точные последовательности, возникающие из коротких). В Н  0 функтор совпадает с раздела функтора Г.

В более общем смысле, морфизм схем f  : X → Y индуцирует отображение f ∗ из этальных пучков над X в этальные пучки над Y, а его правые производные функторы обозначаются R q f ∗, где q - неотрицательное целое число. В частном случае, когда Y - спектр алгебраически замкнутого поля (точки), R q f ∗ ( F  ) совпадает с H q ( F  ).

Предположим, что X - нетерова схема. Абелевой этальный пучка, F над X называется конечным локально постоянным, если он представлен в этальной обложке X. Он называется конструктивным, если X может быть покрыт конечным семейством подсхем, на каждой из которых ограничение F конечно локально постоянное. Это называется кручением, если F ( U) является группой кручения для всех этальных покрытий U от X. Конечные локально постоянные пучки являются конструктивными, а конструктивные пучки - кручением. Каждый торсионный пучок является фильтрованным индуктивным пределом конструктивных пучков.

ℓ-адические группы когомологий

В приложениях к алгебраической геометрии над конечным полем F q с характеристикой p основной целью было найти замену сингулярным группам когомологий с целыми (или рациональными) коэффициентами, которые недоступны так же, как для геометрии алгебраической разнообразие над полем комплексных чисел. Этальные когомологии отлично работают для коэффициентов Z / n Z при n, взаимно простых с p, но дают неудовлетворительные результаты для коэффициентов без кручения. Чтобы получить группы когомологий без кручения из этальных когомологий, нужно взять обратный предел групп этальных когомологий с некоторыми коэффициентами кручения; это называется ℓ-адическими когомологиями, где обозначает любое простое число, отличное от p. Для схем V рассматриваются группы когомологий

ЧАС я ( V , Z / k Z ) {\ Displaystyle Н ^ {я} (V, \ mathbf {Z} / \ ell ^ {k} \ mathbf {Z})}

и определяет группу ℓ-адических когомологий

ЧАС я ( V , Z ) знак равно Lim ЧАС я ( V , Z / k Z ) {\ Displaystyle H ^ {я} (V, \ mathbf {Z} _ {\ ell}) = \ varprojlim H ^ {i} (V, \ mathbf {Z} / \ ell ^ {k} \ mathbf {Z})}

как их обратный предел. Здесь Z ℓ обозначает л-адического целые числа, но определение с помощью системы пучков «константы» с конечными коэффициентами Z / л K Z. (Здесь есть пресловутая ловушка: когомологии не коммутируют со взятием обратных пределов, а группа ℓ-адических когомологий, определяемая как обратный предел, не является когомологиями с коэффициентами в этальном пучке Z ℓ ; последняя группа когомологий существует, но дает "неправильные" группы когомологий.)

В более общем смысле, если F - обратная система этальных пучков F i, то когомологии F определяется как обратный предел когомологий пучков F i

ЧАС q ( Икс , F ) знак равно Lim ЧАС q ( Икс , F я ) , {\ displaystyle H ^ {q} (X, F) = \ varprojlim H ^ {q} (X, F_ {i}),}

и хотя есть естественная карта

ЧАС q ( Икс , Lim F я ) Lim ЧАС q ( Икс , F я ) , {\ displaystyle H ^ {q} (X, \ varprojlim F_ {i}) \ to \ varprojlim H ^ {q} (X, F_ {i}),}

это не обычно является изоморфизмом. ℓ-адический пучок представляет собой особый вид обратной системы этальных пучков F я, где я пробегает положительные целые числа, и F я есть модуль над Z / л я  Z и отображение F я +1 к F я просто приведение по модулю Z / ℓ я  Z.

Когда V является несингулярным алгебраическим кривым из рода г, Н 1 является свободным Z ℓ - модулем ранга 2 г, двойственный к модулю Tate из якобиева многообразия из V. Так как первое число Бетти из римановой поверхности рода г 2 г, это изоморфно обычные сингулярных когомологии с Z л коэффициентами для комплексных алгебраических кривых. Это также показывает одну причину, по которой требуется условие ℓ ≠  p: когда ℓ =  p, ранг модуля Тейта не превосходит g.

Могут возникать торсионные подгруппы, и они были применены Майклом Артином и Дэвидом Мамфордом к геометрическим вопросам. Чтобы удалить любую подгруппу кручения из ℓ-адических групп когомологий и получить группы когомологий, которые являются векторными пространствами над полями характеристики 0, нужно определить

ЧАС я ( V , Q ) знак равно ЧАС я ( V , Z ) Q . {\ displaystyle H ^ {i} (V, \ mathbf {Q} _ {\ ell}) = H ^ {i} (V, \ mathbf {Z} _ {\ ell}) \ otimes \ mathbf {Q} _ {\ ell}.}

Это обозначение вводит в заблуждение: символ Q ℓ слева не представляет ни этальный пучок, ни ℓ-адический пучок. Эталонные когомологии с коэффициентами в постоянном этальном пучке Q ℓ тоже существуют, но сильно отличаются от. Распространенная ошибка - путать эти две группы. ЧАС я ( V , Z ) Q {\ Displaystyle H ^ {я} (V, \ mathbf {Z} _ {\ ell}) \ otimes \ mathbf {Q} _ {\ ell}}

Характеристики

В общем случае группы ℓ-адических когомологий многообразия обладают свойствами, аналогичными свойствам особых групп когомологий комплексных многообразий, за исключением того, что они являются модулями над целыми ℓ-адическими числами (или числами), а не над целыми числами (или рациональными числами). Они удовлетворяют форме двойственности Пуанкаре на неособых проективных многообразиях, и ℓ-адические группы когомологий «редуцирующего модуля p» комплексного многообразия стремятся иметь тот же ранг, что и особые группы когомологий. Формула Кюннета также выполняется.

Например, первая группа когомологий комплексной эллиптической кривой является свободным модулем ранга 2 над целыми числами, а первая ℓ-адическая группа когомологий эллиптической кривой над конечным полем является свободным модулем ранга 2 над ℓ- целые адические числа при условии, что не является характеристикой рассматриваемого поля и двойственен своему модулю Тейта.

Есть один способ, которым группы ℓ-адических когомологий лучше, чем группы особых когомологий: на них, как правило, действуют группы Галуа. Например, если комплексное многообразие определено над рациональными числами, на его ℓ-адические группы когомологий действует абсолютная группа Галуа рациональных чисел: они дают представления Галуа.

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

Вычисление групп этальных когомологий алгебраических кривых

Основным начальным шагом в вычислении групп этальных когомологий многообразия является их вычисление для полных связных гладких алгебраических кривых X над алгебраически замкнутыми полями k. Этальными группами когомологий произвольных многообразий можно тогда управлять, используя аналоги обычного механизма алгебраической топологии, такие как спектральная последовательность расслоения. Для кривых расчет выполняется в несколько этапов, как показано ниже ( Artin 1962). Обозначим через G m пучок отличных от нуля функций.

Расчет H 1 ( X, G m)

Точная последовательность этальных пучков

1 грамм м j * грамм м , K Икс | Икс | я Икс * Z 1 {\ displaystyle 1 \ to \ mathbf {G} _ {m} \ to j _ {*} \ mathbf {G} _ {m, K} \ to \ bigoplus _ {x \ in | X |} i_ {x *} \ mathbf {Z} \ to 1}

дает длинную точную последовательность групп когомологий

0 ЧАС 0 ( грамм м ) ЧАС 0 ( j * грамм м , K ) Икс | Икс | ЧАС 0 ( я Икс * Z ) ЧАС 1 ( грамм м ) ЧАС 1 ( j * грамм м , K ) Икс | Икс | ЧАС 1 ( я Икс * Z ) {\ displaystyle {\ begin {align} 0 amp; \ to H ^ {0} (\ mathbf {G} _ {m}) \ to H ^ {0} (j _ {*} \ mathbf {G} _ {m, K }) \ to \ bigoplus \ nolimits _ {x \ in | X |} H ^ {0} (i_ {x *} \ mathbf {Z}) \ to \\ amp; \ to H ^ {1} (\ mathbf { G} _ {m}) \ to H ^ {1} (j _ {*} \ mathbf {G} _ {m, K}) \ to \ bigoplus \ nolimits _ {x \ in | X |} H ^ {1 } (i_ {x *} \ mathbf {Z}) \ to \\ amp; \ to \ cdots \ end {align}}}

Здесь j - инъекция общей точки, i x - инъекция замкнутой точки x, G m, K - пучок G m на Spec K (общая точка X), а Z x - копия Z для каждая замкнутая точка X. Группы Н  я ( я X *  Z) исчезают, если я gt; 0 (поскольку я х *  Z представляет собой небоскреб пучок ) и для я = 0 они являются Z, так что их сумма равна только делитель группы X. Более того, первая группа когомологий H  1 ( X, j ∗ G m, K) изоморфна группе когомологий Галуа H  1 ( K, K *), которая обращается в нуль по теореме Гильберта 90. Следовательно, длинная точная последовательность групп этальных когомологий дает точную последовательность

K D я v ( Икс ) ЧАС 1 ( грамм м ) 1 {\ displaystyle K \ to \ mathrm {Div} (X) \ to H ^ {1} (\ mathbf {G} _ {m}) \ to 1}

где Div ( X) - группа делителей X, а K - ее функциональное поле. В частности, H  1 ( X, G m) - это группа Пикара Pic ( X) (и первые группы когомологий G m одинаковы для этальной топологии и топологии Зарисского). Этот шаг работает для многообразий X любой размерности (с заменой точек на подмногообразия коразмерности 1), а не только для кривых.

Расчет H i ( X, G m)

Та же самая длинная точная последовательность выше показывает, что если i  ≥ 2, то группа когомологий H  i ( X, G m) изоморфна H  i ( X, j * G m, K), которая изоморфна группе когомологий Галуа H  i ( К, К *). Из теоремы Цена следует, что группа Брауэра функционального поля K от одной переменной над алгебраически замкнутым полем обращается в нуль. Это, в свою очередь, означает, что все группы когомологий Галуа H  i ( K, K *) обращаются в нуль при i  ≥ 1, поэтому все группы когомологий H  i ( X, G m) обращаются в нуль, если i  ≥ 2.

Расчет H i ( X, μ n)

Если μ п есть пучок п -х корней из единицы и п и характеристики поля к взаимно простые числа, то:

ЧАС я ( Икс , μ п ) знак равно { μ п ( k ) я знак равно 0 п я c п ( Икс ) я знак равно 1 Z / п Z я знак равно 2 0 я 3 {\ displaystyle H ^ {i} (X, \ mu _ {n}) = {\ begin {cases} \ mu _ {n} (k) amp; i = 0 \\\ mathrm {Pic} _ {n} (X) amp; i = 1 \\\ mathbf {Z} / n \ mathbf {Z} amp; i = 2 \\ 0 amp; i \ geqslant 3 \ end {case}}}

где Pic n ( X) - группа n точек кручения Pic ( X). Это следует из предыдущих результатов с использованием длинной точной последовательности

0 ЧАС 0 ( Икс , μ п ) ЧАС 0 ( Икс , грамм м ) ЧАС 0 ( Икс , грамм м ) ЧАС 1 ( Икс , μ п ) ЧАС 1 ( Икс , грамм м ) ЧАС 1 ( Икс , грамм м ) ЧАС 2 ( Икс , μ п ) ЧАС 2 ( Икс , грамм м ) ЧАС 2 ( Икс , грамм м ) {\ displaystyle {\ begin {align} 0 amp; \ to H ^ {0} (X, \ mu _ {n}) \ to H ^ {0} (X, \ mathbf {G} _ {m}) \ to H ^ {0} (X, \ mathbf {G} _ {m}) \ to \\ amp; \ to H ^ {1} (X, \ mu _ {n}) \ to H ^ {1} (X, \ mathbf {G} _ {m}) \ to H ^ {1} (X, \ mathbf {G} _ {m}) \ to \\ amp; \ to H ^ {2} (X, \ mu _ {n}) \ to H ^ {2} (X, \ mathbf {G} _ {m}) \ to H ^ {2} (X, \ mathbf {G} _ {m}) \ to \\ amp; \ to \ cdots \ конец {выровнено}}}

точной последовательности Куммера этальных пучков

1 μ п грамм м ( ) п грамм м 1. {\ displaystyle 1 \ to \ mu _ {n} \ to \ mathbf {G} _ {m} {\ xrightarrow {(\ cdot) ^ {n}}} \ mathbf {G} _ {m} \ to 1. }

и вставив известные значения

ЧАС я ( Икс , грамм м ) знак равно { k * я знак равно 0 п я c ( Икс ) я знак равно 1 0 я 2 {\ displaystyle H ^ {i} (X, \ mathbf {G} _ {m}) = {\ begin {cases} k ^ {*} amp; i = 0 \\\ mathrm {Pic} (X) amp; i = 1 \ \ 0 amp; i \ geqslant 2 \ end {case}}}

В частности, мы получаем точную последовательность

1 ЧАС 1 ( Икс , μ п ) п я c ( Икс ) × п п я c ( Икс ) ЧАС 2 ( Икс , μ п ) 1. {\ Displaystyle 1 \ к H ^ {1} (X, \ mu _ {n}) \ to \ mathrm {Pic} (X) {\ xrightarrow {\ times n}} \ mathrm {Pic} (X) \ to H ^ {2} (X, \ mu _ {n}) \ to 1.}

Если n делится на p, этот аргумент неверен, потому что корни p-й степени из единицы ведут себя странно над полями характеристики p. В топологии Зарисского последовательность Куммера не является точной справа, поскольку отличная от нуля функция обычно не имеет корня n -й степени локально для топологии Зарисского, так что это то место, где используется этальная топология, а не Топология Зарисского очень важна.

Расчет H  i ( X, Z / n Z)

Устанавливая примитивный п -го корня из единицы, мы можем определить группу Z / п Z с группой ц п о п -х корней из единицы. Этальная группа H  i ( X, Z / n Z) тогда является свободным модулем над кольцом Z / n Z, и ее ранг определяется выражением:

классифицировать ( ЧАС я ( Икс , Z / п Z ) ) знак равно { 1 я знак равно 0 2 грамм я знак равно 1 1 я знак равно 2 0 я 3 {\ displaystyle {\ text {rank}} (H ^ {i} (X, \ mathbf {Z} / n \ mathbf {Z})) = {\ begin {cases} 1 amp; i = 0 \\ 2g amp; i = 1 \\ 1 amp; i = 2 \\ 0 amp; i \ geqslant 3 \ end {case}}}

где г есть род кривой X. Это следует из предыдущего результата, использующего тот факт, что группа Пикара кривой - это точки ее якобиевого многообразия, абелевого многообразия размерности g, и если n взаимно просто с характеристикой, то точки порядка, делящие n в абелевом многообразии многообразие размерности g над алгебраически замкнутым полем образуют группу, изоморфную ( Z / n Z) 2 g. Эти значения для этальной группы H  i ( X, Z / n Z) такие же, как у соответствующих групп особых когомологий, когда X - комплексная кривая.

Расчет H i ( X, Z / p Z)

Можно рассчитать этальные группы когомологий с постоянными коэффициентами порядка делятся на характеристике подобным образом, используя Артина- шрейеровской последовательности

0 Z / п Z K   Икс Икс п - Икс   K 0 {\ displaystyle 0 \ to \ mathbf {Z} / p \ mathbf {Z} \ to K \ {\ xrightarrow {{} \ на вершине x \ mapsto x ^ {p} -x}} \ K \ to 0}

вместо последовательности Куммера. (Для коэффициентов из Z / p n Z существует аналогичная последовательность, включающая векторы Витта. ) Полученные группы когомологий обычно имеют ранги ниже, чем у соответствующих групп в характеристике 0.

Примеры этальных групп когомологий

  • Если X - спектр поля K с абсолютной группой Галуа G, то этальные пучки над X соответствуют непрерывным множествам (или абелевым группам), на которых действует (проконечная) группа G, а этальные когомологии пучка такие же, как и этальные когомологии пучка. группа когомологий из G, т.е. Галуа когомологий из K.
  • Если X - комплексное многообразие, то этальные когомологии с конечными коэффициентами изоморфны сингулярным когомологиям с конечными коэффициентами. (Это неверно для целочисленных коэффициентов.) В более общем смысле когомологии с коэффициентами в любом конструктивном пучке одинаковы.
  • Если F - когерентный пучок (или G m), то этальные когомологии F - это то же самое, что когомологии когерентного пучка Серра, вычисленные с топологией Зарисского (а если X - комплексное многообразие, это то же самое, что когомологии пучка, вычисленные с помощью обычной сложная топология).
  • Для абелевых многообразий и кривых существует элементарное описание ℓ-адических когомологий. Для абелевых многообразий первая ℓ-адическая группа когомологий двойственна модулю Тейта, а высшие группы когомологий задаются его внешними степенями. Для кривых первая группа когомологий является первой группой когомологий своего якобиана. Это объясняет, почему Вейль смог дать более элементарное доказательство гипотез Вейля в этих двух случаях: в общем, каждый ожидает найти элементарное доказательство всякий раз, когда существует элементарное описание ℓ-адических когомологий.

Двойственность Пуанкаре и когомологии с компактным носителем

Группы этальных когомологий с компактным носителем многообразия X определяются как

ЧАС c q ( Икс , F ) знак равно ЧАС q ( Y , j ! F ) {\ displaystyle H_ {c} ^ {q} (X, F) = H ^ {q} (Y, j _ {!} F)}

где j - открытое погружение X в собственное многообразие Y и j ! это расширение на 0 этальных сноп F в Y. Это не зависит от погружения j. Если размерность X не превосходит n и F - торсионный пучок, то эти группы когомологий с компактным носителем обращаются в нуль, если q gt; 2 n, и если, кроме того, X аффинно конечного типа над сепарабельно замкнутым полем, группы когомологий обращаются в нуль при q  gt;  n (последнее утверждение см. в SGA 4, XIV, Cor.3.2). ЧАС c q ( Икс , F ) {\ displaystyle H_ {c} ^ {q} (X, F)} ЧАС q ( Икс , F ) {\ displaystyle H ^ {q} (X, F)}

В более общем смысле, если f - отделенный морфизм конечного типа из X в S (с нётеровыми X и S), то более высокие прямые образы с компактным носителем R q f ! определены

р q ж ! ( F ) знак равно р q грамм * ( j ! F ) {\ displaystyle R ^ {q} f _ {!} (F) = R ^ {q} g _ {*} (j _ {!} F)}

для любого пучка кручения F. Здесь J является любым открытым погружением X в схему Y с собственным морфизмом г к S (с е  =  GJ), а также перед определением не зависит от выбора J и Y. Когомологии с компактным носителем являются частным случаем этого с точкой S. Если f - отделимый морфизм конечного типа, то R q f ! принимает построимых пучки на X в конструируемых пучков на S. Если вдобавок слои f имеют размерность не больше n, то R q f ! обращается в нуль на торсионных пучках при q gt; 2n. Если X - комплексное многообразие, то R q f ! то же самое, что и обычный высший прямой образ с компактным носителем (для комплексной топологии) для торсионных пучков.

Если X - гладкое алгебраическое многообразие размерности N и n взаимно просто с характеристикой, то существует отображение следа

Т р : ЧАС c 2 N ( Икс , μ п N ) Z / п Z {\ displaystyle \ mathrm {Tr}: H_ {c} ^ {2N} (X, \ mu _ {n} ^ {N}) \ rightarrow \ mathbf {Z} / n \ mathbf {Z}}

а билинейная форма Tr ( a ∪ b) со значениями в Z / n Z идентифицирует каждую из групп

ЧАС c я ( Икс , μ п N ) {\ displaystyle H_ {c} ^ {i} (X, \ mu _ {n} ^ {N})}

а также

ЧАС 2 N - я ( Икс , Z / п Z ) {\ Displaystyle Н ^ {2N-i} (Х, \ mathbf {Z} / п \ mathbf {Z})}

с двойным другим. Это аналог двойственности Пуанкаре для этальных когомологий.

Приложение к кривым

Смотрите также: формула Беренда

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

Теорема. Пусть X - кривая рода g, определенная над F p, конечным полем из p элементов. Тогда при n ≥ 1

# Икс ( F п п ) знак равно п п + 1 - я знак равно 1 2 грамм α я п , {\ displaystyle \ #X \ left (\ mathbf {F} _ {p ^ {n}} \ right) = p ^ {n} + 1- \ sum _ {i = 1} ^ {2g} \ alpha _ { i} ^ {n},}

где α i - некоторые алгебраические числа, удовлетворяющие | α i | = √ п.

Это согласуется с тем, что P 1 ( F p n) является кривой рода0 с p n + 1 баллом. Это также показывает, что количество точек на любой кривой довольно близко (в пределах 2 gp n / 2) к количеству точек проективной прямой; в частности, она обобщает теорему Хассе об эллиптических кривых.

Идея доказательства

Согласно теореме Лефшеца о неподвижной точке количество неподвижных точек любого морфизма f  : X → X равно сумме

я знак равно 0 2 тусклый ( Икс ) ( - 1 ) я Т р ( ж | ЧАС я ( Икс ) ) . {\ displaystyle \ sum _ {я = 0} ^ {2 \ dim (X)} (- 1) ^ {i} \ mathrm {Tr} \ left (f | _ {H ^ {i} (X)} \ Правильно).}

Эта формула верна для обычных топологических многообразий и обычной топологии, но неверна для большинства алгебраических топологий. Однако, эта формула делает захват для этальных когомологий (хотя это не так просто, чтобы доказать).

Точки X, определенные над F p n, фиксируются F n, где F - автоморфизм Фробениуса в характеристике p.

Этальное когомология число Бетти из X в размерности 0, 1, 2: 1, 2 г и 1 соответственно.

Согласно всем этим

# Икс ( F п п ) знак равно Т р ( F п | ЧАС 0 ( Икс ) ) - Т р ( F п | ЧАС 1 ( Икс ) ) + Т р ( F п | ЧАС 2 ( Икс ) ) . {\ displaystyle \ #X \ left (\ mathbf {F} _ {p ^ {n}} \ right) = \ mathrm {Tr} \ left (F ^ {n} | _ {H ^ {0} (X) } \ right) - \ mathrm {Tr} \ left (F ^ {n} | _ {H ^ {1} (X)} \ right) + \ mathrm {Tr} \ left (F ^ {n} | _ { H ^ {2} (X)} \ right).}

Это дает общую форму теоремы.

Утверждение об абсолютных значениях α i является одномерной гипотезой Римана гипотез Вейля.

Вся идея укладывается в рамки мотивов : формально [ X ] = [точка] + [линия] + [1-часть], а [1-часть] имеет что-то вроде √ p точек.

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

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

внешние ссылки

Последняя правка сделана 2024-01-07 03:42:24
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте