Лёня Посицельский (posic) wrote,
Лёня Посицельский
posic

Нелокальность контрагерентности

Развитие http://posic.livejournal.com/785807.html

Следующий контрпример показывает, что
1. свойство копучка модулей над структурным пучком схемы быть контрагерентным нелокально (локальная контрагерентность не влечет глобальную);
2. свойство морфизма контрагерентных копучков быть допустимым мономорфизмом (или, что все равно, мономорфизмом на всех модулях косечений над аффинными открытыми подсхемами) нелокально (опять же, может быть выполнено локально, но не глобально).

Проблема возникает уже в случае гладких кривых (над алгебраически замкнутым полем, например). Контрагерентные копучки локально кокручения имеют ту же проблему. Локально инъективные контрагерентные копучки имеют ту же проблему.

Вот как строятся эти примеры. Пусть A -- коммутативное кольцо, f и g -- два элемента A, порождающие единичный идеал. Пусть K -- какой-нибудь A-модуль, в котором нет ни бесконечно f-делимых, ни бесконечно g-делимых элементов, т.е. HomA(A[f−1],K) = 0 = HomA(A[g−1],K).

Пусть K → P -- вложение K в контраприспособленный А-модуль P, и пусть Q -- коядро этого вложения. Тогда Q -- тоже контраприспособленный A-модуль. Можно считать A кольцом гомологической размерности 1, и тогда если P -- A-модуль кокручения или инъективный А-модуль, то тем же свойством обладает и Q.

Рассмотрим морфизм контрагерентных копучков на Spec A, связанный с морфизмом контраприспособленных A-модулей P → Q. В ограничении на покрытие Spec A главными аффинными открытыми подмножествами Spec A[f−1] и Spec A[g−1], мы получаем два морфизма контрагерентных копучков, связанных с морфизмами контраприспособленных модулей HomA(A[f−1],P) → HomA(A[f−1],Q) и HomA(A[g−1],P) → HomA(A[g−1],Q) над A[f−1] и A[g−1]. Ввиду условия, наложенного на ядро K морфизма P → Q, указанные два морфизма контраприспособленных модулей инъективны.

Контрпример к пункту 2. выше получен; построим теперь контрпример к 1. Обозначим коядра наших двух вложений A[f−1]- и A[g−1]-модулей через R(f) и R(g). Тогда 0 → HomA(A[f−1],P) → HomA(A[f−1],Q) → R(f) → 0 и 0 → HomA(A[g−1],P) → HomA(A[g−1],Q) → R(g) → 0 -- короткие точные последовательности контраприспособленных модулей. Если модули P и Q над A были модулями кокручения или инъективными модулями, это даже короткие точные последовательности модулей кокручения или инъективных модулей, соответственно.

Применим к первой из этих двух точных последовательностей функтор HomA[f−1](A[f−1,g−1],−), а ко второй -- функтор HomA[g−1](A[f−1,g−1],−). Получатся две изоморфные точные последовательности модулей над A[f−1,g−1], поскольку изоморфны их левые (инъективные) составляющие морфизмы. Мы построили естественный изоморфизм A[f−1,g−1]-модулей HomA[f−1](A[f−1,g−1], R(f)) = HomA[g−1](A[f−1,g−1], R(g)). Обозначим модуль, равный обеим сторонам этого изоморфизма, через R(f,g).

Наконец, рассмотрим две точные последовательности Чеха 0 → HomA(A[f−1,g−1], P) → HomA(A[f−1],P) ⊕ HomA(A[g−1],P) → P → 0 и 0 → HomA(A[f−1,g−1], Q) → HomA(A[f−1],Q) ⊕ HomA(A[g−1],Q) → Q → 0, и естественный морфизм между ними. Соответствующая шестичленная последовательность ядер и коядер сводится к короткой точной последовательности A-модулей 0 → K → R(f,g) → R(f) ⊕ R(g) → 0.

Заметим, что в категории копучков модулей над пучком колец существуют коядра всех морфизмов, и функторы косечений копучков над открытыми подмножествами коммутируют с коядрами. Мы показали, что коядро морфизма контрагерентных копучков на Spec A, связанного с морфизмом контраприспособленных A-модулей P → Q, взятое в категории всех копучков модулей над структурным пучком спектра A, является ненулевым контрагерентным копучком в ограничении на Spec A[f−1] и Spec A[g−1], но модуль косечений его над Spec A равен нулю. Это доставляет искомый контрпример к пункту 1.
Tags: math6
Subscribe

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 0 comments