WikiDer > Presheaf с трансферами

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

Когда предпучка F с переходами ограничивается подкатегорией гладких разделенных схем, его можно рассматривать как предпучок в категории с дополнительный карты ${ Displaystyle F (Y) к F (X)}$, не исходящий из морфизмы схем но и из конечных соответствий из Икс к Y

Предпучка F с трансферами называется ${ displaystyle mathbb {A} ^ {1}}$-гомотопический инвариант если ${ Displaystyle F (X) simeq F (X times mathbb {A} ^ {1})}$ для каждого Икс.

Например, группа чау, а также мотивационные когомологии предварительные пучки с передачами.

Конечное соответствие

Позволять ${ displaystyle X, Y}$ - алгебраические схемы (т. е. разделенные и конечного типа над полем) и предположим ${ displaystyle X}$ гладко. Затем элементарная переписка замкнутое подмногообразие ${ Displaystyle W подмножество X_ {i} times Y}$, ${ displaystyle X_ {i}}$ некоторая связная составляющая Икс, так что проекция ${ displaystyle W to Y}$ конечно и сюръективно. Позволять ${ displaystyle operatorname {Cor} (X, Y)}$ - свободная абелева группа, порожденная элементарными соответствиями из Икс к Y; элементы ${ displaystyle operatorname {Cor} (X, Y)}$ затем называются конечные соответствия.

Категория конечных соответствий, обозначаемая ${ displaystyle Cor}$, - категория, в которой объекты представляют собой гладкие алгебраические схемы над полем; где набор Hom задается как: ${ Displaystyle OperatorName {Hom} (X, Y) = OperatorName {Cor} (X, Y)}$и где состав определен как в теория пересечений: с учетом элементарных соответствий ${ displaystyle alpha}$ из ${ displaystyle X}$ к ${ displaystyle Y}$ и ${ displaystyle beta}$ из ${ displaystyle Y}$ к ${ displaystyle Z}$, их состав:

${ displaystyle beta circ alpha = p _ {{13}, *} (p_ {12} ^ {*} alpha cdot p_ {23} ^ {*} beta)}$

куда ${ displaystyle cdot}$ обозначает продукт пересечения и ${ displaystyle p_ {12}: X times Y times Z to X times Y}$и т. д. Обратите внимание, что категория ${ displaystyle Cor}$ является аддитивная категория поскольку каждое множество Hom ${ displaystyle operatorname {Cor} (X, Y)}$ - абелева группа.

Эта категория содержит категорию ${ displaystyle { textbf {Sm}}}$ гладких алгебраических схем как подкатегорию в следующем смысле: существует точный функтор ${ displaystyle { textbf {Sm}} to Cor}$ который отправляет объект себе и морфизм ${ displaystyle f: от X до Y}$ к график из ${ displaystyle f}$.

С продукт схем в качестве моноидной операции категория ${ displaystyle Cor}$ это симметричная моноидальная категория.

Шкивы с передачами

Основное понятие, лежащее в основе всех различных теорий: предварительные пучки с трансферами. Это контравариантные аддитивные функторы

${ displaystyle F: { text {Cor}} _ {k} to { text {Ab}}}$

и связанная с ними категория обычно обозначается ${ Displaystyle mathbf {PST} (к)}$, или просто ${ displaystyle mathbf {PST}}$ если понимается основное поле. Каждая из категорий в этом разделе - абелевы категории, поэтому они подходят для выполнения гомологической алгебры.

Связки Etale с переводами

Они определяются как предварительные пучки с переносами, так что ограничение любой схемы ${ displaystyle X}$ этальная связка. То есть, если ${ Displaystyle от U до X}$ этальная обложка, а ${ displaystyle F}$ это предпучка с переносами, это Etale связка с переводами если последовательность

${ Displaystyle 0 к F (X) { xrightarrow { text {diag}}} F (U) { xrightarrow {(+, -)}} F (U times _ {X} U)}$

точно и существует изоморфизм

${ Displaystyle F (Икс coprod Y) = F (X) oplus F (Y)}$

для любых фиксированных гладких схем ${ displaystyle X, Y}$.

Связки Нисневича с передачами

Есть аналогичное определение для Связка Нисневича с переводами, где топология Etale переключается с топологией Нисневича.

Примеры

Единицы

Связка агрегатов ${ Displaystyle { mathcal {O}} ^ {*}}$ это предпучка с переводами. Любая переписка ${ Displaystyle W подмножество X раз Y}$ индуцирует конечное отображение степени ${ displaystyle N}$ над ${ displaystyle X}$, следовательно, существует индуцированный морфизм

${ displaystyle { mathcal {O}} ^ {*} (Y) to { mathcal {O}} ^ {*} (W) { xrightarrow {N}} { mathcal {O}} ^ {* }(ИКС)}$^[1]

показывая, что это предпучка с переводами.

Представимые функторы

Один из основных примеров предпучков с трансферами - это представимые функторы. Учитывая плавную схему ${ displaystyle X}$ есть предпучка с переводами ${ Displaystyle mathbb {Z} _ {tr} (X)}$ отправка ${ Displaystyle U mapsto { text {Hom}} _ {Cor} (U, X)}$^[1].

Представимый функтор, связанный с точкой

Ассоциированная предпучка с передачами ${ displaystyle { text {Spec}} (к)}$ обозначается ${ Displaystyle mathbb {Z}}$.

Остроконечные схемы

Другой класс элементарных примеров исходит из точечных схем. ${ Displaystyle (Х, х)}$ с ${ displaystyle x: { text {Spec}} (k) to X}$. Этот морфизм индуцирует морфизм ${ displaystyle x _ {*}: mathbb {Z} to mathbb {Z} _ {tr} (X)}$ чье коядро обозначено ${ Displaystyle mathbb {Z} _ {tr} (X, x)}$. Расщепление происходит из-за морфизма структуры ${ displaystyle X to { text {Spec}} (k)}$, поэтому существует индуцированное отображение ${ Displaystyle mathbb {Z} _ {tr} (X) to mathbb {Z}}$, следовательно ${ Displaystyle mathbb {Z} _ {tr} (X) cong mathbb {Z} oplus mathbb {Z} _ {tr} (X, x)}$.

Представимый функтор, связанный с A¹-0

С указанной схемой связан представимый функтор ${ Displaystyle mathbb {G} _ {m} = ( mathbb {A} ^ {1} - {0 }, 1)}$ обозначенный ${ Displaystyle mathbb {Z} _ {tr} ( mathbb {G} _ {m})}$.

Разбить произведение остроконечных схем

Для конечного семейства точечных схем ${ displaystyle (X_ {i}, x_ {i})}$ есть связанная предпучка с переносами${ Displaystyle mathbb {Z} _ {tr} ((X_ {1}, x_ {1}) wedge cdots wedge (X_ {n}, x_ {n}))}$, также обозначается ${ Displaystyle mathbb {Z} _ {tr} (X_ {1} клин cdots клин X_ {n})}$^[1] из их Разбить продукт. Это определяется как коядро

${ displaystyle { text {coker}} left ( bigoplus _ {i} mathbb {Z} _ {tr} (X_ {1} times cdots times { hat {X}} _ {i}) times cdots times X_ {n}) { xrightarrow {id times cdots times x_ {i} times cdots times id}} mathbb {Z} _ {tr} (X_ {1} раз cdots times X_ {n}) right)}$

Например, учитывая двухточечные схемы ${ Displaystyle (Х, х), (Y, y)}$, есть связанная предпучка с переносами ${ Displaystyle mathbb {Z} _ {tr} (X клин Y)}$ равно коядру

${ displaystyle mathbb {Z} _ {tr} (X) oplus mathbb {Z} _ {tr} (Y) { xrightarrow { begin {bmatrix} 1 times y & x times 1 end {bmatrix} }} mathbb {Z} _ {tr} (X times Y)}$^[2]

Это аналогично продукту разрушения в топологии, поскольку ${ Displaystyle X клин Y = (X раз Y) / (X vee Y)}$ где отношение эквивалентности выходит за рамки ${ Displaystyle X раз {у } чашка {х } раз Y}$.

Клин единого пространства

Конечный клин точечного пространства ${ Displaystyle (Х, х)}$ обозначается ${ displaystyle mathbb {Z} _ {tr} (X ^ { wedge q}) = mathbb {Z} _ {tr} (X wedge cdots wedge X)}$. Одним из примеров такой конструкции является ${ Displaystyle mathbb {Z} _ {tr} ( mathbb {G} _ {m} ^ { wedge q})}$, который используется в определении мотивационных комплексов ${ Displaystyle mathbb {Z} (д)}$ используется в Мотивная когомология.

Гомотопически инвариантные пучки

Пачка с переводами ${ displaystyle F}$ гомотопически инвариантен, если проекционный морфизм ${ displaystyle p: X times mathbb {A} ^ {1} to X}$ индуцирует изоморфизм ${ Displaystyle p ^ {*}: F (X) to F (X times mathbb {A} ^ {1})}$ для каждой плавной схемы ${ displaystyle X}$. Существует конструкция, связывающая гомотопически инвариантный пучок^[1] за каждую предпучку с пересадками ${ displaystyle F}$ используя аналог симплициальных гомологий.

Симплициальные гомологии

Есть схема

${ displaystyle Delta ^ {n} = { text {Spec}} left ({ frac {k [x_ {0}, ldots, x_ {n}]} { sum _ {0 leq i leq n} x_ {i} -1}} right)}$

дающая косимплициальную схему ${ displaystyle Delta ^ {*}}$, где морфизмы ${ displaystyle partial _ {j}: Delta ^ {n} to Delta ^ {n + 1}}$ даны ${ displaystyle x_ {j} = 0}$. То есть,

${ Displaystyle { гидроразрыва {k [x_ {0}, ldots, x_ {n + 1}]} {( sum _ {0 leq i leq n} x_ {i} -1)}} к { frac {k [x_ {0}, ldots, x_ {n + 1}]} {( sum _ {0 leq i leq n} x_ {i} -1, x_ {j})}} }$

дает индуцированный морфизм ${ displaystyle partial _ {j}}$. Затем в предпучку с переводами ${ displaystyle F}$, существует связанный комплекс предпучков с переносами ${ displaystyle C _ {*} F}$ отправка

${ Displaystyle C_ {я} F: U mapsto F (U times Delta ^ {i})}$

и имеет индуцированные цепные морфизмы

${ displaystyle sum _ {i = 0} ^ {j} (- 1) ^ {i} partial _ {i} ^ {*}: C_ {j} F to C_ {j-1} F}$

подача комплекса предпучков с передачами. Гомологически инвариантные предпучки с переносами ${ displaystyle H_ {i} (C _ {*} F)}$ гомотопически инвариантны. Особенно, ${ displaystyle H_ {0} (C _ {*} F)}$ - универсальный гомотопически инвариантный предпучок с трансферами, ассоциированными с ${ displaystyle F}$.

Связь с группой Чоу нулевых циклов

Обозначить ${ displaystyle H_ {0} ^ {sing} (X / k): = H_ {0} (C _ {*} mathbb {Z} _ {tr} (X)) ({ text {Spec}} (k ))}$. Есть индуцированная сюрприз ${ displaystyle H_ {0} ^ {Sing} (X / k) to { text {CH}} _ {0} (X)}$ который является изоморфизмом для ${ displaystyle X}$ проективный.

Нулевые гомологии Z_tr(ИКС)

Нулевые гомологии ${ Displaystyle Н_ {0} (С _ {*} mathbb {Z} _ {tr} (Y)) (X)}$ является ${ displaystyle { text {Hom}} _ {Cor} (X, Y) / mathbb {A} ^ {1} { text {homotopy}}}$ где гомотопическая эквивалентность дается следующим образом. Два конечных соответствия ${ displaystyle f, g: от X до Y}$ находятся ${ displaystyle mathbb {A} ^ {1}}$-гомотопический эквивалент, если существует морфизм ${ displaystyle h: X times mathbb {A} ^ {1} to X}$ такой, что ${ displaystyle h | _ {X times 0} = f}$ и ${ displaystyle h | _ {X times 1} = g}$.

Мотивные комплексы

Для категории смешанных мотивов Воеводского мотив ${ Displaystyle M (X)}$ связано с ${ displaystyle X}$, это класс ${ Displaystyle С _ {*} mathbb {Z} _ {tr} (X)}$ в ${ displaystyle DM_ {Nis} ^ {eff, -} (k, R)}$. Одним из простейших мотивационных комплексов являются ${ Displaystyle mathbb {Z} (д)}$ за ${ displaystyle q geq 1}$, определяемый классом

${ displaystyle mathbb {Z} (q) = C _ {*} mathbb {Z} _ {tr} ( mathbb {G} _ {m} ^ { wedge q}) [- q]}$^[1]

Для абелевой группы ${ displaystyle A}$, Такие как ${ Displaystyle mathbb {Z} / ell}$, есть мотивационный комплекс ${ Displaystyle A (q) = mathbb {Z} (q) otimes A}$. Они дают группы мотивационных когомологий, определенные формулой

${ Displaystyle H ^ {p, q} (X, mathbb {Z}) = mathbb {H} _ {Zar} ^ {p} (X, mathbb {Z} (q))}$

поскольку мотивационные комплексы ${ Displaystyle mathbb {Z} (д)}$ ограничить комплексом пучков Зарикси ${ displaystyle X}$^[1]. Их называют ${ displaystyle p}$-й группы мотивационных когомологий масса ${ displaystyle q}$. Их также можно продолжить на любую абелеву группу ${ displaystyle A}$,

${ Displaystyle H ^ {p, q} (X, A) = mathbb {H} _ {Zar} ^ {p} (X, A (q))}$

дающие мотивационные когомологии с коэффициентами в ${ displaystyle A}$ веса ${ displaystyle q}$.

Особые случаи

Есть несколько частных случаев, которые можно проанализировать явно. А именно, когда ${ displaystyle q = 0,1}$. Эти результаты можно найти в четвертой лекции книги Clay Math.

Z (0)

В этом случае, ${ Displaystyle mathbb {Z} (0) cong mathbb {Z} _ {tr} ( mathbb {G} _ {m} ^ { wedge 0})}$ который квазиизоморфен ${ Displaystyle mathbb {Z}}$ (начало страницы 17)^[1], следовательно, вес ${ displaystyle 0}$ группы когомологий изоморфны

${ displaystyle H ^ {p, 0} (X, mathbb {Z}) = { begin {cases} mathbb {Z} (X) & { text {if}} p = 0 0 & { текст {иначе}} end {case}}}$

куда ${ displaystyle mathbb {Z} (X) = { text {Hom}} _ {Cor} (X, { text {Spec}} (k))}$. Поскольку открытая крышка

Z (1)

Этот случай требует дополнительной работы, но конечный результат - квазиизоморфизм между ${ Displaystyle mathbb {Z} (1)}$ и ${ Displaystyle { mathcal {O}} ^ {*} [- 1]}$. Это дает две группы мотивационных когомологий

${ displaystyle { begin {align} H ^ {1,1} (X, mathbb {Z}) & = H_ {Zar} ^ {0} (X, { mathcal {O}} ^ {*}) = { mathcal {O}} ^ {*} (X) H ^ {2,1} (X, mathbb {Z}) & = H_ {Zar} ^ {1} (X, { mathcal { O}} ^ {*}) = { text {Pic}} (X) end {align}}}$

где средние группы когомологий являются когомологиями Зарисского.

Общий случай: Z (n)

В общем по идеальному полю ${ displaystyle k}$, есть хорошее описание ${ Displaystyle mathbb {Z} (п)}$ по предварительным пучкам с переносом ${ Displaystyle mathbb {Z} _ {tr} ( mathbb {P} ^ {n})}$. Есть квазиизморфизм

${ Displaystyle С _ {*} ( mathbb {Z} _ {tr} ( mathbb {P} ^ {n}) / mathbb {Z} _ {tr} ( mathbb {P} ^ {n-1} )) simeq C _ {*} mathbb {Z} _ {tr} ( mathbb {G} _ {m} ^ { wedge q}) [n]}$

следовательно

${ displaystyle mathbb {Z} (n) simeq C _ {*} ( mathbb {Z} _ {tr} ( mathbb {P} ^ {n}) / mathbb {Z} _ {tr} ( mathbb {P} ^ {n-1})) [- 2n]}$

которое находится с использованием техники расщепления вместе с серией квазиизоморфизмов. Подробности см. В лекции 15 книги Clay Math.

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

• Относительный цикл
• Мотивная когомология
• Смешанные мотивы (математика)
• Этальная топология
• Топология Нисневича

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

• Мацца, Карло; Воеводский, Владимир; Вейбель, Чарльз (2006), Конспект лекций по мотивационным когомологиям, Монографии по математике из глины, 2, Провиденс, Р.И.: Американское математическое общество, ISBN 978-0-8218-3847-1, МИСТЕР 2242284

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

• https://ncatlab.org/nlab/show/sheaf+with+transfer

Этот алгебраическая геометрия статья - это заглушка. Вы можете помочь Википедии расширяя это. v т е