WikiDer > Эквивариантный пучок

В математике, учитывая действие ${ displaystyle sigma: G times _ {S} от X до X}$ из групповая схема грамм по схеме Икс по базовой схеме S, эквивариантный пучок F на Икс это связка ${ displaystyle { mathcal {O}} _ {X}}$-модули вместе с изоморфизмом ${ displaystyle { mathcal {O}} _ {G times _ {S} X}}$-модули

${ Displaystyle phi: sigma ^ {*} F simeq p_ {2} ^ {*} F}$  

удовлетворяющий условию коцикла:^[1][2] письмо м для умножения,

${ displaystyle p_ {23} ^ {*} phi circ (1_ {G} times sigma) ^ {*} phi = (m times 1_ {X}) ^ {*} phi}$.

Примечания к определению

На уровне стержня условие коцикла говорит, что изоморфизм ${ Displaystyle F_ {gh cdot x} simeq F_ {x}}$ такой же, как и состав ${ Displaystyle F_ {г cdot h cdot x} simeq F_ {h cdot x} simeq F_ {x}}$; т.е. ассоциативность группового действия. Унитарность группового действия также является следствием: применить ${ Displaystyle (е раз е раз 1) ^ {*}, е: S к G}$ в обе стороны, чтобы добраться ${ Displaystyle (е раз 1) ^ {*} фи circ (е раз 1) ^ {*} фи = (е раз 1) ^ {*} фи}$ и так ${ Displaystyle (е раз 1) ^ {*} phi}$ это личность.

Обратите внимание, что ${ displaystyle phi}$ это дополнительные данные; это "подъем" действия грамм на Икс к снопу F. Более того, когда грамм связная алгебраическая группа, F обратимая связка и Икс редуцировано, условие коцикла автоматическое: любой изоморфизм ${ Displaystyle sigma ^ {*} F simeq p_ {2} ^ {*} F}$ автоматически удовлетворяет условию коцикла (этот факт отмечается в конце доказательства главы 1, § 3, предложения 1.5. «геометрической теории инвариантов» Мамфорда).

Если действие грамм свободна, то понятие эквивариантного пучка упрощается до пучка на факторе Икс/грамм, из-за спуск по торсорам.

К Лемма Йонеды, чтобы задать структуру эквивариантного пучка ${ displaystyle { mathcal {O}} _ {X}}$-модуль F это то же самое, что давать групповые гомоморфизмы для колец р над ${ displaystyle S}$,

${ displaystyle G (R) to operatorname {Aut} (X times _ {S} operatorname {Spec} R, F otimes _ {S} R)}$.^[3]

Существует также определение эквивариантных пучков в терминах симплициальные пучки. В качестве альтернативы можно определить эквивариантный пучок как эквивариантный объект в категории, скажем, когерентных пучков.

Линеаризованные линейные пучки

Структура эквивариантного пучка на обратимом пучке или линейном расслоении также называется линеаризация.

Позволять Икс полное многообразие над алгебраически замкнутым полем, в котором действует связная редуктивная группа грамм и L обратимая связка на нем. Если Икс нормально, то некоторая тензорная степень ${ Displaystyle L ^ {п}}$ из L линеаризуема.^[4]

Кроме того, если L очень обильно и линеаризовано, то существует грамм-линейное закрытое погружение от Икс к ${ displaystyle mathbf {P} ^ {N}}$ такой, что ${ Displaystyle { mathcal {O}} _ { mathbf {P} ^ {N}} (1)}$ линеаризуется и линеаризация на L индуцируется ${ Displaystyle { mathcal {O}} _ { mathbf {P} ^ {N}} (1)}$.^[5]

Тензорные произведения и инверсии линеаризованных обратимых пучков снова линеаризуются естественным образом. Таким образом, классы изоморфизма линеаризованных обратимых пучков на схеме Икс образуют подгруппу группы Пикара Икс.

См. Пример 2.16 из [1] в качестве примера разновидности, для которой большинство линейных пучков не линеаризуемы.

Двойственное действие на сечениях эквивариантных пучков

Для алгебраической группы грамм и грамм-эквивариантный пучок F на Икс над полем k, позволять ${ Displaystyle V = Gamma (X, F)}$ быть пространством глобальных разделов. Тогда он допускает структуру грамм-модуль; т.е. V это линейное представление из грамм следующее. Письмо ${ displaystyle sigma: G times X to X}$ для группового действия, для каждого грамм в грамм и v в V, позволять

${ Displaystyle pi (g) v = ( varphi circ sigma ^ {*}) (v) (g ^ {- 1})}$

куда ${ Displaystyle sigma ^ {*}: V to Gamma (G times X, sigma ^ {*} F)}$ и ${ displaystyle varphi: Gamma (G times X, sigma ^ {*} F) { overset { sim} { to}} Gamma (G times X, p_ {2} ^ {*} F) = k [G] otimes _ {k} V}$ - изоморфизм, задаваемый структурой эквивариантного пучка на F. Тогда условие коцикла гарантирует, что ${ Displaystyle pi: G в GL (V)}$ является гомоморфизмом групп (т. е. ${ displaystyle pi}$ это представление.)

Пример: брать ${ Displaystyle X = G, F = { mathcal {O}} _ {G}}$ и ${ Displaystyle sigma =}$ действие грамм на себя. потом ${ Displaystyle V = к [G]}$, ${ displaystyle ( varphi circ sigma ^ {*}) (f) (g, h) = f (gh)}$ и

${ Displaystyle ( пи (г) е) (ч) = е (г ^ {- 1} ч)}$,

смысл ${ displaystyle pi}$ это левое регулярное представление из грамм.

Представление ${ displaystyle pi}$ определенный выше рациональное представление: для каждого вектора v в V, существует конечномерная грамм-подмодуль V который содержит v.^[6]

Эквивариантное векторное расслоение

Проще определение векторного расслоения (т. Е. Многообразия, соответствующего локально свободная связка постоянного ранга). Мы говорим о векторном расслоении E на алгебраическом многообразии Икс действует алгебраической группой грамм является эквивариантный если грамм действует послойно: т.е. ${ displaystyle g: E_ {x} to E_ {gx}}$ является «линейным» изоморфизмом векторных пространств.^[7] Другими словами, эквивариантное векторное расслоение - это пара, состоящая из векторного расслоения и подъема действия ${ Displaystyle G раз от X до X}$ к тому из ${ displaystyle G times E to E}$ так что проекция ${ displaystyle E to X}$ эквивариантно.

Как и в неэквивариантной настройке, можно определить эквивариантный характеристический класс эквивариантного векторного расслоения.

Примеры

• Касательное расслоение многообразия или гладкого многообразия является эквивариантным векторным расслоением.
• Пучок эквивариантные дифференциальные формы.
• Позволять грамм - полупростая алгебраическая группа и λ: H →C персонаж на максимальном торе ЧАС. Он распространяется на борелевскую подгруппу λ: B →C, давая одномерное представление W_λ из B. потом GxW_λ является тривиальным векторным расслоением над грамм на котором B действует. Частное L_λ= Gx_BW_λ действием B является линейным расслоением над многообразием флагов G / B. Обратите внимание, что G → G / B это B bundle, так что это просто пример конструкции связанного пакета. В Теорема Бореля-Вейля-Ботта говорит, что все представления грамм возникают как когомологии таких линейных расслоений.
• Если X = Спецификация (A) аффинная схема, a грамм_м-действие на Икс это то же самое, что и Z оценка по А. Аналогично грамм_м эквивариантный квазикогерентный пучок на Икс это то же самое, что и Z оцененный А модуль.^{[нужна цитата]}

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

• Эквивариантная алгебраическая K-теория
• Эквивариантный пучок
• Эквивариантные когомологии
• Факторный стек

Примечания

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

• Дж. Бернштейн, В. Лунц, "Эквивариантные пучки и функторы", Конспект лекций Springer по математике. 1578 (1994).
• Мамфорд, Дэвид; Fogarty, J .; Кирван, Ф. Геометрическая теория инвариантов. Третье издание. Ergebnisse der Mathematik und ihrer Grenzgebiete (2) (Результаты в математике и родственных областях (2)), 34. Springer-Verlag, Berlin, 1994. xiv + 292 pp. МИСТЕР1304906 ISBN 3-540-56963-4
• Д. Гайцгори, Теория геометрических представлений, Math 267y, осень 2005 г.
• Томасон Р.У .: Алгебраическая K-теория действий групповых схем. В: Браудер У. (ред.) Алгебраическая топология и алгебраическая K-теория. (Ann. Math. Stud., Том 113, стр. 539–563) Princeton: Princeton University Press, 1987

внешняя ссылка

• Эквивариантные пучки