CC BY
23
98 Вестник СамГУ. 2015. № 6(128)
УДК 517.95
А.А. Мингазов1
КОМПЛЕКС ГЕРСТЕНА ДЛЯ ПУЧКОВ С ТРАНСФЕРАМИ ДЛЯ НЕТЕРОВЫХ СХЕМ2
В. Воеводский в одной из первых статей, касающихся построения категории мотивов, ввел комплекс Герстена для пучков с трансферами. Кроме того, он доказал гипотезу Герстена, которая утверждает, что комплекс Герстена локального кольца точки гладкого многообразия над полем k является резольвентой значения пучка на этом кольце. Этот фундаментальный факт позволяет использовать комплекс Герстена для вычисления когомологий пучков с трансферами на гладких многообразиях. В данной статье мы строим комплекс Герстена для непрерывных пучков с трансферами, определенных на категории нетеровых k-схем, где k имеет нулевую характеристику. После этого мы доказываем гипотезу Герстена для пучков с трансферами в случае локального нетерового кольца над полем k, что является обобщением результата Воеводского.
Ключевые слова: пучок с трансферами, гипотеза Герстена, равнохарак-теристическое кольцо, мотивы Воеводского, гомоморфизм Гизина, трансфер, нетерова схема, раздутие.
В статье [1] введен аналог комплекса Герстена для гомотопически инвариантных пучков с трансферами для неприводимого многообразия X
g(X, F) = |0 ^F (п) ^ 0 F-l(k(x)) ^ 0 F-2 (k(y)) ^ ...I .
\ xex(! xex (2) )
Кроме того, там же доказано, что комплекс Герстена для пучка с трансферами F на спектре локального кольца O является точным во всех членах, кроме нулевого, и H°(g(Spec Ox,x))= F(Ox,x).
Пусть k — поле характеристики нуль. Мы определим канонический дифференциал Герстена для специфических пучков с трансферами для локального кольца регулярной нетеровой k-схемы.
Определение 1. Определим категорию соответствий CorSchk нетеровых k-схем. Ее объекты — это нетеровы k-схемы. Морфизмы CorSchk(X,Y) — это свободная абелева группа, порожденная неприводимыми подсхемами Z С X х Y, конечными и сюръективными над X. Предпучком с трансферами на категории нетеровых схем мы будем называть функтор F: CorSch^P ^ Ab.
х© Мингазов А.А., 2015
Мингазов Альберт Айдарович (mingazov88@gmail.com), лаборатория алгебры и теории чисел, Санкт-Петербургское отделение Математического института им. В.А. Стеклова, 191023, Российская Федерация, г. Санкт-Петербург, наб. р. Фонтанки, 27.
2Работа поддержана грантом Российского научного фонда №14-11-00456.
Определение 2. Предпучок F, определенный на категории нетеровых k-схем, будем называть непрерывным, если выполнены два условия:
1) для S = limSа выполнено F(Spec S) = limF(Spec Sa),
2) если Z £ CorSchk (X,Y) представимо в виде предела lim Za для Za £ Cork (Xa,Ya), где X = limXa, Y = lim Ya, то отображение Z*: F(Y) ^ F(X)
является пределом отображений Zа: F(Ya) ^F(Xa).
Мы будем рассматривать только непрерывные гомотопически инвариантные пучки Зарисского, определенные на категории нетеровых k-схем. Основным результатом является следующая
Теорема 1. Пусть R — регулярная локальная нетерова k-алгебра, F — непрерывный гомотопически инвариантный пучок с трансферами, определенный на категории нетеровых k-схем. Тогда существуют канонические дифференциалы в комплексе Герстена такие, что точна последовательность
0 ^ F(R) ^ F(K) ^ 0 F--i(k(x)) ^ 0 F-2(k(y)) ^ ...
x£X(1) y£X(2)
Доказательство следует схеме из статьи [2]. Оно использует следующую теорему (доказана в [5]).
Теорема Попеску. Пусть R — регулярная локальная нетерова k-алгебра. Тогда R представима в виде индуктивного предела R = lim Ra, где Ra — локальные кольца точек гладких k-многообразий.
Конструкция дифференциала. Этап I. Для схемы X = Spec R и локального параметра f £ R существует канонический дифференциал д: F(Xf) ^ F-1(Z), где Z = Spec R/fR. Он строится как композиция деформации к нормальному расслоению и изоморфизма HZ (Z х A1, F) ^ F-1(Z). Сделать это позволяют две леммы.
Лемма 1. Деформация к нормальному расслоению (конструкция в [3]) дает изоморфизмы когомологий Зарисского
Hl (X, FHlxA1 (Xt, F) Hl (Nx/z, F).
Лемма 2. Отображение HZ(Z х
A1, F)H1 (Z х A1 , F) , индуцированное умножением a: A1 ^ A1 на элемент a £ O*(Z), тождественно.
Если R одномерно, то Rf = K — поле частных. Обозначим k поле вычетов. В результате получаем дифференциал Герстена д: F(K) ^ F(k).
Этап II. Пусть R — произвольное локальное кольца регулярной нетеровой k-схемы, X = Spec R, и пусть Z С Y С X — неприводимые подсхемы, codimxY = = i, codimXZ = i + 1. Определим дифференциал д: F-i(k(Y)) ^ F-i-1(k(Z)) следующим образом. Локализуем X и Y в Z и разрешим особенности кривой YZ внутри XZ с помощью раздутий в точке, обозначим его YZ С XZ и проекцию p: Xz ^ Xz . Обозначим z1,...,zn — собственные прообразы z £ Xz , Trj: F-i-1(zj) ^ F-i-1(z) — трансферы для конечного отображения p\Zi. Локализуя Yz в каждом zj и пользуясь этапом I, получим дифференциал dj: F-i(k(Y)) ^ F-i-1(k(zj)). Дифференциал д: F-i(k(Y)) ^ F-i-1(k(Z)) — это сумма композиций ТГ1 о д1 + ... + Trn о дп.
При таком определении непонятны независимость дифференциала от разрешения особенностей и выполнение свойства д о д = 0. Оба вопроса становятся тривиальными после доказательства совпадения дифференциала, определенного выше с некоторым предельным.
100 А.А. Мингазов
Для неприводимой замкнутой подсхемы W = Spec R/p в X = Spec R выберем систему образующих p = (/i,..., /п). Пусть ао такое, что /i, ..., /п имеют прообразы /а,..., /а в Rao, обозначим /* = фаоа(/га°), Ра = ..., /а), Wa = = Spec Ra/pa. Тогда W = limWa. Проделаем такую операцию для замкнутой
точки z € X и кривой Y С X. Замкнутые подсхемы Zа С Xа неособы для а > ао. Теорема 2. В описанных условиях диаграмма
F (k(Y))-^-- F-1 (z)
lim Эуа Za
limF(Ya - Za)---'-^limF-1(Za),
где dY,z —дифференциал Герстена на X, а dYa,Za — дифференциал Герстена на Xа, коммутативна.
Доказательство использует следующую лемму.
Лемма 3. Обозначим X — вложенное разрешение особенностей кривой Y, Y — собственный прообраз Y, zi,... ,zn — собственные прообразы z, Xа — композиция раздутий в соответствующих замкнутых подсхемах, Ya — собственный прообраз Yа, Za,.. — собственные прообразы Za. Тогда XX = limX«, Y = limYa, zi = lim Za.
Утверждение теоремы следует из леммы, теоремы Гротендика о предельном переходе для когомологий Зарисского (сформулирована в [2]) и свойствах гомоморфизма Гизина в мотивах Воеводского алгебраических многообразий. Требуемые свойства гомоморфизма Гизина аналогичны доказанным в [6]. Кроме того, требуется свойство согласованности гомоморфизма Гизина и трансфера, которое доказано в [4].
Литература
[1] Voevodsky V., Suslin A., Friedlander E. Cohomological Theory of Presheves with Transfers // Cycles, Transfers and Motivic Homology Theories, Annals of Math. Studies, 1999.
[2] Panin I.A. The Equicharacteristic Case of the Gersten Conjecture // Теория чисел, алгебра и алгебраическая геометрия: cборник статей. Тр. МИАН, 2003. Вып. 241. C. 169-178.
[3] Panin I. Oriented Cohomology Theories of Algebraic Varieties // Special issue in honor of H. Bass on his seventieth birthday. Part III, K-Theory 30, 2003. № 3. P. 265-314.
[4] Мингазов А.А. Согласованность гомоморфизма Гизина и трансфера // Алгебра и анализ. 2015. № 27:4. С. 59-73.
[5] Popesku D. General Neron Desingularization // Nagoya Math. J., 1985. Vol. 100. P. 97-126.
[6] Levine M. Oriented cohomology, Borel-Moore homology and algebraic cobordism // Michigan Math. J., 2008. V. 57. P. 523-572.
References
[1] Voevodsky V. Cohomological Theory of Presheves with Transfers. Cycles, Transfers and Motivic Homology Theories (V. Voevodsky, A. Suslin and E. Friedlander, eds.), Annals of Math. Studies, 1999 [in English].
[2] Panin I.A. The Equicharacteristic Case of the Gersten Conjecture. Teoriia chisel, algebra i algebraicheskaia geometriia, Sbornik statei. Tr. MIAN [Theory of numbers, algebra and algebraic geometry, Collection of articles. Proceedings of Steklov Mathematical Institute, RAS], 241, Nauka, M., 2003, pp. 169-178 [in English].
[3] Panin I. Oriented Cohomology Theories of Algebraic Varieties. Special issue in honor of H. Bass on his seventieth birthday. Part III, K-Theory, 30 (2003), no. 3, pp. 265-314 [in English].
[4] Mingazov A.A. Coherence of Gysin homomorphism and transfer. Algebra i Analiz [Algebra and Analysis], 27:4 (2015), pp. 59-73 [in Russian].
[5] Popesku D. General Neron Desingularization. Nagoya Math. J., 1985, Vol. 100, pp. 97-126 [in English].
[6] Levine M. Oriented cohomology, Borel-Moore homology and algebraic cobordism. Michigan Math. J., Volume 57(2008), pp. 523-572 [in English].
A.A. Mingazov3
GERSTEN COMPLEX FOR SHEAVES WITH TRANSFERS FOR NOETHERIAN SCHEMES
V. Voevodsky introduced Gersten complex for sheaves with transfers in one of the first papers where the category of motives was constructed. Becides he proved Gersten conjecture which states that the Gersten complex for the local ring of point of smooth variety over field k is resolution of the group of global sections over this ring. Because of this fundamental fact Gersten complex can be used for calculations of cohomologies of sheaves with transfers over smooth k-varieties. In this paper we construct Gersten complex for sheaves with transfers, which defined on the category of noetherian k-schemes, where char k = 0. After this we proof the Gersten conjecture in case of local noetherian ring over field k. This generalises Voevodsky's result.
Key words: sheaf with transfer, Gersten conjecture, equicharacteristic ring, Voevodsky motives, Gysin homomorphism, transfer, noetherian scheme, blow up.
Статья поступила в редакцию 18/VT/2015. The article received 18/VI/2015.
3 Mingazov Albert Aidarovich (mingazov88@gmail.com), Laboratory of Algebra and Theory of Numbers, St. Petersburg Department of V.A. Steklov Institute of Mathematics of the Russian Academy of Sciences, 27, Fontanka, St. Petersburg, 191023, Russian Federation.
