WikiDer > Шесть операций

В математика, Шесть операций Гротендика, названный в честь Александр Гротендик, является формализмом в гомологическая алгебра. Первоначально он возник из отношений в этальные когомологии которые возникают из морфизма схемы ж : Икс → Y. Основная идея заключалась в том, что многие элементарные факты, относящиеся к когомологиям на Икс и Y были формальными следствиями небольшого числа аксиом. Эти аксиомы верны во многих случаях совершенно не связанными с исходным контекстом, и поэтому формальные следствия также имеют место. С тех пор было показано, что формализм шести операций применим к таким контекстам, как D-модули на алгебраических многообразиях, пучки на локально компактных топологических пространствах и мотивы.

Операции

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

• то прямое изображение ${ displaystyle f _ {*}}$
• то обратное изображение ${ displaystyle f ^ {*}}$
• то правильное (или необычное) прямое изображение ${ displaystyle f_ {!}}$
• то правильный (или необычный) обратный образ ${ displaystyle f ^ {!}}$
• внутренний тензорное произведение
• внутренний Hom

Функторы ${ displaystyle f ^ {*}}$ и ${ displaystyle f _ {*}}$ для мужчин присоединенный функтор пара, как и ${ displaystyle f_ {!}}$ и ${ displaystyle f ^ {!}}$.^[1] Аналогично внутреннее тензорное произведение слева сопряжено с внутренним Hom.

Шесть операций в этальных когомологиях

Позволять ж : Икс → Y быть морфизмом схем. Морфизм ж индуцирует несколько функторов. В частности, это дает присоединенные функторы ж^* и ж_* между категориями пучков на Икс и Y, и это дает функтор ж_! прямого имиджа с соответствующей поддержкой. в производная категория, Rf_! допускает правый сопряженный ж^!. Наконец, при работе с абелевыми пучками существует функтор тензорного произведения ⊗ и внутренний функтор Hom, и они сопряжены. Шесть операций являются соответствующими функторами производной категории: Lf^*, Rf_*, Rf_!, ж^!, ⊗^L, и RHom.

Предположим, что мы ограничиваемся категорией ${ displaystyle ell}$-адические торсионные связки, где ${ displaystyle ell}$ взаимно прост с характеристикой Икс и из Y. В SGA 4 III Гротендик и Артин доказали, что если ж гладкая относительной размерности d, тогда Lf^* изоморфен ж^!(−d)[−2d], куда (−d) обозначить dй обратный Тейт твист и [−2d] обозначает сдвиг по степени −2d. Кроме того, предположим, что ж разделен и имеет конечный тип. Если грамм : Y′ → Y это еще один морфизм схем, если Икс′ обозначает изменение базы Икс к грамм, и если ж' и грамм′ Обозначают базовые изменения ж и грамм к грамм и жсоответственно, то существуют естественные изоморфизмы:

${ displaystyle Lg ^ {*} circ Rf _ {!} to Rf '_ {!} circ Lg' ^ {*},}$

${ displaystyle Rg '_ {*} circ f' ^ {!} to f ^ {!} circ Rg _ {*}.}$

Снова предполагая, что ж разделен и конечного типа, для любых объектов M в производной категории Икс и N в производной категории Y, существуют естественные изоморфизмы:

${ displaystyle (Rf _ {!} M) otimes _ {Y} N to Rf _ {!} (M otimes _ {X} Lf ^ {*} N),}$

${ displaystyle operatorname {RHom} _ {Y} (Rf _ {!} M, N) to Rf _ {*} operatorname {RHom} _ {X} (M, f ^ {!} N),}$

${ displaystyle f ^ {!} operatorname {RHom} _ {Y} (M, N) to operatorname {RHom} _ {X} (Lf ^ {*} M, f ^ {!} N).}$

Если я это закрытое погружение Z в S с дополнительным открытым погружением j, то в производной категории есть выделенный треугольник:

${ displaystyle Rj _ {!} j ^ {!} to 1 to Ri _ {*} i ^ {*} to Rj _ {!} j ^ {!} [1],}$

где первые две карты - это соответственно счет и единица пристроек. Если Z и S регулярны, то имеется изоморфизм:

${ displaystyle 1_ {Z} (- c) [- 2c] to i ^ {!} 1_ {S},}$

куда 1_Z и 1_S единицы операций тензорного произведения (которые различаются в зависимости от категории ${ displaystyle ell}$-адические торсионные пучки).

Если S регулярно и грамм : Икс → S, и если K является обратимым объектом в производной категории на S относительно ⊗^L, затем определим D_Икс быть функтором RHom (-, грамм^!K). Затем для объектов M и M′ В производной категории на Икс, канонические карты:

${ Displaystyle M к D_ {X} (D_ {X} (M)),}$

${ displaystyle D_ {X} (M otimes D_ {X} (M ')) to operatorname {RHom} (M, M'),}$

являются изоморфизмами. Наконец, если ж : Икс → Y это морфизм S-схемы, а если M и N объекты в производных категориях Икс и Y, то существуют естественные изоморфизмы:

${ Displaystyle D_ {X} (е ^ {*} N) cong f ^ {!} (D_ {Y} (N)),}$

${ Displaystyle D_ {X} (е ^ {!} N) cong f ^ {*} (D_ {Y} (N)),}$

${ Displaystyle D_ {Y} (е _ {!} M) cong f _ {*} (D_ {X} (M)),}$

${ displaystyle D_ {Y} (f _ {*} M) cong f _ {!} (D_ {X} (M)).}$

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

• Когерентная двойственность
• Локальная двойственность Гротендика
• Функторы изображений для пучков
• Двойственность Вердье
• Смена колец

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

• Ласло, Ив; Ольссон, Мартин (2005). «Шесть операций над пучками на стеках Артина I: Конечные коэффициенты». arXiv:математика / 0512097. Bibcode:2005математика ..... 12097L. Цитировать журнал требует | журнал = (помощь)
• Аюб, Джозеф. Шесть операций Гротендика и формализм évanescents dans le monde motivique (PDF) (Тезис).
• Цисинский, Дени-Шарль; Деглиз, Фредерик (2019). Триангулированные категории смешанных мотивов. Монографии Спрингера по математике. arXiv:0912.2110. Дои:10.1007/978-3-030-33242-6. ISBN 978-3-030-33241-9.
• Мебхаут, Зогман (1989). Формализм шести операций Гротендика для лесов D_Икс-модули cohérents. Travaux en Cours. т. 35. Париж: Герман. ISBN 2-7056-6049-6.

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

• шесть операций в nLab
• Что (если есть) объединяет стабильную теорию гомотопий и формализм шести функторов Гротендика?