Серр двойственность

В алгебраической геометрии , разделе математики , двойственность Серра является двойственностью для когерентных пучковых когомологий алгебраических многообразий, доказанной Жан-Пьером Серром . Основная версия применима к векторным расслоениям на гладком проективном многообразии, но Александр Гротендик нашел широкие обобщения, например, к сингулярным многообразиям. На n -мерном многообразии теорема гласит, что группа когомологий является двойственным пространством другой группы, . Двойственность Серра является аналогом для когерентных пучковых когомологий двойственности Пуанкаре в топологии, при этом каноническое линейное расслоение заменяет ориентационный пучок . ${\displaystyle H^{i}}$ ${\displaystyle H^{n-i}}$

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

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

Двойственность Серра для векторных расслоений

Алгебраическая теорема

Пусть X — гладкое многообразие размерности n над полем k . Определим каноническое линейное расслоение как расслоение n -форм на X , верхнюю внешнюю степень кокасательного расслоения : ${\displaystyle K_{X}}$

${\displaystyle K_{X}=\Omega _{X}^{n}={\bigwedge }^{n}(T^{*}X).}$

Предположим дополнительно, что X является собственным (например, проективным ) над k . Тогда двойственность Серра гласит: для алгебраического векторного расслоения E на X и целого числа i существует естественный изоморфизм:

${\displaystyle H^{i}(X,E)\cong H^{n-i}(X,K_{X}\otimes E^{\ast })^{\ast }}$

конечномерных k -векторных пространств. Здесь обозначает тензорное произведение векторных расслоений. Отсюда следует, что размерности двух групп когомологий равны: ${\displaystyle \otimes }$

${\displaystyle h^{i}(X,E)=h^{n-i}(X,K_{X}\otimes E^{\ast }).}$

Как и в двойственности Пуанкаре, изоморфизм в двойственности Серра происходит из произведения чашек в когомологиях пучков. А именно, композиция произведения чашек с естественным отображением следа на является совершенным сопряжением : ${\displaystyle H^{n}(X,K_{X})}$

${\displaystyle H^{i}(X,E)\times H^{n-i}(X,K_{X}\otimes E^{\ast })\to H^{n}(X,K_{X})\to k.}$

Карта следов является аналогом когерентных пучковых когомологий интегрирования в когомологиях де Рама . ^[1]

Дифференциально-геометрическая теорема

Серр также доказал то же самое утверждение двойственности для X — компактного комплексного многообразия и E — голоморфного векторного расслоения . ^[2] Здесь теорема двойственности Серра является следствием теории Ходжа . А именно, на компактном комплексном многообразии, снабженном римановой метрикой , существует оператор звезды Ходжа : ${\displaystyle X}$

${\displaystyle \star :\Omega ^{p}(X)\to \Omega ^{2n-p}(X),}$

где . Кроме того, поскольку является комплексным, существует расщепление комплексных дифференциальных форм на формы типа . Оператор звезды Ходжа (расширенный комплексно-линейно до комплекснозначных дифференциальных форм) взаимодействует с этой градуировкой как: ${\displaystyle \dim _{\mathbb {C} }X=n}$ ${\displaystyle X}$ ${\displaystyle (p,q)}$

${\displaystyle \star :\Omega ^{p,q}(X)\to \Omega ^{n-q,n-p}(X).}$

Обратите внимание, что голоморфные и антиголоморфные индексы поменялись местами. Существует сопряжение на комплексных дифференциальных формах, которое меняет формы типа и , и если определить сопряженно-линейный оператор звезды Ходжа с помощью , то мы имеем: ${\displaystyle (p,q)}$ ${\displaystyle (q,p)}$ ${\displaystyle {\bar {\star }}\omega =\star {\bar {\omega }}}$

${\displaystyle {\bar {\star }}:\Omega ^{p,q}(X)\to \Omega ^{n-p,n-q}(X).}$

Используя сопряженно-линейную звезду Ходжа, можно определить эрмитово -скалярное произведение на комплексных дифференциальных формах следующим образом: ${\displaystyle L^{2}}$

${\displaystyle \langle \alpha ,\beta \rangle _{L^{2}}=\int _{X}\alpha \wedge {\bar {\star }}\beta ,}$

где теперь есть -форма, и в частности комплекснозначная -форма и поэтому может быть интегрирована по относительно ее канонической ориентации . Кроме того, предположим, что есть эрмитово голоморфное векторное расслоение. Тогда эрмитова метрика дает сопряженно-линейный изоморфизм между и его дуальным векторным расслоением , скажем . Определяя , получаем изоморфизм: ${\displaystyle \alpha \wedge {\bar {\star }}\beta }$ ${\displaystyle (n,n)}$ ${\displaystyle 2n}$ ${\displaystyle X}$ ${\displaystyle (E,h)}$ ${\displaystyle h}$ ${\displaystyle E\cong E^{*}}$ ${\displaystyle E}$ ${\displaystyle \tau :E\to E^{*}}$ ${\displaystyle {\bar {\star }}_{E}(\omega \otimes s)={\bar {\star }}\omega \otimes \tau (s)}$

${\displaystyle {\bar {\star }}_{E}:\Omega ^{p,q}(X,E)\to \Omega ^{n-p,n-q}(X,E^{*})}$

где состоит из гладких -значных комплексных дифференциальных форм. Используя сопряжение между и заданное и , можно определить эрмитово -внутреннее произведение на таких -значных формах следующим образом: ${\displaystyle \Omega ^{p,q}(X,E)=\Omega ^{p,q}(X)\otimes \Gamma (E)}$ ${\displaystyle E}$ ${\displaystyle E}$ ${\displaystyle E^{*}}$ ${\displaystyle \tau }$ ${\displaystyle h}$ ${\displaystyle L^{2}}$ ${\displaystyle E}$

${\displaystyle \langle \alpha ,\beta \rangle _{L^{2}}=\int _{X}\alpha \wedge _{h}{\bar {\star }}_{E}\beta ,}$

где здесь означает клиновое произведение дифференциальных форм и использование сопряжения между и заданного как . ${\displaystyle \wedge _{h}}$ ${\displaystyle E}$ ${\displaystyle E^{*}}$ ${\displaystyle h}$

Теорема Ходжа для когомологий Дольбо утверждает, что если мы определим:

${\displaystyle \Delta _{{\bar {\partial }}_{E}}={\bar {\partial }}_{E}^{*}{\bar {\partial }}_{E}+{\bar {\partial }}_{E}{\bar {\partial }}_{E}^{*}}$

где — оператор Дольбо , а — его формально сопряженный относительно скалярного произведения, тогда: ${\displaystyle {\bar {\partial }}_{E}}$ ${\displaystyle E}$ ${\displaystyle {\bar {\partial }}_{E}^{*}}$

${\displaystyle H^{p,q}(X,E)\cong {\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X).}$

Слева — когомологии Дольбо, а справа — векторное пространство гармонических -значных дифференциальных форм, ${\displaystyle E}$ определяемое формулой:

${\displaystyle {\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X)=\{\alpha \in \Omega ^{p,q}(X,E)\mid \Delta _{{\bar {\partial }}_{E}}(\alpha )=0\}.}$

Используя это описание, теорему двойственности Серра можно сформулировать следующим образом: изоморфизм индуцирует комплексный линейный изоморфизм: ${\displaystyle {\bar {\star }}_{E}}$

${\displaystyle H^{p,q}(X,E)\cong H^{n-p,n-q}(X,E^{*})^{*}.}$

Это можно легко доказать, используя теорию Ходжа выше. А именно, если — класс когомологий в с единственным гармоническим представителем , то: ${\displaystyle [\alpha ]}$ ${\displaystyle H^{p,q}(X,E)}$ ${\displaystyle \alpha \in {\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X)}$

${\displaystyle (\alpha ,{\bar {\star }}_{E}\alpha )=\langle \alpha ,\alpha \rangle _{L^{2}}\geq 0}$

с равенством тогда и только тогда, когда . В частности, комплексное линейное спаривание: ${\displaystyle \alpha =0}$

${\displaystyle (\alpha ,\beta )=\int _{X}\alpha \wedge _{h}\beta }$

между и является невырожденным и индуцирует изоморфизм в теореме двойственности Серра. ${\displaystyle {\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E}}}^{p,q}(X)}$ ${\displaystyle {\mathcal {H}}_{\Delta _{{\bar {\partial }}_{E^{*}}}}^{n-p,n-q}(X)}$

Утверждение о двойственности Серра в алгебраической постановке можно восстановить , взяв и применив теорему Дольбо , которая гласит: ${\displaystyle p=0}$

${\displaystyle H^{p,q}(X,E)\cong H^{q}(X,{\boldsymbol {\Omega }}^{p}\otimes E)}$

где слева — когомологии Дольбо, а справа — когомологии пучков, где обозначает пучок голоморфных -форм. В частности, получаем: ${\displaystyle {\boldsymbol {\Omega }}^{p}}$ ${\displaystyle (p,0)}$

${\displaystyle H^{q}(X,E)\cong H^{0,q}(X,E)\cong H^{n,n-q}(X,E^{*})^{*}\cong H^{n-q}(X,K_{X}\otimes E^{*})^{*}}$

где мы использовали, что пучок голоморфных -форм — это просто каноническое расслоение . ${\displaystyle (n,0)}$ ${\displaystyle X}$

Алгебраические кривые

Фундаментальное применение двойственности Серра — к алгебраическим кривым . (Над комплексными числами это эквивалентно рассмотрению компактных римановых поверхностей .) Для линейного расслоения L на гладкой проективной кривой X над полем k единственными возможными ненулевыми группами когомологий являются и . Двойственность Серра описывает группу в терминах группы (для другого линейного расслоения). ^[3] Это более конкретно, поскольку линейное расслоение — это просто пространство его сечений. ${\displaystyle H^{0}(X,L)}$ ${\displaystyle H^{1}(X,L)}$ ${\displaystyle H^{1}}$ ${\displaystyle H^{0}}$ ${\displaystyle H^{0}}$

Двойственность Серра особенно важна для теоремы Римана–Роха для кривых. Для линейного расслоения L степени d на кривой X рода g теорема Римана–Роха гласит, что:

${\displaystyle h^{0}(X,L)-h^{1}(X,L)=d-g+1.}$

Используя двойственность Серра, это можно перефразировать в более элементарных терминах:

${\displaystyle h^{0}(X,L)-h^{0}(X,K_{X}\otimes L^{*})=d-g+1.}$

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

Пример: Каждое глобальное сечение линейного расслоения отрицательной степени равно нулю. Более того, степень канонического расслоения равна . Следовательно, Риману–Роху следует, что для линейного расслоения L степени равно . Когда род g равен по крайней мере 2, из двойственности Серра следует, что . Здесь — пространство деформаций первого порядка X . Это базовое вычисление, необходимое для того, чтобы показать, что пространство модулей кривых рода g имеет размерность . ${\displaystyle 2g-2}$ ${\displaystyle d>2g-2}$ ${\displaystyle h^{0}(X,L)}$ ${\displaystyle d-g+1}$ ${\displaystyle h^{1}(X,TX)=h^{0}(X,K_{X}^{\otimes 2})=3g-3}$ ${\displaystyle H^{1}(X,TX)}$ ${\displaystyle 3g-3}$

Двойственность Серра для когерентных пучков

Другая формулировка двойственности Серра справедлива для всех когерентных пучков , а не только для векторных расслоений. В качестве первого шага в обобщении двойственности Серра Гротендик показал, что эта версия работает для схем с мягкими сингулярностями, схем Коэна–Маколея , а не только для гладких схем.

А именно, для схемы Коэна–Маколея X чистой размерности n над полем k Гротендик определил когерентный пучок на X, называемый дуализирующим пучком . (Некоторые авторы называют этот пучок .) Предположим дополнительно, что X является собственным над k . Для когерентного пучка E на X и целого числа i двойственность Серра утверждает, что существует естественный изоморфизм: ${\displaystyle \omega _{X}}$ ${\displaystyle K_{X}}$

${\displaystyle \operatorname {Ext} _{X}^{i}(E,\omega _{X})\cong H^{n-i}(X,E)^{*}}$

конечномерных k -векторных пространств. ^[4] Здесь группа Ext берется в абелевой категории -модулей . Это включает в себя предыдущее утверждение, поскольку изоморфно , когда E является векторным расслоением. ${\displaystyle O_{X}}$ ${\displaystyle \operatorname {Ext} _{X}^{i}(E,\omega _{X})}$ ${\displaystyle H^{i}(X,E^{*}\otimes \omega _{X})}$

Чтобы использовать этот результат, необходимо явно определить дуализирующий пучок, по крайней мере в особых случаях. Когда X является гладким над k , является каноническим линейным расслоением, определенным выше. В более общем случае, если X является подсхемой Коэна–Маколея коразмерности r в гладкой схеме Y над k , то дуализирующий пучок можно описать как Ext-пучок : ^[5] ${\displaystyle \omega _{X}}$ ${\displaystyle K_{X}}$

${\displaystyle \omega _{X}\cong {\mathcal {Ext}}_{O_{Y}}^{r}(O_{X},K_{Y}).}$

Когда X является локальным полным пересечением коразмерности r в гладкой схеме Y , существует более элементарное описание: нормальное расслоение X в Y является векторным расслоением ранга r , а дуализирующий пучок X задается формулой: ^[6]

${\displaystyle \omega _{X}\cong K_{Y}|_{X}\otimes {\bigwedge }^{r}(N_{X/Y}).}$

В этом случае X является схемой Коэна–Маколея с линейным расслоением, что говорит о том, что X является схемой Горенштейна . ${\displaystyle \omega _{X}}$

Пример: Пусть X — полное пересечение в проективном пространстве над полем k , определяемое однородными многочленами степеней . (Сказать, что это полное пересечение, означает, что X имеет размерность .) Существуют линейные расслоения O ( d ) на для целых чисел d , со свойством, что однородные многочлены степени d можно рассматривать как сечения O ( d ). Тогда дуализирующий пучок X — это линейное расслоение: ${\displaystyle {\mathbf {P} }^{n}}$ ${\displaystyle f_{1},\ldots ,f_{r}}$ ${\displaystyle d_{1},\ldots ,d_{r}}$ ${\displaystyle n-r}$ ${\displaystyle {\mathbf {P} }^{n}}$

${\displaystyle \omega _{X}=O(d_{1}+\cdots +d_{r}-n-1)|_{X},}$

по формуле присоединения . Например, дуализирующий пучок плоской кривой X степени d есть . ${\displaystyle O(d-3)|_{X}}$

Комплексные модули тройных многообразий Калаби – Яу

В частности, мы можем вычислить число комплексных деформаций, равное для квинтического трехмерного многообразия в , многообразии Калаби–Яу, используя двойственность Серра. Поскольку свойство Калаби–Яу обеспечивает двойственность Серра, показывает нам, что показ числа комплексных модулей равен в ромбе Ходжа. Конечно, последнее утверждение зависит от теоремы Богомолева–Тиана–Тодорова, которая утверждает, что любая деформация на Калаби–Яу беспрепятственна. ${\displaystyle \dim(H^{1}(X,TX))}$ ${\displaystyle \mathbb {P} ^{4}}$ ${\displaystyle K_{X}\cong {\mathcal {O}}_{X}}$ ${\displaystyle H^{1}(X,TX)\cong H^{2}(X,{\mathcal {O}}_{X}\otimes \Omega _{X})\cong H^{2}(X,\Omega _{X})}$ ${\displaystyle h^{2,1}}$

Двойственность Гротендика

Теория когерентной двойственности Гротендика является широким обобщением двойственности Серра, использующим язык производных категорий . Для любой схемы X конечного типа над полем k , существует объект ограниченной производной категории когерентных пучков на X , , называемый дуализирующим комплексом X над k . Формально, является исключительным обратным образом , где f является заданным морфизмом . Когда X является Коэном–Маколеем чистой размерности n , является ; то есть это дуализирующий пучок, обсуждавшийся выше, рассматриваемый как комплекс в (когомологической) степени − n . В частности , когда X является гладким над k , является каноническим линейным расслоением, помещенным в степень − n . ${\displaystyle \omega _{X}^{\bullet }}$ ${\displaystyle D_{\operatorname {coh} }^{b}(X)}$ ${\displaystyle \omega _{X}^{\bullet }}$ ${\displaystyle f^{!}O_{Y}}$ ${\displaystyle X\to Y=\operatorname {Spec} (k)}$ ${\displaystyle \omega _{X}^{\bullet }}$ ${\displaystyle \omega _{X}[n]}$ ${\displaystyle \omega _{X}^{\bullet }}$

Используя дуализирующий комплекс, двойственность Серра обобщается на любую правильную схему X над k . А именно, существует естественный изоморфизм конечномерных k -векторных пространств:

${\displaystyle \operatorname {Hom} _{X}(E,\omega _{X}^{\bullet })\cong \operatorname {Hom} _{X}(O_{X},E)^{*}}$

для любого объекта E в . ^[7] ${\displaystyle D_{\operatorname {coh} }^{b}(X)}$

В более общем случае для правильной схемы X над k , объекта E из и совершенного комплекса F из имеет место элегантное утверждение: ${\displaystyle D_{\operatorname {coh} }^{b}(X)}$ ${\displaystyle D_{\operatorname {perf} }(X)}$

${\displaystyle \operatorname {Hom} _{X}(E,F\otimes \omega _{X}^{\bullet })\cong \operatorname {Hom} _{X}(F,E)^{*}.}$

Здесь тензорное произведение означает производное тензорное произведение , как это естественно в производных категориях. (Для сравнения с предыдущими формулировками отметим, что можно рассматривать как .) Когда X также является гладким над k , каждый объект в является совершенным комплексом, и поэтому эта двойственность применима ко всем E и F в . Затем приведенное выше утверждение суммируется, говоря, что является функтором Серра на для X, гладкого и собственного над k . ^[8] ${\displaystyle \operatorname {Ext} _{X}^{i}(E,\omega _{X})}$ ${\displaystyle \operatorname {Hom} _{X}(E,\omega _{X}[i])}$ ${\displaystyle D_{\operatorname {coh} }^{b}(X)}$ ${\displaystyle D_{\operatorname {coh} }^{b}(X)}$ ${\displaystyle F\mapsto F\otimes \omega _{X}^{\bullet }}$ ${\displaystyle D_{\operatorname {coh} }^{b}(X)}$

Двойственность Серра имеет место в более общем случае для собственных алгебраических пространств над полем. ^[9]

Примечания

1. Хайбрехтс (2005), упражнение 3.2.3.
2. Серр (1955); Хайбрехтс (2005), Предложение 4.1.15.
3. Для кривой двойственность Серра проще, но все еще нетривиальна. Одно доказательство дано в Tate (1968).
4. Хартшорн (1977), Теорема III.7.6.
5. Хартсхорн (1977), доказательство предложения III.7.5; Проект Стеки, Тег 0A9X.
6. Хартшорн (1977), Теорема III.7.11; Проект Стеки, Тег 0BQZ.
7. Хартсхорн (1966), Следствие VII.3.4(c); Проект Стеки, Тег 0B6I; Проект стеков, тег 0B6S.
8. Хайбрехтс (2006), Определение 1.28, Теорема 3.12.
9. Проект Stacks, Тег 0E58.

Ссылки

• Хартшорн, Робин (1977), Алгебраическая геометрия , Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-387-90244-9, MR  0463157, OCLC  13348052
• Хартшорн, Робин (1966), Вычеты и двойственность , Lecture Notes in Mathematics, т. 20, Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-3-540-03603-6, МР  0222093
• «Двойственность», Энциклопедия математики , EMS Press , 2001 [1994]
• Хайбрехтс, Даниэль (2005), Сложная геометрия , Берлин: Springer-Verlag , ISBN 3-540-21290-6, МР  2093043
• Хайбрехтс, Дэниел (2006), Преобразования Фурье–Мукаи в алгебраической геометрии , Oxford University Press , ISBN 978-0199296866, г-н  2244106
• Серр, Жан-Пьер (1955), «Теорема двойственности», Commentarii Mathematici Helvetici , 29 : 9–26, doi : 10.1007/BF02564268, MR  0067489
• Тейт, Джон (1968), «Вычеты дифференциалов на кривых» (PDF) , Annales Scientifiques de l'École Normale Supérieure , Série 4, 1 : 149–159, doi : 10.24033/asens.1162 , ISSN  0012-9593, MR  0227171

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

• Авторы проекта «Стеки», проект «Стеки»